HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
151.
▲
Treaps: Using randomness to balance binary search trees.
cs.cornell.edu
discuss
17 years ago
amichail
2 points
152.
▲
12 Commandments of Synchronization
cs.cornell.edu
discuss
13 years ago
ivstitia
2 points
153.
▲
Nexus: An Operating System for Trustworthy Computing
cs.cornell.edu
discuss
13 years ago
mnazim
2 points
154.
▲
Swift: making web applications secure by construction
cs.cornell.edu
discuss
17 years ago
lhorie
2 points
155.
▲
Introduction to Compilers
cs.cornell.edu
discuss
5 days ago
ibobev
2 points
156.
▲
Commandments of Synchronization (2011) [pdf]
cs.cornell.edu
discuss
17 days ago
signa11
2 points
157.
▲
LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design
capra.cs.cornell.edu
discuss
3 months ago
matt_d
2 points
158.
▲
3110 Coq Tactics Cheatsheet
cs.cornell.edu
discuss
a year ago
todsacerdoti
2 points
159.
▲
One Weird Trick for Efficient Pangenomic Variation Graphs
cs.cornell.edu
discuss
2 years ago
ingve
2 points
160.
▲
The Promise, and Limitations, of Network Gossip Protocols (2007) [pdf]
cs.cornell.edu
discuss
2 years ago
wslh
2 points
161.
▲
Logical Tensor Indexing for SPMD Programming
cs.cornell.edu
discuss
2 years ago
dvas
2 points
162.
▲
Networks, Crowds, and Markets: Reasoning About a Highly Connected World
cs.cornell.edu
discuss
2 years ago
yamrzou
2 points
163.
▲
Protocols and Associated Types in Swift [pdf]
pl.cs.cornell.edu
discuss
3 years ago
matt_d
2 points
164.
▲
SuperCloud – Application Migration as a Service
supercloud.cs.cornell.edu
discuss
3 years ago
agnosticmantis
2 points
165.
▲
Networks, Crowds, and Markets: Reasoning about a Highly Connected World [pdf]
cs.cornell.edu
discuss
3 years ago
ecks4ndr0s
2 points
166.
▲
Large Scale Disintegration
cs.cornell.edu
discuss
3 years ago
ingve
2 points
167.
▲
Echoes of Power
cs.cornell.edu
discuss
14 years ago
llambda
2 points
168.
▲
An Introduction to Smart NICs [pdf]
cs.cornell.edu
discuss
4 years ago
teleforce
2 points
169.
▲
Snapshot Testing for Compilers and Compiler-Like Things
cs.cornell.edu
discuss
4 years ago
ingve
2 points
170.
▲
Try Snapshot Testing for Compilers and Compiler-Like Things
cs.cornell.edu
discuss
4 years ago
matt_d
2 points
171.
▲
Machine Learning Theory CS6783
cs.cornell.edu
discuss
4 years ago
rg111
2 points
172.
▲
ARF: Artistic Radiance Fields
cs.cornell.edu
discuss
4 years ago
lnyan
2 points
173.
▲
A Flexible Type System for Fearless Concurrency
cs.cornell.edu
discuss
4 years ago
matt_d
2 points
174.
▲
Detecting Opinion Spam w/ NLP
cs.cornell.edu
discuss
15 years ago
dave_sullivan
2 points
175.
▲
Trickles - Stateless High Performance Networking
cs.cornell.edu
discuss
15 years ago
wynand
2 points
176.
▲
Actual Causality (2016)
cs.cornell.edu
discuss
5 years ago
Tomte
2 points
177.
▲
Neural Scene Flow Fields for Space-Time View Synthesis of Dynamic Scenes
cs.cornell.edu
discuss
6 years ago
pizza
2 points
178.
▲
Neural Scene Flow Fields for Space-Time View Synthesis of Dynamic Scenes
cs.cornell.edu
discuss
6 years ago
BGyss
2 points
179.
▲
Geometry Types for Graphics Programming [pdf]
cs.cornell.edu
discuss
6 years ago
matt_d
2 points
180.
▲
Crowdsampling the Plenoptic Function
research.cs.cornell.edu
discuss
6 years ago
abouelatta
2 points
More