✓ 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·3d·
Discuss: Hacker News
🔌Embedded
Show HN: MinuteTick – Do not lose track of time (or play Snake)
imaginaryapps.com·3d·
Discuss: Hacker News
🗃️Local databases
I Lost Half a Million Pounds Trading Bitcoin (2021)
vice.com·15h·
Discuss: Hacker News
🗃️Local databases
What are Federal Reserve swap lines?
brookings.edu·3d·
Discuss: Hacker News
🤖AI
Group Project
galacticturtle.substack.com·3d·
Discuss: Substack
🤝Using AI for programming
Earning the right
splits.org·5d·
Discuss: Hacker News
🔌Embedded
The Curious Case of Entropy
keccak-doomsday.com·6d·
Discuss: Hacker News
🤖AI
Code Review Can Be Better
tigerbeetle.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤝Using AI for programming
Microplastics accumulate in organs faster than scientists can measure the risks
nearlyright.com·3d·
Discuss: Hacker News
🗃️Local databases
"The Lottery," by Shirley Jackson
newyorker.com·5d·
Discuss: Hacker News
🗃️Local databases
Australia Orders Binance Audit After Flagging ‘Serious Concerns’
bloomberg.com·4d·
Discuss: Hacker News
🗃️Local databases
Wplace Pixel Art – Convert Images to Wplace-Compatible Pixel Art
news.ycombinator.com·10h·
Discuss: Hacker News
🔌Embedded
Meet Macrohard, Elon Musk’s AI simulation of Microsoft, focused solely on AI software development — "It’s a tongue-in-cheek name, but the project is very real!...
windowscentral.com·3d·
Discuss: Hacker News
🤖AI
The CodeRabbit exploit: proof that "boring mistakes" cause big security failures
railsfever.com·5d·
Discuss: Hacker News, r/devops
🤝Using AI for programming
Sensors Could Permanently Fly in the mesosphere using photophoresis
universetoday.com·4d·
Discuss: Hacker News
🔌Embedded
UoC-Colorado Springs thought it could avoid education crackdown
apnews.com·2d·
Discuss: Hacker News
🤝Using AI for programming
The Great SSL Certificate Panic
redmonk.com·6d·
Discuss: Hacker News
🔌Embedded
Show HN: I've launched my app on Hacker News and here is what happened
indiehackers.com·6d·
Discuss: Hacker News
🗃️Local databases
PCIe Bifurcation x4x4x4x4 Question
reddit.com·1d·
Discuss: r/LocalLLaMA
🔌Embedded