HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Automated Test-Case Reduction
cs.cornell.edu
29 comments
2 years ago
ingve
102 points
32.
▲
Cooperative Domain Name System
cs.cornell.edu
10 comments
10 years ago
bowyakka
100 points
33.
▲
Program Synthesis is Possible (2018)
cs.cornell.edu
14 comments
4 years ago
xept
98 points
34.
▲
3-D Depth Reconstruction from a Single Still Image (2007) [pdf]
cs.cornell.edu
28 comments
10 years ago
Jasamba
96 points
35.
▲
Actual Causality (2016)
cs.cornell.edu
19 comments
6 years ago
Tomte
81 points
36.
▲
Amoeba: A distributed operating system for the 1990s (1990) [pdf]
cs.cornell.edu
21 comments
a year ago
PaulHoule
67 points
37.
▲
Concurrent Programming with Harmony
harmony.cs.cornell.edu
14 comments
a year ago
todsacerdoti
65 points
38.
▲
A dynamic programming solution to the n-queens problem (1992) [pdf]
cs.cornell.edu
4 comments
9 years ago
shakkhar
65 points
39.
▲
Virtual 3-D ‘knitting’ adds new stitch for graphic artists
cs.cornell.edu
6 comments
14 years ago
sirteno
56 points
40.
▲
Typed Assembly Language (2000)
cs.cornell.edu
32 comments
4 months ago
luu
55 points
41.
▲
OpenSurfaces – A Richly Annotated Catalog of Surface Appearance
opensurfaces.cs.cornell.edu
3 comments
12 years ago
dTal
43 points
42.
▲
Teechan: Payment Channels Using Trusted Execution Environments [pdf]
cs.cornell.edu
14 comments
9 years ago
mrb
42 points
43.
▲
Problem Set 6: The Meta-Circular Evaluator (1998)
cs.cornell.edu
8 comments
6 years ago
tosh
39 points
44.
▲
Trickles - Stateless High Performance Networking
cs.cornell.edu
15 comments
13 years ago
andrewflnr
38 points
45.
▲
“The Great ISAs” reading list
cs.cornell.edu
5 comments
6 years ago
eatonphil
38 points
46.
▲
The Short Talk
cs.cornell.edu
2 comments
16 years ago
helwr
38 points
47.
▲
Opinion Mining with Deep Recurrent Neural Networks
cs.cornell.edu
3 comments
11 years ago
luu
33 points
48.
▲
Foundations of Data Science
cs.cornell.edu
discuss
7 years ago
Anon84
33 points
49.
▲
Networks, Crowds, and Markets: Reasoning About a Highly Connected World (2009)
cs.cornell.edu
1 comment
12 years ago
signa11
27 points
50.
▲
JMatch: Iterable Pattern Matching
cs.cornell.edu
3 comments
16 years ago
jules
26 points
51.
▲
A gossip-style failure detection service (2009) [pdf]
cs.cornell.edu
3 comments
4 years ago
Donckele
23 points
52.
▲
Networks, Crowds, and Markets: Reasoning About a Highly Connected World (2010)
cs.cornell.edu
1 comment
10 years ago
kercker
20 points
53.
▲
NLP: Determining support or opposition from Congressional transcripts
cs.cornell.edu
discuss
15 years ago
unignorant
20 points
54.
▲
Trickles – Stateless High Performance Networking
cs.cornell.edu
1 comment
11 years ago
dedalus
18 points
55.
▲
Loop Perforation (2019)
cs.cornell.edu
3 comments
5 years ago
Jonhoo
16 points
56.
▲
The most dangerous code: Validating SSL certs in non-browser software (2012) [pdf]
cs.cornell.edu
4 comments
5 months ago
ripe
14 points
57.
▲
ROSCoq – Robots Powered by Constructive Reals
cs.cornell.edu
discuss
11 years ago
lelf
14 points
58.
▲
Bar Induction Is Compatible with Constructive Type Theory [pdf]
cs.cornell.edu
discuss
7 years ago
chx
14 points
59.
▲
Networks, Crowds, and Markets: Reasoning About a Highly Connected World
cs.cornell.edu
1 comment
17 years ago
yarapavan
13 points
60.
▲
Bril: An Intermediate Language for Teaching Compilers
cs.cornell.edu
2 comments
2 years ago
ingve
12 points
More