Hacker News: mad44

New comment by mad44 in "The Two Abstractions of System Design: Hide or Reduce"

mad44 — Fri, 04 Sep 2026 16:42:33 +0000

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.

New comment by mad44 in "Specifications Don't Exist (2025)"

mad44 — Tue, 01 Sep 2026 21:33:35 +0000

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...

New comment by mad44 in "Classical chess ranks 562nd of 960 starting positions after 460,800 games"

mad44 — Thu, 27 Aug 2026 14:52:32 +0000

AI written, and makes no sense it how the piece flows.

Book Review: The Thinking Machine

mad44 — Mon, 18 May 2026 17:08:45 +0000

Article URL: http://muratbuffalo.blogspot.com/2026/05/book-review-thinking-machine.html

Comments URL: https://news.ycombinator.com/item?id=48182371

Points: 3

# Comments: 0

PolitePaxos: A New Consensus Variant Where the Proposer Just Asks Nicely

mad44 — Wed, 01 Apr 2026 14:32:41 +0000

Article URL: http://muratbuffalo.blogspot.com/2026/04/politepaxos-new-consensus-variant-where.html

Comments URL: https://news.ycombinator.com/item?id=47601489

Points: 6

# Comments: 0

Taming LLMs: Using Executable Oracles to Prevent Bad Code

mad44 — Thu, 26 Mar 2026 17:51:42 +0000

Article URL: https://john.regehr.org/writing/zero_dof_programming.html

Comments URL: https://news.ycombinator.com/item?id=47533555

Points: 47

# Comments: 20

Claude Code Experiment: Visualizing Hybrid Logical Clocks

mad44 — Thu, 19 Mar 2026 16:49:07 +0000

Article URL: http://muratbuffalo.blogspot.com/2026/03/claude-code-experiment-visualizing.html

Comments URL: https://news.ycombinator.com/item?id=47442338

Points: 6

# Comments: 0

New comment by mad44 in "Cloudspecs: Cloud Hardware Evolution Through the Looking Glass"

mad44 — Fri, 09 Jan 2026 18:46:13 +0000

Does anyone have any explanation or theories about the NVME SSDs pricing anomaly?

New comment by mad44 in "Ask HN: What are the best engineering blogs with real-world depth?"

mad44 — Tue, 23 Dec 2025 17:50:12 +0000

MongoDB Engineering Blog is shaping up well

https://www.mongodb.com/company/blog/channel/engineering-blo...

LeaseGuard: Raft Leases Done Right

mad44 — Fri, 19 Dec 2025 16:06:05 +0000

Article URL: http://muratbuffalo.blogspot.com/2025/12/leaseguard-raft-leases-done-right.html

Comments URL: https://news.ycombinator.com/item?id=46327307

Points: 4

# Comments: 0

New comment by mad44 in "Patrick Winston: How to Speak (2018) [video]"

mad44 — Tue, 02 Sep 2025 00:20:46 +0000

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

New comment by mad44 in "Ask HN: Stanford CS 153 help"

mad44 — Sat, 21 Dec 2024 12:38:32 +0000

Also Mahesh Balakrishnan (Yale, Facebook/Meta, Confluent) https://muratbuffalo.blogspot.com/search?q=mahesh

New comment by mad44 in "Ask HN: Stanford CS 153 help"

mad44 — Sat, 21 Dec 2024 02:20:47 +0000

Marc Brooker @mjb https://news.ycombinator.com/user?id=mjb

TLA from First Principles

mad44 — Tue, 22 Oct 2024 17:59:02 +0000

Article URL: https://buttondown.com/hillelwayne/archive/tla-from-first-principles/

Comments URL: https://news.ycombinator.com/item?id=41916896

Points: 4

# Comments: 0

New comment by mad44 in "Emacs 2011-2023"

mad44 — Sun, 14 Apr 2024 21:34:09 +0000

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...