✓ 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·2h·
Discuss: Hacker News
🗃️Local databases
End-to-end encryption coming to iOS-Android RCS chats as soon as next month
phonearena.com·1d·
Discuss: Hacker News
🤝Using AI for programming
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·6h·
Discuss: Hacker News
🔌Embedded
wifiscan-rs - A cross-platform Rust crate for scanning Wi-Fi networks
codeberg.org·3d·
Discuss: Lobsters, Hacker News
🔌Embedded
Revisionist Glaciology: Better Iceberg Illustrations Show Undersea Surprises
99percentinvisible.org·3h·
Discuss: Hacker News
🤝Using AI for programming
Silencing Political Activism at CERN Before and During the Vietnam War
link.springer.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Show HN: AI that handles calls and emails for busy CXOs
maksai.nexicornai.com·2d·
Discuss: Hacker News
🤖AI
California’s Tallest Bridge Has Nothing Underneath
practical.engineering·1d·
Discuss: Hacker News
🔌Embedded
ChatGPT Go
help.openai.com·1d·
Discuss: Hacker News
🔌Embedded
A fraudulent cancer breakthrough investigated
bostonglobe.com·2d·
Discuss: Hacker News
🗃️Local databases
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
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
Show HN: Textideo – Generate short AI videos from text prompts
textideo.com·20h·
Discuss: Hacker News
🤖AI
I wish we could actually use Gemma 3n
reddit.com·2d·
Discuss: r/LocalLLaMA
🔌Embedded
Type 2 Growth
kk.org·2d·
Discuss: Hacker News
🔌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