Hacker News
- Formal Methods: Just Good Engineering Practice? https://brooker.co.za/blog/2024/04/17/formal.html 0 comments
- The power of two random choices https://brooker.co.za/blog/2012/01/17/two-random.html 33 comments
- What is scalability anyway? https://brooker.co.za/blog/2024/01/18/scalability.html 9 comments
- NoSQL: The Baby and the Bathwater https://brooker.co.za/blog/2023/01/30/nosql.html 58 comments
- Formal methods only solve half my problems https://brooker.co.za/blog/2022/06/02/formal.html 29 comments
- Tail latency might matter more than you think https://brooker.co.za/blog/2021/04/19/latency.html 53 comments
- Surprising Economics of Load-Balanced Systems http://brooker.co.za/blog/2020/08/06/erlang.html 6 comments
- Two Years with Rust http://brooker.co.za/blog/2020/03/22/rust.html 225 comments
- Kindness, Wickedness and Safety http://brooker.co.za/blog/2019/08/12/kind-wicked 13 comments
- Make your program slower with threads http://brooker.co.za/blog/2014/12/06/random.html 47 comments
Lobsters
- Formal Methods: Just Good Engineering Practice? http://brooker.co.za/blog/2024/04/17/formal.html 5 comments practices
- Why Aren't We SIEVE-ing? https://brooker.co.za/blog/2023/12/15/sieve.html 11 comments performance
- DynamoDB's Best Feature: Predictability https://brooker.co.za/blog/2022/01/19/predictability.html 2 comments performance , programming
- Code Only Says What it Does http://brooker.co.za/blog/2020/06/23/code 8 comments practices
- Two Years With Rust http://brooker.co.za/blog/2020/03/22/rust.html 37 comments rust
- Why Must Systems Be Operated? http://brooker.co.za/blog/2016/01/03/correlation.html 4 comments distributed , scaling
- The Zero, One, Infinity Disease http://brooker.co.za/blog/2015/04/11/zero-one.html 6 comments compsci , culture
- Make Your Program Slower With Threads http://brooker.co.za/blog/2014/12/06/random.html 7 comments programming
- The power of two random choices http://brooker.co.za/blog/2012/01/17/two-random.html 6 comments compsci
- Snark, Chord, and Trust in Algorithms http://brooker.co.za/blog/2014/03/08/model-checking.html 3 comments compsci , distributed
- Formal Methods: Just Good Engineering Practice? http://brooker.co.za/blog/2024/04/17/formal.html 1 comment programming
- Why Aren't We SIEVE-ing? https://brooker.co.za/blog/2023/12/15/sieve.html 3 comments programming
- Invariants: A Better Debugger? Alternative Way of reasoning about algorithms, data structures, and distributed systems https://brooker.co.za/blog/2023/07/28/ds-testing.html 21 comments programming
- The DynamoDB paper - A rare look at a real-world distributed system that runs at massive scale https://brooker.co.za/blog/2022/07/12/dynamodb.html 7 comments aws
- Will circuit breakers solve my problems? https://brooker.co.za/blog/2022/02/16/circuit-breakers.html 2 comments programming
- Make Your Program Slower With Threads https://brooker.co.za/blog/2014/12/06/random.html 73 comments programming
- Proof-of-concept: Open source, bring-your-own-infrastructure control plane for self-hosted apps https://brooker.co.za/blog/2019/03/17/control.html 19 comments selfhosted
- Code Only Says What it Does http://brooker.co.za/blog/2020/06/23/code 21 comments programming
- Two Years With Rust http://brooker.co.za/blog/2020/03/22/rust.html 30 comments programming
- Two Years With Rust http://brooker.co.za/blog/2020/03/22/rust.html 34 comments rust
- Jitter: Making Things Better With Randomness http://brooker.co.za/blog/2015/03/21/backoff.html 5 comments programming
- The Zero, One, Infinity Disease http://brooker.co.za/blog/2015/04/11/zero-one.html 5 comments programming
- Make Your Program Slower With Threads http://brooker.co.za/blog/2014/12/06/random.html 268 comments programming
- The Essential Barbara Liskov http://brooker.co.za/blog/2014/09/21/liskov-pub.html 5 comments compsci
- The Space Between Theory and Practice in Distributed Systems http://brooker.co.za/blog/2014/08/10/the-space-between.html 6 comments compsci
- Restricted Transactional Memory on Haswell http://brooker.co.za/blog/2013/12/16/intel-rtm.html 3 comments programming
- Hardware Lock Elision on Haswell http://brooker.co.za/blog/2013/12/14/intel-hle.html 6 comments programming
- C++11 atomic and volatile, under the hood on x86 http://brooker.co.za/blog/2013/01/06/volatile.html 55 comments programming
- Java's Atomic and volatile, under the hood on x86 http://brooker.co.za/blog/2012/11/13/increment.html 23 comments programming
- Are volatile reads really free in Java? http://brooker.co.za/blog/2012/09/10/volatile.html 10 comments java