Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
NewsaHackO
86 days ago
|
parent
|
context
|
favorite
| on:
Lean proved this program correct; then I found a b...
Also, he even just created the second bug out of thin air. There is no code reference, and the reason why he downplays it is because he knows that if someone looks into it, they will realize he misrepresented the actual code.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: