✓ 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·6h·
Discuss: Hacker News
🔌Embedded
The future of large files in Git is Git
tylercipriani.com·3d·
Discuss: Lobsters, Hacker News
🗃️Local databases
MadeYouReset: Turning HTTP/2 Server Against Itself
imperva.com·5d·
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
Are Electrons Conscious?
blog.oup.com·4d·
Discuss: Hacker News
🤖AI
Laravel Boost
blog.laravel.com·5d·
Discuss: Hacker News
🤖AI
The Benefits of Self-Hosting Critical Infrastructure to Reduce Latency in Gaming
fusionauth.io·6d·
Discuss: Hacker News
🔌Embedded
AI That Customizes Every Email-Is This Worth Building?
news.ycombinator.com·17h·
Discuss: Hacker News
🤖AI
Nexus: An Open-Source AI Router for Governance, Control and Observability
nexusrouter.com·6d·
Discuss: Lobsters, Hacker News, r/LLM
🤖AI
The Declining Reach of LinkedIn Company Pages in 2025
meetassembly.com·11h·
Discuss: Hacker News
🤖AI
Self-propelled ice could be the green power of the future
techxplore.com·1d·
Discuss: Hacker News
🔌Embedded
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
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
Simple Claude Code Review Prompt
josecasanova.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Liquid Glass. Why?
furbo.org·1d·
Discuss: Hacker News
🗃️Local databases