Lamport's Byzantine Generals Algorithm in Python

Comments (1)

Maro · 4h ago

Understanding and implementing this algorithm was very rewarding. While Lamport didn't win a specific award for the problem itself, his work on it, and related concepts in distributed computing, earned him the prestigious A.M. Turing Award in 2013.

Why Exercise Is a Miracle Drug (derekthompson.org)

The Art of Multiprocessor Programming 2nd Edition Book Club (eatonphil.com)

WebGPU enables local LLM in the browser. Demo site with AI chat (andreinwald.github.io)

We may not like what we become if A.I. solves loneliness (newyorker.com)

Compressing Icelandic name declension patterns into a 3.27 kB trie (alexharri.com)

Great Question (YC W21) Is Hiring a VP of Engineering (Remote) (ycombinator.com)

6 Weeks of Claude Code (blog.puzzmo.com)

Unikernel Guide: Build and Deploy Lightweight, Secure Apps (tallysolutions.com)

Hiding secret codes in light protects against fake videos (news.cornell.edu)

The Rubik's Cube Perfect Scramble (solutionslookingforproblems.com)

Financial Lessons from My Family's Experience with Long-Term Care Insurance (whitecoatinvestor.com)

The /o in Ruby regex stands for "oh the humanity " (jpcamara.com)

Telo MT1 (telotrucks.com)

Caches: LRU vs. Random (danluu.com)

Microsoft is open sourcing Windows 11's UI framework (neowin.net)

Online Collection of Keygen Music (keygenmusic.tk)

Go's race detector has a mutex blind spot (doublefree.dev)

Cerebras Code (cerebras.ai)

VSCode extension for syntax highlighting multi-line YAML strings (github.com)

Ana Marie Cox on the Shaky Foundation of Substack as a Business (newsletter.anamariecox.com)

Character Bitmap Graphics on the Pet 2001 (masswerk.at)

ThinkPad designer David Hill spills secrets, designs that never made it (theregister.com)

Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU (dougmacdowell.com)

Why leather is best motorcycle protection [video] (youtube.com)

At 17, Hannah Cairo solved a major math mystery (quantamagazine.org)

JavaScript retro sound effects generator (github.grumdrig.com)

This Month in Ladybird (ladybird.org)

Weather Model based on ADS-B (obrhubr.org)

I couldn't submit a PR, so I got hired and fixed it myself (skeptrune.com)

Hardening mode for the compiler (discourse.llvm.org)

Cadence Guilty, Pays $140M for Exporting Semi Design Tools to PRC Military Uni (justice.gov)

Yearly Organiser (neatnik.net)

Iceberg, the Right Idea – The Wrong Spec – Part 2 of 2: The Spec (database-doctor.com)

Ask HN: Who is hiring? (August 2025)

Ethersync: Peer-to-peer collaborative editing of local text files (github.com)

Aerodynamic drag in small cyclist formations: shielding the protected rider [pdf] (urbanphysics.net)

Does the Bitter Lesson Have Limits? (dbreunig.com)

Palo Alto Networks agrees to buy CyberArk for $25B (techcrunch.com)

A.I. Researchers Are Negotiating $250 Million Pay Packages (nytimes.com)

Launch HN: Societies.io (YC W25) – AI simulations of your target audience

Show HN: Draw a fish and watch it swim with the others (drawafish.com)

Robert Wilson has died (theartnewspaper.com)

Replacing tmux in my dev workflow (bower.sh)

North Korea sent me abroad to be a secret IT worker (bbc.com)

Researchers map where solar energy delivers the biggest climate payoff (rutgers.edu)

Anthropic revokes OpenAI's access to Claude (wired.com)

Ferroelectric Helps Break Transistor Limits (spectrum.ieee.org)

Our Farewell from Google Play (secuso.aifb.kit.edu)

Native Sparse Attention (aclanthology.org)

Jujutsu for Busy Devs, Part 2: "How Do I?" (maddie.wtf)

Lamport's Byzantine Generals Algorithm in Python

Comments (1)