✓ Formal verification

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

Cameras installed in bin lorries – Stop householders dumping rubbish incorrectly
independent.ie·2d·
Discuss: Hacker News
🔌Embedded
German weapons-maker Rheinmetall opens Europe's largest munitions plant
france24.com·12h·
Discuss: Hacker News
🔌Embedded
Why does the temperature feel hotter than the forecast says?
aljazeera.com·1d·
Discuss: Hacker News
🗃️Local databases
Blindfold Review: Scratching the Surface of the Darkest of Subject Matter
uploadvr.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Putin's 'stressed' admin staff start each day with bottle of vodka (2023)
nypost.com·22h·
Discuss: Hacker News
🔌Embedded
Work offline with Fastmail
fastmail.com·2d·
Discuss: Hacker News
🗃️Local databases
Denmark PM apologises over ‘physical and psychological harm’ caused by IUD scandal
theguardian.com·17h·
Discuss: Hacker News, r/worldnews
🔌Embedded
India's Russian Oil Gains Wiped Out by U.S. Tariffs
moderndiplomacy.eu·1d·
Discuss: Hacker News
🤝Using AI for programming
Tennis Legend Roger Federer Is Now A Billionaire
forbes.com·6d·
Discuss: Hacker News
🔌Embedded
WTF is AI ‘grounding’ licensing, and why do publishers say it matters over training deals?
digiday.com·6d·
Discuss: Hacker News
🤖AI
Can Solar Farms Save the Bees?
cnet.com·3d·
Discuss: Hacker News
🤖AI
It’s Time for Americans to Start Talking About “Soft Secession”
cmarmitage.substack.com·3d·
Discuss: Substack
🔌Embedded
Silent Weapons for Quiet Wars: A Psychotherapeutic Analysis of Systemic Control
gettherapybirmingham.com·5d·
Discuss: Hacker News
🤖AI
Acer Keyboard Debugger – Diagnose Fn-Lock and Hidden Layout Issues on Windows
github.com·3d·
Discuss: Hacker News
🔌Embedded
Pac-Man: The Untold Story of How We Played the Game
retro-bitch.com·4d·
Discuss: Hacker News
🔌Embedded
Beyond cherry-picking: making sense of mixed results in sleep research
affectablesleep.com·5d·
Discuss: Hacker News
🤖AI
GoDaddy extends backorder deadline by 60 days
domainnamewire.com·1d·
Discuss: Hacker News
🗃️Local databases
Ten Developer Commandments: Practical rules for modern software builders
tyleo.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Robots can now learn to use tools—just by watching us
techxplore.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Do you have too many AI products?
frontierai.substack.com·6d·
Discuss: Substack
🤖AI