Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Formal methods and the future of programming
blog.janestreet.com
·
5d
5 days ago
· Cited by 1 article from 1 source
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
·
1d
1 day ago
Actions for 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.
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help