✓ Formal verification

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

Scientist May Have Discovered a New Drug That Makes Up for Lost Sleep
nad.com·6d·
Discuss: Hacker News
🗃️Local databases
An app that checks vitamins and other nutrients in your food
nutritioncounter.site·5d·
Discuss: Hacker News
🤝Using AI for programming
I'm Sad That the World That Inspired Me to Get into This Game Is Now Gone
decodingeverything.com·3d·
Discuss: Hacker News
🤖AI
The Hipster PDA (2004)
43folders.com·5d·
Discuss: Hacker News
🗃️Local databases
Trump Social Security Administration Removed Key Metrics, Information from Site
warren.senate.gov·4d·
Discuss: Hacker News
🗃️Local databases
Occupancy Fraud
arnoldkling.substack.com·5d·
Discuss: Substack
🗃️Local databases
In Defence of Wasps
thewalrus.ca·5d·
Discuss: Hacker News
🤝Using AI for programming
Bullets with butterfly wings: nature conservation and the military
shrubstack.substack.com·4d·
Discuss: Substack
🤖AI
‘It is a war of drones now’: the ever-evolving tech dominating the frontline in Ukraine
theguardian.com·3d·
Discuss: Hacker News
🤝Using AI for programming
The Racing Speed of 3I/Atlas
avi-loeb.medium.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Benefit of the Doubtless
thelosophy.net·5d·
Discuss: Hacker News
🤝Using AI for programming
Mutations driving evolution are informed by the genome, not random, study suggests
phys.org·6d·
Discuss: Hacker News, Hacker News
🤖AI
College Board Cancels Tool for Finding Low-Income High Achievers
nytimes.com·5d·
Discuss: Hacker News
🤝Using AI for programming
How to build vector tiles from scratch
debuisne.com·5d·
Discuss: Hacker News, r/programming
🗃️Local databases
Nx Investigation Reveals GitHub Actions Workflow Exploit Led to NPM Token Theft
socket.dev·6d·
Discuss: Hacker News
🤖AI
nRF54L15 Connect Kit – A compact Bluetooth 6.0 LE, 802.15.4, and NFC development board
cnx-software.com·6d·
Discuss: Hacker News
🔌Embedded
Google deletes net-zero pledge from sustainability website
nationalobserver.com·5d·
Discuss: Hacker News
🤖AI
Rhythm, Repetition, and Class
philosophermaker.substack.com·3d·
Discuss: Substack
🤖AI
Non-Obviously Great Startups
postround.substack.com·5d·
Discuss: Substack
🤖AI
Google Pixel 10 review: perfectly fine
theverge.com·3d
🤖AI