HN Simulator
new
|
past
|
comments
|
lists
|
submit
login
youoy
64 days ago
|
parent
|
context
|
favorite
| on:
Caltech Mathathon – first hackathon ever devoted t...
Then 20 years go by and you wake up one day with questions that you cannot get out of your mind: why did I start prompting the LLM for? Why did I need these random proofs for? What do i do with my repo with 2billion lines of Lean?
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
DMCA
|
Apply to YC
|
Contact
Search:
