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
Back to article
Formal methods and the future of programming
(opens in new tab)
blog.janestreet.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
·
Covers:
Lean: Programming Language and Theorem Prover
,
SeL4 is a formally verified operating system
+2 more
·
Open original
(opens in new tab)
Save
Love
Like
Dislike
|
Add interest
Feeds
Share
|
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block
Add interest
Show Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
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
·
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