How the Lean language brings math to coding and coding to math
amazon.science·6h·
Discuss: Hacker News
⚙️algorithms
Addressing Source Code Leaks Across the Ecosystem – A Retrospective
green.sapphi.red·2d·
Discuss: Hacker News
🌐distributed systems
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·3h·
Discuss: Hacker News
⚙️algorithms
Speed up unit tests with paralllel GitHub Actions
ohdear.app·5h·
Discuss: Hacker News
🎮gamedev
Show HN: Code Index MCP – Codebase Indexing Server for LLMs
github.com·18h·
Discuss: Hacker News
⚙️algorithms
The State of Post-Quantum Cryptography in Rust: The Belt Is Vacant
blog.projecteleven.com·5d·
Discuss: Hacker News
🌐distributed systems
Swarm robotics could spell the end of the assembly line
therobotreport.com·11h·
Discuss: Hacker News
🌐distributed systems
A New Concurrent ML in Guile Scheme
wingolog.org·15h·
Discuss: Hacker News
🌐distributed systems
We're shipping to ARM64 and x64 without duplicating pipelines
caepe.sh·21h·
Discuss: Hacker News
🌐distributed systems
Dinosaur teeth reveal prehistoric air quality was pretty awful
newatlas.com·11h·
Discuss: Hacker News
🗃️databases
Meta
engineering.fb.com·3d·
Discuss: Hacker News
🌐distributed systems
Superheated gold survives the entropy catastrophe
www6.slac.stanford.edu·9h·
Discuss: Hacker News
🌐distributed systems
Indexing Blockchain Events with Rust and Alloy
blog.bilinearlabs.io·1d·
Discuss: Hacker News
🌐distributed systems
Crucial mutant corn stocks threatened under 2026 USDA budget
aces.illinois.edu·1d·
Discuss: Hacker News
💾storage
US Trade Gap Narrows to Lowest Level Since 2023
elitetradergroup.blogspot.com·38m·
Discuss: Hacker News
🕸️Graph Theory
When Claude Code Did a Volkswagen on Me
blog.alexsanjoseph.com·10h·
Discuss: Hacker News
🎮gamedev
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
⚙️algorithms
Sortition: Activism for Activists
assemblingamerica.substack.com·4h·
Discuss: Substack
🌐distributed systems
Rod Burstall: In Memoriam
arxiv.org·7h·
Discuss: Lobsters
🌐distributed systems
Listening for Damage to Wind Turbines
fraunhofer.de·1d·
Discuss: Hacker News
⚙️algorithms