Skip to content

Andrew Helwer personal blog

How do you reason about a probabilistic distributed system?

ahelwer.ca

Read on ahelwer.ca → Discuss on HN (15) Archived copy

Points: 112
HN comments: 15
Submissions: 1
Cited by: 0 commenters

Systems & Performance Math & Algorithms 2020

On Hacker News

Submitted	Title on HN	Points	Comments
Sep 11, 2020	How do you reason about a probabilistic distributed system? by ahelwer	112	15

More from Andrew Helwer

All 7 posts →

Google Groups has been left to die

2023507 points294 comments Society, Policy & Culture details

Book review: Is parallel programming hard, and, if so, what can you do about it?

2026149 points66 comments Software Engineering details

The current state of TLA⁺ development

2025142 points42 comments Software Engineering details

Doing a math assignment with the Lean theorem prover

2020141 points29 comments Math & Algorithms details

Can sanitizers find the two bugs I wrote in C++?

2023138 points192 comments Software Engineering details

Writing a TLA⁺ tree-sitter grammar: my foray into free software

2023131 points3 comments Software Engineering details

Related posts from the same era

How I cut GTA Online loading times by 70%

meh.20213,883 points1,011 commentscited by 61 details

An Unbelievable Demo

Brendan Gregg20212,339 points482 commentscited by 5 details

MacOS Catalina: Slow by Design?

Allan Odgaard20202,031 points1,122 commentscited by 5 details

You Are Not Google (2017)

Bradfield School of Computer Science Blog20191,623 points730 commentscited by 14 details

Why Discord is switching from Go to Rust

Discord Blog20201,582 points642 comments details

GNOME has no thumbnails in the file picker and my toilets are blocked

jayfax.neocities.org20211,505 points1,014 commentscited by 10 details