QotNewsHacker News, Reddit, Lobsters, and Tildes articles rendered in reader mode.
iv | 8 hours ago
I liked how the section on DB safety made it clear that single nodes are not HA but clusters are no free lunch either. Everything can fail.
Write your tasks in Agda and prove they’re commutative and idempotent!
iv | 8 hours ago
I liked how the section on DB safety made it clear that single nodes are not HA but clusters are no free lunch either. Everything can fail.
Write your tasks in Agda and prove they’re commutative and idempotent!