✓ Formal verification

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

Circular Tone Generator
rumble.monster·4d·
Discuss: Hacker News
🔌Embedded
HTTP/2 implementations are vulnerable to "MadeYouReset" DoS attack
kb.cert.org·4d·
Discuss: Hacker News
🔌Embedded
Sam 2: Segment Anything in Images and Videos
openreview.net·5d·
Discuss: Hacker News
🤝Using AI for programming
What Happened When Canada Gave Citizens the Right to Die
theatlantic.com·4d·
Discuss: Hacker News
🗃️Local databases
Hardware Encryption with OPAL2 Self-Encrypting SSD on Linux (2022)
furayoshi.com·6d·
Discuss: Hacker News
🔌Embedded
Einstein Fields: A Neural Perspective to Computational General Relativity
arxiviq.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·5d·
Discuss: Hacker News, Hacker News
🤖AI
Sad news: Another Linux distro is shutting down
neowin.net·4d·
Discuss: Hacker News
🔌Embedded
Brain cells learn faster than machine learning, research reveals
techxplore.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Three tragedies that shape human life in age of AI and their antidotes
link.springer.com·4d·
Discuss: Hacker News
🤖AI
OpenAI's GPT-5 looks less like AI evolution and more like cost cutting
theregister.com·4d·
Discuss: Hacker News
🤖AI
SuperSight: A graphical enhancement mod for Brøderbund's "Stunts"
marnetto.net·4d·
Discuss: Hacker News
🤝Using AI for programming
Astral Launches pyx: A Python-Native Package Registry
socket.dev·4d·
Discuss: Hacker News
🤖AI
The Crisis of the University Started Long Before Trump
compactmag.com·3d·
Discuss: Hacker News
🤝Using AI for programming
The Closed Internet Protocol
mirz.ai·5d·
Discuss: Hacker News
🤖AI
Go 1.5 Release Notes
go.dev·5d·
Discuss: Hacker News
🔌Embedded
The dangerous comfort of AI answers
maxvanijsselmuiden.nl·6d·
Discuss: Hacker News
🤖AI
Mozilla Firefox Is Dying
news.ycombinator.com·1h·
Discuss: Hacker News
🔌Embedded
Max Read’s ‘A Literary History of Fake Texts in Apple’s Marketing Materials’
daringfireball.net·4d·
Discuss: Hacker News
🤖AI
OpenAI brings back GPT-4o after user revolt
arstechnica.com·4d·
Discuss: Hacker News, r/technews
🤖AI