Kodsnack

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

Fredrik snackar Postgresql med Svante Richter.

Är Postgresql gravt underanvänd när man tänker på allt databasen klarar av?

Är vi onödigt rädda för att låta databasen sköta om saker, och vad beror det i så fall på?

Vad händer när man försöker ersätta hela sitt backend med Postgresql?

Och vad vill man möjligen inte ha Postgresql till?

Inspelat under Øredev 2024, där Svante höll en presentation på samma ämne.

Avsnittet sponsras av 46elks, som bygger lättanvända API:er för telefoni och SMS. Hur enkla? Här är ett Curl-exempel:

curl https://api.46elks.com/a1/sms \ -u API_USERNAME:API_PASSWORD \ -d to=+46766861004 \ -d message="Hej kodsnacklyssnare\! Testa att skicka ditt första SMS med Curl." \ -d from=Kodsnack

Skicka notiser per SMS, ring upp folk, ordna telefonväxlar, och mycket mer. API-dokumentationen hittar du på 46elks.se/docs.

Registrera dig via 46elks.se/kodsnack och få 200 krediter att experimentera med!

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

• Øredev
• Advent of code
• Kåre
• Kåre byggde sitt eget språk för Advent of code
• Kodsnacks Advent of code-repo
• Svante nås med fördel i vår Slack-kanal
• Andra avsnitt med Svante
• Postgresql
• Axis
• Svantes presentation är inte ute än - länk kommer när den publicerats
• Svantes presentationsbilder
• Postgrest - skapar REST-API automatiskt
• CRUD - Create, read, update and delete
• ORM
• Mongodb
• Nosql
• Timescale
• Postgis
• Extensions för Postgresql
• 46elks - veckans sponsor
• 46elks.se/kodsnack - registrera dig och få 200 krediter att experimentera med!
• Webhooks
• Lua
• JSON-schema
• Rabbitmq
• Dead letter queue
• Foreign keys
• Next.js
• HTMX
• Stöd oss på Ko-fi
• Nginx
• Webdav
• Haskell
• Lars Wikman
• Unison - tvåvägsversion av Rsync
• Ocaml
• Elm
• Noredink
• Neon
• Supabase
• Hetzner
• Elasticsearch
• Openstreetmap
• Dynamodb
• Neo4j
• Nearest neighbor
• Lagringsmotorer för Postgresql
• Devoteam
• Skruv - Svantes mikroramverk
• Krausest-prestandamätningarna Svante jämför Skruv mot

Titlar

• Tryck undan ångesten
• Använda men underanvända
• Lösa problem som man själv skapat
• Vilken fråga blir det faktiskt?
• Databasfunktioner i Lua
• Är detta smart?
• Gå på tok för långt
• Vilka bitar var det som skavde?
• En hel klass av problem
• Databasen är någon annans domän
• Vem låter man inkräkta mest?
• Undvika att behöva ha ett backend
• Den kortaste vägen mellan två noder
• Jag är lite radikal

Fredrik och Lars Wikman åkte till Varberg och livepoddade på Varberg tech arena. Det blev en diskussion med publiken om alla sorters utvecklare man varit, vad man behöver i sin verktygslåda, när man ska ta in nya språk och verktyg, och hur man kan jobba med och tänka på generativ AI som verktyg.

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 Wikman
• Varbergs techarena
• Øredev
• Vattenglas - också känt som vattenlösning av natriumsilikat
• JSP
• Bartek
• XMLHTTPRequest
• Java Swing
• Borderlayout
• Libreoffice
• Podcast chapters - Macappen Fredrik tagit över
• Auto layout
• Swiftui
• NP-kompletta problem
• Stöd oss på Ko-fi!
• Microsoft publisher
• Perl
• CMS
• Django
• Elixir
• Kotlin
• Objective-C
• Ruby
• Bash
• COBOL
• Python 2.7
• Redux
• Advent of code
• .net core
• Haskell
• Ekeroot
• Uiua
• Funktionell programmering
• Objektorienterad programmering
• Boken Practical common Lisp
• GWT
• Spring
• Akka
• Spring MVC
• .net MVC
• Immutability
• Method chaining
• Esperanto
• Elm
• Intervjun med Elms skapare Evan - Kodsnack 604
• Ocaml
• Erlang
• Leandro
• F#
• Kåre byggde ett språk för att lösa Advent of code
• Go
• WAP
• Actionscript
• Haxe
• Pattern matching
• ES2015
• Fetch-API:et
• let i Javascript
• Arrow functions
• this i Javascript
• Promises
• Async-await
• Chesterton's fence
• Laravel
• Sublime text
• Vim
• Copilot
• Visual studio code
• Simon Willison
• Buildroots dokumentation
• Professional Javascript for web developers, andra utgåvan

Titlar

• Podden råkade starta
• Tänk dig ett intro
• Vad har du varit för slags utvecklare egentligen?
• Titta inte på den gamla, gör en ny
• Klassisk frontent-Java-webbutvecklare
• Den gamla seterotypen
• Man blir aldrig av med ett språk man har lärt sig
• C++ från en bok
• Bygga en knapp
• Missbruk med PHP
• Förläng den här filen neråt
• Fyra nyanser av blått
• Där har jag mina verktyg
• Snabba, smutsiga automatiseringar
• Det mest akademiska språket
• Ganska röjiga
• Let är inget keyword
• Innan man tar bort ett stängsel
• C# med dollartecken
• Jag gillar inte ceremonin
• Väldigt lågt förtroende för apparaten
• Skeptisk till hela framtiden
• Det skulle kunna finnas
• Den har ju varit korkad länge
• Hög och bred kunskap
• Video var dyrt på den tiden
• Öppna biblioteket
• Varje mening har vikt