✓ Formal verification

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

Bizarre robotic chair concept looks like a crab and can carry you around the house — it can even help you into your car
livescience.com·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Trinity Desktop Environment R14.1.5 Released
trinitydesktop.org·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
World largest nuclear fission reactor
yahoo.com·1d·
Discuss: Hacker News
🔌Embedded
Flag this post
Pixels. Coins. People
armidas.substack.com·1d·
Discuss: Substack
🤖AI
Flag this post
Deploying Temporal on AWS ECS with Terraform
papnori.github.io·6d·
Discuss: Hacker News
🔌Embedded
Flag this post
Hard drives on backorder for two years as AI data centers trigger HDD shortage — delays forcing rapid transition to QLC SSDs
tomshardware.com·2d·
Discuss: Hacker News
🔌Embedded
Flag this post
Improving Rust Compile Times by 71 Percent
elijahpotter.dev·5d·
Discuss: Hacker News, Hacker News, r/programming
🔌Embedded
Flag this post
UK transport and cyber-security chiefs investigate Chinese-made buses
theguardian.com·1d·
Discuss: Hacker News, r/GUARDIANauto
🔌Embedded
Flag this post
Great, now even malware is using LLMs to rewrite its code, says Google, as it documents new phase of 'AI abuse'
pcgamer.com·5d·
Discuss: Hacker News, r/technews
🤖AI
Flag this post
GTIG AI Threat Tracker: Advances in Threat Actor Usage of AI Tools
cloud.google.com·6d·
Discuss: Hacker News, Hacker News
🤖AI
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·5d·
Discuss: Hacker News
🤖AI
Flag this post
Statistical Estimate of Occurrence of Extraterrestrial Intelligence in Milky Way
arxiv.org·2d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Show HN: Solv – Stateless Offline-capable LiveView – Prototype 03
github.com·3d·
Discuss: Hacker News, Hacker News
🔌Embedded
Flag this post
Can automation help make the humanities more human?
resobscura.substack.com·4d·
Discuss: Substack
🤝Using AI for programming
Flag this post
Stories
news.ycombinator.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Investors’ ‘dumb transhumanist ideas’ setting back neurotech progress, say experts
theguardian.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Flag this post
Marden's Theorem
en.wikipedia.org·5d·
Discuss: Hacker News
🔌Embedded
Flag this post
Why Zig Is Quietly Doing What Rust Couldn't: Staying Simple
freedium-mirror.cfd·3d·
Discuss: Hacker News
🔌Embedded
Flag this post
Analysis of 422 Claude conversations finds high anthropomorphism, low boundaries
myyearwithclaude.substack.com·4d·
Discuss: Substack
🤖AI
Flag this post
Supermetal: Transactional databases data replication and CDC
supermetal.io·3d·
Discuss: Hacker News
🗃️Local databases
Flag this post