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