Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4h·
Discuss: Hacker News
⚡Cache Optimization
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·23h·
Discuss: r/webdev
🚀Code Motion
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Understanding the KV Cache (feat. Self-Attention)
dev.to·3h·
Discuss: DEV
🔄Subinterpreters
Leaker Clears The Air On Intel Core Ultra X Series, Models To Feature Full Xe3 iGPU
pokde.net·17h
🔧RISC-V
Highly concurrent in-memory counter in GoLang
engineering.grab.com·10h
🧠Memory Models
Blogpost: A Mental Model for GPU Engineering for LLMs
modelcraft.substack.com·1d·
Discuss: Substack
🧠Memory Models
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🪜Recursive Descent
Bulk operations in Boost.Bloom
bannalia.blogspot.com·1d·
Discuss: bannalia.blogspot.com, Hacker News
🌸Bloom Indexing
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
Startup Funding: Q3 2025
semiengineering.com·3h
🗺️Region Inference
Why We Need SIMD
parallelprogrammer.substack.com·7h·
Discuss: Substack
🔀SIMD Programming
6th October – Threat Intelligence Report
research.checkpoint.com·1h
🛡️Security Type Systems
Measuring Reorder Buffer Capacity
blog.stuffedcow.net·3d·
Discuss: Lobsters, Hacker News
📝Register Allocation
Automated Predictive Maintenance Optimization via Hybrid Bayesian-Markovian Modeling for Tunnel Boring Machines (TBMs)
dev.to·5h·
Discuss: DEV
📡Erlang BEAM
Measuring scaleup for Postgres 18.0 with sysbench
smalldatum.blogspot.com·17h·
Discuss: smalldatum.blogspot.com
⚡Performance
The Counterfactual Quiet AGI Timeline
lesswrong.com·1d
🏰Capability Machines