News for hackers. Stuff that matters.

A comment on Hey programmers, we need to talk (2013). Parent comment

Re:Hey programmers, we need to talk (2013) by ice109 on Sunday June 18, 2017 @12:11AM (#14578933)
what is "real computer science" in this case? automated theorem proving? that is decidedly a graduate topic so I'm not surprised undergrads don't know anything about it.
[ Parent | on HN ]
Re:Hey programmers, we need to talk (2013) by setr on Sunday June 18, 2017 @12:16AM (#14578944)
I think the problem is that, while the undergrad doesn't necessarily need to understand graduate-level topics, they should be aware of their existence (and their own current inability to appreciate it)
[ Parent | on HN ]