HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
361.
▲
Conversion of Units of Measurement (1995)
cs.utexas.edu
discuss
10 years ago
hardmath123
2 points
362.
▲
10 min "Flying Tour" of ACL2 Theorem Prover
cs.utexas.edu
discuss
16 years ago
JabavuAdams
2 points
363.
▲
The Humble Programmer by E.W. Djikstra
cs.utexas.edu
discuss
11 years ago
drmcninjaturtle
2 points
364.
▲
E. W. Dijkstra Archive: A parable
cs.utexas.edu
1 comment
13 years ago
colinprince
1 points
365.
▲
"Write as if ..."
cs.utexas.edu
1 comment
13 years ago
baxrob
1 points
366.
▲
EWD 1041: By Way of Introduction (Science is hated)
cs.utexas.edu
1 comment
21 days ago
ethanwillis
1 points
367.
▲
An old interview of Dijkstra (1985)
cs.utexas.edu
1 comment
a month ago
rajveerb
1 points
368.
▲
The End of Computing Science (2000) – Edsger W. Dijkstra [pdf]
cs.utexas.edu
1 comment
a year ago
nathan-barry
1 points
369.
▲
Edsger W. Dijkstra’s list of advice
cs.utexas.edu
1 comment
8 years ago
arikr
1 points
370.
▲
Dijkstra's argument on why numbering should start at zero [pdf]
cs.utexas.edu
1 comment
8 years ago
devbas
1 points
371.
▲
E.W.Dijkstra Archive: Are "Systems people" really necessary? (EWD 1095)
cs.utexas.edu
1 comment
16 years ago
mfukar
1 points
372.
▲
TxFS: Leveraging File-System Crash Consistency to Provide Transactions [pdf]
cs.utexas.edu
1 comment
8 years ago
nayuki
1 points
373.
▲
A Linear Time Majority Vote Algorithm
cs.utexas.edu
1 comment
9 years ago
cbzehner
1 points
374.
▲
Practical Extensibility with Object Algebras (2012, Pdf)
cs.utexas.edu
discuss
11 years ago
Rexxar
1 points
375.
▲
A stroke of genius: striving for greatness in all you do by R.W. Hamming
cs.utexas.edu
discuss
11 years ago
cmeiklejohn
1 points
376.
▲
On Understanding Data Abstraction, Revisited (2009) [pdf]
cs.utexas.edu
discuss
17 years ago
fogus
1 points
377.
▲
Edsger W. Dijkstra's Manuscripts
cs.utexas.edu
discuss
11 years ago
dorsatum
1 points
378.
▲
Happy Birthday Edsger Dijkstra
cs.utexas.edu
discuss
11 years ago
ca98am79
1 points
379.
▲
EWD32: Meditations on Advanced Programming
cs.utexas.edu
discuss
17 years ago
omouse
1 points
380.
▲
Why Logic Is Important for Computer Science and Mathematics
cs.utexas.edu
discuss
11 years ago
skyream
1 points
381.
▲
A Multidisciplinary Approach to Mathematics (pdf)
cs.utexas.edu
discuss
17 years ago
fogus
1 points
382.
▲
Go to Statement Considered Harmful (1968)
cs.utexas.edu
discuss
11 years ago
ca98am79
1 points
383.
▲
On the cruelty of teaching Computer Science [pdf]
cs.utexas.edu
discuss
12 years ago
stokedmartin
1 points
384.
▲
Dijkstra explains why numbering should start at zero [pdf]
cs.utexas.edu
discuss
12 years ago
thepoet
1 points
385.
▲
The Complexity of Songs [pdf]
cs.utexas.edu
discuss
12 years ago
lelf
1 points
386.
▲
A Short Introduction to the Art of Programming by Edsger W. Dijkstra [pdf]
cs.utexas.edu
discuss
12 years ago
ics
1 points
387.
▲
Why numbering should start at zero (2008)
cs.utexas.edu
discuss
12 years ago
fidz
1 points
388.
▲
Affine Transformations [pdf]
cs.utexas.edu
discuss
12 years ago
kevinskii
1 points
389.
▲
'THINK' Protocols
cs.utexas.edu
discuss
12 years ago
pliptvo
1 points
390.
▲
Automated Testing of Certificate Validation in SSL/TLS Implementations
cs.utexas.edu
discuss
12 years ago
randomwalker
1 points
More