✓ Formal verification

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

Newsmax to pay $67M to settle defamation lawsuit from voting machine company
nbcnews.com·1d·
Discuss: Hacker News, r/news
🔌Embedded
Turn Ideas into Audio Books
storybook.baby·9h·
Discuss: Hacker News
🤖AI
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·5d·
Discuss: Hacker News
🔌Embedded
Highly Sensitive Medical Cannabis Patient Data Exposed by Unsecured Database
wired.com·23h·
Discuss: Hacker News
🗃️Local databases
Low- and Mid-Tier Mobile for the Real World (2025)
csswizardry.com·2d·
Discuss: Hacker News
🗃️Local databases
The Coming Robot Home Invasion
andykessler.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Isabella Stewart Gardner Museum Theft
en.wikipedia.org·2d·
Discuss: Hacker News
🤖AI
Continuous Access Evaluation Protocol for Real-Time Access Control
guptadeepak.com·6d·
Discuss: DEV, Hacker News
🤖AI
Study shows that removing methyl groups from DNA can switch genes back on, confirming that methylation is directly responsible for gene silencing
unsw.edu.au·2d·
Discuss: Hacker News
🔌Embedded
Unusual allies: Vagus nerve cells emerge as defenders against flu damage
medicalxpress.com·19h·
Discuss: Hacker News
🗃️Local databases
Why Game Devs Don't Merge Files
kuril.in·4d·
Discuss: Hacker News
🤝Using AI for programming
15-Fold increase in solar thermoelectric generator performance
nature.com·1d·
Discuss: Hacker News
🔌Embedded
Just People in a Room
bonnycode.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Do we understand how neural networks work?
verysane.ai·6d·
Discuss: Hacker News
🤖AI
OpenAI makes GPT-5 'friendlier' after widespread user backlash
pcworld.com·7h·
Discuss: Hacker News
🤝Using AI for programming
Vibe Coding Awareness Month
hellotonic.com·6d·
Discuss: Hacker News
🤝Using AI for programming
PyPl is blocking hundreds of expired domains to halt malware attacks
techradar.com·1d·
Discuss: Hacker News
🔌Embedded
Meta investigated over AI having 'sensual' chats with children
bbc.com·2d·
Discuss: Hacker News
🤖AI
A shape-changing antenna for more versatile sensing and communication
news.mit.edu·2d·
Discuss: Hacker News
🔌Embedded
AI Is Different
antirez.com·6d·
Discuss: Hacker News
🤖AI