✓ Formal verification

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

Writing a brand-new OS is almost impossible by now
blog.wellosoft.net·17h·
Discuss: Hacker News
🔌Embedded
The Amaranth hardware description language
amaranth-lang.org·5d·
Discuss: Hacker News
🔌Embedded
The Pink Elephant Problem: Why "Don't Do That" Fails with LLMs
eval.16x.engineer·2d·
Discuss: Hacker News
🤝Using AI for programming
How I Used Test Techniques on Chatbots
spin.atomicobject.com·2d·
Discuss: Hacker News
🤖AI
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5d·
Discuss: Hacker News
🔌Embedded
HRT's Python Fork: Leveraging PEP 690 for Faster Imports
hudsonrivertrading.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Modeling Uncertainty For Better Outcomes
win-vector.com·2d·
Discuss: Hacker News
🤖AI
What It’s Like to Brainstorm with a Bot
newyorker.com·2d·
Discuss: Hacker News
🤝Using AI for programming
ChatGPT Is Still a Bullshit Machine
gizmodo.com·2d·
Discuss: Hacker News
🤝Using AI for programming
An AI Native Dependency Manager
github.com·7h·
Discuss: Hacker News
🤖AI
Hypothesis is now thread-safe
hypothesis.works·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
My thoughts on gpt-oss-120b
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Philosophy of Information
plato.stanford.edu·2d·
Discuss: Hacker News
🤖AI
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·3d·
Discuss: Hacker News
🔌Embedded
A personal take: LLMs are stuck, but local might win?
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
LLMs Can't Navigate Through the Physical World
hansenq.substack.com·4d·
Discuss: Substack
🤖AI
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·3d·
Discuss: Substack
🤝Using AI for programming
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·1d·
Discuss: Hacker News
🤖AI
Reflections on the React Community
leerob.com·40m·
Discuss: Hacker News
🤖AI
Replacing Agent Prompt Templates with Trainable Control Modules in DSPy
viksit.substack.com·3d·
Discuss: Substack
🤖AI