✓ Formal verification

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

Missouri Man infected with brain-eating amoeba has died
komu.com·34m·
Discuss: Hacker News
🗃️Local databases
California’s Tallest Bridge Has Nothing Underneath
practical.engineering·1d·
Discuss: Hacker News
🔌Embedded
Brazil's top court rules US laws do not apply to its territory
rfi.fr·1d·
Discuss: Hacker News, r/worldnews
🗃️Local databases
Dreammeaning
dreammeaning.pro·2d·
Discuss: Hacker News
🤝Using AI for programming
I Tracked a Wild Salmon from Sea to Plate – What I Learned Surprised Me
foodandwine.com·4h·
Discuss: Hacker News
🔌Embedded
wifiscan-rs - A cross-platform Rust crate for scanning Wi-Fi networks
codeberg.org·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Silencing Political Activism at CERN Before and During the Vietnam War
link.springer.com·1d·
Discuss: Hacker News
🤝Using AI for programming
A fraudulent cancer breakthrough investigated
bostonglobe.com·2d·
Discuss: Hacker News
🗃️Local databases
ChatGPT Go
help.openai.com·1d·
Discuss: Hacker News
🔌Embedded
Maintainers of Last Resort
words.filippo.io·6d·
Discuss: Lobsters
🔌Embedded
A ton of AI images [he's] made that [he's] liked
andymasley.substack.com·1d·
Discuss: Substack
🤖AI
AI Is a Mass-Delusion Event
theatlantic.com·1d·
Discuss: Lobsters, Hacker News
🤖AI
Show HN: Skilfut – 138 UI components to help devs build faster and prettier
news.ycombinator.com·1d·
Discuss: Hacker News
🤝Using AI for programming
AI on Top
newpolity.com·1d·
Discuss: Hacker News
🤖AI
Type 2 Growth
kk.org·2d·
Discuss: Hacker News
🔌Embedded
Show HN: Textideo – Generate short AI videos from text prompts
textideo.com·18h·
Discuss: Hacker News
🤖AI
How the MAGA goon squad became tech lobbyists
theverge.com·1d
🔌Embedded
Bringing Metallurgy Into the 21st Century – www.caltech.edu
caltech.edu·1d·
Discuss: Hacker News
🔌Embedded
America Is Giving Up a Lifesaving Medical Breakthrough: mRNA
nytimes.com·2d·
Discuss: Hacker News
🤝Using AI for programming
AWS pricing for Kiro dev tool dubbed 'a wallet-wrecking tragedy'
theregister.com·2d·
Discuss: Hacker News
🤖AI