Kodsnack

Kodsnack 637 - Gentlemannaöverenskommelse


Listen Later

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å [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
  • 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
...more
View all episodesView all episodes
Download on the App Store

KodsnackBy Kristoffer, Fredrik, Tobias

  • 5
  • 5
  • 5
  • 5
  • 5

5

1 ratings


More shows like Kodsnack

View all
Kapitalet by Monopol Media AB

Kapitalet

11 Listeners

Allt du velat veta by Acast - Fritte Fritzson

Allt du velat veta

10 Listeners

Filip & Fredrik podcast by filipandfredrik.com

Filip & Fredrik podcast

89 Listeners

RikaTillsammans | Om privatekonomi & rikedom i livet by Jan och Caroline Bolmeson

RikaTillsammans | Om privatekonomi & rikedom i livet

11 Listeners

Den nya ekonomin by Dagens industri

Den nya ekonomin

3 Listeners

Marknaden by Monopol Media

Marknaden

8 Listeners

Kompilator by Bartek Tatkowski

Kompilator

2 Listeners

Flashback Forever by Flashback Forever

Flashback Forever

39 Listeners

Asdf by Therése & Anton

Asdf

0 Listeners

Developers! - mer än bara kod by Madeleine Schönemann och Sofia Larsson

Developers! - mer än bara kod

0 Listeners

AI Sweden Podcast by AI Sweden

AI Sweden Podcast

0 Listeners

SvD Tech brief by Svenska Dagbladet

SvD Tech brief

2 Listeners

Modermodemet by Anders Arpi, Patrik Svensson, Bartek Tatkowski

Modermodemet

0 Listeners

Fabriken by UR – Utbildningsradion

Fabriken

0 Listeners

Kära dagbok by Dagens Nyheter

Kära dagbok

0 Listeners