Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
Smoothsort Demystified
⚡Quicksort
Flag this post
Dynamically Reconfigurable Instruction Cache for Low-Power ARM Custom Cores
🔁Cache Coherence
Flag this post
Diagonalization: A (slightly) more rigorous model of paranoia
lesswrong.com·3h
🛡️AI Security
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🕐Vector Clocks
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Attention really is all you need — The Encoder
pub.towardsai.net·5h
🤖Transformers
Flag this post
Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems
🧮SMT Solvers
Flag this post
Caching — The Secret Weapon Behind Fast, Scalable Systems — Architecture Series: Part 4
💾Cache Design
Flag this post
Why isn’t Rust getting more professional adoption despite being so loved?
🏷️Memory Tagging
Flag this post
AMD vs. Intel: a Unicode benchmark
🏗Computer Architecture
Flag this post
Speedrunning a CPU: RISC-V in a Week
⚡RISC-V
Flag this post
Built a simple C program that cracks hashed passwords (dictionary attack). Looking for feedback!
🔓Binary Exploitation
Flag this post
Availability — Queue Based Load Leveling
⭕Ring Buffers
Flag this post
Understanding Go's Garbage Collector
🗑️Garbage Collection
Flag this post
Loading...Loading more...