Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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