✓ Formal verification

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

Wolves Reject £55M Newcastle Bid for Strand Larsen
jphfeeds.top·1d·
Discuss: Hacker News
🗃️Local databases
Windows 11 Update KB5063878 corrupted my 8TB Seagate drive (RAW, data loss)
learn.microsoft.com·14h·
Discuss: Hacker News
🗃️Local databases
Show HN: Simple PDF Scanner – fast, one-time iOS scanner app
simplepdfscanner.se·1d·
Discuss: Hacker News
🗃️Local databases
Unlearning Medicine's Unhealthy 'Hidden Curriculum'
medscape.com·3d·
Discuss: Hacker News
🗃️Local databases
The US used to be a haven for research . Under Trump , scientists are packing their bags .
csmonitor.com·3d·
Discuss: Hacker News
🗃️Local databases
SQLite (with WAL) doesn't do `fsync` on each commit under default settings
avi.im·4d·
Discuss: Lobsters, Hacker News
🗃️Local databases
Inflammation predicts 25% higher mortality
thelancet.com·4d·
Discuss: Hacker News
🤖AI
The Lessons of a Glacier’s Collapse
newyorker.com·1d·
Discuss: Hacker News
🤖AI
Free Google AI Studio
freegoogleai.top·5d·
Discuss: Hacker News
🤖AI
Ex-US Army Colonel Says Ukraine War on the Cusp of an AI Revolution
rferl.org·2d·
Discuss: Hacker News
🤝Using AI for programming
America by Design Fail
americabydesign.fail·2d·
Discuss: Hacker News
🔌Embedded
Delhi High Court Orders Sci-Hub, Libgen to Be Blocked in India
maktoobmedia.com·5d·
Discuss: Hacker News
🔌Embedded
Frequently Asked Questions – Emu68
pistorm.github.io·3d·
Discuss: Hacker News
🔌Embedded
Welcome to Remix 3
github.com·6d·
Discuss: Hacker News
🤖AI
Problematic alcohol use has become more common among older women
medicalxpress.com·2d·
Discuss: Hacker News
🗃️Local databases
Wplace Pixel Art Converter – Turn Images into Pixel Art (Free)
wplacetool.org·3d·
Discuss: Hacker News
🔌Embedded
Battlefield 6 PC requirements are pretty chill — if you don’t mind 30fps
theverge.com·16h
🤖AI
Hubert Blaine Wolfeschlegelsteinhausenbergerdorff Sr
en.wikipedia.org·4d·
Discuss: Hacker News
🤝Using AI for programming
Malware-ridden apps made it into Google's Play Store, scored 19 million downloads
theregister.com·3d·
Discuss: Hacker News
🗃️Local databases
Does buying a film digitally mean you actually own it? | J Oliver Conroy
theguardian.com·1d·
Discuss: Hacker News
🔌Embedded