✓ Formal verification

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

How to Rename Your Windows 11 PC
makeuseof.com·2d·
Discuss: Hacker News
🗃️Local databases
Implementing an Unlimited PTO Policy
startupsoup.substack.com·5d·
Discuss: Substack
🤝Using AI for programming
Diverted mode
xenodium.com·6d·
Discuss: Hacker News
🤝Using AI for programming
Faster Isn't Always Better: The Unexpected Cost of Speed for Lizards
animalecologyinfocus.com·4d·
Discuss: Hacker News
🗃️Local databases
Hanami adopts Contributor Covenant 3.0
hanamirb.org·4d·
Discuss: Hacker News
🤖AI
Show HN: Comfyfile - Secure, Anonymous File Sharing with Auto-Expiry No Account
comfyfile.com·4d·
Discuss: Hacker News
🗃️Local databases
Resist – Open-Source extension that lets you control your Twitter Feed
bipinsuresh.info·4d·
Discuss: Hacker News
🗃️Local databases
Show HN: An Vibe Coding Tool for Flutter Could Builds Flutter Apps in Seconds
could.ai·4d·
Discuss: Hacker News
🤝Using AI for programming
Sticker generator using Sticker AI and nanobanana
nanobananas.site·6d·
Discuss: Hacker News
🔌Embedded
Why does academia suck? incentives
sebjenseb.net·6d·
Discuss: Hacker News
🤖AI
The Best Designers Know Nothing About Your Industry
gilli.is·4d·
Discuss: Hacker News
🤖AI
Warner Bros. sues Midjourney to stop AI knockoffs of Batman, Scooby-Doo
arstechnica.com·3d·
Discuss: Hacker News, r/technews
🤝Using AI for programming
Google dodges a $2.5T breakup
politico.com·6d·
Discuss: Hacker News
🔌Embedded
Gemini AI Image Generator
geminiimageai.net·6d·
Discuss: Hacker News
🤖AI
Hybrid nanotube electrodes developed for safer brain-machine interfaces
phys.org·5d·
Discuss: Hacker News
🔌Embedded
Ask HN: Is Google AI Overview giving you scam phone numbers?
news.ycombinator.com·4d·
Discuss: Hacker News
🗃️Local databases
The Backbone Pro controller is $20 off for a limited time
theverge.com·6d
🔌Embedded
How Wikipedia survives while the rest of the internet breaks
theverge.com·4d·
Discuss: Hacker News, r/Longreads, r/longform
🤖AI
Show HN: Drop-in Golang wrapper for curl-impersonate (net/HTTP compatible)
github.com·6d·
Discuss: Hacker News
🔌Embedded
Sweeteners can harm cognitive health equivalent to 1.6 years of ageing, study finds
theguardian.com·5d·
Discuss: Hacker News
🗃️Local databases