Search: cs.utexas.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

"Write as if ..." (cs.utexas.edu)

1 point

13 years ago

362.

EWD 1041: By Way of Introduction (Science is hated) (cs.utexas.edu)

1 point

6 days ago

363.

An old interview of Dijkstra (1985) (cs.utexas.edu)

1 point

14 days ago

364.

The End of Computing Science (2000) – Edsger W. Dijkstra [pdf] (cs.utexas.edu)

1 point

a year ago

365.

Edsger W. Dijkstra’s list of advice (cs.utexas.edu)

1 point

8 years ago

366.

Dijkstra's argument on why numbering should start at zero [pdf] (cs.utexas.edu)

1 point

8 years ago

367.

E.W.Dijkstra Archive: Are "Systems people" really necessary? (EWD 1095) (cs.utexas.edu)

1 point

16 years ago

368.

TxFS: Leveraging File-System Crash Consistency to Provide Transactions [pdf] (cs.utexas.edu)

1 point

8 years ago

369.

A Linear Time Majority Vote Algorithm (cs.utexas.edu)

1 point

9 years ago

370.

Practical Extensibility with Object Algebras (2012, Pdf) (cs.utexas.edu)

1 point

11 years ago

371.

A stroke of genius: striving for greatness in all you do by R.W. Hamming (cs.utexas.edu)

1 point

11 years ago

372.

On Understanding Data Abstraction, Revisited (2009) [pdf] (cs.utexas.edu)

1 point

17 years ago

373.

Edsger W. Dijkstra's Manuscripts (cs.utexas.edu)

1 point

11 years ago

374.

Happy Birthday ‎Edsger Dijkstra (cs.utexas.edu)

1 point

11 years ago

375.

EWD32: Meditations on Advanced Programming (cs.utexas.edu)

1 point

17 years ago

376.

Why Logic Is Important for Computer Science and Mathematics (cs.utexas.edu)

1 point

11 years ago

377.

A Multidisciplinary Approach to Mathematics (pdf) (cs.utexas.edu)

1 point

17 years ago

378.

Go to Statement Considered Harmful (1968) (cs.utexas.edu)

1 point

11 years ago

379.

On the cruelty of teaching Computer Science [pdf] (cs.utexas.edu)

1 point

12 years ago

380.

Dijkstra explains why numbering should start at zero [pdf] (cs.utexas.edu)

1 point

12 years ago

381.

The Complexity of Songs [pdf] (cs.utexas.edu)

1 point

12 years ago

382.

A Short Introduction to the Art of Programming by Edsger W. Dijkstra [pdf] (cs.utexas.edu)

1 point

12 years ago

383.

Why numbering should start at zero (2008) (cs.utexas.edu)

1 point

12 years ago

384.

Affine Transformations [pdf] (cs.utexas.edu)

1 point

12 years ago

385.

'THINK' Protocols (cs.utexas.edu)

1 point

12 years ago

386.

Automated Testing of Certiﬁcate Validation in SSL/TLS Implementations (cs.utexas.edu)

1 point

12 years ago

387.

A Case Against the GO TO Statement (Dijkstra, 1968) (cs.utexas.edu)

1 point

12 years ago

388.

A Computational Logic for Applicative Common Lisp (cs.utexas.edu)

1 point

12 years ago

389.

Operational Semantics and Inductive Assertions (cs.utexas.edu)

1 point

12 years ago

390.

The Boyer-Moore Theorem Prover (NQTHM) (cs.utexas.edu)

1 point

12 years ago