✓ Formal verification

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

WordStar for DOS 7.0 Archive
sfwriter.com·4d·
Discuss: Hacker News
🤝Using AI for programming
How to Install Latest Version of Tesseract OCR?
aiviewz.com·4d·
Discuss: Hacker News
🤖AI
Understanding Python Namespace Packages
pythonkoans.substack.com·5d·
Discuss: Substack
🗃️Local databases
Nesting Git Repositories
nixpulvis.com·2d·
Discuss: Lobsters
🗃️Local databases
Managing Time Shiftable Devices
bitsandtheorems.com·5d·
Discuss: Hacker News
🔌Embedded
Show HN: AI Trust Proof – Help AI Trust You with Blockchain-Verifiable Signals
aitrustproof.com·5d·
Discuss: Hacker News
🤖AI
KDE Gear 25.08 Released
kde.org·3d·
Discuss: Hacker News, r/linux, r/opensource
🔌Embedded
Recommended serving size
transfer-orbit.ghost.io·4d·
Discuss: Hacker News
🤖AI
I ban users from my repositories
willmcgugan.github.io·4d·
Discuss: Hacker News
🤝Using AI for programming
F-Droid build servers can't build modern Android apps due to outdated CPUs
news.ycombinator.com·4d·
Discuss: Hacker News, r/Android
🗃️Local databases
We inspire AI
swag.industries·5d·
Discuss: Hacker News
🤖AI
Fabricated data in posts.xml for multiple/all data dumps
meta.stackexchange.com·4d·
Discuss: Hacker News
🗃️Local databases
Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code
github.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Thoughts on GPT-5
jgibbs.dev·5d·
Discuss: Hacker News
🔌Embedded
Securing the supply chain at scale: Starting with 71 important open source projects
github.blog·6d·
Discuss: Hacker News
🤝Using AI for programming
Carter_rules.md
carter.works·6d·
Discuss: Hacker News
🤝Using AI for programming
Should you be coding with agents?
algorithmictradeoff.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
LinkedIn’s Mini Sudoku is a clever twist on the classic puzzle
theverge.com·4d
🗃️Local databases
Character.AI Gave Up on AGI. Now It’s Selling Stories
wired.com·5d·
Discuss: Hacker News
🤖AI
Syncthing 2.0 Released
github.com·5d·
Discuss: Lobsters, Hacker News, r/linux
🗃️Local databases