✓ Formal verification

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

Flies that herald death: Scientists refine the use of insects to solve complex crimes
english.elpais.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Gates-Backed Study: Flu Shots Linked to 27% Higher Heart Injury Risk
modernity.news·5d·
Discuss: Hacker News
🗃️Local databases
Big business and capitalism are becoming less and less popular with Americans
businessinsider.com·3d·
Discuss: Hacker News
🗃️Local databases
Study finds major root cause of obesity
nypost.com·4d·
Discuss: Hacker News
🗃️Local databases
Poison Pills?
williamjbarry.substack.com·3d·
Discuss: Substack
🗃️Local databases
Apartment List US Rent Report
apartmentlist.com·2d·
Discuss: Hacker News
🗃️Local databases
Google’s AI Ambitions An ‘Existential Crisis’ For News Online
gizmodo.com·5d·
Discuss: Hacker News
🤖AI
Shame and Shaming
ajfinn.com·5d·
Discuss: Hacker News
🗃️Local databases
Microsoft cloud services disrupted by Red Sea cable cuts
bbc.com·4d·
Discuss: Hacker News
🔌Embedded
Illegible perception
blog.julik.nl·6d·
Discuss: Hacker News
🤝Using AI for programming
Need a free, simple tool of whisper-v3-turbo speech-to-text for macOS
reddit.com·4d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Title: Is Anthropic’s new restriction really about national security, or just protecting market share?
reddit.com·6d·
Discuss: r/LocalLLaMA
🤖AI
Why monsoon rains have been so deadly in India this year
bbc.com·2d·
Discuss: Hacker News
🔌Embedded
Netflix’s best movies deserve more time on the big screen
theverge.com·3h
🤖AI
Why Forums Died (and what makes them thrive)
3.st·5d·
Discuss: Hacker News
🗃️Local databases
“I Who Have Never Known Men” Is a Warning
newyorker.com·6d·
Discuss: Hacker News
🤖AI
Inflatable tanks and flat-pack guns – inside Ukraine's decoy war
bbc.com·4d·
Discuss: Hacker News
🗃️Local databases
Chat GPT has no user sumbited feedback
news.ycombinator.com·5d·
Discuss: Hacker News
🤖AI
Beyond Vibe Coding
simonwillison.net·6d·
Discuss: Hacker News
🤖AI
World Nuclear Association Welcomes Microsoft Corporation as Newest Member
world-nuclear.org·2d·
Discuss: Hacker News
🗃️Local databases