mad44
Re:Blogging with Gleam, Org-Mode and Pandoc
on Friday October 02, 2026 @03:28PM (#49937533)
This is a classic bell-curve meme. The midwit gets lost in complex setups, but the smartest approach is simply to write, regardless of the platform.
https://muratbuffalo.blogspot.com/2026/03/800th-blog-post-wr...
Re:Distributed Systems Classics
on Monday September 14, 2026 @08:56PM (#49706366)
Here is my list:
https://muratbuffalo.blogspot.com/2021/02/foundational-distr...
Re:The Two Abstractions of System Design: Hide or Reduce
on Friday September 04, 2026 @12:42PM (#49566994)
Yes. The followup blogpost makes this more concrete over an example:
https://muratbuffalo.blogspot.com/2026/08/composition-and-mo... The rely-guarantee reasoning we used in this post is where the two abstractions meet and become a joint constraint. The modularity abstraction is the boundary: we split the specs into private versus interface variables, hiding produced from the consumer and consumed from the producer. The modeling abstraction is the Env actions. E.g., EnvPut is not an API for the producer, it is a reduction of the producer: the minimal behavioral skeleton of the entire producer relevant to the consumer's property.
Re:Specifications Don't Exist
on Tuesday September 01, 2026 @05:33PM (#49528546)
There are now projects like Specula that, using LLMs, enable us to derive specifications from the implementation, and somewhat paradoxically, use those specifications to find bugs in the implementation.
https://muratbuffalo.blogspot.com/2026/08/specula-scaling-fo...
Secondly, I think the open partial specs, composable specs would help address the problems with monolithic specs that Dodd's cites. https://muratbuffalo.blogspot.com/2026/08/composition-and-mo...
Re:Classical chess ranks 562nd of 960 starting positions after 460,800...
on Thursday August 27, 2026 @10:52AM (#49465848)
AI written, and makes no sense it how the piece flows.
PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely
Taming LLMs: Using Executable Oracles to Prevent Bad Code
Claude Code Experiment: Visualizing Hybrid Logical Clocks
Re:Cloudspecs: Cloud Hardware Evolution Through the Looking Glass
on Friday January 09, 2026 @01:46PM (#46557456)
Does anyone have any explanation or theories about the NVME SSDs pricing anomaly?
Re:Ask HN: What are the best engineering blogs with real-world depth?
on Tuesday December 23, 2025 @12:50PM (#46367369)
MongoDB Engineering Blog is shaping up well
https://www.mongodb.com/company/blog/channel/engineering-blo...
LeaseGuard: Raft Leases Done Right
Re:Patrick Winston: How to Speak (2018) [video]
on Monday September 01, 2025 @08:20PM (#45097831)
I had summarized this talk here: https://muratbuffalo.blogspot.com/2020/01/how-to-speak-by-pa...
And a couple more pearls from Prof. Winston here as well. https://muratbuffalo.blogspot.com/search?q=winston
Re:Ask HN: Stanford CS 153 help
on Saturday December 21, 2024 @07:38AM (#42479324)
Also Mahesh Balakrishnan (Yale, Facebook/Meta, Confluent)
https://muratbuffalo.blogspot.com/search?q=mahesh
Re:Ask HN: Stanford CS 153 help
on Friday December 20, 2024 @09:20PM (#42477024)
Marc Brooker @mjb
https://news.ycombinator.com/user?id=mjb
TLA from First Principles
Re:Emacs 2011-2023
on Sunday April 14, 2024 @05:34PM (#40034685)
I was also unhappy with emacs breaking across versions, but I learnt to adopt to the new and sane keyboard shortcuts for org mode. http://muratbuffalo.blogspot.com/2024/01/dude-wheres-my-emac...
Best of 2023 in MuratBuffalo Distributed/Database Systems Blog
Re:How to Read a Paper [pdf]
on Tuesday November 28, 2023 @01:52PM (#38449638)
How I read a research paper
https://muratbuffalo.blogspot.com/2013/07/how-i-read-researc...
Epoxy: Acid Transactions Across Diverse Data Stores (VLDB'23)
Re:Slack: Our biggest redesign yet came to be
on Thursday November 02, 2023 @12:31PM (#38116052)
It makes working across other slack workspaces inconvenient by adding another click to select another workspace.
Re:Slack: Our biggest redesign yet came to be
on Thursday November 02, 2023 @12:29PM (#38116002)
Yes, the redesign sucks, it is hard to use.
Hints for Distributed Systems Design (2023)
How I Learn a Technical Subject
Re:Edsger Dijkstra’s One-Day Workweek
on Monday August 07, 2023 @07:43AM (#37033132)
I had written this in 2014 as a short introduction to Dijkstra's EWD notes.
https://muratbuffalo.blogspot.com/2014/09/revisiting-ewds.ht...
Detock: High Performance Multi-Region Transactions at Scale (Sigmod 2023)
Re:Ask HN: Could you share your personal blog here?
on Wednesday July 05, 2023 @04:10PM (#36606363)
Distributed systems, database systems, writing, research, cloud computing
Re:How to Listen to Database Changes Using Postgres Triggers in Elixir
on Wednesday June 14, 2023 @10:28AM (#36326546)
http://muratbuffalo.blogspot.com/2016/09/sonification-for-mo...
Sonification for monitoring and debugging distributed systems
New Directions in Cloud Computing
Re:Foundational Distributed Systems Papers
on Wednesday April 12, 2023 @10:17AM (#35540072)
There it is in the post:
In Search of an Understandable Consensus Algorithm. Diego Ongaro, John Ousterhout, Usenix ATC, 2014.