✓ Formal verification

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

The Aerial and Underwater Cinematography of Mission Impossible
theasc.com·22h·
Discuss: Hacker News
🤝Using AI for programming
If Nix Then Nix
whimsicalcode.com·4d·
Discuss: Hacker News
🔌Embedded
Cruise
blog.samaltman.com·22h·
Discuss: Hacker News
🤝Using AI for programming
Banned! The 20 books they didn’t want you to read
theguardian.com·10h·
Discuss: Hacker News
🗃️Local databases
The US Department of Agriculture Bans Support for Renewables
insideclimatenews.org·1d·
Discuss: Hacker News
🔌Embedded
History of IRC (Internet Relay Chat)
daniel.haxx.se·4d·
Discuss: Hacker News
🤝Using AI for programming
Physics Grifters: Eric Weinstein, Sabine Hossenfelder a Crisis of Credibility
timothynguyen.org·2d·
Discuss: Hacker News
🗃️Local databases
Elegant mathematics bending the future of design
actu.epfl.ch·5d·
Discuss: Hacker News
🔌Embedded
UK drafts AI to help Joe Public decipher its own baffling bureaucracy
theregister.com·5d·
Discuss: Hacker News
🤝Using AI for programming
I Hacked McDonald's (Security Contact Was Harder to Find Than Secret Recipe)
bobdahacker.com·3d·
Discuss: Hacker News
🔌Embedded
Google Search’s AI Mode is going global and getting smarter
theverge.com·2d
🤖AI
Tech, chip stock sell-off continues as AI bubble fears mount
finance.yahoo.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Daily driving GLM 4.5 for 10 days, kinda insane how good it is at half the size of other frontier models
reddit.com·3d·
Discuss: r/LocalLLaMA
🗃️Local databases
My Date with Ani: XAI's Companion Is Flirty, Flawed, and Surprisingly Human
vinitnair.com·1d·
Discuss: Hacker News
🤖AI
Why Building My Blog is More Fun Than Filling It
clojurecivitas.github.io·4d·
Discuss: Hacker News
🤝Using AI for programming
Rules Before Tools: Why Most AI Strategies Fail
boxofamazing.substack.com·5d·
Discuss: Substack
🤖AI
Developer gets prison time for sabotaging former employer’s network with a ‘kill switch’
techcrunch.com·1d·
Discuss: Hacker News
🔌Embedded
Show HN: openai/reflect – Physical AI Assistant that illuminates your life
github.com·4d·
Discuss: Hacker News, Hacker News
🔌Embedded
Nvidia CUDA Quantum
github.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Forklifts Require Training
zacsweers.dev·4d·
Discuss: Hacker News
🤖AI