Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·4h
📱Bytecode Design
Property-based testing of batch-invariant operations
mmaaz.ca·9h·
Discuss: Hacker News
🎲Property Testing
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·1h·
Discuss: Hacker News
⚡Cache Optimization
MIN PULSE WIDTH TIMING CHECK The Silent Timing Trap Lurking In Every Sub-5nm Design
semiwiki.com·15h
🔍Peephole Optimization
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
std::ranges may not deliver the performance that you expect
lemire.me·10h·
Discuss: Hacker News
🏃Escape Analysis
Fun with HyperLogLog and SIMD
vaktibabat.github.io·1d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·5h
🔒Rust Borrowing
Why We Need SIMD
parallelprogrammer.substack.com·4h·
Discuss: Substack
🔀SIMD Programming
Understanding the KV Cache (feat. Self-Attention)
dev.to·55m·
Discuss: DEV
🔄Subinterpreters
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·14h·
Discuss: r/programming
🧠Memory Models
Highly concurrent in-memory counter in GoLang
engineering.grab.com·8h
🧠Memory Models
I asked chatGPT a question and got this answer. Is this even correct?
reddit.com·1d·
Discuss: r/linux
🏷️Memory Tagging
Measuring Reorder Buffer Capacity
blog.stuffedcow.net·3d·
Discuss: Lobsters, Hacker News
📝Register Allocation
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·4h
🎲Parser Fuzzing
My custom two realtime concurrency primitives
blog.inkreas.ing·1d·
Discuss: r/rust
🔗Concurrency Primitives
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
Recurse Checkins
404wolf.com·6h
🔄Bootstrapping
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
A grand week
blog.mitrichev.ch·18h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers