Fredrik talks to Dejan Milicic about software development - understanding, methods, and stories.

We start by talking about encapsulation of knowledge and the essential software in organizations. Almost every organization should - it can be argued - be developing software that solves their unique problems, and yet so many outsource so much of their knowledge encapsulation. Oh, and we can never completely encapsulate our knowledge in code either, so all the more reason to keep people who actually know what the code does and why around.

Dejan tells us about his way to Ravendb and a developer relations role - and how you can craft your own job, stepping suitably outside of your comfort zone along the way.

We also talk about shortening attention spans, daring to dig down a bit and find out about the context of things. Like the second sentence of some oft-repeated quote. Prohibit bad things, but help automate doing good things and avoid doing the bad things completely.

Dejan shares some database backstories - why would someone want to build one more database? Specifically, what lead to the creation of Ravendb? And the very strong opinions which have been built into it. Avoiding falling into marketing-driven development.

After that, we drift into talking about processes and how we work. Every organization is unique - which strongly speaks against adapting the “best practices” and methodologies of others. Or keeping things completely the same for too long. Innovation is also about doing what other people are not doing.

Why is concurrency still hard? The free lunch has been over for twenty years! Functional programming and immutability offer ways forward, why aren’t these concepts spreading even more and faster? We get right back to understanding more context when Dejan discusses how few of us seem to have understood, just for example, the L in SOLID. Dive deeper, read more, and you will find new things and come up with new ideas.

Finally, Dejan would like to see software development becoming just a little bit more mathematical. So that things can be established, verified and built on in a different way.

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.

• Dejan
• Ravendb
• Informatics
• Domain-driven design
• Event sourcing
• Data is worthless - said in episode 601
• Developer relations
• Nosql databases
• Jack of all trades
• Jimmy - who introduced Fredrik to Dejan at Øredev 2024
• Hibernate
• Relational databases
• Oren Eini - creator of Ravendb
• Antipatterns
• n+1
• Couchbase
• Scrum
• Agile software development
• The Toyota approach
• The Scrum guide
• Unison programming language - VC funded
• Dr. Dobb’s journal
• The free lunch is over
• Concurrency
• SOLID
• Liskov substitution principle
• Repositories on top Unitofwork are not a good idea - by Rob Conery
• Elm

• A mathematician turned software developer
• Coding, but without deadline
• Saturated with software development
• Encapsulation of knowledge
• A bit surreal
• Accept people as they are
• There’s a second line
• Professional depression
• Prevented, not diagnosed
• The pipeline kind of thinking
• Frustration-driven development
• (You shouldn’t be) Punished for being successful
• The largest company of his or her life so far
• Optimized for maintaining the status quo
• Wash away all the context
• Manager of one
• The proverbial Jira
• Substantial content
• Methods of moving forward

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.

• 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

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

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

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

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

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

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

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

• Ø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!

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

• Ø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!

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

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

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

• Advent of code
• Kodsnacks Advent of code-repo
• Kodsnacks Slack
• Øredev

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

• 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

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

• 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

• Vad gör jag?
• Inte bara lärare
• Allmänt nördiga personer i