Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1h
📱Bytecode Design
Volant — spin up real microVMs in 10 seconds (Docker images or pre-baked initramfs)
reddit.com·6h·
Discuss: r/programming
🛡️Capability VMs
Why We Need SIMD
parallelprogrammer.substack.com·2h·
Discuss: Substack
🔀SIMD Programming
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·12h·
Discuss: r/programming
🧠Memory Models
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·2h
🔒Rust Borrowing
A mini PC is the perfect "sandbox" machine for risky software experiments
xda-developers.com·1d
💻virtual machines
Property-based testing of batch-invariant operations
mmaaz.ca·6h·
Discuss: Hacker News
🎲Property Testing
Reflections on Designing a Search Autocomplete System
torontostudygroup.github.io·22h·
Discuss: DEV
🌿Trie Structures
LLMs are badly misaligned
lesswrong.com·15h
✅Type Checking
Huawei's new open source technique shrinks LLMs to make them run on less powerful, less expensive hardware
venturebeat.com·2d
🔄Binary Translation
Souvenir
deprogrammaticaipsum.com·2h
🔗Weak References
Why Microservices Are a Symptom, Not a Cure – and What the Future Looks Like
axx83.substack.com·1d·
Discuss: Substack
🌱Forth Kernels
Trying Out Arm's Scalable Matrix Extension with Apple M4 or QEMU
dev.to·1d·
Discuss: DEV
🔄Binary Translation
Recurse Checkins
404wolf.com·4h
🔄Bootstrapping
Granite-4.0-H-Tiny vs. OLMoE: Rapid AI improvements
i.redd.it·3d·
Discuss: r/LocalLLaMA
🐹Minimal Go
AI Under the Hood Part I: Understanding the Machine
kennethwolters.com·2d·
Discuss: Hacker News
🖥️Lisp Machines
Show HN: Write deep learning code on your laptop and run it instantly on GPUs
aiengineering.academy·16h·
Discuss: Hacker News
🔀SIMD Programming
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·10h·
Discuss: Hacker News
🛡️Stack Safety
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀MIR Optimization
Focus more time toward C or C++ development as decent C++ programmer
reddit.com·3h·
Discuss: r/embedded
📖Literate Programming