Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
Highly concurrent in-memory counter in GoLang
engineering.grab.com·10h
🧠Memory Models
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·23h·
Discuss: r/webdev
🚀Code Motion
🚀 I Replaced Go’s Scheduler — And You Should Too (Here’s How)
dev.to·16h·
Discuss: DEV
🔄Go Scheduler
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4h·
Discuss: Hacker News
⚡Cache Optimization
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
Embracing the parallel coding agent lifestyle
simonw.substack.com·10h·
Discuss: Substack
⚡Live Coding
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
🌳Pattern Match Compilation
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·1h·
Discuss: DEV
🔧Error Recovery
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
Beyond Von Neumann: Toward a unified deterministic architecture
venturebeat.com·1d
🤝Cooperative Threading
Iteration is all you need: ARC-2 solver inspired by Grover's search algorithm
github.com·1d·
Discuss: Hacker News
🧩Constraint Solvers
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·4h
🌳Tree Shaking
Cap'n Proto in WASM
mikel.xyz·1h·
Discuss: Hacker News
🔧WASI
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Infinite Footguns: Writing a JavaScript Interpreter in JavaScript
mariozechner.at·1d
🎮Language Ergonomics
std::ranges may not deliver the performance that you expect
lemire.me·13h·
Discuss: Hacker News
🏃Escape Analysis
Understanding the KV Cache (feat. Self-Attention)
dev.to·3h·
Discuss: DEV
🔄Subinterpreters
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·2d·
Discuss: Hacker News
🌙Lua