Search: cs.yale.edu | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: What did Alan Perlis mean by “Programming is an unnatural act”?

5 points

11 years ago

2.

Ask HN: Brian Kernighan's "Q"?

4 points

2 months ago

3.

What does Calvin stands for?

1 point

9 years ago

4.

Ask HN: Deterministic Transactions KV/DBs in RAM

1 point

6 years ago

5.

Notes on Discrete Mathematics (2017) [pdf] (cs.yale.edu)

334 points

8 years ago

6.

Notes on Data Structures and Programming Techniques (cs.yale.edu)

276 points

9 years ago

7.

Dissent – Accountable anonymous group communication (dedis.cs.yale.edu)

244 points

11 years ago

8.

Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)

241 points

9 years ago

9.

Mio: A High-Performance Multicore IO Manager for GHC [pdf] (haskell.cs.yale.edu)

226 points

13 years ago

10.

Notes on Theory of Distributed Systems [pdf] (cs.yale.edu)

199 points

4 years ago

11.

Curly-Cue: Geometric Methods for Highly Coiled Hair (cs.yale.edu)

184 points

2 years ago

12.

Haskell School of Music by Paul Hudak (haskell.cs.yale.edu)

145 points

14 years ago

13.

Why ML/OCaml are good for writing compilers (1998) (flint.cs.yale.edu)

140 points

10 years ago

14.

The Haskell School of Music – From Signals to Symphonies (2014) [pdf] (haskell.cs.yale.edu)

129 points

8 years ago

15.

The Haskell School of Music (2012) [pdf] (cs.yale.edu)

125 points

13 years ago

16.

The Haskell School of Music – From Signals to Symphonies (haskell.cs.yale.edu)

119 points

11 years ago

17.

Notes on CPSC 465/565: Theory of Distributed Systems [pdf] (cs.yale.edu)

117 points

10 years ago

18.

Haskell vs. Ada vs. C++ an Experiment in Software Prototyping Productivity (1994) [pdf] (cs.yale.edu)

102 points

9 years ago

19.

Spectral and Algebraic Graph Theory (cs-www.cs.yale.edu)

99 points

4 years ago

20.

The Paxos algorithm for consensus in a distributed system (pine.cs.yale.edu)

95 points

14 years ago

21.

Haskell vs. Ada vs. C++ vs. Awk vs (1994) [pdf] (haskell.cs.yale.edu)

92 points

9 years ago

22.

Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf] (cs.yale.edu)

86 points

3 years ago

23.

Dissent: accountable anonymous group communication (dedis.cs.yale.edu)

80 points

13 years ago

24.

The Haskell School of Music (2012) [pdf] (cs.yale.edu)

77 points

4 years ago

25.

Haskell vs. Ada vs. C++ vs. an Experiment in Prototyping Productivity (1994) [pdf] (cs.yale.edu)

73 points

a year ago

26.

Eliminating FORMAT from Lisp (2003) (cs-www.cs.yale.edu)

70 points

4 years ago

27.

Haskell, Ada, C++: An Experiment in Prototyping Productivity (1994) [pdf] (haskell.cs.yale.edu)

68 points

7 years ago

28.

Why ML/OCaml are good for writing compilers (flint.cs.yale.edu)

64 points

15 years ago

29.

Perlisms – “Epigrams in Programming” (cs.yale.edu)

63 points

4 years ago

30.

Perlis's Programming Epigrams (cs.yale.edu)

57 points

2 years ago