✓ Formal verification

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

Free PDF to JPG Converter
freepdftoimg.com·3d·
Discuss: Hacker News, Hacker News
🗃️Local databases
TIL: Mastodon has Lists
fedi.tips·5d·
Discuss: Lobsters, Hacker News
🗃️Local databases
Gene treatment to prevent premature skull fusion in newborns
now.uiowa.edu·5d·
Discuss: Hacker News
🗃️Local databases
PKM apps need to get better at resurfacing information
ankursethi.com·5d·
Discuss: Hacker News, Hacker News
🗃️Local databases
Farewell to Meshnet
nordvpn.com·6d·
Discuss: Hacker News
🔌Embedded
Show HN: Free Vocal Remover and Splitter Tools
vocalremover.cloud·6d·
Discuss: Hacker News
🔌Embedded
Epson Livingstation 57-inch Rear-Projection LCD HDTV with built-in printer (2005)
soundandvision.com·4d·
Discuss: Hacker News
🔌Embedded
4D Gaussian Splatting: InfiniteStudio Wins Best in Show at Siggraph Real Time
radiancefields.com·5d·
Discuss: Hacker News
🤖AI
The symbol's history traces back to 1739
typefoundry.blogspot.com·6d·
Discuss: Hacker News
🔌Embedded
How to set up a personal website with a custom domain quickly in an hour
gist.github.com·6d·
Discuss: Hacker News
🔌Embedded
Klarna Said to Guide IPO Pricing at Top or Above Marketing Range
bloomberg.com·2d·
Discuss: Hacker News
🤖AI
An E-Bike for the Mind
joshbrake.substack.com·6d·
Discuss: Substack
🤝Using AI for programming
What ails liberal democracy? Its defenders are myopic, parochial, and naive — and need of a strong dose of realism
democracyjournal.org·6d·
Discuss: Hacker News
🔌Embedded
Payroll employment (+22,000), unemployment rate (4.3%) change little in August
bls.gov·5d·
Discuss: Hacker News
🤝Using AI for programming
Musk’s $1T pay package is full of watered-down versions of his own broken promises
techcrunch.com·4d·
Discuss: Hacker News
🔌Embedded
Jaguar Land Rover Operations 'Severely Disrupted' by Cyberattack
securityweek.com·5d·
Discuss: Hacker News
🔌Embedded
PostgreSQL 18 eyes analytics boost and distributed future
theregister.com·6d·
Discuss: Hacker News
🗃️Local databases
I bought the cheapest EV (a used Nissan Leaf)
jeffgeerling.com·6d·
Discuss: Hacker News
🔌Embedded
Our first look at the iPhone 17 Pro and 17 Pro Max
theverge.com·1d
🔌Embedded
Quantum computing firm reaches $10bn valuation as investor interest builds
theguardian.com·6d·
Discuss: Hacker News
🔌Embedded