✓ Formal verification

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

Smart50 star The Laundry Lady raises $1M to fuel global expansion
smartcompany.com.au·22h·
Discuss: Hacker News
🔌Embedded
The Peculiar Case of Japanese Web Design
sabrinas.space·3d·
Discuss: Lobsters, r/programming
🤖AI
Single and partnered mothers' labour market consequences of long family leave
tandfonline.com·1d·
Discuss: Hacker News
🤝Using AI for programming
ROG Matrix GeForce RTX 5090
rog.asus.com·17h·
Discuss: Hacker News
🔌Embedded
[World] - China’s biotech hub Suzhou wants to become the next Boston. Can it succeed?
scmp.com·12h·
Discuss: Hacker News, r/SCMPauto
🤖AI
Winning in the US: Founder's Guide to Building a Global Company from Europe
indexventures.com·11h·
Discuss: Hacker News
🤖AI
Who Cares If It's Been Tried Before?
blog.eladgil.com·20h·
Discuss: Hacker News
🗃️Local databases
China Versus the US in the Competition for Global Talent
marginalrevolution.com·23h·
Discuss: Hacker News
🤝Using AI for programming
Citybound: City building game, microscopic models to vividly simulate organism
aeplay.org·5d·
Discuss: Hacker News
🤖AI
LarAgent v0.5: Powerful and API-Ready AI Agents for Laravel
blog.laragent.ai·5d·
Discuss: Hacker News
🤖AI
High Interest Rates Are Redefining America's Construction Landscape
ridgewayomar.substack.com·1d·
Discuss: Substack
🤖AI
How to Start Making Games in JavaScript with No Experience
jslegenddev.substack.com·1d·
Discuss: Substack
🤝Using AI for programming
Every question you ask, every comment you make, I'll be recording you
theregister.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Dynamo, DynamoDB, and Aurora DSQL
brooker.co.za·5d·
Discuss: Lobsters, Hacker News
🗃️Local databases
Show HN: Privacy first tone rewriter Chrome extension using local Gemini Nano
github.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Palestine was the problem with TikTok
theverge.com·18h
🗃️Local databases
We're going to need a lot of solar panels (2022)
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🔌Embedded
Our DevOps stack and recent improvements
ngrok.com·5d·
Discuss: Hacker News
🔌Embedded
Why success is hard to crack
medium.com·17h·
Discuss: Hacker News
🤖AI
Turning ChatGPT's "Saved Memory" into a Persistent, Self-Updating Runtime Tool
news.ycombinator.com·6d·
Discuss: Hacker News
🤖AI