✓ Formal verification

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

Baby Age Calculator
babyagecalculator.com·3d·
Discuss: Hacker News
🗃️Local databases
AAMG is looking to acquire Lilium's assets and expertise
electrive.com·2d·
Discuss: Hacker News
🤝Using AI for programming
US to review all 55M visas to check if holders broke rules
bbc.com·4h·
Discuss: Hacker News
🤝Using AI for programming
Bulk Background Remover – Remove backgrounds from multiple images at once
bulkbackgroundremover.online·3d·
Discuss: Hacker News
🤖AI
The EU Commission's gross violation of privacy – endangering encryption (2022)
politico.eu·3d·
Discuss: Hacker News
🔌Embedded
Masimo sues feds to stop Apple Watch pulse oximetry restoration
appleinsider.com·1d·
Discuss: Hacker News
🔌Embedded
The umpire who picked a side: John Roberts and the death of rule of law in America
theguardian.com·1d·
Discuss: Hacker News
🔌Embedded
Wonky Graphene Could Sharpen Proton Therapy
spectrum.ieee.org·4d·
Discuss: Hacker News
🔌Embedded
Firefox is finally getting a feature users have been begging to have for ages
neowin.net·3h·
Discuss: Hacker News
🤝Using AI for programming
Introducing the illumos Cafe: Another Cozy Corner for OS Diversity
it-notes.dragas.net·4d·
Discuss: Lobsters, Hacker News
🔌Embedded
An introduction to the market making game – a quant favorite
xquant.substack.com·3d·
Discuss: Substack
🤖AI
Get to know the robot dog that can clean your house and serve you soda
engineering.cmu.edu·3d·
Discuss: Hacker News
🤖AI
Researchers send a wireless curveball to deliver massive amounts of data
engineering.princeton.edu·3d·
Discuss: Hacker News
🔌Embedded
The Shockingly Simple Vision Breakthrough That Might End LASIK
scitechdaily.com·1d·
Discuss: Hacker News
🔌Embedded
Against Breathalyzers
newpolity.com·2d·
Discuss: Hacker News
🤝Using AI for programming
AI is predominantly replacing outsourced, offshore workers
axios.com·4d·
Discuss: Hacker News
🤖AI
Show HN: AI-powered CLI that translates natural language to FFmpeg
news.ycombinator.com·3d·
Discuss: Hacker News
🤖AI
Arkansas Housing Development Restricted to White Residents Sparks Legal Concerns
nytimes.com·3d·
Discuss: Hacker News
🔌Embedded
The Open-Office Trap
newyorker.com·1d·
Discuss: Hacker News
🤝Using AI for programming
Pixel Watch 4: Design upgrades, new fitness features and expanded AI
blog.google·2d·
Discuss: Hacker News
🤖AI