Kodsnack

Fredrik snackar med Markus Backman och Christian Edström Boveng om Andromeda - Swedbanks mikrotjänsbaserade utvecklingsplattform. Vägen till Andromeda - hur och varför bestämde man sig för att bygga plattformen, och varför köpte man inte in något färdigt? Jo, för att man har sina styrkor och sina unika egenskaper som företag. Vi får veta varför mikrotjänster är ett mycket enklare beslut i en stor organisation med massor av team. En plattform är så mycket mer än teknik, jobbet att förändra organisation och kultur är kanske både större och viktigare. Vi pratar om nyttan med bra och roliga namn för att berätta historien om ens projekt, och om att få med folk på tåget - genom att bygga något som fungerade istället för att diskutera och kommunicera först. Markus och Christian berättar också om hur både teknik och rutiner uppmuntrar utvecklare att använda plattformen och arbeta på nya sätt. Andromeda hjälper en att automatiskt följa regler och riktlinjer, och lyckas automatisera bort hela och regelbundna möten. Man har till och med byggt ett helt system som diskret uppmuntrar och knuffar alla team mot att driftsätta kod oftare och oftare. Vi tar givetvis också upp frågan på allas läppar: Vad gör man när ens raket blir klassad som icke certifierad kontorsutrustning? Ett stort tack till Cloudnet som sponsrar vår VPS! Har du kommentarer, frågor eller tips? Vi är @kodsnack, @thieta, @krig, och @bjoreman på Mastodon, har en sida på Facebook och epostas på [email protected] om du vill skriva längre. Vi läser allt som skickas. Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik. Länkar Markus Christian Andromeda Data warehouse COBOL Microservices Conways lag Customer journeys och customer experience Stöd oss på Ko-fi! Andromedagalaxen CAB - change advisory board DORA-metrics Legos Saturn V-raket Titlar Hjärnan bakom det jag ansvarar för Modernisera den här besten En modern monolit Ett beslut från golvet Hastigheten på det långsammaste teamet Du kan inte vinna över Conways lag Modulär hastighet I monolitvärlden En skruvmejsel med rosa handtag Compliant by design Ha roligt på en bank Onboardingsamtal Innan du trycker på knappen Hjälpa och lyfta team

Recorded on-stage at Øredev 2024, Fredrik talks to Ingrid af Sandeberg about AI and people’s perception of it. While it’s very powerful to be able to interact with models through natural language, that interface in itself hides a lot of what’s actually going on. Many thanks to Øredev for inviting Kodsnack again, they paid for the trip and the editing time of these keynote recordings, but have no say about the content of these or any other episodes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Øredev All the presentation videos from Øredev 2024 Ingrid AI, truth, and the new information environment - Ingrid’s keynote The five levels of vehicle autonomy Support us on Ko-fi! SLM - small language models Hugging face Googles pagerank Mayo clinic Titles AI is a lot wider A different type of error This chaos element

Recorded on-stage at Øredev 2024, Fredrik talks to Laura Herman about creativity, creation, and AI. Among other things, we discuss: How the perspectives of different groups differ, and Laura talks about the many factors which inform how people feel about generative AI. Generative AI as curation. How and where in our work processes we want AI assistance. Dataset curation and specialized models, and how they can be important and interesting going forward. What happens if we have to be very picky about what we train models on? How are people working with sustainability for generative models? Laura’s own research into AI and creativity, and how other inventions have affected creativity and art. Finally, we discuss curation, and the possibilities of alternate curation platforms for finding things you like. Many thanks to Øredev for inviting Kodsnack again, they paid for the trip and the editing time of these keynote recordings, but have no say about the content of these or any other episodes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Øredev All the presentation videos from Øredev 2024 Laura Creation as curation - Laura’s keynote The handmade effect Jake Elwes Support us on Ko-fi! The inclusive AI lab Mubi Michael Bernstein at Stanford Titles Many question marks An ethically sound decision A human touched this Craving for the human touch Let me build a model That’s five PhD:s In this emotional turmoil

Recorded on-stage at Øredev 2024, Fredrik talks to Violet Whitney and William Martin about the research they do into how we can interact with computers outside of the bounds of … well, a regular computer or phone. Many thanks to Øredev for inviting Kodsnack again, they paid for the trip and the editing time of these keynote recordings, but have no say about the content of these or any other episodes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Øredev All the presentation videos from Øredev 2024 Violet William Spatial UX & spatial AI - Violet and William’s keynote Spatial pixel Spatial computing Prompt engineering Columbia university University of Pennsylvania University of Michigan TA - teaching assistant Support us on Ko-fi! Y combinator Nondeterminism Titles It sounds really fancy A lot of prompt engineering A very bizarre lifestyle Right on the horizon Use computers to reason about space Who designed this hall? Computers outside of computers Interested in non-determinism

Recorded on-stage at Øredev 2024, Fredrik talks to Kent Beck and Beth Andres-Beck about development practices, code reviews, and more. Unfortunately, sound quality is a lot worse than it should be. We apologize, and invite any sound processing wizards out there to get in touch if they have solid ways of improving it. Has there actually been a backlash - a move toward more rigid processes? And what can we do about that? The development process is a shadow cast by the power structure, and in big organizations, you need someone who’s job it is to read all the documents. Also: improving code reviews, and how breaking the build can land you in a room with exactly the right people. Many thanks to Øredev for inviting Kodsnack again, they paid for the trip and the editing time of these keynote recordings, but have no say about the content of these or any other episodes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Øredev All the presentation videos from Øredev 2024 Kent Beth We’re good at writing software - Kent and Beth’s keynote Waterfall Cowboy coding Delightful code reviews - blog post by Beth, there doesn’t seem to be a video to link to Beth’s blog post about code reviews Kent’s newsletter Support us on Ko-fi! Titles The waterfall’s coming back Cowboy teams How to critique effectively A lot easier to manage All the way to the forest All I had to do was break the build

Recorded on-stage at Øredev 2024, Fredrik talks to IT security expert David Jacoby about his way into IT security. What was it like to get interested in computer security early on, and to try start working with it before there really was an awareness of even the need for more security information? And when did the switch happen from annoying but harmless viruses and malware to the modern information stealing and blackmailing? Finally, a horror movie tip. Many thanks to Øredev for inviting Kodsnack again, they paid for the trip and the editing time of these keynote recordings, but have no say about the content of these or any other episodes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Øredev All the presentation videos from Øredev 2024 David Why do cyberattacks persist? Unmasking the hidden vulnerabilities in digital transformation - David’s keynote doesn’t seem to be out in video form yet Kent Beck Beth Andres-Beck Kent and Beth’s keynote BBS Sanne Femling - on the program committe for Øredev 2024 Outpost24 - where David was employee #1 PCI DSS - payment card industry data security standard DORA - digital operational resilience act Junkie - the MS-DOS virus. “Like a few other viruses by that time, it caused more panic than any actual damage.” Ransomware The police trojan Tucker & Dale vs. evil Support us on Ko-fi! Titles BBS systems and common acquaintances Don’t talk about the keynote Do some hacking on stage For you, I’ll do it 30 years as an ethical hacker Somehow cheat the system A cat and mouse game Still way behind

Recorded on-stage at Øredev 2024, Fredrik talks to Corin Ism about the power of developers to change the world for the better. Much of what we do is building virtual worlds - virtual nations if you will - and creating and enforcing their rules and power structures. We should take that power and responsibility seriously and think about what we build. If you think about the interfaces you build as essentially being the law in the system, will that change how you build them? We can easily fall into thinking about “the algorithm” as if it was some sort of rain god we pray to but can’t control - but we can and should use our control in everything we build. We think of things like evil puppet masters when we think of control, but everything we build controls in some way, and pretending we can abdicate control doesn’t help anyone. Corin talks about how to think positively in terms of making user of our power, how to see the possibilities, and where to look for inspiration. Oh, and don’t fall into the trap of thinking that what we have right now is set in stone and can’t and never should change. Let’s keep iterating! Finally, we talk a bit of disconnecting from the internet to do deeper and more focused work. Many thanks to Øredev for inviting Kodsnack again, they paid for the trip and the editing time of these keynote recordings, but have no say about the content of these or any other episodes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Øredev All the presentation videos from Øredev 2024 Corin The era of the virtual world builder - Corin’s keynote The Chinese social credit system ESG - environmental, social, and governance ratings Liquid democracy Plato Support us on Ko-fi! Hamilton the musical The slow internet Platform cooperativeism Nathan Schneider Titles Thinking about what we’re building These aren’t inconsequential products Interfaces are basically the law Completely different worlds This is something I can change Building a maze for the user From a governance perspective The rest is footnotes We iterate We can do a lot Opt-in nations Part of the wealth nation Perform life

Advent of code är snart här igen - vill du vara med och lösa problem? Hoppa in i vår Slack-kanal, dela dina lösningar i vårt Github-repo och maximera adventsmyset på alla sätt. Eller luta dig tillbaka och spana på vad andra gör, valet är ditt! Ett stort tack till Cloudnet som sponsrar vår VPS! Har du kommentarer, frågor eller tips? Vi är @kodsnack, @thieta, @krig, och @bjoreman på Mastodon, har en sida på Facebook och epostas på [email protected] om du vill skriva längre. Vi läser allt som skickas. Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik. Länkar Advent of code Kodsnacks Advent of code-repo Kodsnacks Slack Øredev Titlar Glöm inte Advent of code!

Fredrik talks to Pedro Abreu about the magical world of type theory. What is it, and why is it useful to know about and be inspired by? Pedro gives us some background on type theory, and then we talk about how type theory can provide new ways of reasoning about programs, and tools beyond tests to verify program correctness. This doesn’t mean that all languages should strive for the nirvana of dependent types, but knowing the tools are out there can come in handy even if the code you write is loosely typed. We wrap up with some further podcast tips, of course including Pedro’s own podcast Type theory forall. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlundand @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive. If you enjoy Kodsnack we would love a review in iTunes! You can also support the podcast by buying us a coffee (or two!) through Ko-fi. Links Pedro Type theory Type theory forall - Pedro’s podcast Chalmers The meetup group through which Pedro and Fredrik met Purdue university Bertrand Russell The problem of self reference Types Set theory Kurt Gödel Halting problem Alan Turing Turing machine Alonzo Church Lambda calculus Rust Dependent types Formal methods Liquid types - Haskell extension SAT solver Property-based testing Quickcheck Curry-Howard isomorphism Support Kodsnack on Ko-fi! Functional programming Imperative programming Object-oriented programming Monads Monad transformers Lenses Interactive theorem provers Isabelle HOL Dafny Saul Crucible Symbolic execution CVC3, CVC5 solvers Pure functions C# Algebraic data types Pattern matching Scala Recursion Type theory forall episode 17: the first fantastic one with Conal Elliot. The discussion continues in episode 21 Denotational types Coq IRC Software foundations - about Coq and a lot more The church of logic podcast The Iowa type theory commute podcast Titles Type theory podcasts Very odd for some people Brazilian weather Relearning to appreciate The dawn of computer science Layers of sets Where types first come in Bundle values together The research about programming languages If you squint your eyes enough Nirvana of type systems Proofs all the way down Extra guarantees If your domain is infinite Formal guarantees The properties of my system What is the meaning of my program? Building better systems

Fredrik, Petter, och Lars sammanfattar intryck från årets Øredev. Vi diskuterar bra presentationer, och allt bra man får ut som både ny utvecklare och erfaren av alla människor man kan prata med mellan presentationerna. Efter att ha snackat om Petters favoritpresentationer glider vi över i en diskussion om andra fördelar man som junior får av att gå på presentationer - få ett hum om nya saker och lära sig på hur många olika sätt utvecklare pratar om och har åsikter om saker. Speciellt när folk har starka åsikter om saker och talar om dem som om de var det sämsta i det kända universum. Kan Lars få lika många visningar på sin presentation i år som förra året? Vi pratar också om att lära sig hur saker fungerar under huven, och hur det gör det ännu knepigare att förstå hur helheten fungerar idag. Ett stort tack till Cloudnet som sponsrar vår VPS! Har du kommentarer, frågor eller tips? Vi är @kodsnack, @thieta, @krig, och @bjoreman på Mastodon, har en sida på Facebook och epostas på [email protected] om du vill skriva längre. Vi läser allt som skickas. Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik. Länkar Lars Petter Systemutveckling .net på campus Varberg Qlok Poddavsnittet i Varberg Øredev Lars presentation - Iterate fast on hardware with Nerves Taylor Taylors presentation - How to flatpack programs Lars och Taylor i Changelog Filip Ekberg och hans presentation - Let’s catch up with C# Prydnadseremit - “The trend continued through the 1830s, when the idea became less popular as estate landscaping concepts evolved.” Matt Topol och hans presentationer - ODBC takes an arrow to the knee: ADBC och Embrace the chaos: composable data systems with fewer asterisks Grafdatabas Entity framework Kallbadhuset Svante Richter och hans presentation - Postgresql is all you (probably) need Postgresql Raniz Rendle om högpresterande .net Avoiding code spaghetti by making ravioli - Mikael Brevik Spagettikod Dan Abramovs presentation the WET codebase hade lasagnekod, inte ravioli OTP - Open telecom platform OTP - One-time password OTP - One time programmable memory How Javascript happened: a short history of programming languages - Mark Rendle Stöd oss på Ko-fi! Lars presentation från förra året Nerves Rob Richardson om testning i .net Tore Nestenius om autentisering i .net OAuth 2 Kent Beck Titlar Vad gör jag? Inte bara lärare Allmänt nördiga personer i