✓ Formal verification

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

Ishibadate
yoshinowisdom.com·4d·
Discuss: Hacker News
🔌Embedded
Build better color systems with OKLCH
oklch.fyi·4d·
Discuss: Hacker News
🤖AI
Cornell Note Taking – The Best Way to Take Notes, Explained
goodnotes.com·2d·
Discuss: Hacker News
🗃️Local databases
Bead Restructuring Policy Notice
broadbandusa.ntia.gov·3d·
Discuss: Hacker News
🔌Embedded
Why Real-Time Air Quality Data Might Be Making Things Worse
airgradient.com·4d·
Discuss: Hacker News
🗃️Local databases
Trump halts construction on nearly complete wind farm off Rhode Island
thepublicsradio.org·2d·
Discuss: Hacker News
🔌Embedded
I've Never Had a Real Adversary
inoticeiamconfused.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
Lab of Ornithology hits 2B bird sightings, 3M recordings
news.cornell.edu·4d·
Discuss: Hacker News
🗃️Local databases
mRNA vaccines hold promise for many diseases. Now the tech is under fire
sciencenews.org·5d·
Discuss: Hacker News
🤝Using AI for programming
Poisoned USA: Hastings, NE
hntrbrk.com·3d·
Discuss: Hacker News
🗃️Local databases
Censorship in the EU: Hate Speech Laws Are Suffocating Free Speech
freedom-research.org·1d·
Discuss: Hacker News
🤝Using AI for programming
What happened before the Big Bang? Computational method may provide answers
phys.org·5d·
Discuss: Hacker News
🤖AI
‘There’s something very interesting about boring’: Martin Parr on his life in pictures
theguardian.com·2d·
Discuss: Hacker News
🗃️Local databases
Rightness Is a Prison
usefulfictions.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
Colorado River Running Out of Water
oilprice.com·6d·
Discuss: Hacker News
🔌Embedded
Bye-bye barrel jack: Framework brings 240W USB-C charging to laptops
theverge.com·13h·
Discuss: r/hardware
🔌Embedded
My responses to The Register
xeiaso.net·5d·
Discuss: Hacker News
🤖AI
In a first, pig lung survives and functions—briefly—in a person
science.org·1d·
Discuss: Hacker News
🤖AI
Is this the moment when the Generative AI bubble finally deflates?
garymarcus.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
Big Jobs – How to Thrive in the "AI Jobs Apocalypse"
fluxus.io·5d·
Discuss: Hacker News
🤖AI