✓ Formal verification

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

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·2d·
Discuss: Hacker News
🤝Using AI for programming
Stock Portfolio Tracker
stockportfoliotracker.app·22h·
Discuss: Hacker News
🗃️Local databases
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·2d·
Discuss: Hacker News
🤝Using AI for programming
Do blogs need to be so lonely?
thehistoryoftheweb.com·2d·
Discuss: Hacker News, Hacker News
🤖AI
The sokol-gfx resource view update.
floooh.github.io·6d·
Discuss: Hacker News
🗃️Local databases
Scaling OpenTelemetry Kafka ingestion by 150% from 192K → 480K EPS
news.ycombinator.com·3d·
Discuss: Hacker News
🔌Embedded
Black-Scholes: The maths formula linked to the financial crash (2012)
bbc.com·3d·
Discuss: Hacker News
🤖AI
Winged ferry that glides like a pelican tested for coastal transportation
apnews.com·3d·
Discuss: Hacker News
🤝Using AI for programming
Hank Green’s Focus Friend swapped my screen time for bean time
theverge.com·2d
🤝Using AI for programming
Trump Mobile’s fake iPhone is now a fake S25 Ultra
theverge.com·1d·
Discuss: r/Android
🗃️Local databases
The Truth About Blocking AI, And How Publishers Can Still Win
fastly.com·4d·
Discuss: Hacker News
🤖AI
Browser: Ecosia wants responsibility for Chrome, but without paying for it
heise.de·1d·
Discuss: Hacker News
🤖AI
Trying to run a local offline coding agent with qwen code
github.com·5d·
Discuss: r/LocalLLaMA
🤝Using AI for programming
My Advice to Junior Engineers
jampauchoa.substack.com·21h·
Discuss: Substack
🤝Using AI for programming
A Distant Star Explodes While Swallowing Its Black Hole Companion
universetoday.com·3d·
Discuss: Hacker News
🤖AI
Hackers who exposed North Korean government hacker explain why they did it
techcrunch.com·2d·
Discuss: Hacker News
🔌Embedded
TimeTracker – A self-hosted, team time tracker with timers, and reporting
github.com·5d·
Discuss: Hacker News
🗃️Local databases