✓ Formal verification

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

Scientists discover surprising language 'shortcuts' in birdsong – like humans
manchester.ac.uk·3d·
Discuss: Hacker News
🤝Using AI for programming
Circular Tone Generator
rumble.monster·4d·
Discuss: Hacker News
🔌Embedded
Free Wi-Fi Leaves Buses Vulnerable to Remote Hacking
securityweek.com·5d·
Discuss: Hacker News
🔌Embedded
Does the Universe expand faster than the speed of light?
bigthink.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Dense Associative Memory for Pattern Recognition (2016)
proceedings.neurips.cc·6d·
Discuss: Hacker News
🤖AI
IntelliJ IDE Command Completion
jetbrains.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Top Free Web Scrapers in 2025 for Easy Data Scraping
momoproxy.com·3d·
Discuss: Hacker News
🗃️Local databases
Can't open bank account due to silly address mismatch
news.ycombinator.com·3d·
Discuss: Hacker News
🗃️Local databases
The SERVE-AI-VAL Box - I built a portable local AI-in-a-box that runs off solar & hand crank power for under $300
reddit.com·4d·
Discuss: r/LocalLLaMA
🔌Embedded
Don't Be Too Rational
emergingperspectives.substack.com·4d·
Discuss: Substack
🤖AI
The SaaS competitor's agent is coming
blog.paid.ai·4d·
Discuss: Hacker News
🤝Using AI for programming
Snooping On Slow Builds (Using Syscalls)
danielchasehooper.com·4d·
Discuss: Lobsters, Hacker News, Hacker News
🔌Embedded
OpenAI brings back GPT-4o after user revolt
arstechnica.com·4d·
Discuss: Hacker News, r/technews
🤖AI
The plan for Linux after Torvalds has a kernel of truth: there isn’t one
theregister.com·3d·
Discuss: Hacker News
🔌Embedded
Hardware Encryption with OPAL2 Self-Encrypting SSD on Linux (2022)
furayoshi.com·5d·
Discuss: Hacker News
🔌Embedded
The Great Generalist Extinction
wryco.com·5d·
Discuss: Hacker News
🤖AI
US Producer Prices Rise by Most in Three Years on Services
bloomberg.com·3d·
Discuss: Hacker News
🔌Embedded
We inspire AI
swag.industries·5d·
Discuss: Hacker News
🤖AI
Show HN: Happy Coder – End-to-End Encrypted Mobile Client for Claude Code
github.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Is your Open-Source project's traction real or noise?
news.ycombinator.com·3d·
Discuss: Hacker News
🤝Using AI for programming