✓ Formal verification

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

Dreammeaning
dreammeaning.pro·2d·
Discuss: Hacker News
🤝Using AI for programming
Empty homes are on the rise. Why not use them for the housing shortage? (UK)
bbc.co.uk·21h·
Discuss: Hacker News, Hacker News
🔌Embedded
Extreme fast charging of Lithium-ion batteries using flash graphene additive
sciencedirect.com·2d·
Discuss: Hacker News
🔌Embedded
Revisionist Glaciology: Better Iceberg Illustrations Show Undersea Surprises
99percentinvisible.org·7h·
Discuss: Hacker News
🤝Using AI for programming
Transition from legacy (Google Duo) calls to the new Meet call experience
support.google.com·2d·
Discuss: Hacker News
🗃️Local databases
American Millennials Are Dying at an Alarming Rate
slate.com·9h·
Discuss: Hacker News
🗃️Local databases
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·2d·
Discuss: Hacker News
🔌Embedded
Google's AI pointed him to a customer service number. It was a scam
yahoo.com·2d·
Discuss: Hacker News
🗃️Local databases
A ton of AI images [he's] made that [he's] liked
andymasley.substack.com·1d·
Discuss: Substack
🤖AI
Physics of badminton's new killer spin serve
arstechnica.com·1d·
Discuss: Hacker News
🤝Using AI for programming
We’re All Connected
nautil.us·2d·
Discuss: Hacker News
🗃️Local databases
African Union Endorses Call to Abandoned the Mercator Map
nytimes.com·1d·
Discuss: Hacker News
🤖AI
AI Is a Mass-Delusion Event
theatlantic.com·2d·
Discuss: Lobsters, Hacker News
🤖AI
The Enterprise Experience
churchofturing.github.io·4d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
Show HN: Textideo – Generate short AI videos from text prompts
textideo.com·1d·
Discuss: 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
I wish we could actually use Gemma 3n
reddit.com·2d·
Discuss: r/LocalLLaMA
🔌Embedded