✓ Formal verification

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

Scientists discover new "lucifer" bee with devil-like horns
cbsnews.com·33m·
Discuss: Hacker News
🗃️Local databases
Flag this post
Downgrading Debian from testing to stable (trixie)
neilzone.co.uk·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
A place to meet new people and connect in Bern
connectbern.ch·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
How to Read Financial Newspapers Without Getting Lost
world-newspapers.net·22h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Looking for a Simple Lists App
tildes.net·1d·
Discuss: Hacker News
🗃️Local databases
Flag this post
DOJ Antitrust Review Clears Google's $32B Acquisition of Wiz
securityweek.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Mozilla Firefox gets new anti-fingerprinting defenses
bleepingcomputer.com·13h·
Discuss: Hacker News
🗃️Local databases
Flag this post
Amazon WorkSpaces Linux Flaw Lets Attackers Steal Tokens
jphfeeds.top·4d·
Discuss: Hacker News
🔌Embedded
Flag this post
Show HN: Conversational Hindi tutor for Indian diaspora kids (5-9yrs old)
hindispeakingtutor.in·3d·
Discuss: Hacker News
🤖AI
Flag this post
Async DNS with Mac OS Getaddrinfo_async_start and Rust Smol
fnordig.de·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Kosmos: Next-generation AI Scientist
edisonscientific.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
Dull Days at the Factory
mihaiolteanu.me·1d·
Discuss: Hacker News, Hacker News
🤝Using AI for programming
Flag this post
Show HN: AI Photo Cleaner iOS app (on-device processing)
news.ycombinator.com·17h·
Discuss: Hacker News
🤖AI
Flag this post
I built 10k robots simulation with collision avoidance in WebGPU (HTML)
physical-ai.ghost.io·4d·
Discuss: Hacker News, Hacker News
🔌Embedded
Flag this post
We need to give LLMs human-like vision
matml.bearblog.dev·6d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
My Hands-On Review of Kimi K2 Thinking: The Open-Source AI That's Changing the Game
reddit.com·4d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·6d·
Discuss: Hacker News
🤖AI
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·6d·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Smart File Organizer, a free app to automatically sort your folders
github.com·16h·
Discuss: Hacker News
🗃️Local databases
Flag this post