Kodsnack

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 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 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

6 Des 202415min

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 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 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

5 Des 202428min

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 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 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

4 Des 202416min

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 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

3 Des 202417min

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 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

3 Des 202414min

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 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

2 Des 202429min

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å info@kodsnack.se 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!

28 Nov 20241min

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 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

26 Nov 202455min