Get the latest tech news

Formal Methods and the Future of Programming

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of future

future

Photo of programming

programming

Photo of Formal methods

Formal methods

Related news:

World's First Crewed Solid-State Flight Electrifies Aviation's Future

Global Capitalism Bets It All on AI Future Alarming Voters

World’s first crewed solid-state flight electrifies aviation's future

« Blizzard Sues To Take Down Another Private World of Warcraft Server, Project Ascension

Netgear countersues TP-Link, saying firm 'remains, at its core, a Chinese company selling Chinese-made products' — alleges its 'American company' rebrand is false advertising »