✓ 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
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
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·15h·
Discuss: Hacker News, r/worldnews
🔌Embedded
India's Russian Oil Gains Wiped Out by U.S. Tariffs
moderndiplomacy.eu·22h·
Discuss: Hacker News
🤝Using AI for programming
Tennis Legend Roger Federer Is Now A Billionaire
forbes.com·5d·
Discuss: Hacker News
🔌Embedded
Were you laid off recently?
deeperlights.com·5d·
Discuss: Hacker News
🤖AI
WTF is AI ‘grounding’ licensing, and why do publishers say it matters over training deals?
digiday.com·6d·
Discuss: Hacker News
🤖AI
Repeated heatwaves can age you as much as smoking or drinking
nature.com·1d·
Discuss: Hacker News, 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
Legitimate Chrome VPN extension turns to browser spyware
infosecurity-magazine.com·3d·
Discuss: Hacker News
🔌Embedded
Silent Weapons for Quiet Wars: A Psychotherapeutic Analysis of Systemic Control
gettherapybirmingham.com·5d·
Discuss: Hacker News
🤖AI
Keepa extension is deceptively scraping Amazon in the background
groups.google.com·5d·
Discuss: Hacker News
🗃️Local databases
Acer Keyboard Debugger – Diagnose Fn-Lock and Hidden Layout Issues on Windows
github.com·3d·
Discuss: Hacker News
🔌Embedded
Linux Primed For Significant Performance Gains With Kernel Swap Code Rework
phoronix.com·4d·
Discuss: Hacker News, r/linux
🔌Embedded
Helping others shown to slow cognitive decline
medicalxpress.com·3d·
Discuss: Hacker News
🗃️Local databases
GoDaddy extends backorder deadline by 60 days
domainnamewire.com·1d·
Discuss: Hacker News
🗃️Local databases
Ask HN: Do you think LLMs will rapidly accelerate "hard" fields? Why / why not
news.ycombinator.com·6d·
Discuss: Hacker News
🤝Using AI for programming