Home
Recent
Comments
Search
Login
Search
Search:
Stories
Comments
Order By:
Relevance
Newest
Points
14 results for "domain:homes.cs.washington.edu"
5
Building a program synthesis tool to generate programs from specifications
lisp
programming
homes.cs.washington.edu
via
Yogthos
1 month ago
|
cached
|
1 comment
1
6
Hyperkernel: Push-Button Verification of an OS Kernel (2017)
pdf
compsci
formalmethods
unix
homes.cs.washington.edu
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
11
A Primer on Boolean Satisfiability
compsci
math
homes.cs.washington.edu
via
hwayne
7 months ago
|
cached
|
no comments
0
2
MapReduce: A major step backwards (2008)
databases
distributed
homes.cs.washington.edu
via
calvin
11 months ago
|
cached
|
no comments
0
4
How to give a technical presentation (how to give a scientific talk)
practices
homes.cs.washington.edu
via
mt
11 months ago
|
cached
|
no comments
0
8
Barriers to Equality in Academia: Women in Computer Science at MIT (1983)
☶
culture
historical
homes.cs.washington.edu
via
GeoffWozniak
11 months ago
|
cached
|
no comments
0
7
An Empirical Study on the Correctness of Formally Verified Distributed Systems
pdf
compsci
distributed
practices
testing
homes.cs.washington.edu
via
koomi
1 year ago
|
cached
|
no comments
0
3
Worker-Owned Cooperative Models for Training Artificial Intelligence
☶
pdf
cogsci
finance
homes.cs.washington.edu
via
james
1 year ago
|
cached
|
1 comment
1
9
IM2CAD
☶
compsci
graphics
homes.cs.washington.edu
via
friendlysock
1 year ago
|
cached
|
no comments
0
2
A Few Useful Things to Know about Machine Learning
pdf
cogsci
homes.cs.washington.edu
via
Dawny33
1 year ago
|
cached
|
no comments
0
5
Brandon Holt — Musings from PaPoC
distributed
homes.cs.washington.edu
via
cmeiklejohn
3 years ago
|
cached
|
no comments
0
6
How Not to Measure Computer System Performance
compsci
homes.cs.washington.edu
via
kb
3 years ago
|
cached
|
1 comment
1
4
Quala: Custom Type Systems for Clang
compsci
programming
homes.cs.washington.edu
via
BruceM
4 years ago
|
cached
|
no comments
0
5
DeadDrop / StrongBox Security Assessment
pdf
security
homes.cs.washington.edu
via
wally
4 years ago
|
cached
|
no comments
0