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!

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

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

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

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

• 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