✓ Formal verification

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

A Small Town in Alabama Became a Textile Haven
cntraveler.com·2d·
Discuss: Hacker News
🤖AI
The Aerial and Underwater Cinematography of Mission Impossible
theasc.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Nvidia charged with patent infringement for DGX technology.
techzine.eu·4d·
Discuss: r/LocalLLaMA
🔌Embedded
Good news for KDE users: Plasma 6.5 will launch with a new OOBE wizard
neowin.net·17h·
Discuss: Hacker News
🔌Embedded
Adding biochar to cement yields concrete that's stronger, more environmentally friendly
techxplore.com·2d·
Discuss: Hacker News
🔌Embedded
Dozens more UK Afghan data breaches uncovered
bbc.co.uk·2d·
Discuss: Hacker News
🗃️Local databases
The Pleasure of Patterns in Art
thereader.mitpress.mit.edu·4d·
Discuss: Hacker News, Hacker News
🤖AI
Banned! The 20 books they didn’t want you to read
theguardian.com·14h·
Discuss: Hacker News
🗃️Local databases
The US Department of Agriculture Bans Support for Renewables
insideclimatenews.org·1d·
Discuss: Hacker News
🔌Embedded
World-first living skin grown in Queensland laboratory
abc.net.au·2d·
Discuss: Hacker News
🗃️Local databases
From .com to .gov: The internet's inevitable nationalist turn
policyreview.info·4d·
Discuss: Hacker News
🔌Embedded
If agents are building your app, who gets the W-2?
vercel.com·5d·
Discuss: Hacker News
🤝Using AI for programming
We Grew Old in One Afternoon
clickworlddaily.com·4d·
Discuss: Hacker News
🤖AI
Elon Musk and Sam Altman's AI Feud Gets Nasty
time.com·5d·
Discuss: Hacker News
🤖AI
Federal data website outage raises concerns among advocates
apnews.com·1d·
Discuss: Hacker News
🗃️Local databases
FictusVNC – Fake VNC server to serve your images easily
github.com·3d·
Discuss: Hacker News
🗃️Local databases
Brain-computer interface could decode inner speech in real time
eurekalert.org·4d·
Discuss: Hacker News
🤝Using AI for programming
Self-driving cars begin testing on NYC streets
amny.com·11h·
Discuss: Hacker News
🤝Using AI for programming
Why Wall Street thinks the metaverse will be worth trillions (2022)
fortune.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Researcher Exposes Zero-Day Clickjacking Vulnerabilities in Major Password Managers
socket.dev·4d·
Discuss: Hacker News
🤝Using AI for programming