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
cehmdxgw
's feed
Lean: Programming Language and Theorem Prover
(opens in new tab)
🔍
Symbolic Execution
15
articles covering this post
lean-lang.org
·
75w
75 weeks ago
·
Hacker News
,
Hacker News
·
Covered by blog.janestreet.com + 14 more
·
Open original
(opens in new tab)
Save
Love
Like
Dislike
|
Feeds
Share
|
Report
Block
Show Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Sign in to keep reading the full article.
Sign Up
Log In
Covered in 15 articles
Formal methods and the future of programming
blog.janestreet.com
·
6d
6 days ago
·
Lobsters
,
Hacker News
,
Hacker News
Actions for Formal methods and the future of programming
PyCon US 2026 Typing Summit Recap
bernat.tech
·
4w
4 weeks ago
·
Lobsters
,
Hacker News
Actions for PyCon US 2026 Typing Summit Recap
Exclusive: a top mathematician almost quit when AI got good at math. Now he's using it to rewrite economics
fortune.com
·
1w
1 week ago
Actions for Exclusive: a top mathematician almost quit when AI got good at math. Now he's using it to rewrite economics
View all 15 ›
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