Newest Stories by icefall | Lobsters

38

Building Reliable Infrastructure in Rust ☶ video formalmethods rust testing youtube.com
authored by icefall 2 months ago | cached | 9 comments

9
23

Reliable Systems Series: Model-Based Testing testing medium.com
authored by icefall 5 months ago | cached | 16 comments

16
27

Fear and Loathing in Lock-Free Programming performance programming medium.com
authored by icefall 10 months ago | cached | 9 comments

9
5

Déjà Fu : A Concurrency Testing Library for Haskell ☶ pdf formalmethods haskell testing barrucadu.co.uk
via icefall 11 months ago | cached | 2 comments

2
17

Introduction to TLA+ video distributed math lamport.azurewebsites.net
via icefall 1 year ago | cached | 4 comments

4
8

Simple Consensus distributed rystsov.info
via icefall 1 year ago | cached | no comments

0
1

CCS 2016 - The Honey Badger of BFT Protocols video crypto distributed youtube.com
via icefall 1 year ago | cached | no comments

0
14

Lashup - high availability control plane foundation, crdt store ☶ databases distributed erlang networking github.com
via icefall 2 years ago | cached | 5 comments

5
11

Please stop calling databases CP or AP databases distributed martin.kleppmann.com
via icefall 3 years ago | cached | 1 comment

1
6

Stellar - Adventures in Galactic Consensus distributed stellar.org
via icefall 3 years ago | cached | 1 comment

1
1

Shielding Applications from an Untrusted Cloud with Haven ☶ pdf video security virtualization usenix.org
via icefall 3 years ago | cached | no comments

0
22

Cache Oblivious Algorithms ☶ programming scaling 1024cores.net
via icefall 4 years ago | cached | 4 comments

4
12

Practicalities of Productionizing Distributed Systems video distributed youtube.com
via icefall 4 years ago | cached | 6 comments

6