Explore >> Select a destination

You are here

 decomposition.al
My FLOPS 2022 keynote talk: Adventures in Building Reliable Distributed Systems with Liquid Haskell - decomposition ? al
| | frenchy64.github.io
Are unsound type systems wrong?
25.4 parsecs away

Travel
| |
| | kuruczgy.com
A formally verified R-tree implementation
13.6 parsecs away

Travel
| |
| | archagon.net
Data Laced with History: Causal Trees & Operational CRDTs - Archagon Was Here
14.5 parsecs away

Travel
| | Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more.
| | fsharpforfunandprofit.com
Railway Oriented Programming | F# for fun and profit
109.5 parsecs away

Travel
| Slides and videos explaining a functional approach to error handling