Reasoning is here.
Systems programming
- Eli Bendersky’s blog (Twitter)
- Chris Wellons’s blog
- Justine Tunney’s blog (Twitter)
- Ted Unangst’s blog
- Serge Zaitsev’s blog (Mastodon)
- Daniel Lemire’s blog (Twitter)
- Wojciech Muła’s blog (Twitter)
- Richard Startin’s blog (Twitter)
- Tyler Neely’s blog (Twitter)
- Andreas Kling’s blog (Twitter)
Formal methods
Systems
- Chris Siebenmann’s blog (Mastodon)
- Michael Stapelberg’s blog
- Brendan Gregg’s blog (Twitter)
- Rachel Kroll’s blog
- Simon Eskildsen’s blog (Twitter)
- Dan Luu’s blog (Twitter)
- Micah Lerner’s paper notes (Twitter)
- Julio Merino’s blog (Twitter)
- Evan Jones’s blog (Mastodon)
Compilers & interpreters
- Max Bernstein’s blog (Mastodon)
- Andy Wingo’s blog (Mastodon)
- Stefan Marr’s blog (Twitter)
- Laurence Tratt’s blog (Twitter)
- Fernando Borretti’s blog (Twitter)
- Abhinav Upadhyay’s blog (Twitter)
Databases
- Justin Jaffray’s blog (Twitter)
- Oren Eini’s blog (Twitter)
- Mark Callaghan’s blog (LinkedIn)
- Tanel Poder’s blog (Twitter)
- Alex Miller’s blog (Twitter)
- Jamie Brandon’s blog
- Andy Grove’s blog (Twitter)
- Julian Hyde’s blog (Twitter)
Distributed systems
- Murat Demirbas’s blog (Twitter)
- Jack Vanlightly’s blog (Twitter)
- Varun Upadhyay’s blog (LinkedIn)
- Marc Brooker’s blog (Twitter)
- Adrian Colyer’s now defunct The Morning Paper (Twitter)
- Aleksey Charapko’s paper notes (Twitter)
- Daniel Abadi’s blog (Twitter)
Feedback
As always, please email or tweet me with questions, corrections, or ideas!