✓ Formal verification

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

Beta Glucan
domofutu.substack.com·20h·
Discuss: Substack
🗃️Local databases
Chaos to Calm: Master 5 Habits for a Peaceful, Stress-Free Life
bookbitehub.gumroad.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Global Mail Services Halt US Deliveries Ahead of De Minimis End
bloomberg.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Microsoft and NFL to bring real-time game analysis using Copilot
cnbc.com·1d·
Discuss: Hacker News
🤖AI
Show HN: Changefly ID + Anonymized Identity and Age Verification
changefly.com·4d·
Discuss: Hacker News
🤖AI
The Curious Case of Entropy
keccak-doomsday.com·6d·
Discuss: Hacker News
🤖AI
Emacs elevator pitch
xenodium.com·6d·
Discuss: Hacker News
🔌Embedded
Afghan women turn to online courses as Taliban bans education
apnews.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Earth system models project start of Amazon dieback within 21st century
phys.org·5d·
Discuss: Hacker News
🤖AI
Baby food firms given 18 months to cut sugar and salt in products
news.sky.com·3d·
Discuss: Hacker News
🗃️Local databases
PCIe Bifurcation x4x4x4x4 Question
reddit.com·1d·
Discuss: r/LocalLLaMA
🔌Embedded
And What Could Be
writings.alethia.news·6d·
Discuss: Hacker News
🤖AI
A tool that converts sqlite to/from git-friendly format
github.com·4d·
Discuss: Hacker News, r/opensource
🗃️Local databases
Apple Sues Ex-Employee Who Allegedly Stole Apple Watch Secrets for Chinese Rival Oppo
macrumors.com·3d·
Discuss: Hacker News, r/technology
🔌Embedded
gpt-oss-20b-surviveV1
huggingface.co·6d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Stupid Things That Work
ryanglover.net·4d·
Discuss: Hacker News
🗃️Local databases
What are you using for agentic coding?
reddit.com·6d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
I ran out of storage, so I made this tool to convert Live Photos to still images
apps.apple.com·1d·
Discuss: Hacker News
🗃️Local databases
Elon Musk's XAI Exposed Grok Conversations to Google
computing.co.uk·4d·
Discuss: Hacker News
🤝Using AI for programming
Dangers of AI
bryanhogan.com·5d·
Discuss: Hacker News
🤖AI