Generative artwork using the Earth's natural radio and atmospheric noise
mattdesl.com·1d·
Discuss: Hacker News
🤖Program Synthesis
SQLite on Rails is fast, but SQLite on Helidon is faster!
rrevi.github.io·19h·
Discuss: Hacker News
🔄Reproducible Builds
Pure Rust cryptography is better than raw performance
kerkour.com·3d·
Discuss: Hacker News
🔬Static Analysis
I can haz knowledgebase
autodidacts.io·2d·
Discuss: Hacker News
✓Automated Theorem Proving
The Decision-Making Framework Every Engineering Team Needs
leadthroughmistakes.substack.com·5d·
Discuss: Substack
👁️System Observability
Beyond the Dataset – Deep tech data science
aneeshsathe.com·2d·
Discuss: Hacker News
👁️System Observability
APC 7900B PDU Per-Outlet Monitoring?
reddit.com·39m·
Discuss: r/homelab
🏠HomeLab
Being a psychologist to your (over)thinking LLM
specy.app·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Stop Converting Your REST APIs to MCP
jlowin.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Polaris: A Post-training recipe for scaling RL on Advanced Reasoning models
hkunlp.github.io·4d·
Discuss: Hacker News
🏹Effect Systems
Keeping the AI on the Leash but How?
medium.com·4h·
Discuss: Hacker News
🎮Verification Games
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·1h
🔠Type-Level Programming
Barriers in Integrating Medical Visual Question Answering into Radiology Workflows: A Scoping Review and Clinicians' Insights
arxiv.org·1h
🐫OCaml
Interview with John Bridges (PCPaint, Grasp, GL Pro)
ztoz.blog·2d·
Discuss: Hacker News
💾Retro Computing
Partitioned Hybrid Quantum Fourier Neural Operators for Scientific Quantum Machine Learning
arxiv.org·1h
🐫OCaml
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·3d·
Discuss: Substack
🐫Embedded OCaml
We asked 9 AI and agent builders about their top problems
unionailoop.substack.com·4d·
Discuss: Substack
👁️System Observability
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·5d
🎮Verification Games
AI Agents Under the Hood
blog.surkar.in·5d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Tooling, Evolution and the Promiscuity of Modern Developers
redmonk.com·3d·
Discuss: Hacker News, Hacker News
👁️System Observability