Back to cehmdxgw's feed

Formal methods and the future of programming (opens in new tab)  🐛Fuzzing  Content type: Blog

blog.janestreet.com··Lobsters, Hacker News, Hacker News·Cited by 1 article·Covers: Lean: Programming Language and Theorem Prover, The Rocq Prover +2 more·Open original (opens in new tab)

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

Read the original article
Sign in to keep reading the full article.
Sign UpLog In

Cited by 1 article

Interesting. AI will in effect increase both supply and demand for formal methods. You need them more, but you also have tools that make them cheaper.

twitter.macworks.dev
·

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help