HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Transforming recursion into iteration for LLVM loop optimizations
dspace.mit.edu
7 comments
9 months ago
matt_d
35 points
2.
▲
Ask HN: What kinds of kernel designs are best for multicore processors?
4 comments
16 years ago
astroguy
3 points
3.
▲
Ask HN: How To Do Research?
2 comments
6 years ago
mihirchronicles
1 points
4.
▲
System design and the cost of architectural complexity (2013)
dspace.mit.edu
167 comments
3 years ago
damethos
464 points
5.
▲
Riffle: an efficient communication system with strong anonymity
dspace.mit.edu
41 comments
10 years ago
clarkmoody
187 points
6.
▲
An Introduction to the EMACS Editor (1978)
dspace.mit.edu
81 comments
8 years ago
lispm
154 points
7.
▲
Keys Under Doormats: Mandating insecurity by requiring government access (2015) [pdf]
dspace.mit.edu
5 comments
10 years ago
MaysonL
136 points
8.
▲
Design of Lisp-based Processors (1979)
dspace.mit.edu
35 comments
13 years ago
Cieplak
117 points
9.
▲
If it works, it's not AI: a commercial look at AI startups (1999)
dspace.mit.edu
59 comments
a year ago
rbanffy
115 points
10.
▲
The Connection Machine (1985) [pdf]
dspace.mit.edu
59 comments
10 years ago
ingve
114 points
11.
▲
FPGA-based hardware acceleration for a key-value store database (2014)
dspace.mit.edu
45 comments
10 years ago
breck
103 points
12.
▲
HAKMEM (1972) [pdf]
dspace.mit.edu
29 comments
7 years ago
mrdavidmoses
101 points
13.
▲
LOGO Manual (1974) [pdf]
dspace.mit.edu
67 comments
3 years ago
susam
95 points
14.
▲
Buzz Aldrin thesis: Line-of-sight guidance for manned orbital rendezvous (1963)
dspace.mit.edu
19 comments
7 years ago
stmw
88 points
15.
▲
Design of Lisp-Based Processors Or, LAMBDA: The Ultimate Opcode (1979) [pdf]
dspace.mit.edu
46 comments
11 years ago
bootload
87 points
16.
▲
Lisp: A Language for Stratified Design (1987) [pdf]
dspace.mit.edu
14 comments
13 years ago
brudgers
86 points
17.
▲
Typechecking is undecidable when 'type' is a type (1989) [pdf]
dspace.mit.edu
52 comments
5 months ago
zem
82 points
18.
▲
Lambda: The Ultimate Imperative (1976) [pdf]
dspace.mit.edu
8 comments
7 years ago
kbp
80 points
19.
▲
A Symbolic Analysis of Relay and Switching Circuits (1936) [pdf]
dspace.mit.edu
8 comments
10 years ago
espeed
72 points
20.
▲
The Cons Microprocessor [pdf]
dspace.mit.edu
14 comments
4 years ago
gjvc
69 points
21.
▲
The CONS microprocessor (1974) [pdf]
dspace.mit.edu
14 comments
8 years ago
kristianp
66 points
22.
▲
The Art of the Interpreter (1978) [pdf]
dspace.mit.edu
11 comments
6 years ago
tosh
62 points
23.
▲
Improved distributed algorithms for fundamental graph problems (2017)
dspace.mit.edu
5 comments
5 years ago
eternalban
62 points
24.
▲
Implementation of an Operating System in ML - PDF
dspace.mit.edu
11 comments
16 years ago
fogus
60 points
25.
▲
Emacs Manual for ITS Users (1981)
dspace.mit.edu
12 comments
4 years ago
susam
59 points
26.
▲
Production Ramp-Up of a Hardware Startup (2016) [pdf]
dspace.mit.edu
1 comment
8 years ago
Smaointe
58 points
27.
▲
The Art of the Propagator (2009) [pdf]
dspace.mit.edu
11 comments
7 years ago
kylerpalmer
54 points
28.
▲
Space-based ballistic missile defense: a multidimensional analysis (1985)
dspace.mit.edu
26 comments
4 years ago
Cieplak
49 points
29.
▲
Typechecking is undecideable when 'type' is a type (1989) [pdf]
dspace.mit.edu
27 comments
7 months ago
birdculture
48 points
30.
▲
The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf]
dspace.mit.edu
8 comments
9 months ago
swatson741
47 points
More