✓ Formal verification

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

What Is a Special Purpose Vehicle (SPV), and Why Do Companies Form Them?
investopedia.com·2d·
Discuss: Hacker News
🔌Embedded
To Download Adult Mods on Nexus, You Need to Show ID
thegamer.com·1d·
Discuss: Hacker News
🔌Embedded
FTC Chairman Ferguson Warns Companies Against Censoring or Weakening the Data Security of Americans at the Behest of Foreign Powers
ftc.gov·1d·
Discuss: Hacker News
🤝Using AI for programming
3D Reconstruction from Public Photos with Machine Learning
blog.skz.dev·1d·
Discuss: Hacker News
🤖AI
It's Just Our Turn to Serve the World
weavers.org·1d·
Discuss: Hacker News
🤖AI
Add Indexes to Foreign Key Refs in PostgreSQL
rishigoomar.com·4d·
Discuss: Hacker News
🗃️Local databases
Tmux-devcontainers: Tmux Pluging to manage project devcontainers
maniacalrobot.co.uk·1d·
Discuss: Hacker News
🤝Using AI for programming
Free......Not Free
cyberinsider.com·3d·
Discuss: Hacker News, r/Piracy
🔌Embedded
Do blogs need to be so lonely?
thehistoryoftheweb.com·2d·
Discuss: Hacker News, Hacker News
🤖AI
Skill issues – Dialectical Behavior Therapy and its discontents (2024)
thedriftmag.com·3d·
Discuss: Hacker News
🤖AI
The sokol-gfx resource view update.
floooh.github.io·6d·
Discuss: Hacker News
🗃️Local databases
Workers need better protections from the heat
theverge.com·15h
🤝Using AI for programming
Scaling OpenTelemetry Kafka ingestion by 150% from 192K → 480K EPS
news.ycombinator.com·3d·
Discuss: Hacker News
🔌Embedded
Gone but not forgotten: brain's map of body remains unchanged after amputation
cam.ac.uk·1d·
Discuss: Hacker News
🔌Embedded
Winged ferry that glides like a pelican tested for coastal transportation
apnews.com·2d·
Discuss: Hacker News
🤝Using AI for programming
Hank Green’s Focus Friend swapped my screen time for bean time
theverge.com·1d
🤝Using AI for programming
2025 is turning into a good year for long-awaited games
theverge.com·1d
🤖AI
TimeTracker – A self-hosted, team time tracker with timers, and reporting
github.com·4d·
Discuss: Hacker News
🗃️Local databases
Looking for LLM recommendations for a PC build - liberal arts focus over coding
reddit.com·5d·
Discuss: r/LocalLLaMA
🔌Embedded
Even if snap out of the AI bubble, we are never going to get these years back
coppolaemilio.com·4d·
Discuss: Hacker News
🤖AI