Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.orgยท11h
๐Ÿ“ฑBytecode Design
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ieยท12h
๐Ÿ”’Rust Borrowing
Highly concurrent in-memory counter in GoLang
engineering.grab.comยท15h
๐Ÿง Memory Models
Is Odin Just a More Boring C?
dayvster.comยท4hยท
Discuss: Hacker News
๐ŸนGo Internals
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.proยท9hยท
Discuss: Hacker News
โšกCache Optimization
Property-based testing of batch-invariant operations
mmaaz.caยท16hยท
Discuss: Hacker News
๐ŸŽฒProperty Testing
[shiโ€ขrei] A new immediate-mode GUI framework for Go
judi.systemsยท4hยท
Discuss: r/golang
๐Ÿ’ปTerminal UIs
Simple hash map in C, for learning purpose
reddit.comยท4hยท
๐Ÿท๏ธSymbol Interning
๐Ÿš€ I Replaced Goโ€™s Scheduler โ€” And You Should Too (Hereโ€™s How)
dev.toยท21hยท
Discuss: DEV
๐Ÿ”„Go Scheduler
State of the Art of AI Tools in Micro-Frontend Architectures โ€ข Luca Mezzalira โ€ข GOTO 2025
youtube.comยท3h
๐Ÿ’ฌSmalltalk VMs
Fun with HyperLogLog and SIMD
vaktibabat.github.ioยท2dยท
๐Ÿ”ขBit Manipulation
Behavior Best-of-N achieves Near Human Performance on Computer Tasks
lesswrong.comยท22h
๐ŸฐCapability Machines
WASM in the Kernel: Tales of Triumph and Trouble
riptides.ioยท2hยท
Discuss: Hacker News
๐ŸŒWASM Runtimes
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.comยท5hยท
Discuss: Hacker News
๐ŸงฎTheorem Provers
Understanding the KV Cache (feat. Self-Attention)
dev.toยท8hยท
Discuss: DEV
๐Ÿ”„Subinterpreters
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.comยท22hยท
Discuss: r/programming
๐Ÿง Memory Models
Souvenir
deprogrammaticaipsum.comยท12h
๐Ÿ”—Weak References
A case for learning GPU programming with a compute-first mindset โ€“ Maister's Gr
themaister.netยท3hยท
๐Ÿ”—Language Toolchains
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.comยท1d
๐ŸคCooperative Threading