✓ Formal verification

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

Quality Dithering
efhiii.github.io·18h·
Discuss: Hacker News
🤖AI
Flag this post
Texture.io Acquired by IBM
newsroom.ibm.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Avería: The Average Font (2011)
iotic.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Altman, Armstrong back startup researching gene-edited embryos 🤖
nypost.com·1d·
Discuss: Hacker News, r/InterstellarKinetics
🤝Using AI for programming
Flag this post
Ticker: Don't Die of Heart Disease
myticker.com·2d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Show HN: Conversational Hindi tutor for Indian diaspora kids (5-9yrs old)
hindispeakingtutor.in·2d·
Discuss: Hacker News
🤖AI
Flag this post
Operating Margins
fi-le.net·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
How a devboard works (and how to make your own)
kaipereira.com·3d·
Discuss: Hacker News, r/embedded
🔌Embedded
Flag this post
Mechanism Design Theory
news.ycombinator.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
My Hands-On Review of Kimi K2 Thinking: The Open-Source AI That's Changing the Game
reddit.com·4d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·5d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Smart File Organizer, a free app to automatically sort your folders
github.com·11h·
Discuss: Hacker News
🗃️Local databases
Flag this post
How LLMs helped me diagnose what optometrists never did for me, until now
reddit.com·3d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
clarvo.ai·5d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Privacy Manifesto
zac1258019.substack.com·3d·
Discuss: Substack
🔌Embedded
Flag this post
Alex Karp Goes to War
wired.com·20h·
Discuss: Hacker News, r/TrueReddit
🤝Using AI for programming
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·6d·
Discuss: Hacker News
🤖AI
Flag this post
Rubber Duck Debugging with LLMs: Why Explaining Your Problem Is the Solution
tidesofsea.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·5d·
Discuss: Hacker News, Hacker News
🔌Embedded
Flag this post
Leaving the Cloud Isn't for Everyone
medium.com·18h·
Discuss: Hacker News, r/programming, r/programming
🔌Embedded
Flag this post