✓ Formal verification

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

HTTP/2 implementations are vulnerable to "MadeYouReset" DoS attack
kb.cert.org·3d·
Discuss: Hacker News
🔌Embedded
First simulated image of a black hole
en.wikipedia.org·3d·
Discuss: Hacker News
🤝Using AI for programming
Sam 2: Segment Anything in Images and Videos
openreview.net·4d·
Discuss: Hacker News
🤝Using AI for programming
What Happened When Canada Gave Citizens the Right to Die
theatlantic.com·3d·
Discuss: Hacker News
🗃️Local databases
Writing tests for Nim libraries with Nimble and unittest
serv.peterme.net·6d·
Discuss: Hacker News
🤝Using AI for programming
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·4d·
Discuss: Hacker News, Hacker News
🤖AI
Inclusive Language Guide
aswf.io·5d·
Discuss: Hacker News
🤖AI
OpenAI's GPT-5 looks less like AI evolution and more like cost cutting
theregister.com·3d·
Discuss: Hacker News
🤖AI
SuperSight: A graphical enhancement mod for Brøderbund's "Stunts"
marnetto.net·3d·
Discuss: Hacker News
🤝Using AI for programming
Astral Launches pyx: A Python-Native Package Registry
socket.dev·3d·
Discuss: Hacker News
🤖AI
Requiem for a 10x Engineer Dream
architecture-weekly.com·5d·
Discuss: Hacker News, r/programming
🤝Using AI for programming
A Progressive Complexity Manifesto (Astro and Htmx)
lorenstew.art·6d·
Discuss: Hacker News
🤖AI
Cljfx – Declarative, functional and extensible wrapper of JavaFX
github.com·6d·
Discuss: Hacker News
🔌Embedded
The Closed Internet Protocol
mirz.ai·4d·
Discuss: Hacker News
🤖AI
Go 1.5 Release Notes
go.dev·4d·
Discuss: Hacker News
🔌Embedded
The dangerous comfort of AI answers
maxvanijsselmuiden.nl·5d·
Discuss: Hacker News
🤖AI
Health of K8S External Secrets Project
github.com·3d·
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·4d·
Discuss: r/LocalLLaMA
🔌Embedded
Don't Be Too Rational
emergingperspectives.substack.com·3d·
Discuss: Substack
🤖AI
The plan for Linux after Torvalds has a kernel of truth: there isn’t one
theregister.com·3d·
Discuss: Hacker News
🔌Embedded