✓ Formal verification

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

Show HN: Twins of Caduceus – A high dexterity twin-stick snake game
mordenstar.com·2d·
Discuss: Hacker News
🔌Embedded
Meet Wukong, the AI Chatbot China Has Installed on Its Space Station
wired.com·3d·
Discuss: Hacker News, r/China, r/space
🤝Using AI for programming
Vibecoded a tiny product for companies to manage their employee's leaves
beans-web.onrender.com·5d·
Discuss: Hacker News
🤝Using AI for programming
APT36 hackers abuse Linux .desktop files to install malware in new attacks
bleepingcomputer.com·1d·
Discuss: Hacker News
🔌Embedded
Estimating Win Rates in Battle Royale Games (2021)
adereth.github.io·5d·
Discuss: Hacker News
🤖AI
Documented source code for Aviator on the BBC Micro
aviator.bbcelite.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Dwarf planet Ceres may have been habitable - for microbes - a couple of billion years back
theregister.com·2d·
Discuss: Hacker News
🔌Embedded
The Great ChatGPT Traffic Miscounting Problem
rivalsee.com·2d·
Discuss: Hacker News
🗃️Local databases
2.4 Wi-Fi's and Counting
reloadin.net·5d·
Discuss: Hacker News
🔌Embedded
Infostealer targets Russian crypto developers
getsafety.com·6d·
Discuss: Hacker News
🔌Embedded
Ticket reseller sued for illegally buying over 2,000 Taylor Swift tickets
theverge.com·4d
🤝Using AI for programming
Ask HN: How do most dry theory writers struggle to get started?
news.ycombinator.com·2d·
Discuss: Hacker News
🤖AI
Tomas Vondra: Fun and weirdness with SSDs
vondra.me·4d·
Discuss: Lobsters, Hacker News
🔌Embedded
Tried mixing local LLM + face recognition just for fun (wild results)
reddit.com·5d·
Discuss: r/LocalLLaMA
🗃️Local databases
XAI Published Grok Chatbot Conversations
forbes.com·2d·
Discuss: Hacker News
🤝Using AI for programming
systemd 259 To Raise Linux System Requirements
phoronix.com·3d·
Discuss: Hacker News
🔌Embedded
US gov seeks AI procurement using 'full user context and data access' chatbots
theregister.com·5d·
Discuss: Hacker News
🤝Using AI for programming
Launch HN: Uplift (YC S25) – Voice models for under-served languages
news.ycombinator.com·5d·
Discuss: Hacker News
🤖AI
Trump says Intel agreed to give US a stake in its company
apnews.com·1d·
Discuss: Hacker News
🔌Embedded
A Man's AI Fears
johnroa.substack.com·5d·
Discuss: Substack
🤖AI