u/mttd
r/pytorch r/RISCV r/EmuDev r/cellular_automata r/FPGA r/systems r/asm r/retrogamedev r/Compilers r/haskell r/rust r/programming r/Python r/cpp r/bioinformatics r/ReverseEngineering r/C_Programming r/ProgrammingLanguages
▲ 0 r/programming
Covert Caches: When Is A Cache, A Cache?
parallelprogrammer.substack.comu/mttd — 24 days ago
SPLV (Scottish Programming Languages and Verification Summer School) 2025 Lectures Videos
youtube.comu/mttd — 24 days ago
▲ 25 r/asm
Microcode in Intel's 8087 floating-point chip: the scale instruction
righto.comu/mttd — 1 month ago
▲ 25 r/programming
Data races and the limits of ThreadSanitizer in C and Go
theconsensus.devu/mttd — 1 month ago
▲ 6 r/programming
Testing race conditions with memory access tracing and stack-based delay injection
projectzero.googleu/mttd — 1 month ago
▲ 5 r/asm
A preview of the future Intel Architecture documentation
intel.github.iou/mttd — 1 month ago
[PDF] Lost Bytes At The Crossroads Between User- And Kernel-Level Memory Allocation
ibr.cs.tu-bs.deu/mttd — 1 month ago
▲ 1 r/Compilers
After Reflection: The Runtime Story - Saksham Sharma - C++Now 2026
youtube.comu/mttd — 1 month ago
▲ 67 r/rust
How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering
rustfoundation.orgu/mttd — 1 month ago