✓ Formal verification

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

Show HN: Schedule Builder：I built a website can create schedules and calendars
schedule-builder.net·1d·
Discuss: Hacker News
🤝Using AI for programming
What's the Difference in Token Formats–and Why It Matters
ixopay.com·4d·
Discuss: Hacker News
🔌Embedded
The EU Commission's gross violation of privacy – endangering encryption (2022)
politico.eu·3d·
Discuss: Hacker News
🔌Embedded
Wonky Graphene Could Sharpen Proton Therapy
spectrum.ieee.org·4d·
Discuss: Hacker News
🔌Embedded
Addiction alloys: the cross-promotion of internet compulsions
internettalk.xyz·2d·
Discuss: Hacker News
🤝Using AI for programming
Away from Gmail
giuliomagnifico.blog·4d·
Discuss: Hacker News
🗃️Local databases
Show HN: Python file streaming 237MB/s on $8M droplet in 507 lines of stdlib
bellone.com·3d·
Discuss: Hacker News
🔌Embedded
Hacker Offers to Sell 15.8M Plain-Text PayPal Credentials
bitdefender.com·3d·
Discuss: Hacker News
🗃️Local databases
Who’s Afraid of Gay Penguins?
theatlantic.com·2d·
Discuss: Hacker News
🗃️Local databases
MAGA’s March Toward a Command Economy
insights.som.yale.edu·20h·
Discuss: Hacker News, r/Economics
🔌Embedded
An Intentional Mistake: The Anatomy of Google's Wi-Fi Sniffing Debacle (2012)
wired.com·2d·
Discuss: Hacker News
🗃️Local databases
Some key facts about passkeys and how they work
sixcolors.com·4d·
Discuss: Hacker News, Hacker News
🗃️Local databases
NASA’s new AI model can predict when a solar storm may strike
technologyreview.com·2d·
Discuss: Hacker News, r/technews
🤖AI
MND left her without a voice. AI and 8 seconds of audio gave it back to her
bbc.com·2d·
Discuss: Hacker News
🔌Embedded
Browser wars are back, predicts Palo Alto, thanks to AI
theregister.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Against Breathalyzers
newpolity.com·3d·
Discuss: Hacker News
🤝Using AI for programming
AI is predominantly replacing outsourced, offshore workers
axios.com·4d·
Discuss: Hacker News
🤖AI
Starlink wants billions in grants, but state governments aren’t cooperating
arstechnica.com·1d·
Discuss: Hacker News
🔌Embedded
Qwen3-30B-A3B and quantization.
reddit.com·5d·
Discuss: r/LocalLLaMA
🤖AI
The Shockingly Simple Vision Breakthrough That Might End LASIK
scitechdaily.com·1d·
Discuss: Hacker News
🔌Embedded