Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
61.
An Empirical Study on the Correctness of Formally Verified Distributed Systems [pdf] (homes.cs.washington.edu)
3 points
boffinism
8 years ago
discuss
62.
MapReduce: A major step backwards (2008) (homes.cs.washington.edu)
3 points
smacktoward
9 years ago
discuss
63.
LIME: reasonable interpretations for black-box models (homes.cs.washington.edu)
3 points
wdm0006
10 years ago
discuss
64.
Lessons behind the evolution of XGBoost (homes.cs.washington.edu)
3 points
pilooch
10 years ago
discuss
65.
The UNIX-HATERS Handbook (1994) (homes.cs.washington.edu)
3 points
kgwgk
10 years ago
discuss
66.
A DNA-Based Archival Storage System [pdf] (homes.cs.washington.edu)
2 points
cats_and_dogs
4 days ago
1 comment
67.
MapReduce: A major step backwards (homes.cs.washington.edu)
2 points
czzarr
11 years ago
discuss
68.
MapReduce: A major step backwards (homes.cs.washington.edu)
2 points
luu
11 years ago
discuss
69.
Program Synthesis Explained for Computer Architecture Professors (homes.cs.washington.edu)
2 points
samps
11 years ago
discuss
70.
A Grading Rubric for Bug Reports (homes.cs.washington.edu)
2 points
samps
12 years ago
discuss
71.
Time for New Journals in Computer Science (homes.cs.washington.edu)
2 points
samps
12 years ago
discuss
72.
Probabilistic Assertions (homes.cs.washington.edu)
2 points
samps
12 years ago
discuss
73.
Put It in Hardware (homes.cs.washington.edu)
2 points
samps
12 years ago
discuss
74.
SecureDrop Security Assessment (Aug 2013) by Schneier et al [pdf] (homes.cs.washington.edu)
2 points
trauco
13 years ago
discuss
75.
A Few Useful Things to Know about Machine Learning (homes.cs.washington.edu)
2 points
ashish01
13 years ago
discuss
76.
Easy, Slow Dynamic Analysis With the LLVM Interpreter (homes.cs.washington.edu)
2 points
samps
13 years ago
discuss
77.
PhotoChango: A video audiolyzing synthesizer in HTML5 (homes.cs.washington.edu)
2 points
blucia0a
14 years ago
discuss
78.
Story and Lessons Behind the Evolution of XGBoost (2016) (web.archive.org)
2 points
tosh
a year ago
discuss
79.
Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures (2014) [pdf] (homes.cs.washington.edu)
2 points
PaulHoule
2 years ago
discuss
80.
Book: Quantitative System Performance (1984) (homes.cs.washington.edu)
2 points
abhi9u
3 years ago
discuss
81.
We should test NLP models like we test software [pdf] (homes.cs.washington.edu)
2 points
behnamoh
3 years ago
discuss
82.
Code Coverage at Google [pdf] (homes.cs.washington.edu)
2 points
jamesfinlayson
4 years ago
discuss
83.
Capability-Based Computer Systems (homes.cs.washington.edu)
2 points
ingve
4 years ago
discuss
84.
How to write a technical paper or a research paper (homes.cs.washington.edu)
2 points
kkoncevicius
4 years ago
discuss
85.
Sophomoric Parallelism and Concurrency (homes.cs.washington.edu)
2 points
Jtsummers
5 years ago
discuss
86.
What’s Missing in AI: The Interface Layer [pdf] (homes.cs.washington.edu)
2 points
alokrai
6 years ago
discuss
87.
Capability-Based Computer Systems (homes.cs.washington.edu)
2 points
ingve
6 years ago
discuss
88.
Our Jeopardy (homes.cs.washington.edu)
2 points
gkolli
7 years ago
discuss
89.
The Risk of Racial Bias in Hate Speech Detection [pdf] (homes.cs.washington.edu)
2 points
Balgair
7 years ago
discuss
90.
MapReduce: A Major Step Backwards (homes.cs.washington.edu)
2 points
dvfjsdhgfv
7 years ago
discuss
More