Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
NitpickLawyer
3 months ago
|
parent
|
context
|
favorite
| on:
Further human + AI + proof assistant work on Knuth...
I know your reply was half joking, so please take this the same way, but ... are you sure about that?
https://www.youtube.com/watch?v=p1ip68Vv7NE
piloto_ciego
3 months ago
|
prev
[–]
This is truly amazing. Do people not really realize how amazing stuff like this is? I feel like I'm taking crazy pills here, but man, it certainly feels like we're on the edge of something quite amazing...
siva7
3 months ago
|
parent
[–]
Autonomous robots murdering humans in warfare? That's at least the sense i got from reading this news site the past few days
piloto_ciego
3 months ago
|
root
|
parent
|
next
[–]
You got that from assembling whatever the hell was in the video?
NathanielLucas
3 months ago
|
root
|
parent
|
prev
[2 more]
[flagged]
piloto_ciego
3 months ago
|
root
|
parent
[–]
What?!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
