HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
691.
▲
High resolution images of primate retina
sbs.utexas.edu
discuss
12 years ago
sabalaba
1 points
692.
▲
On the cruelty of teaching Computer Science [pdf]
cs.utexas.edu
discuss
12 years ago
stokedmartin
1 points
693.
▲
Dijkstra explains why numbering should start at zero [pdf]
cs.utexas.edu
discuss
12 years ago
thepoet
1 points
694.
▲
The Complexity of Songs [pdf]
cs.utexas.edu
discuss
12 years ago
lelf
1 points
695.
▲
A Short Introduction to the Art of Programming by Edsger W. Dijkstra [pdf]
cs.utexas.edu
discuss
12 years ago
ics
1 points
696.
▲
Why numbering should start at zero (2008)
cs.utexas.edu
discuss
12 years ago
fidz
1 points
697.
▲
Affine Transformations [pdf]
cs.utexas.edu
discuss
12 years ago
kevinskii
1 points
698.
▲
Engineers Build World’s Smallest, Fastest Nanomotor
engr.utexas.edu
discuss
12 years ago
jcr
1 points
699.
▲
'THINK' Protocols
cs.utexas.edu
discuss
12 years ago
pliptvo
1 points
700.
▲
Automated Testing of Certificate Validation in SSL/TLS Implementations
cs.utexas.edu
discuss
12 years ago
randomwalker
1 points
701.
▲
A Case Against the GO TO Statement (Dijkstra, 1968)
cs.utexas.edu
discuss
12 years ago
JDulin
1 points
702.
▲
The Computer as a Communication Device [1968]
cc.utexas.edu
discuss
12 years ago
mjn
1 points
703.
▲
Online course on Embedded Systems
users.ece.utexas.edu
discuss
12 years ago
dkannan
1 points
704.
▲
Early Indo-European Online: Introduction to the Language Lessons
utexas.edu
discuss
12 years ago
jamesbritt
1 points
705.
▲
A Computational Logic for Applicative Common Lisp
cs.utexas.edu
discuss
12 years ago
luu
1 points
706.
▲
Operational Semantics and Inductive Assertions
cs.utexas.edu
discuss
12 years ago
luu
1 points
707.
▲
The Boyer-Moore Theorem Prover (NQTHM)
cs.utexas.edu
discuss
12 years ago
luu
1 points
708.
▲
Programming methodologies, their objectives and their nature (EWD 469)
cs.utexas.edu
discuss
13 years ago
ColinWright
1 points
709.
▲
The strengths of the academic enterprise
cs.utexas.edu
discuss
13 years ago
ssivark
1 points
710.
▲
Linear Operators Done Right
golem.ph.utexas.edu
discuss
13 years ago
luu
1 points
711.
▲
Paxos made simple (2001) [pdf]
cs.utexas.edu
discuss
13 years ago
alan
1 points
712.
▲
Colouring a Graph
golem.ph.utexas.edu
discuss
13 years ago
llambda
1 points
713.
▲
New Invention Makes Ocean Water Drinkable
utexas.edu
discuss
13 years ago
andymcsherry
1 points
714.
▲
Quasicrystals and the Riemann Hypothesis
golem.ph.utexas.edu
discuss
13 years ago
colinprince
1 points
715.
▲
The HoTT Book
golem.ph.utexas.edu
discuss
13 years ago
lelf
1 points
716.
▲
When Will My Computer Understand Me?
tacc.utexas.edu
discuss
13 years ago
jgrodziski
1 points
717.
▲
Djikstra at his finest
cs.utexas.edu
discuss
13 years ago
qzxt
1 points
718.
▲
Experiences of Djikstra when he visited the USA
cs.utexas.edu
discuss
13 years ago
zaph0d
1 points
719.
▲
Anatomy of Programming Languages
cs.utexas.edu
discuss
13 years ago
0x1997
1 points
720.
▲
Mark Meckes, on The magnitude of metric spaces.
golem.ph.utexas.edu
discuss
13 years ago
ColinWright
1 points
More