mad44
Joined 19 years ago
Karma
1,911
Submissions
366
Member since
Aug 16
Recent submissions
Comment · 1 month ago
Comment · 1 month ago
Here is my list:
https://muratbuffalo.blogspot.com/2021/02/foundational-distr...
Comment · 1 month ago
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.
Comment · 2 months ago
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...
Comment · 2 months ago
AI written, and makes no sense it how the piece flows.
Comment · 9 months ago
Does anyone have any explanation or theories about the NVME SSDs pricing anomaly?
Comment · 10 months ago
MongoDB Engineering Blog is shaping up well
https://www.mongodb.com/company/blog/channel/engineering-blo...
https://muratbuffalo.blogspot.com/2026/03/800th-blog-post-wr...