✓ Formal verification

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

Ishibadate
yoshinowisdom.com·5d·
Discuss: Hacker News
🔌Embedded
Cornell Note Taking – The Best Way to Take Notes, Explained
goodnotes.com·2d·
Discuss: Hacker News
🗃️Local databases
The Blue OS Museum
blueosmuseum.com·2d·
Discuss: Hacker News
🤖AI
Communicate Early and Often
dontbreakprod.com·6d·
Discuss: Hacker News
🤖AI
mRNA vaccines hold promise for many diseases. Now the tech is under fire
sciencenews.org·5d·
Discuss: Hacker News
🤝Using AI for programming
Rules from the Courage to Be Disliked (Summary)
growthsummary.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Virtual Boy at 30: The legacy of Nintendo’s biggest console flop
polygon.com·2d·
Discuss: Hacker News
🔌Embedded
What happened before the Big Bang? Computational method may provide answers
phys.org·5d·
Discuss: Hacker News
🤖AI
Oracle Shuts Down Apiary.io
apisyouwonthate.com·6d·
Discuss: Hacker News
🤖AI
The Vaccine Trust Framework
thelancet.com·6d·
Discuss: Hacker News
🤖AI
Rightness Is a Prison
usefulfictions.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
Bug bounties: The good, the bad, and the frankly ridiculous ways to do it
theregister.com·3d·
Discuss: Hacker News
🤝Using AI for programming
From Chaos to Calm: Revamping Mobile Releases at Turo
medium.com·5d·
Discuss: Hacker News
🤖AI
Transport for London launch campaign targeting ‘headphone dodgers’
theguardian.com·1d·
Discuss: Hacker News
🗃️Local databases
The Importance of Counter-Clockwise Dance Rituals
honest-broker.com·4d·
Discuss: Hacker News
🗃️Local databases
Burner phones, wiped socials: the extreme precautions for visitors to Trump’s America
theguardian.com·1d·
Discuss: Hacker News
🤝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·17h·
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