Kodsnack in English

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, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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

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, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 talks to Balint Erdi about the web framework Ember. Where did Ember come from, what stands out about it today, how do new features get into the framework, and how is development being made more sustainable? Plus: Balint’s experiences organizing Emberfest, and quite a bit of appreciation for the Ruby and Ember communities in general. The episode is sponsored by Cursed code - a half-day conference with a halloween mood taking place on October 31st, in central Gothenburg. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 Balint JSP - Java server pages ZODB - Python object database Ruby Ruby on rails Convention over configuration ORM Active record Ember Angular Yehuda Katz Emberfest Balint’s (first!) book - Rock & roll with Ember.js Ember data Support us on Ko-fi! Classes in Javascript Internet explorer 6 Handlebars Glimmer Controllers in Ember Ember addons Ember RFC:s Codemods React native Tree shaking Webpack Embroider Vite Cursed code - sponsor of the episode Poppels cursedcode.se - to read more and buy tickets The Embroider initiative The Ember initiative Ember CLI Ember core teams Emberconf devjournal.balinterdi.com Ember community links Ember guides Ember checkup - Balint’s productized consulting service Titles These two decades I’m a web guy Just one thing It’a always useful Rails carried me over Ember was in flux Javascript didn’t have classes Emberisms Nowadays I like explicitness more Everything needs to be imported A change they would like to see in the framework (The) Emberfesting Fellow emberino We don’t do drama

Fredrik talks to Evan Czaplicki, creator of Elm about figuring out a good path for yourself. What do you do when you have a job which seems like it would be your dream job, but it turns out to be the wrong thing for you? And how do you escape from that? You can’t put the success of something you build before your own personal and mental health, no matter how right the decision may be for the thing you build. Is there ever a reproducible path? Aren’t most or all successful things in large part a result of their circumstances? Platform languages and productivity languages - which do you prefer? Thoughts on the tradeoffs of when and how to roll things out and when to present ideas. Evan’s development mindset and environment, and the ways it has affected Elm’s design - all the way down to the error messages. Finally, of course, the benefits of country life - out of the radiation of San Francisco. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 Evan Elm Prezi Guido van Rossum Brendan Eich Bjarne Stroustrup Hindley–Milner type inference Gary Bernhardt Talks by Gary SIMD Standard ML Ocaml Haskell Lambda calculus Algebraic data types Type inference Virtual DOM Webbhuset Dart Safari’s no performance regressions rule Sublime text GHC Nano Emacs Titles The personal aspects A culture clash I wasn’t supposed to be here This numb feeling I’ve never really been to the real world Is this even real? The path that Guido did This is you This isn’t for me, and it’s your fault Valuing my own health Reckless indifference A dispute between colleagues A nice solution will come out if you’re patient enough Here’s your error message: good luck Farmer’s disposition These are good years Getting paid in chickens for web development Finding a place

Fredrik talks to Christian Clausen about the many facets of simplicity. The cloud and serverless was supposed to be simpler than running your own hardware, but you easily get stuck trying to select the right message bus, needing to know the intricacies of your chosen cloud provider infrastructure, and the like. You end up building your software around the infrastructure you’ve ended up with - rather than picking infrastructure which is right for your software. The CFO should not be the architect of the software. Core values and principles - set them up, reflect on them, and notice and decide what to do when they are broken. Should the system change if its core principles are broken, or should the principles be updated to reflect reality? Christian argues simplicity should be a core principle, and very carefully considered and encouraged. There are enough barriers already, even before you start adding complexity around the problems you’re trying to solve. And hide the things you do pull in behind true abstractions which don’t leak all over the place. Don’t ask what you can add, ask what you can postpone. Generality adds complexity. The more often something changes, the more specific it should be. Where are the tools which suggest more things to remove instead of things to add? Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 Christian Øredev 2023 Designing infrastructure-free systems - Christians Øredev 2023 talk Merrymake - Christian’s company Five lines of code Nosql Conway - don’t let HR be the architect Christian’s blog Spring Quarkus - “supersonic subatomic Java” Reactive programming Hibernate Gateway drug React Angular Vue Google’s serverless is actually Knative Support us on Ko-fi! Redux Sonarqube Occam’s razor Cyclomatic complexity Don’t repeat yourself A/B testing Christian on Medium Bonus links - thanks Tomas Kronvall! Adding two numbers in Javascript Some additional backstory Titles Life happened Serverless the right way It’s grown a lot I love refactoring Just as hard as choosing hardware Everything into one collection I don’t want the CFO to be the architect of the software It disappears immediately Entropy for the real world I came back after six years Why though? Why do you have this? What problem couldn’t you solve without it? There are enough barriers already Just use + Zero of the founding principles But it looks like ice cream I’ve always hated frameworks I feel like I’m writing Javascript Was the salary worth it? Lending the money to your future self What can I postpone? Generalization land Suggest I remove things! Is this the right problem to have? I want to say no more Humans can build this

Fredrik talks to Jack Cheng - author and creator of the iPhone note capture app Bebop. Jack describes where Bebop came from and how he built it, and how and why Copilot and other AI tools became integral parts of the workflow. Being aware of the maintenance cost of each decision, keeping things focused, avoiding building yourself into a bloated corner - sometimes even deciding certain things don’t belong in your app. Coding on the side, needing to balance the time you have? Use it to your advantage! Jack also talks about the other apps he uses for working with notes and writing, and how different apps feel right for different types of writing. (Yes, Obsidian once again makes an appearance.) Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 Jack Detroit Jack’s books See you in the cosmos The many masks of Andy Zhou The slow web - Jack’s blog post Copilot Captio - the app Jack used which let you email a note to yourself Obsidian Nvalt Fsnotes Zapier Bebop Jack’s post introducing Bebop Ruby on rails Typepad Swift Swiftui Objective-C MVC App intents Visual studio code Xcode Figma Cursor is the editor with more builtin LLM features Support us on Ko-fi! Morning pages Jack’s newsletter Ghost Highland 2 John August Cot Share extensions Testflight These days - Jack’s first novel, financed through Kickstarter Robin Sloan Robin’s text about how an app can be a home-cooked meal WWDC - Apple’s yearly developer conference The Humane AI pin Rabbit See you on the bookshelf - Jack’s podcast about creating See you in the cosmos Booksmitten jackcheng.com Jack on Instagram, Threads, and Mastodon Titles Addicted to the slot machine of social media Just spin up an Iphone app A specific thing I want to build Advanced auto complete Gold coins along the way Freeze all these features The maintenance cost of every decision The speed of capture Tiny dopamine hit Use it to your advantage Immediately useful You can’t not be cliché Today as the title

Fredrik paid a visit to Hogia and got the opportunity to talk to Woody Zuill and Martin Lassbo about mob programming, innovation, and keeping an open and curious mind. Mob programming is still new. Every time you say “that can’t work”, you tend to be proven wrong eventually. Try it, for a year or two. You can’t evaluate things after trying it for just an hour or two, some things take much longer. But do steer and adjust often. How frequently do you want to steer? Short iterations are valuable in that they give us more opportunities to steer work in a good direction. Standardization stifles innovation. Sometimes you do want it, but it depends on which space you’re in. We had a process, but we still succeeded! Where did the thought I have originate? All your thoughts started somewhere else. The things we most believe can hide our biggest mistakes. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 Hogia Woody Zuill Martin Lassbo Mob programming Episode 218 (in Swedish) covers working in a mob in depth Other episodes with Woody Support us on Ko-fi! Øredev Woody’s Øredev talk 2018, Beginner’s mind Pair programming Turn up the good Cynefin - the decision framework you can never spell after hearing the word spoken Systems thinking - looking at systems as a whole, rather than in parts Kahnemann Thinking, fast and slow The drunkard’s walk by Leonard Mlodinow Rational irrationality Survivorship bias Confirmation bias * Desirability bias Max Planck Russell Ackoff Deming Chaos theory Feynman - you are the easiest person to fool Dave Farley Titles There’s always a lot to talk about The continuation My best thinking time The beginner’s mind We just work together Maintain curiosity Steer towards better Turn up the good Getting a thing we thought we wanted How frequently could we steer? We think we know what we want Not a systems thinker Talent plus luck A higher level than the work itself A little more talent and a lot more luck I’ll misquote it but I’m close Re-think the things we already believe Stay open-minded Something else could eat us A student of the biases Walk down a different path

Fredrik is again joined by Malin Sundberg and Kai Dombrowski for a review of attending this year’s WWDC, working with “AI”, and more. The experience of attending - a lot about the great community. News from the conference - a Snow leopard year, in a good way. Lots of nice fixes and additions - Swiftui, fun widgets, and of course lots of question marks around whatever Apple intelligence will grow up to be. And of course a little side of the ongoing story of Apple versus the EU. Apple intelligence also leads naturally into a discussion on how everyone works with language models, copilots, and so on. There is also some discussion of summer development plans, localization, and the snobbiest coffee country in the world. Thank you Cloudnet for sponsoring our VPS! Comments, questions or tips? We a re @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at info@kodsnack.se 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 Support us on Ko-fi! Malin Kai Previous episodes with Malin and Kai Uppleva Izotope RX Deep dish Swift Slices - the Deep dish Swift podcast Auphonic Adobe’s podcast enhance WWDC The WWDC keynote and other videos Infinite loop - used to be Apple’s main campus Apple park - Apple’s current main campus Apple design awards iOS dev happy hour One more thing Altconf The talk show live James Dempsey and the breakpoints James Dempsey on Slices Snow leopard Swift charts UIKit Live activities Apple versus EU:s digital markets act Meta’s Ray-ban glasses Fika Gemini Apple Mail Apple intelligence Intents Intents domains Apple private cloud compute Dynamic island Claude 3.5 sonnet Jack Cheng, author and developer of Bebop Apple localizations website Bankid Swish Kanban Firestore Pixelmator Quick notes Orbit Mimestream Swift island on Texel, the Netherlands Core coffee Titles Talking about IKEA furniture The biggest watch party in the world Essentially run by the community The community aspect The best Apple stories Open-ended on purpose A Snow leopard year Pop to the root view (Further) Into the view hierarchy Forgotten behavior Crisis averted Spiteful of the EU Grab a coffee together More spiteful than necessary Embrace fika culture Often not where people live All the timelines Lots of different laters Playful but also elegant I know what I want to convey Add small things to your home screen I said no bears I can not generate app icons that do not contain bears Plain Mail again The snobbiest coffee country in the world