HN
Hacker News
Top
New
Best
Ask
Show
Jobs
xvedejas
2,526 karma · joined August 29, 2013
submissions
comments
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
leandojo.org
·
5 pts
·
xvedejas
·
0
Understanding Transit Infrastructure Costs in American Cities
transitcosts.com
·
1 pts
·
xvedejas
·
0
Stupid CSS Part 1: Double-Click Handler
fishbotwilleatyou.com
·
1 pts
·
xvedejas
·
0
San Francisco: A Forbidden Fantasy Comes True
humantransit.org
·
2 pts
·
xvedejas
·
0