✓ Formal verification

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

Show HN: Klotski.org – A web-based Klotski puzzle with 44 handcrafted levels
klotski.org·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Whole World Holonomy
galileo-unbound.blog·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
The UAE Is Winning the Race to Sequence an Entire Country’s DNA
bloomberg.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Weighted Quantile Weirdness and Bugs
practicalsignificance.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
He Chunhui's Tiny386 Turns the Humble ESP32-S3 Into a Fully-Functional 386-Powered Desktop PC
hackster.io·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Make Medical School Three Years
nytimes.com·1h·
Discuss: Hacker News
🔌Embedded
Flag this post
Switching from GPG to Age
luke.hsiao.dev·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
When Enforcing Copyright Starts Breaking the Internet's Plumbing
quad9.net·14h·
Discuss: Hacker News
🔌Embedded
Flag this post
Time to start de-Appling
heatherburns.tech·4h·
Discuss: Hacker News
🗃️Local databases
Flag this post
65daysofstatic’s new No Man’s Sky album searches for humanity in an AI-filled world
theverge.com·1d
🤝Using AI for programming
Flag this post
Winning at the Edges
holenventures.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Code research projects with async coding agents like Claude Code and Codex
simonwillison.net·4d·
Discuss: Lobsters, Hacker News
🤝Using AI for programming
Flag this post
Show HN: Lakekeeper – a fast, lightweight Iceberg REST catalog in Rust
github.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
A File Format Uncracked for 20 Years
landaire.net·4d·
Discuss: Lobsters, Hacker News, Hacker News
🗃️Local databases
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·6d·
Discuss: Hacker News
🗃️Local databases
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·6d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: OpenHealth – AI health platform with RAG over 38M medical papers
news.ycombinator.com·3d·
Discuss: Hacker News
🤖AI
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Advice Seeking, unRAID server / Local LLM setup
reddit.com·1d·
Discuss: r/LocalLLaMA
🔌Embedded
Flag this post