New here?
Create an account to submit posts, participate in discussions and chat with people.
Sign up
25
posted 12 days ago by ScallionPancake on scored.co (+0 / -0 / +25Score on mirror )
You are viewing a single comment's thread. View all
12
Erase99 on scored.co
12 days ago 12 points (+0 / -0 / +12Score on mirror ) 1 child
Think how divorced a hindu programmer is from someone like Edsger Dijkstra. That guy was critical of the computer science in his day and thought programmers should be able to derive *proofs* for their code! "Here why the bounded linear search is the solution to this problem." What he'd think of the modern brainless hindu drone... yikes!
the-new-style on scored.co
12 days ago 2 points (+0 / -0 / +2Score on mirror ) 1 child
Proofs are the thing most people disagree with Dijkstra on
Erase99 on scored.co
12 days ago 1 point (+0 / -0 / +1Score on mirror )
I'm not saying he's the gold standard. I just think it's funny how things have declined. We really do race toward the bottom, don't we?
Toast message