✓ Formal verification

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

How to Become an Entry Level Birder
stumpedbynature.com·19h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Data-Driven Analysis of Grokipedia's Bias
alik.social·8h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Firefox 145.0, See All New Features, Updates and Fixes
firefox.com·8h·
Discuss: Hacker News, r/linux, r/linux
🤝Using AI for programming
Flag this post
Missing Link: How Linux would continue without Linus Torvalds
heise.de·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
The Weekly Edge: New Gremlin Contributor, 2 Graph Releases, Ontologies in Aura
gdotv.com·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
I Created a Spare Monitor
blog.ianturton.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
See how much that government bill will cost you
civiccost-f7ec548b606c.herokuapp.com·4h·
Discuss: Hacker News, r/webdev
🤖AI
Flag this post
Americans Are Increasingly Alone, but Are They Lonely?
realclearinvestigations.com·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Risk Comes First(2020)
yusufaytas.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
An Engineer's Guide to the Trolley Problem
aliveness.kunnas.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
Remind: A sophisticated calendar and alarm program
dianne.skoll.ca·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
AI Slop—How Every Media Revolution Breeds Rubbish and Art
scientificamerican.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
User Experience Is Computation
madebynathan.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·6d·
Discuss: Hacker News
🤖AI
Flag this post
The social contract of open source
snarky.ca·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Show HN: Seeking architect for planetary-scale coherence infrastructure
github.com·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
A Fart Saved My CSV
artificiallyintelligentspace.substack.com·1d·
Discuss: Substack
🤝Using AI for programming
Flag this post
Google, the worst search engine to ever exist in all universes for all time
news.ycombinator.com·10h·
Discuss: Hacker News
🗃️Local databases
Flag this post
dbeaver/dbeaver
github.com·3d
🗃️Local databases
Flag this post
"The Book We All Need " by Claude Code Sonnet 4.5
github.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post