✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

Updates to Cursor Team and "Auto" Pricing
cursor.com·15h·
Discuss: Hacker News
🤝Using AI for programming
Some doctors got worse at detecting cancer after relying on AI
theverge.com·8h
🤖AI
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
openreview.net·2d·
Discuss: Hacker News
🔌Embedded
Robust Mouse Rejuvenation: Study 2
levf.org·1h·
Discuss: Hacker News
🗃️Local databases
How to detect Open Bullet 2 bots running in Puppeteer mode
blog.castle.io·1d·
Discuss: Hacker News
🤝Using AI for programming
The ‘godfather of AI’ reveals the only way humanity can survive superintelligent AI
cnn.com·12h·
Discuss: Hacker News
🤖AI
Principles and Methodologies for Serial Performance Optimization
usenix.org·3d·
Discuss: Hacker News
🔌Embedded
A Visual Diagnostic Toolkit for PPO's Entropy Bonus
theprincipledagent.com·1d·
Discuss: Hacker News
🤖AI
ChatGPT won’t remove old models without warning after GPT-5 backlash
theverge.com·16h
🤖AI
Show HN: Docker container for Claude Code with complete host isolation
github.com·3h·
Discuss: Hacker News
🤝Using AI for programming
Quality Wednesdays: How we trained our team to see what doesn’t work
linear.app·8h·
Discuss: Hacker News
🤝Using AI for programming
Built With Borrowed Hands
cra.mr·5d·
Discuss: Hacker News
🤝Using AI for programming
Self-attention mechanism explained
jtlicardo.com·3d·
Discuss: Hacker News
🤖AI
Show HN: Station – SSH-based runtime for operational AI agents with MCP support
news.ycombinator.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Time is a Flat Circle (2015)
thecritique.com·1d·
Discuss: Hacker News
🤖AI
AGI: Probably Not 2027
verysane.ai·1d·
Discuss: Hacker News
🤖AI
AI content is tainting preprints: how moderators are fighting back
nature.com·1d·
Discuss: Hacker News
🤖AI
Air-Gapping and Authentication
fusionauth.io·7h·
Discuss: Hacker News
🔌Embedded
Engineering Management in the Age of Agents
newsletter.manager.dev·17h·
Discuss: Hacker News
🤖AI
How do you manage inference across multiple local machines?
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI