Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Leslie Lamport: How to Write a 21st Century Proof (2014) [video] (heidelberg-laureate-forum.org)
60 points
pron
11 years ago
6 comments
2.
The future of computer science as forseen by a pioneer (heidelberg-laureate-forum.org)
3 points
khrist
12 years ago
discuss
3.
Fred Brooks: “A Personal History of Computers” (heidelberg-laureate-forum.org)
3 points
matt_d
11 years ago
discuss
4.
Human Computation (heidelberg-laureate-forum.org)
3 points
luu
11 years ago
discuss
5.
Leslie Lamport: A Mathematical View of Computer Systems (heidelberg-laureate-forum.org)
2 points
hoekit
11 years ago
2 comments
6.
A Mathematical View of Computer Systems (heidelberg-laureate-forum.org)
2 points
pron
11 years ago
discuss
7.
Butler Lampson: Hints and Principles for Computer System Design – HLF Lecture (heidelberg-laureate-forum.org)
2 points
matt_d
11 years ago
discuss
8.
Human computable password algorithm [video and slides] (heidelberg-laureate-forum.org)
1 point
todd8
12 years ago
1 comment
9.
2019 Heidelberg Laureate Forum Call for Participation (heidelberg-laureate-forum.org)
1 point
alanfranzoni
8 years ago
discuss