Property-based testing of batch-invariant operations
mmaaz.caยท4hยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
MIN PULSE WIDTH TIMING CHECK The Silent Timing Trap Lurking In Every Sub-5nm Design
semiwiki.comยท10h
๐Ÿ”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ยท5hยท
Discuss: Hacker News
๐ŸƒEscape Analysis
Highly concurrent in-memory counter in GoLang
engineering.grab.comยท3h
๐Ÿง Memory Models
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ieยท35m
๐Ÿ”’Rust Borrowing
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท1dยท
๐Ÿ”ขBit Manipulation
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท9hยท
Discuss: r/programming
๐Ÿง Memory Models
Why We Need SIMD
parallelprogrammer.substack.comยท18mยท
Discuss: Substack
๐Ÿ”€SIMD Programming
Adaptive Toolpath Optimization via Multi-Objective Reinforcement Learning for Bur Tool Wear Prediction
dev.toยท1dยท
Discuss: DEV
๐ŸŽญProgram Synthesis
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ยท
๐Ÿ“Register Allocation
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.ccยท1dยท
Discuss: Hacker News
๐ŸŽฏBit Vectors
My custom two realtime concurrency primitives
blog.inkreas.ingยท1dยท
Discuss: r/rust
๐Ÿ”—Concurrency Primitives
Recurse Checkins
404wolf.comยท2h
๐Ÿ”„Bootstrapping
Delimited Continuations in Lone Lisp
matheusmoreira.comยท2dยท
๐Ÿ”ฎLisp Interpreters
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.ioยท20hยท
Discuss: DEV
๐ŸŒฟTrie Structures
Trying Out Arm's Scalable Matrix Extension with Apple M4 or QEMU
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Binary Translation
A grand week
blog.mitrichev.chยท14hยท
๐ŸงฉConstraint Solvers
Bulk operations in Boost.Bloom
bannalia.blogspot.comยท1dยท
๐ŸŒธBloom Indexing