Explore >> Select a destination
|
You are here 
|
davquar.it | ||
| | | | |
jepsen.io
|
|
| | | | | ||
| | | | |
decomposition.al
|
|
| | | | | Back in May, I gave the opening keynote (my first keynote talk!) at the FLOPS 2022 conference. I talked about the work weve been doing in my group on using Liquid Haskell for verifying the correctness of distributed systems. | |
| | | | |
preethikasireddy.com
|
|
| | | | | Distributed systems can be difficult to understand, mainly because the knowledge surrounding them is distributed. But don't worry, I'm well aware of the irony. While teaching myself distributed computing, I fell flat on my face many times. Now, after many trials and tribulations... | |
| | | | |
gist.github.com
|
|
| | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | ||
