✓ Formal verification

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

What Is a Special Purpose Vehicle (SPV), and Why Do Companies Form Them?
investopedia.com·2d·
Discuss: Hacker News
🔌Embedded
Ricoh Released GR IV
news.ricoh-imaging.co.jp·1d·
Discuss: Hacker News
🔌Embedded
China’s Decarbonization Is So Fast Even New Coal Plants Aren’t Stopping It
foreignpolicy.com·1d·
Discuss: Hacker News
🤝Using AI for programming
3D Reconstruction from Public Photos with Machine Learning
blog.skz.dev·1d·
Discuss: Hacker News
🤖AI
Free......Not Free
cyberinsider.com·3d·
Discuss: Hacker News, r/Piracy
🔌Embedded
Our primate ancestors evolved in the cold – not the tropics
theconversation.com·1d·
Discuss: Hacker News
🤖AI
Skill issues – Dialectical Behavior Therapy and its discontents (2024)
thedriftmag.com·3d·
Discuss: Hacker News
🤖AI
The sokol-gfx resource view update.
floooh.github.io·6d·
Discuss: Hacker News
🗃️Local databases
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
brandbucket.com·18h·
Discuss: Hacker News
🔌Embedded
Workers need better protections from the heat
theverge.com·9h
🤝Using AI for programming
Scaling OpenTelemetry Kafka ingestion by 150% from 192K → 480K EPS
news.ycombinator.com·3d·
Discuss: Hacker News
🔌Embedded
Gone but not forgotten: brain's map of body remains unchanged after amputation
cam.ac.uk·22h·
Discuss: Hacker News
🔌Embedded
The Race to Rescue PBS and NPR Stations
nytimes.com·3d·
Discuss: Hacker News
🔌Embedded
Dropout's Guide to Moving to San Francisco
fumedev.com·3d·
Discuss: Hacker News
🗃️Local databases
Show HN: KickPredict – Simple football match predictions By AI
kickpredict.ai·4d·
Discuss: Hacker News
🤝Using AI for programming
Hank Green’s Focus Friend swapped my screen time for bean time
theverge.com·1d
🤝Using AI for programming
TimeTracker – A self-hosted, team time tracker with timers, and reporting
github.com·4d·
Discuss: Hacker News
🗃️Local databases
Even if snap out of the AI bubble, we are never going to get these years back
coppolaemilio.com·4d·
Discuss: Hacker News
🤖AI
Generative AI isn't just a matter of life and death. It's far more important than that
theregister.com·4d·
Discuss: Hacker News
🤖AI
Announcing the Cloudflare Browser Developer Program
blog.cloudflare.com·4d·
Discuss: Hacker News
🤖AI