Memory Consistency Models: A Tutorial

Comments (2)

crvdgc · 2h ago

Here's a tool suite to simulate and run memory model litmus tests (on real hardware): https://github.com/herd/herdtools7

The simulation tool can also generate relation graphs similar to those of the blog.

mplanchard · 3h ago

I have always found this hard to reason about. This was a nice primer! I also like the rustonomicon’s treatment of the subject: https://doc.rust-lang.org/nomicon/atomics.html

DDoSecrets publishes 410 GB of heap dumps, hacked from TeleMessage (micahflee.com)

I got fooled by AI-for-science hype–here's what it taught me (understandingai.org)

The Windows Subsystem for Linux is now open source (blogs.windows.com)

Have I Been Pwned 2.0 (troyhunt.com)

Jules: An Asynchronous Coding Agent (jules.google)

What are people doing? Live-ish estimates based on global population dynamics (humans.maxcomperatore.com)

Zod 4 (zod.dev)

A shower thought turned into a Collatz visualization (abstractnonsense.com)

GitHub Copilot Coding Agent (github.blog)

Ann, the Small Annotation Server (mccd.space)

Claude Code SDK (docs.anthropic.com)

Making Video Games (Without an Engine) in 2025 (noelberry.ca)

Launch HN: Better Auth (YC X25) – Authentication Framework for TypeScript

Kilo: A text editor in less than 1000 LOC with syntax highlight and search (github.com)

Show HN: A free, privacy preserving, archive of public Discord servers (searchcord.io)

Run GitHub Actions locally (github.com)

Game theory illustrated by an animated cartoon game (ncase.me)

Memory Consistency Models: A Tutorial (jamesbornholt.com)

A man who visited every country in the world without boarding a plane (2023) (theguardian.com)

The forbidden railway: Vienna-Pyongyang (2008) (vienna-pyongyang.blogspot.com)

Biff – a batteries-included web framework for Clojure (biffweb.com)

Terraform MCP Server (github.com)

Remarks on AI from NZ (nealstephenson.substack.com)

xAI's Grok 3 comes to Microsoft Azure (techcrunch.com)

WireGuard vanity keygen (github.com)

Too Much Go Misdirection (flak.tedunangst.com)

Patience too cheap to meter (seangoedecke.com)

Dilbert creator Scott Adams says he will die soon from same cancer as Joe Biden (thewrap.com)

Solving the local optima problem – NQueens (github.com)

Experimentation Matters: Why Nuenki isn't using pairwise evaluations (nuenki.app)

Self-Hosting Moose with Docker Compose, Redis, Temporal, Redpanda and ClickHouse (docs.fiveonefour.com)

Cleo, the mathematician that tricked Stack Exchange (en.wikipedia.org)

Glasskube (YC S24) is hiring in Vienna to build Open Source deployment tools (ycombinator.com)

Is-even-ai – Check if a number is even using the power of AI (npmjs.com)

Microbes in Gowanus teach lessons on fighting industrial pollution (engineering.nyu.edu)

Don't Use ISO/IEC 14977:1996 Extended Backus-Naur Form (EBNF) (2023) (dwheeler.com)

Telum II at Hot Chips 2024: Mainframe with a Unique Caching Strategy (chipsandcheese.com)

The truth behind the accuracy of weather forecasts (abc.net.au)

Diffusion models explained simply (seangoedecke.com)

Show HN: A MCP server to evaluate Python code in WASM VM using RustPython (github.com)

Improving Assembly Code Performance with LLMss via Reinforcement Learning (arxiv.org)

In Memoriam: John L. Young, Cryptome Co-Founder (eff.org)

We need 'revolutionary' cooling tech (bbc.com)

Microsoft's ICC blockade: digital dependence comes at a cost (techzine.eu)

Rivers (futilitycloset.com)

Show HN: Windows 98 themed website in 1 HTML file for my post punk band (corp.band)

UK study: Almost half of young people would prefer a world without internet (theguardian.com)

Opinion: How to pull your family members out of the information rabbit hole (statepress.com)

Go Cryptography Security Audit (go.dev)

Old Growth Wood (brenthull.com)

Memory Consistency Models: A Tutorial

Comments (2)