✓ Formal verification

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

The Problem Of Uncertain Significance
stetson.substack.com·4d·
Discuss: Substack
🤖AI
Einstein Fields: A Neural Perspective to Computational General Relativity
arxiviq.substack.com·4d·
Discuss: Substack
🤝Using AI for programming
Generate AWS Architecture Diagrams with Amazon Q
awsfundamentals.com·6d·
Discuss: Hacker News
🤖AI
Shapes and Shadows – CSS
codepen.io·2d·
Discuss: Hacker News
🗃️Local databases
Reducing Optimization Risk through Portfolio Methods
win-vector.com·5d·
Discuss: Hacker News
🗃️Local databases
Show HN: A Fun Flow Field-Based Image Displacement Mapping Experiment
labs.galleri5.com·3d·
Discuss: Hacker News
🤖AI
Fusion Propulsion and Other Science Projects We Swore Would Be Done by Now
multiverseemployeehandbook.com·4d·
Discuss: Hacker News
🔌Embedded
AI: Great Expectations
rodneybrooks.com·5d·
Discuss: Hacker News
🤖AI
Different isn't always better, better is always different
cory.news·5d·
Discuss: Hacker News
🤖AI
Sad news: Another Linux distro is shutting down
neowin.net·2d·
Discuss: Hacker News
🔌Embedded
Louisiana sues Roblox for creating an environment where ‘child predators thrive’
theverge.com·1d
🤝Using AI for programming
Most creators will fail in the next 12 months
letters.thedankoe.com·2d·
Discuss: Hacker News
🤝Using AI for programming
What If We Built Legal Systems Like We Build Everything Else?
philosophermaker.substack.com·4d·
Discuss: Substack
🗃️Local databases
The unexpected joy of Claude Code on your iPhone
clay.fyi·4d·
Discuss: Hacker News
🤝Using AI for programming
'Inference whales' are breaching AI coding startup business models
businessinsider.com·4d·
Discuss: Hacker News
🤖AI
Suddenly you are not the main character of your own story
continuouscode.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Using C as a scripting language
lazarusoverlook.com·5d·
Discuss: Hacker News, r/C_Programming, r/programming
🤝Using AI for programming
What If A.I. Doesn’t Get Much Better Than This?
newyorker.com·4d·
Discuss: Hacker News, Hacker News
🤖AI
How we're shipping faster with Claude Code and Git Worktrees
incident.io·6d·
Discuss: Hacker News
🤝Using AI for programming
Foundation models are going multimodal
twelvelabs.io·5d·
Discuss: Hacker News
🤖AI