HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
601.
▲
Going Against the Flow for Typeless Programming
research.microsoft.com
discuss
13 years ago
luu
1 points
602.
▲
Microsoft Research: Pex - Automated White box Testing for .NET
research.microsoft.com
discuss
17 years ago
ilitirit
1 points
603.
▲
How ancient Greek parliaments implemented distributed systems
research.microsoft.com
discuss
13 years ago
benhsu
1 points
604.
▲
Useful Live Programming
research.microsoft.com
discuss
13 years ago
seanmcdirmid
1 points
605.
▲
Usable Live Programming
research.microsoft.com
discuss
13 years ago
speednoise
1 points
606.
▲
An online scheduler for hardware accelerators
research.microsoft.com
discuss
13 years ago
electronous
1 points
607.
▲
Instant Inkjet Circuits: Lab-based Inkjet Printing to Support Rapid Prototyping
research.microsoft.com
discuss
13 years ago
ot
1 points
608.
▲
Instant Inkjet Circuits: Lab-based Inkjet Printing to Support Rapid Prototyping
research.microsoft.com
discuss
13 years ago
jamesbritt
1 points
609.
▲
Coq: The world’s best macro assembler
research.microsoft.com
discuss
13 years ago
lelf
1 points
610.
▲
Language detection in tweets improved (Microsoft research)
research.microsoft.com
discuss
13 years ago
purzelrakete
1 points
611.
▲
TimeStream: Reliable Stream Computation in the Cloud
research.microsoft.com
discuss
13 years ago
zeit_geist
1 points
612.
▲
Far Out: Predicting Long-Term Human Mobility
research.microsoft.com
discuss
13 years ago
ghosh
1 points
613.
▲
JSMeter: Why you can't trust the benchmarks
research.microsoft.com
discuss
13 years ago
kjg
1 points
614.
▲
MSR Public Downloads
research.microsoft.com
discuss
13 years ago
sytelus
1 points
615.
▲
Fun with type functions
research.microsoft.com
discuss
17 years ago
socratees
1 points
616.
▲
Software Components: Only The Giants Survive [pdf]
research.microsoft.com
discuss
13 years ago
nwjsmith
1 points
617.
▲
SNARF, the Social Network and Relationship Finder
research.microsoft.com
discuss
17 years ago
jonmc12
1 points
618.
▲
Innovation & Opportunity—The Contribution of Computing to Improving Our World
research.microsoft.com
discuss
13 years ago
dboles99
1 points
619.
▲
Microsoft Research Downloads
research.microsoft.com
discuss
13 years ago
atilev
1 points
620.
▲
P: Safe Asynchronous Event-Driven Programming
research.microsoft.com
discuss
13 years ago
llambda
1 points
621.
▲
Interesting Papers (Graphics)
research.microsoft.com
discuss
13 years ago
mstrem
1 points
622.
▲
Confessions of a Used Programming Language Salesman[pdf]
research.microsoft.com
discuss
13 years ago
m0nastic
1 points
623.
▲
Pinocchio: Nearly Practical Verifiable Computation
research.microsoft.com
discuss
13 years ago
res0nat0r
1 points
624.
▲
The TLA+ Hyperbook released
research.microsoft.com
discuss
13 years ago
kumarshantanu
1 points
625.
▲
Statistical Image Completion
research.microsoft.com
discuss
13 years ago
ca98am79
1 points
626.
▲
ICFP Contest 2013: Aug 8th to Aug 11th. MS Research is organizing?
research.microsoft.com
discuss
13 years ago
gghh
1 points
627.
▲
The Bw-Tree: A B-tree for New Hardware
research.microsoft.com
discuss
13 years ago
helltone
1 points
628.
▲
No one ever got fired for buying a cluster [PDF whitepaper]
research.microsoft.com
discuss
13 years ago
jm3
1 points
629.
▲
ICFP Programming Contest 2013: August 8—11
research.microsoft.com
discuss
13 years ago
lelf
1 points
630.
▲
A visualization-enhanced graphical UI for geospatial resource discovery
research.microsoft.com
discuss
13 years ago
sebg
1 points
More