🧮 Memory Models

Weak Consistency, Acquire-Release, Memory Barriers, Concurrent Programming

A Friendly Tour of Process Memory on Linux
0xkato.xyz·1h·
Discuss: Hacker News
🐞Kernel Debugging
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·4d·
Discuss: Hacker News
⚡JIT Compilation
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·10h·
Discuss: Hacker News
⚡SIMD Optimization
Flag this post
Why Engineers Can't Be Rational About Programming Languages
spf13.com·10h·
Discuss: Hacker News
🦀Rust Compilers
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·3d·
Discuss: Lobsters, Hacker News
🔍Symbolic Execution
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
SQLite concurrency and why you should care about it
jellyfin.org·2d·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·1d·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Why We Migrated from Python to Node.js
blog.yakkomajuri.com·8h·
Discuss: Hacker News, r/node
🌐WebAssembly
Flag this post
Linkers: A 20 Part Series
airs.com·1h·
Discuss: Hacker News
🦀Rust Compilers
Flag this post
Linux/WASM
joelseverin.github.io·2d·
Discuss: Hacker News, Hacker News, r/linux
🌐WebAssembly
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·2d·
Discuss: Hacker News
🦀Rust Compilers
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·6d·
Discuss: Hacker News
🦀Rust Compilers
Flag this post
Learning a Bit of VGA
usebox.net·7h·
Discuss: Hacker News
⚡SIMD Optimization
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·2d·
Discuss: Substack
⚡JIT Compilation
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
🔍Symbolic Execution
Flag this post
Teddy Bear Trash Compactor
internet.place·5d·
Discuss: Lobsters
🦀Rust Compilers
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·1d·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
The Case That A.I. Is Thinking
newyorker.com·13h·
Discuss: Hacker News
🤖Transformers
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·7h·
Discuss: Hacker News
🤖Transformers
Flag this post