✓ Formal verification

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

What’s in your wallet?
johndcook.com·2d·
Discuss: Hacker News
🗃️Local databases
Blue Carbon potential in Germany: Status and future development
sciencedirect.com·16h·
Discuss: Hacker News
🤖AI
MadeYouReset: Turning HTTP/2 Server Against Itself
imperva.com·5d·
Discuss: Lobsters, r/programming
🔌Embedded
The many benefits of paying for search
blog.kagi.com·1d·
Discuss: Hacker News
🗃️Local databases
Government-linked Chinese firm claimed ownership stake in SpaceX
muskwatch.com·9h·
Discuss: Hacker News
🤝Using AI for programming
Developing Artificial Life from Scratch (2019)
blog.labtag.com·5d·
Discuss: Hacker News
🔌Embedded
The Benefits of Self-Hosting Critical Infrastructure to Reduce Latency in Gaming
fusionauth.io·6d·
Discuss: Hacker News
🔌Embedded
The Declining Reach of LinkedIn Company Pages in 2025
meetassembly.com·17h·
Discuss: Hacker News
🤖AI
The systems language from the '70s that almost beat C
news.ycombinator.com·5d·
Discuss: Hacker News
🔌Embedded
AI That Customizes Every Email-Is This Worth Building?
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Self-propelled ice could be the green power of the future
techxplore.com·1d·
Discuss: Hacker News
🔌Embedded
For Some Patients, the ‘Inner Voice’ May Soon Be Audible
nytimes.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Show HN: Let Claude Code/Cursor agents page your phone when they're finished
heyoncall.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Big data traps that catch small data teams
tower.dev·5d·
Discuss: Hacker News
🤖AI
Best Logging Libraries for Golang
launchdarkly.com·4d·
Discuss: Hacker News
🤝Using AI for programming
The Fire Between: Agency as Creative Field
philosophermaker.substack.com·5d·
Discuss: Substack
🤖AI
DINOV3: Self-supervised learning for vision at unprecedented scale
ai.meta.com·4d·
Discuss: Hacker News
🔌Embedded
Simple Claude Code Review Prompt
josecasanova.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Stay calm. Keep going. AI must wait or the bubble will burst
smartmic.bearblog.dev·5d·
Discuss: Hacker News
🤖AI
Liquid Glass. Why?
furbo.org·1d·
Discuss: Hacker News
🗃️Local databases