Kodsnack 637 - Gentlemannaöverenskommelse
2025-04-08 05:26
Fredrik och Kristoffer snackar livskraftig körning (durable execution), deterministiskt simuleringstestande, och lite om Roc. Kristoffer ger sin ögonblicksbild av livskraftig körning och relaterade saker han just nu snöat in på. Mycket kretsar kring stiliga och kraftfulla abstraktioner som leder fram till renare och enklare lösningar på kniviga problem.
Tänk om du kunde stödja både synkron och asynkron körning av all din kod, utan att behöva skriva någonting som hanterar det i din kod?
Landar vi i Haskell? Eller till och med Lisp?
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
- Hydropress
- Vattenläckan i Jönköping
- Roc
- Anders från Modermodemet
- Kristoffers gästspel i Modermodemet
- Durable execution
- Sidekiq
- Temporal
- Worker i Temporal
- Cronjob
- Idempotent - när något kan göras flera gånger utan att förändra resultatet (ett tryck på “på”-knappen har samma effekt som tio tryck)
- Rena funktioner i funktionell programmering
- DST - deterministisk simuleringstestning
- Video om DST
- Distributed asynchronous await - a new programming model for distributed applications - video från Tigerbeetle
- Tigerbeetle
- Zig
- Viewstamped replication
- Konsensus
- Paxos - algoritmen och dess paper med grekiska filosofer
- Paxos - ön
- Leslie Lamport
- Raft - “designed to be understandable and durable”
- Kubernetes
- IO-monaden i Haskell
- Stöd oss via Ko-fi!
- Andrew Kelley
- Andrew Kelleys liveström om async-await i Zig
- Tokio
- Task i Roc är deprekerat, och de har redan städat bort dokumentationen
- Plattformar i Roc
- YAML
- Richard Feldman
- Deno
- Ryan Dahl
- Durable functions
- Resonate
- Flawless (Rust)
- Lat evaluering
- Lisp
- call-with-current-continuation i Lisp (Scheme för att vara exakt)
- Dominik Tornow, skapare av Temporal
Titlar
- Allting går sönder, konstant
- Allting förfaller och växer över och möglar
- Krossad av en hydropress
- Ur bandet
- En separat process
- På ett hållbart sätt
- Sov i en dag
- Bara som att köra kod
- Kraschar och kommer tillbaka
- Om man är en konsensusnörd
- Somna och vakna igen
- Raft är Paxos
- Pedagogiska animationer
- Det här är ögonblicksbilden
- En tidsstämpel och en bild av världen
- Rätt programmeringsmodell
- En allokerare
- Den globala soptippen
- Vår egen soptunna
- Det här är rätt abstraktion
- Idén med IO-monaden
- Rätt abstraktionsnivå
- Gentlemannaöverenskommelse