✓ Formal verification

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

Australia withdraws fines amid 3D printed plate surge
3dprint.com·21h·
Discuss: Hacker News
🔌Embedded
Azure Linux with OS Guard: Secure, Immutable, and Open-Source Container Host
techcommunity.microsoft.com·1d·
Discuss: Hacker News
🔌Embedded
Comparing agent memory kits (Letta, MemOS, Cognee, etc)
cognee.ai·6d·
Discuss: r/LocalLLaMA
🤖AI
Gerrit Code Review
gerritcodereview.com·23h·
Discuss: Hacker News
🤝Using AI for programming
AABB Tree Shootout
slembcke.net·2d·
Discuss: Hacker News
🔌Embedded
Scientists Postulate a Second Law for Quantum Entanglement
techexplorist.com·1d·
Discuss: Hacker News
🔌Embedded
Canonical's OpenJDK builds promise devs more speed and 12 years of support
zdnet.com·3d·
Discuss: Hacker News
🔌Embedded
Adventures with mtree (2022)
jashankj.space·4d·
Discuss: Hacker News
🔌Embedded
Futarchy’s fundamental flaw — the market — the blog post
dynomight.net·1d·
Discuss: Hacker News
🤖AI
Hospital Shift Scheduling with OR-Tools
barkeywolf.consulting·5d·
Discuss: Hacker News
🤖AI
Show HN: Enter your domain and my open-source agent will hack it
github.com·3d·
Discuss: Hacker News, r/SoftwareEngineering
🔌Embedded
Poisoned telemetry can turn AIOps into AI Oops, researchers show
theregister.com·3d·
Discuss: Hacker News
🤖AI
Lemonade v8.1.3: Redesigned web ui, Ryzen AI Strix in CI, and lots of community suggestions addressed
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
I paid $35 for this study about "AI" to understand what the hell it meant
birchtree.me·1d·
Discuss: Hacker News
🤖AI
Was Your Kid’s Report Card Written By AI?
theatlantic.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Understanding Context Windows
rkayg.com·4d·
Discuss: Hacker News
🤖AI
Configuring GitHub Codespaces using devcontainers
til.simonwillison.net·2d·
Discuss: Hacker News
🤝Using AI for programming
Ask HN: NLP Using Chat UI
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Measuring AI impact like it's 1995
swarmia.com·2d·
Discuss: Hacker News
🤖AI
Why Racket? Why Lisp?
practicaltypography.com·6d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming