✓ Formal verification

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

Hyundai Is Now Locking DIY Owners Out of Their Own Brake Repairs
autoblog.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Hyper-Optimized Children
humaninvariant.substack.com·1d·
Discuss: Substack
🤝Using AI for programming
Flag this post
Data-Driven Analysis of Grokipedia's Bias
alik.social·18h·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Missing Link: How Linux would continue without Linus Torvalds
heise.de·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Tuta Introduces Key Verification
tuta.com·5d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Weekly Edge: New Gremlin Contributor, 2 Graph Releases, Ontologies in Aura
gdotv.com·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
Windows president says platform is "evolving into an agentic OS," gets cooked in the replies — "Straight up, nobody wants this"
windowscentral.com·9h·
Discuss: Hacker News, r/technology
🤖AI
Flag this post
I Created a Spare Monitor
blog.ianturton.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Counting in Binary on Your Hands
kidswholovemath.substack.com·4d·
Discuss: Substack
🔌Embedded
Flag this post
An Engineer's Guide to the Trolley Problem
aliveness.kunnas.com·4d·
Discuss: Hacker News
🤖AI
Flag this post
Risk Comes First(2020)
yusufaytas.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
AI Slop—How Every Media Revolution Breeds Rubbish and Art
scientificamerican.com·2d·
Discuss: Hacker News
🤖AI
Flag this post
Coding on Paper
thepalindrome.org·5d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
VMS/XDE – an OpenVMS x86 development environment for Linux and Windows
products.vmssoftware.com·15h·
Discuss: Hacker News
🔌Embedded
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
Notes on ClickHouse Scaling
gouthamve.dev·4d·
Discuss: Hacker News
🗃️Local databases
Flag this post
What I vibe coded in a week (laid off MLE at Meta)
hermitian3.substack.com·3d·
Discuss: Substack
🤖AI
Flag this post
Anukari on the CPU (part 2: CPU optimization)
anukari.com·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: Seeking architect for planetary-scale coherence infrastructure
github.com·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
Google, the worst search engine to ever exist in all universes for all time
news.ycombinator.com·20h·
Discuss: Hacker News
🗃️Local databases
Flag this post