✓ Formal verification

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

Assemblers in w64devkit, and other updates
nullprogram.com·1d·
Discuss: Hacker News
🔌Embedded
Writing a brand-new OS is almost impossible by now
blog.wellosoft.net·1d·
Discuss: Hacker News
🔌Embedded
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·1d·
Discuss: Hacker News
🤖AI
How Does a Blind Model See the Earth?
outsidetext.substack.com·14h·
Discuss: Substack
🤖AI
Your Continuous Delivery Transformation Is Not Complete
maxdaten.io·1d·
Discuss: Hacker News
🤝Using AI for programming
The Pink Elephant Problem: Why "Don't Do That" Fails with LLMs
eval.16x.engineer·3d·
Discuss: Hacker News
🤝Using AI for programming
Logic and Creativity
hakon.gylterud.net·1d·
Discuss: Hacker News
🤝Using AI for programming
How I Used Test Techniques on Chatbots
spin.atomicobject.com·3d·
Discuss: Hacker News
🤖AI
Modeling Uncertainty For Better Outcomes
win-vector.com·3d·
Discuss: Hacker News
🤖AI
What It’s Like to Brainstorm with a Bot
newyorker.com·2d·
Discuss: Hacker News
🤝Using AI for programming
GPT-OSS was only sorta trained at MXFP4
reddit.com·14h·
Discuss: r/LocalLLaMA
🔌Embedded
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5d·
Discuss: Hacker News
🔌Embedded
An AI Native Dependency Manager
github.com·16h·
Discuss: Hacker News
🤖AI
Empowering Researchers, Developers and Students
medium.com·20m·
Discuss: Hacker News
🤖AI
My thoughts on gpt-oss-120b
reddit.com·2d·
Discuss: r/LocalLLaMA
🤖AI
Show HN: Creating a Binary Puzzle Game
taengo.vercel.app·4d·
Discuss: Hacker News
🔌Embedded
Show HN: "I Svelte That", a Book by Claude Code
github.com·1h·
Discuss: Hacker News
🤝Using AI for programming
A personal take: LLMs are stuck, but local might win?
reddit.com·1d·
Discuss: r/LocalLLaMA
🤖AI
Philosophy of Information
plato.stanford.edu·3d·
Discuss: Hacker News
🤖AI
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·4d·
Discuss: Substack
🤝Using AI for programming