✓ Formal verification

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

Esnyx Tarpon Slip Joint Black G10
brooksreview.net·1d·
Discuss: Hacker News
🔌Embedded
Burkina Faso Halts Gates Foundation-Backed Anti-Malaria Project
bloomberg.com·2d·
Discuss: Hacker News
🔌Embedded
Show HN: MinuteTick – Do not lose track of time (or play Snake)
imaginaryapps.com·3d·
Discuss: Hacker News
🗃️Local databases
What are Federal Reserve swap lines?
brookings.edu·2d·
Discuss: Hacker News
🤖AI
Storming the Gates
domofutu.substack.com·6d·
Discuss: Substack
🗃️Local databases
Microsoft and NFL to bring real-time game analysis using Copilot
cnbc.com·1d·
Discuss: Hacker News
🤖AI
Earning the right
splits.org·5d·
Discuss: Hacker News
🔌Embedded
The Curious Case of Entropy
keccak-doomsday.com·6d·
Discuss: Hacker News
🤖AI
Emacs elevator pitch
xenodium.com·6d·
Discuss: Hacker News
🔌Embedded
Vim Macros for Beancount
tangled.sh·6d·
Discuss: Hacker News
🗃️Local databases
"The Lottery," by Shirley Jackson
newyorker.com·4d·
Discuss: Hacker News
🗃️Local databases
Earth system models project start of Amazon dieback within 21st century
phys.org·5d·
Discuss: Hacker News
🤖AI
Sensors Could Permanently Fly in the mesosphere using photophoresis
universetoday.com·4d·
Discuss: Hacker News
🔌Embedded
Backend for GLM 4.5 Air and the 96Gb Blackwell
reddit.com·6d·
Discuss: r/LocalLLaMA
🗃️Local databases
UoC-Colorado Springs thought it could avoid education crackdown
apnews.com·2d·
Discuss: Hacker News
🤝Using AI for programming
How to reach 100M Key lookups using REST server with Python clients
mikaelronstrom.blogspot.com·4d·
Discuss: Hacker News
🔌Embedded
PCIe Bifurcation x4x4x4x4 Question
reddit.com·1d·
Discuss: r/LocalLLaMA
🔌Embedded
A tool that converts sqlite to/from git-friendly format
github.com·4d·
Discuss: Hacker News, r/opensource
🗃️Local databases
Apple Sues Ex-Employee Who Allegedly Stole Apple Watch Secrets for Chinese Rival Oppo
macrumors.com·3d·
Discuss: Hacker News, r/technology
🔌Embedded
gpt-oss-20b-surviveV1
huggingface.co·6d·
Discuss: r/LocalLLaMA
🤝Using AI for programming