HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
241.
▲
Dijkstra on Math-Programming Synergy
cs.utexas.edu
1 comment
2 years ago
Oksitaine
2 points
242.
▲
Milawa is a "self-verifying" theorem prover for an ACL2-like logic
cs.utexas.edu
1 comment
2 years ago
deterministic
2 points
243.
▲
The UNIX Time-Sharing System
cs.utexas.edu
1 comment
15 years ago
telemachos
2 points
244.
▲
A Flying Demo of ACL2 (2000)
cs.utexas.edu
1 comment
5 years ago
NieDzejkob
2 points
245.
▲
The pragmatic engineer vs. the scientific designer – Dijkstra, 1978
cs.utexas.edu
1 comment
6 years ago
Kinrany
2 points
246.
▲
The Humble Programmer (Edsger W. Dijkstra)
cs.utexas.edu
1 comment
16 years ago
motxilo
2 points
247.
▲
On the Design of Machine Independent Programming Languages [pdf]
cs.utexas.edu
1 comment
7 years ago
alokrai
2 points
248.
▲
The Humble Programmer
scribd.com
1 comment
18 years ago
dedalus
2 points
249.
▲
EWD692: Dijkstra's Review of Backus's Turing Award Lecture [pdf]
cs.utexas.edu
1 comment
11 years ago
ziyao_w
2 points
250.
▲
How do we tell truths that might hurt? (1975) [pdf]
cs.utexas.edu
discuss
11 years ago
talles
2 points
251.
▲
Why numbering should start at zero
cs.utexas.edu
discuss
11 years ago
chaitanyav
2 points
252.
▲
On the cruelty of really teaching computing science – Dijkstra
cs.utexas.edu
discuss
11 years ago
jeremynixon
2 points
253.
▲
Dijkstra on the cruelty of really teaching computing science (1988)
cs.utexas.edu
discuss
11 years ago
sirsar
2 points
254.
▲
"The Humble Programmer", by Edsger W. Dijkstra
cs.utexas.edu
discuss
19 years ago
hhm
2 points
255.
▲
BLIS for the Web: High-Performance Computing in a Web Browser
cs.utexas.edu
discuss
12 years ago
Marat_Dukhan
2 points
256.
▲
EWD: Why is software so expensive?
cs.utexas.edu
discuss
12 years ago
CarolineW
2 points
257.
▲
A Short Introduction to the Art of Programming by prof.dr.Edsger W.Dijkstra
cs.utexas.edu
discuss
12 years ago
b-man
2 points
258.
▲
Dijkstra's "On the fact that the ocean has two sides"
cs.utexas.edu
discuss
12 years ago
techadv
2 points
259.
▲
Inferring Unseen Views of People [pdf]
cs.utexas.edu
discuss
12 years ago
galapago
2 points
260.
▲
Using Frankencerts to Find Flaws in SSL Certificate Verification
cs.utexas.edu
discuss
12 years ago
richm44
2 points
261.
▲
On Understanding Data Abstraction
cs.utexas.edu
discuss
12 years ago
iluxonchik
2 points
262.
▲
Some Intentionally Provocative Remarks
cs.utexas.edu
discuss
12 years ago
kwhitefoot
2 points
263.
▲
Software Development Best Practices
cs.utexas.edu
discuss
12 years ago
mumbi
2 points
264.
▲
Dijkstra's specification for a million dollar computer in 1965 [pdf]
cs.utexas.edu
discuss
12 years ago
crntaylor
2 points
265.
▲
The Humble Programmer by Edsger W. Dijkstra (1972)
cs.utexas.edu
discuss
12 years ago
minutetominute
2 points
266.
▲
A Linear-Time Majority Vote Algorithm
cs.utexas.edu
discuss
12 years ago
luu
2 points
267.
▲
Djikstra on the next 50 years in computing
cs.utexas.edu
discuss
12 years ago
LukeHoersten
2 points
268.
▲
The Boyer-Moore Theorem Prover
cs.utexas.edu
discuss
13 years ago
luu
2 points
269.
▲
The Dijkstra Archive
cs.utexas.edu
discuss
13 years ago
rawfael
2 points
270.
▲
Dijkstra: Why numbering should start at zero
cs.utexas.edu
discuss
13 years ago
shawndumas
2 points
More