AI Agents for Freight Brokers
kolank.ai·21m·
Discuss: Hacker News
✓Automated Theorem Proving
Ten Simple Rules for Mathematical Writing
web.mit.edu·2d·
Discuss: Hacker News
✓Automated Theorem Proving
AI the Ripper
hugston.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Hanami and the Elephant in the Room
hanamirb.org·2d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Python and Make in 2025
onebadbit.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Kinds of Knowledge Worth Remembering
domofutu.substack.com·2d·
Discuss: Substack
✓Automated Theorem Proving
Orca Build System
orca-app.dev·3d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Grok 4
x.ai·2d·
Discuss: Hacker News
🎮Verification Games
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·1d·
Discuss: Hacker News
❄️Nixified Development
Computational understanding of Li-ion batteries (2016)
nature.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·4d
🏹Effect Systems
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
github.com·5d·
Discuss: Hacker News
🛡️seL4
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·2d
💻CS
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·4d
🔬Static Analysis
The First AI Coding Style Guide
github.com·6d·
Discuss: Hacker News
🐫OCaml
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·4d
🔍Formal Verification
Constraint Hypergraphs as a Unifying Framework for Digital Twins
arxiv.org·4d
🏹Effect Systems
CLI-RAG: A Retrieval-Augmented Framework for Clinically Structured and Context Aware Text Generation with LLMs
arxiv.org·3d
🔬Static Analysis
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·3d
🛡️seL4