Lenovo Yoga Pro 9i 16 Review: A True MacBook Pro Rival?
wired.com·10h
⌨️Mechanical Keyboards
Michael Kohn - tin can phone modem
mikekohn.net·1d
🧪Cassette Hacks
Dealing with Eventual Consistency and Idempotency in projections
event-driven.io·14h·
Discuss: r/programming
🌊Stream Processing
Why it took 4 years to get a lock files specification
snarky.ca·18h·
🔄Language Evolution
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Malicious code gaps in Nvidia GPU drivers closed
heise.de·1d
🖥️Modern Terminals
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·4h·
Discuss: Hacker News
🔗Constraint Handling
Thinking on upgrade my "microlab"
preview.redd.it·3d·
Discuss: r/homelab
🖥Home Lab Setup
Automated Parameter Calibration in Physics-Based Robot Simulation via Bayesian Optimization
dev.to·1d·
Discuss: DEV
Incremental Computation
AmeraLabs introduces elastic 3D printing resin with long-lasting squish — a full bottle is priced at $140
tomshardware.com·9h
🦴Binary Paleography
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·9h·
Discuss: Hacker News
🔗Concatenative Languages
Making performant Python bindings to compiled code
kylebarron.dev·4d·
Discuss: Hacker News
🦀Rust Macros
Linux 6.18 Lands Retpoline Optimization To Help With Intel E Cores
phoronix.com·2h
CPU Microarchitecture
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·20h·
Discuss: Hacker News
🎧Learned Audio
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·14h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Beating the L1 cache with value speculation (2021)
mazzo.li·5d·
CPU Microarchitecture
Dynamic Levels of Detail in Evolve
evolvebenchmark.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance