✓ 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
Mitigating Backpressure from High Join Amplification with Unaligned Joins
risingwave.com·4d·
Discuss: Hacker News
🤖AI
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·11h·
Discuss: Hacker News
🗃️Local databases
UGC Maker: Real UGC Ads and Shorts, Made with AI
ugcmaker.io·5d·
Discuss: Hacker News
🤝Using AI for programming
What are Federal Reserve swap lines?
brookings.edu·2d·
Discuss: Hacker News
🤖AI
Group Project
galacticturtle.substack.com·3d·
Discuss: Substack
🤝Using AI for programming
Global Mail Services Halt US Deliveries Ahead of De Minimis End
bloomberg.com·4d·
Discuss: Hacker News
🤝Using AI for programming
The Curious Case of Entropy
keccak-doomsday.com·6d·
Discuss: Hacker News
🤖AI
Emacs elevator pitch
xenodium.com·6d·
Discuss: Hacker News
🔌Embedded
"The Lottery," by Shirley Jackson
newyorker.com·4d·
Discuss: Hacker News
🗃️Local databases
Microplastics accumulate in organs faster than scientists can measure the risks
nearlyright.com·3d·
Discuss: Hacker News
🗃️Local databases
Australia Orders Binance Audit After Flagging ‘Serious Concerns’
bloomberg.com·4d·
Discuss: Hacker News
🗃️Local databases
Backend for GLM 4.5 Air and the 96Gb Blackwell
reddit.com·6d·
Discuss: r/LocalLLaMA
🗃️Local databases
Wplace Pixel Art – Convert Images to Wplace-Compatible Pixel Art
news.ycombinator.com·7h·
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
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
A tool that converts sqlite to/from git-friendly format
github.com·4d·
Discuss: Hacker News, r/opensource
🗃️Local databases
How to reach 100M Key lookups using REST server with Python clients
mikaelronstrom.blogspot.com·4d·
Discuss: Hacker News
🔌Embedded