✓ Formal verification

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

Fantasy Football Is More Fun When You Accept What You Can't Control
freddiedeboer.substack.com·2d·
Discuss: Substack
🤝Using AI for programming
From el-Obeid to the Arctic: The secret mission that saved n>2k seeds from Sudan
middleeasteye.net·4d·
Discuss: Hacker News
🗃️Local databases
Why Real-Time Air Quality Data Might Be Making Things Worse
airgradient.com·4d·
Discuss: Hacker News
🗃️Local databases
Apple Watch's blood oxygen restoration may get killed by ITC
appleinsider.com·2d·
Discuss: Hacker News
🤖AI
Anonymous (Paid) E-Mail Account
xn--gckvb8fzb.com·4d·
Discuss: Hacker News
🗃️Local databases
Lab of Ornithology hits 2B bird sightings, 3M recordings
news.cornell.edu·4d·
Discuss: Hacker News
🗃️Local databases
Rolling the Dice with CSS random()
webkit.org·5d·
Discuss: Hacker News, r/webdev
🤝Using AI for programming
Don't pick weird subnets for embedded networks, use VRFs
blog.brixit.nl·5d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
Crypto Settlement Times
cryptosettlementtime.com·6d·
Discuss: Hacker News
🔌Embedded
Apple vs. Facebook is Kayfabe
infrequently.org·2d·
Discuss: Lobsters, Hacker News
🗃️Local databases
Why Detection Of Fake Content Isn't the Answer Anymore
inreality.io·6d·
Discuss: Hacker News
🤖AI
Determinants and Causal Effects: Admission to Highly Selective Private Colleges
nber.org·4d·
Discuss: Hacker News
🤖AI
Meta Poaches Apple AI Executive Even as It Plans Hiring Slowdown
bloomberg.com·5d·
Discuss: Hacker News
🤖AI
RFK Jr. Vowed to Find the Environmental Causes of Autism. Then He Shut Down Research Trying to Do Just That.
propublica.org·6d·
Discuss: Hacker News, r/TrueReddit, r/longform, r/politics
🤝Using AI for programming
My life in Gaza: ‘Do you know the series Squid Game?’
theguardian.com·3d·
Discuss: Hacker News
🗃️Local databases
Ask HN: Is Kubernetes still a big no-no for early stages in 2025?
news.ycombinator.com·5d·
Discuss: Hacker News
🔌Embedded
Russia exploited a 7-year old Cisco flaw to target critical infrastructure
scworld.com·5d·
Discuss: Hacker News
🔌Embedded
Is this the moment when the Generative AI bubble finally deflates?
garymarcus.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
Big Jobs – How to Thrive in the "AI Jobs Apocalypse"
fluxus.io·5d·
Discuss: Hacker News
🤖AI
Microsoft boss troubled by rise in reports of 'AI psychosis'
bbc.com·5d·
Discuss: Hacker News, r/technews
🤝Using AI for programming