✓ 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·8h·
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
The Benefits of Self-Hosting Critical Infrastructure to Reduce Latency in Gaming
fusionauth.io·6d·
Discuss: Hacker News
🔌Embedded
The systems language from the '70s that almost beat C
news.ycombinator.com·5d·
Discuss: Hacker News
🔌Embedded
Is AI really trying to escape human control and blackmail people?
arstechnica.com·5d·
Discuss: Hacker News
🤖AI
AI That Customizes Every Email-Is This Worth Building?
news.ycombinator.com·19h·
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
For Some Patients, the ‘Inner Voice’ May Soon Be Audible
nytimes.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Linux Lands Fix For Early 6.17 Regression Causing 37~43% Performance Hit
phoronix.com·5d·
Discuss: Hacker News
🔌Embedded
Self-propelled ice could be the green power of the future
techxplore.com·1d·
Discuss: Hacker News
🔌Embedded
Big data traps that catch small data teams
tower.dev·5d·
Discuss: Hacker News
🤖AI
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
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