✓ Formal verification

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

Invasion Intensifies on Karipuna Indigenous Land in the Brazilian Amazon
news.mongabay.com·3d·
Discuss: Hacker News
🤖AI
EP 132: Sam the Vendor
darknetdiaries.com·1d·
Discuss: Hacker News
🤝Using AI for programming
The enduring puzzle of static electricity
pubs.aip.org·1d·
Discuss: Hacker News
🔌Embedded
DevOps Workflows by Cased
cased.com·6d·
Discuss: Hacker News
🤖AI
Europe's crusade against air conditioning is insane
noahpinion.blog·2d·
Discuss: Hacker News
🔌Embedded
Problem vs. Product Risk (2022)
typefully.com·3d·
Discuss: Hacker News
🤖AI
Can you run a Premier League football club?
ig.ft.com·2d·
Discuss: Hacker News
🤝Using AI for programming
The Blast Playbook
neelsomaniblog.com·4d·
Discuss: Hacker News
🤖AI
Netflix wants its partners to follow these rules when using gen AI
theverge.com·2d
🤖AI
Quasicrystals Spill Secrets of Their Formation
quantamagazine.org·6d·
Discuss: Hacker News
🔌Embedded
We’re Not So Special: A new book challenges human exceptionalism
democracyjournal.org·5d·
Discuss: Hacker News
🤖AI
Endless Wiki - A useless self-hosted encyclopedia driven by LLM hallucinations
github.com·3d·
Discuss: Hacker News, r/selfhosted
🤖AI
NIMBYs threaten to sink Project Sail, a $17B datacenter development in Georgia
theregister.com·2d·
Discuss: Hacker News
🔌Embedded
Aspirin Confers No Long-Term Heart Benefits in Older Adults
medscape.com·11h·
Discuss: Hacker News
🤝Using AI for programming
The AI Agile Era: How AI Is Compressing the Software Lifecycle
blog.withmantle.com·6d·
Discuss: Hacker News
🤖AI
Minimalist Mastro Framework Offers Modern Take on MPAs
thenewstack.io·5d·
Discuss: Hacker News
🤝Using AI for programming
AI Mode in Search gets new agentic features and expands globally
blog.google·3d·
Discuss: Hacker News
🤖AI
Hijacking Windsurf: How Prompt Injection Leaks Developer Secrets
embracethered.com·4d·
Discuss: Hacker News
🤝Using AI for programming
New Linux Patches Allow Manipulating Out-Of-Memory Behavior Using BPF
phoronix.com·6d·
Discuss: Hacker News
🔌Embedded
Commonwealth Bank backtracks on AI job cuts, apologises for 'error'
abc.net.au·4d·
Discuss: Hacker News
🤝Using AI for programming