✓ Formal verification

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

The 17-character code that runs the automotive world
cardog.app·2d·
Discuss: Hacker News
🤝Using AI for programming
Show HN: We built an AI-powered pathology billing system for EHR platforms
curemd.com·2d·
Discuss: Hacker News
🤖AI
The Generativity Pattern in Rust
arhan.sh·5d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
ChatGPT Is Still a Bullshit Machine
gizmodo.com·1d·
Discuss: Hacker News
🤝Using AI for programming
PyTorch 2.8 Release
pytorch.org·2d·
Discuss: Hacker News
🔌Embedded
My thoughts on gpt-oss-120b
reddit.com·12h·
Discuss: r/LocalLLaMA
🤖AI
Philosophy of Information
plato.stanford.edu·1d·
Discuss: Hacker News
🤖AI
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·2d·
Discuss: Hacker News
🔌Embedded
A personal take: LLMs are stuck, but local might win?
reddit.com·3h·
Discuss: r/LocalLLaMA
🤖AI
LLMs Can't Navigate Through the Physical World
hansenq.substack.com·3d·
Discuss: Substack
🤖AI
Qualifiers on Hypertext Links (1991)
w3.org·3d·
Discuss: Hacker News
🗃️Local databases
Mathematicians credited with rescuing quantum computing
today.usc.edu·2d·
Discuss: Hacker News
🔌Embedded
Replacing Agent Prompt Templates with Trainable Control Modules in DSPy
viksit.substack.com·2d·
Discuss: Substack
🤖AI
Finally, I Wrote a 600-Page Book About My Mad LLM fine-tuning experiments
amazon.com·19h·
Discuss: r/LocalLLaMA
🤖AI
From trixie, armel is no longer supported as a regular architecture
debian.org·3h·
Discuss: Hacker News
🔌Embedded
I built a Python tool to spot legal risks in AI responses under the EU AI Act
medium.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Active context extraction > passive context capture with LLMs
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI
Cosmic Ray Bit Flips and the Hidden Risk at Scale
cside.dev·1d·
Discuss: Hacker News
🔌Embedded
Buttercup is now open-source!
blog.trailofbits.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Why I'm excited about the Hierarchical Reasoning Model
medium.com·1d·
Discuss: Hacker News
🤖AI