✓ 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
Free Wi-Fi Leaves Buses Vulnerable to Remote Hacking
securityweek.com·5d·
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
Top Free Web Scrapers in 2025 for Easy Data Scraping
momoproxy.com·4d·
Discuss: Hacker News
🗃️Local databases
Foundation models are going multimodal
twelvelabs.io·6d·
Discuss: Hacker News
🤖AI
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
Requiem for a 10x Engineer Dream
architecture-weekly.com·6d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
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
The dangerous comfort of AI answers
maxvanijsselmuiden.nl·6d·
Discuss: Hacker News
🤖AI
Go 1.5 Release Notes
go.dev·5d·
Discuss: Hacker News
🔌Embedded
Health of K8S External Secrets Project
github.com·4d·
Discuss: Hacker News
🗃️Local databases
The SERVE-AI-VAL Box - I built a portable local AI-in-a-box that runs off solar & hand crank power for under $300
reddit.com·5d·
Discuss: r/LocalLLaMA
🔌Embedded
Don't Be Too Rational
emergingperspectives.substack.com·4d·
Discuss: Substack
🤖AI
The SaaS competitor's agent is coming
blog.paid.ai·4d·
Discuss: Hacker News
🤝Using AI for programming