The Business Consultant
quarter--mile.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Claude Code Anonymous
steipete.me·1d·
Discuss: Hacker News
🔧Unikernel Development
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·7h·
Discuss: Hacker News
🧠Automated Reasoning
Schlep Blindness (2012)
paulgraham.com·2d·
Discuss: Hacker News
🛡️seL4
Stop writing CLI validation. Parse it right the first time
hackers.pub·4d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️seL4
How Google dodged a major breakup – and why OpenAI is to thank for it
theguardian.com·1d·
Discuss: Hacker News
🍎Apple
AI will never be a shortcut to wisdom
bigthink.com·11h·
Discuss: Hacker News
📚Automata Learning
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·3d·
Discuss: Hacker News
💎Refinement Types
Is the LLM response wrong, or have you just failed to iterate it?
mikecaulfield.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
How Can You Tell if You've Instilled a False Belief in Your LLM?
lesswrong.com·4d
✓Automated Theorem Proving
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·4d·
Discuss: Hacker News
🤖Program Synthesis
Paper2Agent: Reimagining Research Papers As Interactive and Reliable AI Agents
arxiv.org·1d
✓Automated Theorem Proving
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Leveraging Generic Foundation Models for Multimodal Surgical Data Analysis
arxiv.org·1d
🧮Lambda Calculus
Emotionally-Aware Agents for Dispute Resolution
arxiv.org·2d
🧩Parser Combinators
PRREACH: Probabilistic Risk Assessment Using Reachability for UAV Control
arxiv.org·2d
🩹Self-Healing Systems
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·2d
🧩Parser Combinators
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·2d
🩹Self-Healing Systems
Finetuning LLMs for Human Behavior Prediction in Social Science Experiments
arxiv.org·1d
📚Automata Learning