HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
MSR's Probabilistic Programming Language R2 Released
research.microsoft.com
12 comments
12 years ago
cf
49 points
92.
▲
Real Programming in Functional Languages (1982) [pdf]
research.microsoft.com
10 comments
11 years ago
luu
49 points
93.
▲
A tutorial on learning with Bayesian networks (1996) [pdf]
research.microsoft.com
4 comments
11 years ago
yati
48 points
94.
▲
The Analog Keyboard Project: Text Input for Small Devices
research.microsoft.com
26 comments
12 years ago
mafuyu
47 points
95.
▲
Compiling with Continuations, Continued (2007) [pdf]
research.microsoft.com
8 comments
12 years ago
chicken_lady
47 points
96.
▲
Leslie Lamport: Computer Science and State Machines (2008) [pdf]
research.microsoft.com
14 comments
11 years ago
pron
46 points
97.
▲
Should Your Specification Language Be Typed? (1999) [pdf]
research.microsoft.com
21 comments
11 years ago
pron
45 points
98.
▲
Microsoft Academic Search
academic.research.microsoft.com
13 comments
16 years ago
brisance
45 points
99.
▲
F*: A Verifying ML Compiler for Distributed Programming
research.microsoft.com
9 comments
15 years ago
primodemus
45 points
100.
▲
Project Tuva: Feynman Lectures
research.microsoft.com
19 comments
17 years ago
joechung
44 points
101.
▲
LIQUi: Language-Integrated Quantum Operations – quantum computer simulator
research.microsoft.com
6 comments
11 years ago
jonbaer
40 points
102.
▲
The Night Watch
research.microsoft.com
3 comments
13 years ago
minimax
40 points
103.
▲
What really happened on Mars?
research.microsoft.com
4 comments
18 years ago
BFalkner
39 points
104.
▲
Exploding Software Engineering Myths (2009)
research.microsoft.com
3 comments
10 years ago
wunki
38 points
105.
▲
A Programming Langauge for Genetic Engineering of Living Cells
research.microsoft.com
16 comments
16 years ago
silkodyssey
37 points
106.
▲
No one ever got fired for using Hadoop on a cluster (2012) [pdf]
research.microsoft.com
14 comments
11 years ago
CHY872
37 points
107.
▲
The TLA
research.microsoft.com
10 comments
12 years ago
JSno
35 points
108.
▲
Hoare: A Half-Century of Computing
research.microsoft.com
6 comments
15 years ago
__Rahul
35 points
109.
▲
Future Microprocessors Driven by Dataflow Principles [video]
research.microsoft.com
2 comments
11 years ago
espeed
34 points
110.
▲
Enabling Cross-Lingual Conversations in Real Time
research.microsoft.com
4 comments
12 years ago
denzil_correa
33 points
111.
▲
Wearing the hair shirt: a retrospective on Haskell (2003) [pdf]
research.microsoft.com
4 comments
10 years ago
ehudla
33 points
112.
▲
Accurate, Robust, and Flexible Real-Time Hand Tracking [pdf]
research.microsoft.com
2 comments
11 years ago
noteloop
33 points
113.
▲
Tackling the Awkward Squad: Interaction with the world in Haskell (2010) [pdf]
research.microsoft.com
6 comments
11 years ago
sksk
32 points
114.
▲
The E2 Dynamic Multicore System
research.microsoft.com
3 comments
10 years ago
luu
32 points
115.
▲
The Joke-Publication of the Paxos Algorithm
research.microsoft.com
11 comments
12 years ago
nmc
31 points
116.
▲
Inductive Programming Meets the Real World [pdf]
research.microsoft.com
7 comments
11 years ago
alanfranz
31 points
117.
▲
Foveated 3D Graphics (2012) [pdf]
research.microsoft.com
2 comments
11 years ago
ggreer
31 points
118.
▲
HandPose: Fully Articulated Hand Tracking
research.microsoft.com
12 comments
12 years ago
Qworg
30 points
119.
▲
VISC: Virtual Instruction Set Computing
research.microsoft.com
8 comments
11 years ago
ingve
30 points
120.
▲
PyPy's Approach to Implementing Dynamic Languages Using a Tracing JIT Compiler
research.microsoft.com
3 comments
15 years ago
kingkilr
30 points
More