✓ Formal verification

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

Volkswagen gates a new vehicle's full horsepower behind monthly subscription
dexerto.com·3h·
Discuss: Hacker News
🔌Embedded
The future of large files in Git is Git
tylercipriani.com·3d·
Discuss: Lobsters, Hacker News
🗃️Local databases
Blue Carbon potential in Germany: Status and future development
sciencedirect.com·7h·
Discuss: Hacker News
🤖AI
MadeYouReset: Turning HTTP/2 Server Against Itself
imperva.com·4d·
Discuss: Lobsters, r/programming
🔌Embedded
Should We Never Use Non-Logical Properties?
meiert.com·6d·
Discuss: Hacker News
🗃️Local databases
Why We Migrated from Neon to PlanetScale
blog.opensecret.cloud·6d·
Discuss: Hacker News
🗃️Local databases
The Benefits of Self-Hosting Critical Infrastructure to Reduce Latency in Gaming
fusionauth.io·6d·
Discuss: Hacker News
🔌Embedded
What's the strongest AI model you can train on a laptop in five minutes?
seangoedecke.com·6d·
Discuss: Hacker News
🤖AI
For Some Patients, the ‘Inner Voice’ May Soon Be Audible
nytimes.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Three big lessons from the GPT-5 backlash
platformer.news·6d·
Discuss: Hacker News
🤖AI
Show HN: Let Claude Code/Cursor agents page your phone when they're finished
heyoncall.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Big data traps that catch small data teams
tower.dev·5d·
Discuss: Hacker News
🤖AI
Linux Lands Fix For Early 6.17 Regression Causing 37~43% Performance Hit
phoronix.com·5d·
Discuss: Hacker News
🔌Embedded
Best Logging Libraries for Golang
launchdarkly.com·4d·
Discuss: Hacker News
🤝Using AI for programming
The Fire Between: Agency as Creative Field
philosophermaker.substack.com·4d·
Discuss: Substack
🤖AI
Liquid Glass. Why?
furbo.org·1d·
Discuss: Hacker News
🗃️Local databases
DINOV3: Self-supervised learning for vision at unprecedented scale
ai.meta.com·4d·
Discuss: Hacker News
🔌Embedded
Why a Program's First Argument Is the Name Itself?
cpu.land·6d·
Discuss: Hacker News
🔌Embedded
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·5d·
Discuss: Hacker News
🤖AI
Palindromer
github.com·6d·
Discuss: Hacker News
🤝Using AI for programming