HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
301.
▲
Permacoin: Repurposing Bitcoin Work for Data Preservation
research.microsoft.com
discuss
12 years ago
Anon84
3 points
302.
▲
Programming with Managed Time
research.microsoft.com
discuss
12 years ago
seanmcdirmid
3 points
303.
▲
Programming with Managed Time
research.microsoft.com
discuss
12 years ago
seanmcdirmid
3 points
304.
▲
Leslie Lamport Receives Turing Award
research.microsoft.com
discuss
12 years ago
lnmx
3 points
305.
▲
Dryad and DryadLINQ Released - Microsoft distributed computing engine
research.microsoft.com
discuss
17 years ago
wishful_thinker
3 points
306.
▲
What is Art?
research.microsoft.com
discuss
12 years ago
olalonde
3 points
307.
▲
Telepathwords, password strength estimator
telepathwords.research.microsoft.com
discuss
13 years ago
deletes
3 points
308.
▲
Analyze This 145 Questions for Data Scientists in Software Engineering
research.microsoft.com
discuss
13 years ago
Anon84
3 points
309.
▲
Immix: Reference Counting that is competitive with tuned generational tracing GC
research.microsoft.com
discuss
13 years ago
gkuan
3 points
310.
▲
Mandelbrot - Misbehavior of Markets: A Fractal View of Risk, Ruin and Return
research.microsoft.com
discuss
13 years ago
bowyakka
3 points
311.
▲
Using the Doppler Effect to Sense Gestures
research.microsoft.com
discuss
13 years ago
DudeKumar
3 points
312.
▲
Nobody ever got fired for buying a cluster
research.microsoft.com
discuss
13 years ago
eaxitect
3 points
313.
▲
Time to Model All Life on Earth
research.microsoft.com
discuss
13 years ago
eaxitect
3 points
314.
▲
E-Book: The Implementation of Functional Programming Languages (by S. Peyton Jones)
research.microsoft.com
discuss
17 years ago
fp
3 points
315.
▲
Microsoft Research prove Feit-Thompson Theorem in Coq after 6 years
research.microsoft.com
discuss
14 years ago
Peteris
3 points
316.
▲
Path Feasibility Analysis for String-Manipulating Programs
research.microsoft.com
discuss
17 years ago
Anon84
3 points
317.
▲
Building a Sensor Network of Mobile Phones [pdf]
research.microsoft.com
discuss
14 years ago
brudgers
3 points
318.
▲
Terminator Research Project - Hoping to Prove Some Programs Terminate
research.microsoft.com
discuss
18 years ago
apgwoz
3 points
319.
▲
Giving GHC/Haskell a Promotion: datakinds, kind polymorphism (PDF]
research.microsoft.com
discuss
15 years ago
gtani
3 points
320.
▲
The Benchmark Handbook for Database and Transaction Systems (by Jim Gray)
research.microsoft.com
discuss
15 years ago
Maro
3 points
321.
▲
F* A Distributed Programming Language with Value-Dependent Types
research.microsoft.com
discuss
15 years ago
DanielRibeiro
3 points
322.
▲
Two Extremes of Touch Interaction
research.microsoft.com
discuss
15 years ago
yread
3 points
323.
▲
Programming Language Beauty: Look Closure
research.microsoft.com
discuss
18 years ago
soundsop
3 points
324.
▲
Debugger Canvas power tool adds "Code Bubbles" to Visual Studio
research.microsoft.com
discuss
15 years ago
profquail
3 points
325.
▲
Wearing the Hair Shirt - a Haskell Retrospective
research.microsoft.com
discuss
15 years ago
bacarter
3 points
326.
▲
Partial vectorisation of Haskell programs
research.microsoft.com
discuss
18 years ago
brooksbp
3 points
327.
▲
Is transactional memory the answer for improving parallel programming? [pdf]
research.microsoft.com
discuss
18 years ago
jlhamilton
3 points
328.
▲
Cloud Haskell: Erlang inspired concurrency library from MS Research
research.microsoft.com
discuss
15 years ago
johnbender
3 points
329.
▲
Project Tuva: Enhanced Video Player Home
research.microsoft.com
discuss
15 years ago
eaxitect
3 points
330.
▲
Path of Go (game)
research.microsoft.com
discuss
15 years ago
jonburs
3 points
More