✓ Formal verification

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

Dutch pensioner wants age legally changed to improve chances on Tinder (2018)
standard.co.uk·21h·
Discuss: Hacker News
🗃️Local databases
Isaac Newton's Alchemy
wpr.org·3d·
Discuss: Hacker News
🤖AI
Calling Their Bluff
anguscheng.com·2d·
Discuss: Hacker News
🗃️Local databases
macOS/iOS security update – may have been exploited in targeted attack
support.apple.com·17h·
Discuss: Hacker News
🔌Embedded
Microsoft says U.S. law takes precedence over Canadian data sovereignty
digitaljournal.com·21h·
Discuss: Hacker News
🗃️Local databases
Africa Is Buying a Record Number of Chinese Solar Panels
wired.com·1d·
Discuss: Hacker News, r/China, r/energy
🔌Embedded
Family Farm Wins Historic Case After Feds Violate Constitution and Ruin Business
agweb.com·1d·
Discuss: Hacker News
🤝Using AI for programming
The Happiness Blueprint: Your 30-Page Guide to Joy and Calm
bookbitehub.gumroad.com·3h·
Discuss: Hacker News
🔌Embedded
Arctic sea ice decline has slowed, but why?
glaciersandwhatnot.substack.com·3h·
Discuss: Substack
🤖AI
No Silver Marketing Bullets
businessofsoftware.org·2d·
Discuss: Hacker News
🔌Embedded
Show HN: SamwiseOS – A web-based, AI-first OS with a Python kernel in Pyodide
samwiseos.neocities.org·4d·
Discuss: Hacker News
🤝Using AI for programming
Print Books Are Target of Pirates on the Web (2009)
nytimes.com·1d·
Discuss: Hacker News
🔌Embedded
Covid-19 sent the world mad
economist.com·1d·
Discuss: Hacker News
🤖AI
Databricks raiese Series K investment valuing the company at >$100B
databricks.com·3d·
Discuss: Hacker News, Hacker News
🗃️Local databases
FDA issues warning over possible radioactive shrimp
livescience.com·2d·
Discuss: Hacker News
🗃️Local databases
Small devices can loft into mesosphere for climate sensing
seas.harvard.edu·1d·
Discuss: Hacker News
🔌Embedded
You can just build things
maxrozen.com·4d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
Microsoft’s new NFL deal could let you blame Copilot AI for terrible playcalls
theverge.com·19h
🤝Using AI for programming
Live experiment: can ChatGPT generate alpha trading micro‑caps with just $100?
github.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Fitbit’s AI health coach is the first I might actually be interested in
theverge.com·2d
🤖AI