✓ Formal verification

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

Austerity for Fertility
betonit.ai·51m·
Discuss: Hacker News
🔌Embedded
iOS/iPadOS/macOS updates fix actively exploited ImageIO memory corruption
support.apple.com·19h·
Discuss: Hacker News
🔌Embedded
Adjustable Allen Key After All These Years
hackaday.com·2d·
Discuss: Hacker News
🔌Embedded
Most air cleaning devices have not been tested on people − and little is known about their potential harms, new study finds
theconversation.com·1d·
Discuss: Hacker News
🔌Embedded
Extraction of geothermal fluids: optimization of a gas lift sparger
geothermal-energy-journal.springeropen.com·3d·
Discuss: Hacker News
🔌Embedded
MetaScope 1.0 Revolutionizes Comprehensive Metadata Management
zalodesignstudio.com·2d·
Discuss: Hacker News
🤖AI
Risk-Adjusted Return on Inventory Buys
varietyiq.com·18h·
Discuss: Hacker News
🤖AI
U.S. Foreclosure Activity Jumps 13% Year over Year in July, Highest of 2025
attomdata.com·2d·
Discuss: Hacker News
🗃️Local databases
Post-Progressive Social Science: A Manifesto
erickaufmann.substack.com·2d·
Discuss: Substack
🤖AI
The Surprisal Calculator WM±7
surprisal.onrender.com·6d·
Discuss: Hacker News
🤖AI
How Linux and Open Source Became Hollywood's Secret VFX Weapon
brainnoises.com·1d·
Discuss: Hacker News
🔌Embedded
Met police’s facial recognition plans fall foul of European law, says watchdog
theguardian.com·1d·
Discuss: Hacker News
🔌Embedded
China rushes to build out solar, and emissions edge downward
apnews.com·16h·
Discuss: Hacker News
🔌Embedded
Creative Emoji Kitchen
emojicombo.net·2d·
Discuss: Hacker News
🤝Using AI for programming
Zed fork focused on privacy and being local-first
github.com·21h·
Discuss: Hacker News
🔌Embedded
Beginner Question: Am I running LLMs unsafely?
reddit.com·5d·
Discuss: r/LocalLLaMA
🗃️Local databases
A Linux alternative? Debian/Hurd shows microkernel Unix dream is alive
theregister.com·3d·
Discuss: Hacker News
🔌Embedded
Aaron Wallis survived GDPR killing half his revenue
valleyofdoubt.com·2d·
Discuss: Hacker News
🤖AI
Tell your AI to put on the Grug-brained developer hat
denismaciel.com·3d·
Discuss: Hacker News
🤝Using AI for programming
GPT-5: The Reverse DeepSeek Moment
thezvi.substack.com·3d·
Discuss: Substack
🤖AI