✓ Formal verification

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

When People Giggle at Your Name, or the 2025 Hugo Awards Incident
grigorylukin.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Twenty Years of Blog Posts
charlespetzold.com·4d·
Discuss: Hacker News
🗃️Local databases
California EV drivers could lose their carpool lane privileges in September
latimes.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Auto-labeling in Viam can elevate your edge ML project
viam.com·6d·
Discuss: Hacker News
🤖AI
House Fire, Death, and Rebirth
adama-platform.com·4d·
Discuss: Hacker News
🗃️Local databases
VMware to Proxmox Migration Case Study
horizoniq.com·4d·
Discuss: Hacker News
🔌Embedded
Google expands age verification to Search
reclaimthenet.org·5d·
Discuss: Hacker News, r/privacy
🤖AI
original ↗
blog.gingerbeardman.com·6d·
Discuss: Hacker News
🔌Embedded
Super wideband stereo for Bluetooth LE Audio streaming on Windows 11
techcommunity.microsoft.com·21h·
Discuss: Hacker News
🔌Embedded
Elon Musk says he wants to 'simulate' software companies like Microsoft 'purely' with AI. He's calling it 'Macrohard.'
businessinsider.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Reasons Not to Become Famous (2020)
tim.blog·3d·
Discuss: Hacker News
🤝Using AI for programming
18 months after becoming the first human implanted with Elon Musk’s brain chip, Neuralink ‘Participant 1’ Noland Arbaugh says his whole life has changed
fortune.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Angry Metal Guy Speaks: On Spotify – Angry Metal Guy
angrymetalguy.com·2d·
Discuss: Hacker News, Hacker News
🔌Embedded
How to save the American university
theguardian.com·3d·
Discuss: Hacker News
🗃️Local databases
Scientists may have found a powerful new space object: 'It doesn't fit comfortably into any known category'
livescience.com·4d·
Discuss: Hacker News
🤝Using AI for programming
The Framework Laptop 16 Can Now Be Upgraded to an RTX 5070
wired.com·1d·
Discuss: Hacker News
🔌Embedded
HTMS Stream Async HTML, Stay SEO-Friendly
github.com·4d·
Discuss: Hacker News
🗃️Local databases
An MIT report that 95% of AI pilots fail spooked investors. But the reason why those pilots failed is what should make the C-suite anxious
fortune.com·6d·
Discuss: Hacker News
🤖AI
Introducing: VuIO - open source DLNA server
github.com·5d·
Discuss: Hacker News, r/homelab, r/opensource, r/rust, r/selfhosted
🔌Embedded
Behind the scenes of the process of creating a macOS app
old.reddit.com·4d·
Discuss: r/macapps
🤝Using AI for programming