✓ Formal verification

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

National Grid: UK's largest battery storage facility at Tilbury substation
nationalgrid.com·3d·
Discuss: Hacker News
🔌Embedded
perfectionism is a form of shame
tala.bearblog.dev·2d·
Discuss: Hacker News
🤖AI
Professor debuts AI sidekick in trailblazing course
sfu.ca·6d·
Discuss: Hacker News
🤝Using AI for programming
Scientists cram an entire computer into a single fiber of clothing — and you can even put it through your washing machine
livescience.com·6d·
Discuss: Hacker News
🗃️Local databases
OpenPandora
openpandora.org·6d·
Discuss: Hacker News
🔌Embedded
The Evolution: From Atomic Options to Lygos Credit
blog.lygos.finance·6d·
Discuss: Hacker News
🔌Embedded
Mental health disorders and their impact on cardiovascular health disparities
thelancet.com·3d·
Discuss: Hacker News
🤖AI
Mastodon says it doesn’t ‘have the means’ to comply with age verification laws
techcrunch.com·5d·
Discuss: Hacker News, r/technews
🔌Embedded
Contra Scott Alexander on Missing Heritability
unboxingpolitics.substack.com·5d·
Discuss: Substack
🤝Using AI for programming
South Australia to become first place in world to ban soy sauce containers
news.sky.com·4d·
Discuss: Hacker News, r/worldnews
🔌Embedded
Spiped – secure pipe for SSH, SMTP, etc.
tarsnap.com·6d·
Discuss: Hacker News
🔌Embedded
The Ingredients of a Lasting Marriage
nytimes.com·5d·
Discuss: Hacker News
🤖AI
The Future That Never Was
unpopularfront.news·5d·
Discuss: Hacker News
🔌Embedded
The power we use and the power we give – pbump
pbump.net·5d·
Discuss: Hacker News
🗃️Local databases
How a hacker helped win a wrongful death lawsuit against Tesla
arstechnica.com·5d·
Discuss: Hacker News, r/technews
🗃️Local databases
Turning Images into Cinematic Clips –NanoBanana+Veo3 = Surprisingly Consistent
nanobananas.site·4d·
Discuss: Hacker News
🤖AI
EPA Fires 5 Employees Who Signed ‘Dissent’ Letter
scientificamerican.com·4d·
Discuss: Hacker News
🤝Using AI for programming
Hell Is Us is a cryptic and ambitious meditation on the horrors of war
theverge.com·3d
🤝Using AI for programming
‘It’s been quite a ride!’ Melvyn Bragg to step down from Radio 4’s In Our Time after 27 years
theguardian.com·1d·
Discuss: Hacker News
🤝Using AI for programming
On the Brink of Adulthood
theatlantic.com·5d·
Discuss: Hacker News
🗃️Local databases