✓ Formal verification

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

Samsung's new $29,999 Micro RGB TV looks good
engadget.com·2d·
Discuss: Hacker News
🔌Embedded
Germany's Ecosia proposes stewardship to run Google Chrome
reuters.com·4d·
Discuss: Hacker News
🤖AI
California Resident Tests Positive for Plague. What to Know About the Disease
time.com·3d·
Discuss: Hacker News
🤖AI
Why the Hunt for Red October Had the US Navy Running Scared
telegraph.co.uk·3d·
Discuss: Hacker News
🤖AI
Mapping of Historical Daguerreotypes: Imaging, Degradation, and Conservation
analyticalsciencejournals.onlinelibrary.wiley.com·2d·
Discuss: Hacker News
🔌Embedded
What the philosophy of Burning Man can teach us about this challenging time
cnn.com·23h·
Discuss: Hacker News
🤖AI
Say it, don't show it
nealstephenson.substack.com·1d·
Discuss: Substack
🤝Using AI for programming
Unity reintroduces the Runtime Fee through its Industry license
unity.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Enumerating AWS the quiet way: CloudTrail-free discovery with Resource Explorer
securitylabs.datadoghq.com·5d·
Discuss: Hacker News
🤖AI
How to create an engineering team that hits their deadlines
blog.yasuflores.me·3d·
Discuss: Hacker News
🤖AI
WhatsApp have just fixed the PSTN (and simultaneously killed it)
simwood.com·4d·
Discuss: Hacker News
🔌Embedded
"A mental patient, like an alcoholic, is endlessly cunning when it comes to subverting salvation, and Shulamith Firestone was one of the best"
bostonreview.net·3d·
Discuss: Hacker News
🗃️Local databases
A neuroscientist's guide to banishing stress, self-doubt and loneliness
telegraph.co.uk·3d·
Discuss: Hacker News
🗃️Local databases
What Fiscal Dominance Means for Your Polycule
mattwie.se·2d·
Discuss: Hacker News
🔌Embedded
Rusticl vs. AMD ROCm Performance On Ryzen AI Max+ "Strix Halo"
phoronix.com·6d·
Discuss: Hacker News, Hacker News
🔌Embedded
Microsoft Excel adds Copilot AI to help fill in spreadsheet cells
theverge.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Ask HN: Payments are fixed for freelancers in India. Why not compliance?
news.ycombinator.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Feedback on Masterit.ai – AI Interview Platform
news.ycombinator.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Our Response to Mississippi’s Age Assurance Law
bsky.social·3d·
Discuss: Hacker News, r/privacy
🗃️Local databases
Seems like many open source models struggle with this.
reddit.com·6d·
Discuss: r/LocalLLaMA
🤖AI