Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf]
(haskell.cs.yale.edu)
56 points
lelf
12 years ago
24 comments
32.
▲
Mio: A High-Performance Multicore IO Manager for GHC
(haskell.cs.yale.edu)
49 points
m0nastic
13 years ago
6 comments
33.
▲
Epigrams in Programming (1982)
(cs.yale.edu)
45 points
bookofjoe
7 years ago
24 comments
34.
▲
Calvin: Fast Distributed Transactions for Partitioned Database Systems [pdf]
(cs.yale.edu)
45 points
cdl
13 years ago
8 comments
35.
▲
Epigrams in programming (1982)
(cs.yale.edu)
39 points
talles
12 years ago
7 comments
36.
▲
Perlis' Epigrams (1982)
(cs.yale.edu)
39 points
phab
5 years ago
5 comments
37.
▲
Timestamps in Message-Passing Systems That Preserve Partial Ordering (1988) [pdf]
(zoo.cs.yale.edu)
33 points
brudgers
11 years ago
1 comment
38.
▲
C. Hoare: Hints on programming language design (1973) [pdf]
(flint.cs.yale.edu)
30 points
hazelnut-tree
3 years ago
6 comments
39.
▲
Open Problems in Distributed Computing (2006) [pdf]
(cs.yale.edu)
20 points
keskadale
5 years ago
1 comment
40.
▲
The Emperor’s Old Clothes: Tony Hoare's Turing Award Speech (1980) [pdf]
(zoo.cs.yale.edu)
20 points
journeeman
12 years ago
discuss
41.
▲
Haskell vs. Ada vs. C++ vs. Awk vs [pdf]
(cs.yale.edu)
18 points
tosh
9 years ago
discuss
42.
▲
Smoothed Analysis of Algorithms (alternative to worst-case and average-case analyses)
(cs.yale.edu)
16 points
amichail
17 years ago
3 comments
43.
▲
Genuinely Functional User Interfaces (2001) [pdf]
(haskell.cs.yale.edu)
12 points
jamesmiller5
11 years ago
3 comments
44.
▲
Why ML/OCaml are good for writing compilers (1998)
(flint.cs.yale.edu)
12 points
Tomte
a year ago
discuss
45.
▲
Unreliable Failure Detectors for Reliable Distributed Systems (1996) [pdf]
(zoo.cs.yale.edu)
10 points
misframer
11 years ago
discuss
46.
▲
Perlisisms - "Epigrams in Programming" [repost]
(cs.yale.edu)
9 points
raganwald
16 years ago
2 comments
47.
▲
Failure Detectors
(cs.yale.edu)
8 points
misframer
11 years ago
discuss
48.
▲
Bulldog: A compiler for VLIW architectures [pdf]
(cs.yale.edu)
7 points
rbanffy
2 months ago
1 comment
49.
▲
HadoopDB - Hybrid of MapReduce and DBMS Technologies
(db.cs.yale.edu)
7 points
sho
17 years ago
discuss
50.
▲
Eliminating FORMAT from Lisp
(cs.yale.edu)
7 points
nickb
19 years ago
discuss
51.
▲
The Lifestreams Software Architecture (1997) [pdf]
(cs.yale.edu)
7 points
eternalban
6 years ago
discuss
52.
▲
Perlisisms - "Epigrams in Programming" by Alan J. Perlis
(cs.yale.edu)
6 points
limist
16 years ago
2 comments
53.
▲
Notes on Data Structures and Programming Techniques
(cs.yale.edu)
6 points
blewboarwastake
5 years ago
discuss
54.
▲
"Epigrams in Programming" by Alan J. Perlis (ACM SIGPLAN Sep-82)
(cs.yale.edu)
5 points
skmurphy
17 years ago
3 comments
55.
▲
Epigrams in Programming
(cs.yale.edu)
5 points
peterburkimsher
4 years ago
1 comment
56.
▲
Epigrams in Programming
(cs.yale.edu)
5 points
joubert
5 years ago
1 comment
57.
▲
The Haskell School of Music
(haskell.cs.yale.edu)
5 points
cdcarter
13 years ago
discuss
58.
▲
AnonRep: Towards Tracking-Resistant Anonymous Reputation
(dedis.cs.yale.edu)
5 points
chatmasta
10 years ago
discuss
59.
▲
The Haskell School of Music [pdf]
(haskell.cs.yale.edu)
4 points
englishm
11 years ago
discuss
60.
▲
An Experiment in Software Prototyping Productivity (1994) [pdf]
(cs.yale.edu)
4 points
tikhonj
13 years ago
discuss
More