✓ Formal verification

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

The Cochrane library is a global source of independent health evidence for everyone – why is NZ restricting access?
theconversation.com·2d·
Discuss: Hacker News
🗃️Local databases
South Africa's VALR named official crypto exchange partner of DHL Stormers
cointelegraph.com·1d·
Discuss: Hacker News
🔌Embedded
Show HN: Soda – Watch Your Bubble
soda.baptiste-leterrier.com·2d·
Discuss: Hacker News
🗃️Local databases
Show HN: Focalist – Simple Web-Based Task Manager for Daily Focus
focalist.app·1d·
Discuss: Hacker News
🤝Using AI for programming
The Erasive Age: Generation as Destruction
newcartographies.com·1d·
Discuss: Hacker News
🤖AI
OpenAVMKit: A Free and Open Source real estate valuation library for Python
progressandpoverty.substack.com·5d·
Discuss: Substack
🗃️Local databases
You can't grow cool-climate plants in hot climates
crimepaysbutbotanydoesnt.com·3d·
Discuss: Hacker News
🔌Embedded
Optimizing Ourselves to Death
ofdollarsanddata.com·4d·
Discuss: Hacker News
🤖AI
In-memory Filesystems in Rust
andre.arko.net·5d·
Discuss: Lobsters, Hacker News
🔌Embedded
SiriusXM Sued for Alleged AI Hiring Bias
fairnow.ai·5d·
Discuss: Hacker News
🤝Using AI for programming
AI copilots reshape game development
developer-tech.com·5d·
Discuss: Hacker News
🤝Using AI for programming
New genre of video collapses the boundaries between celebrities and audiences
nytimes.com·1d·
Discuss: Hacker News
🤖AI
From Vibe-Coding to Trash-Coding – Short-Story
etsd.tech·4d·
Discuss: Hacker News
🤝Using AI for programming
Realtime and frame-accurate video rendering with react-three-fiber
github.com·3d·
Discuss: Hacker News
🔌Embedded
Scattered Spider hacker gets sentenced to 10 years in prison
bleepingcomputer.com·2d·
Discuss: Hacker News
🔌Embedded
What is the point of libraries now that you can just generate them?
ghuntley.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Streamdown: React-Markdown replacement designed for AI-powered streaming
github.com·3d·
Discuss: Hacker News
🤖AI
FictusVNC – Fake VNC server to serve your images easily
github.com·3d·
Discuss: Hacker News
🗃️Local databases
Harvard dropouts to launch ‘always on’ AI smart glasses that listen and record every conversation
techcrunch.com·3d·
Discuss: Hacker News, r/privacy, r/technews
🤝Using AI for programming
Brain-computer interface could decode inner speech in real time
eurekalert.org·4d·
Discuss: Hacker News
🤝Using AI for programming