2025 Hackaday Component Abuse Challenge: Let the Games Begin!
hackaday.com·1d
🩹Self-Healing Systems
Learning the natural history of human disease with generative transformers
nature.com·7h·
Discuss: Hacker News
📚Automata Learning
Fighting human trafficking with self-contained applications
lwn.net·2d·
Discuss: Hacker News
🐫Embedded OCaml
Semantic Dictionary Encoding
falvotech.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Scaling with Prometheus: Managing 80M Metrics Smoothly
kapillamba4.medium.com·2d·
Discuss: Hacker News
🐳Containerization
Chronon: A data platform for serving for AI/ML applications
github.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
I Am an Engineer
anna.kiwi·4h·
Discuss: Hacker News
🤖Program Synthesis
Such a Classic
blog.hermesloom.org·4h·
Discuss: Hacker News
📚Automata Learning
Eagle Mode: Zoomable User Interface (ZUI)
eaglemode.sourceforge.net·18h·
Discuss: Hacker News
💾Retro Computing
Safepoints and Fil-C
fil-c.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
The Secret of Highly Efficient Teams
managerstories.co·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Pgmcp, an MCP server to query any Postgres database in natural language
github.com·3h·
Discuss: Hacker News
🧠Automated Reasoning
The future of microoptimization
goldenstack.net·4d·
Discuss: Hacker News
🐫Embedded OCaml
Hypervisor from Scratch
github.com·18h·
Discuss: Hacker News
❄️Nixified Development
The Case for Compact AI – Communications of the ACM
dl.acm.org·1d·
Discuss: Hacker News
📚Automata Learning
Deep Dive into SATA, USB and PCI Express on AMD Turin
blog.3mdeb.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Claude Can (Sometimes) Prove It
galois.com·23h·
Discuss: Lobsters, Hacker News
🧠Automated Reasoning
Gemini achieves gold-level performance at the International Collegiate Programming Contest World Finals
deepmind.google·6h·
Discuss: Hacker News
🤖Program Synthesis
How InfluxDB 3 Brings Processing Directly Into the Database
thenewstack.io·6h
📊Runtime Verification
PHP: A fractal of bad design (2012)
eev.ee·1d·
Discuss: Hacker News
🔬Static Analysis