✓ Formal verification

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

Hypothesis is now thread-safe
hypothesis.works·2d·
Discuss: Lobsters, Hacker News
🔌Embedded
Assemblers in w64devkit, and other updates
nullprogram.com·16h·
Discuss: Hacker News
🔌Embedded
Writing a brand-new OS is almost impossible by now
blog.wellosoft.net·15h·
Discuss: Hacker News
🔌Embedded
GPT-5 vs. Sonnet: Complex Agentic Coding
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🤝Using AI for programming
Attention was never enough: Tracing the rise of hybrid LLMs
ai21.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Can AI ‘Defeat’ Authentication? Depends on Who You Ask
thenewstack.io·18h·
Discuss: Hacker News
🤖AI
Moldable Development at Lifeware (micro tools for a 35M LOC system)
lepiter.io·4d·
Discuss: Hacker News
🤝Using AI for programming
Surprising, but Inevitable: Stories, Jokes, Puzzles, and Proofs
danfabulich.medium.com·1d·
Discuss: Hacker News
🤖AI
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·3d·
Discuss: Hacker News
🔌Embedded
Mishearings: Hacking a tiny ASR model to write Dadaist poetry
evanking.io·15h·
Discuss: Hacker News
🤝Using AI for programming
How Does a Blind Model See the Earth?
outsidetext.substack.com·3h·
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·2d·
Discuss: Hacker News
🤝Using AI for programming
How I Used Test Techniques on Chatbots
spin.atomicobject.com·2d·
Discuss: Hacker News
🤖AI
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·1d·
Discuss: Hacker News
🤝Using AI for programming
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5d·
Discuss: Hacker News
🔌Embedded
ChatGPT Is Still a Bullshit Machine
gizmodo.com·2d·
Discuss: Hacker News
🤝Using AI for programming
An AI Native Dependency Manager
github.com·5h·
Discuss: Hacker News
🤖AI