Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

MSR's Probabilistic Programming Language R2 Released (research.microsoft.com)

49 points

12 years ago

92.

Real Programming in Functional Languages (1982) [pdf] (research.microsoft.com)

49 points

11 years ago

93.

A tutorial on learning with Bayesian networks (1996) [pdf] (research.microsoft.com)

48 points

11 years ago

94.

The Analog Keyboard Project: Text Input for Small Devices (research.microsoft.com)

47 points

12 years ago

95.

Compiling with Continuations, Continued (2007) [pdf] (research.microsoft.com)

47 points

12 years ago

96.

Leslie Lamport: Computer Science and State Machines (2008) [pdf] (research.microsoft.com)

46 points

10 years ago

97.

Should Your Specification Language Be Typed? (1999) [pdf] (research.microsoft.com)

45 points

11 years ago

98.

Microsoft Academic Search (academic.research.microsoft.com)

45 points

16 years ago

99.

F*: A Verifying ML Compiler for Distributed Programming (research.microsoft.com)

45 points

15 years ago

100.

Project Tuva: Feynman Lectures (research.microsoft.com)

44 points

17 years ago

101.

LIQUi: Language-Integrated Quantum Operations – quantum computer simulator (research.microsoft.com)

40 points

11 years ago

102.

The Night Watch (research.microsoft.com)

40 points

13 years ago

103.

What really happened on Mars? (research.microsoft.com)

39 points

18 years ago

104.

Exploding Software Engineering Myths (2009) (research.microsoft.com)

38 points

10 years ago

105.

A Programming Langauge for Genetic Engineering of Living Cells (research.microsoft.com)

37 points

16 years ago

106.

No one ever got fired for using Hadoop on a cluster (2012) [pdf] (research.microsoft.com)

37 points

11 years ago

107.

The TLA (research.microsoft.com)

35 points

12 years ago

108.

Hoare: A Half-Century of Computing (research.microsoft.com)

35 points

15 years ago

109.

Future Microprocessors Driven by Dataflow Principles [video] (research.microsoft.com)

34 points

10 years ago

110.

Enabling Cross-Lingual Conversations in Real Time (research.microsoft.com)

33 points

12 years ago

111.

Wearing the hair shirt: a retrospective on Haskell (2003) [pdf] (research.microsoft.com)

33 points

10 years ago

112.

Accurate, Robust, and Flexible Real-Time Hand Tracking [pdf] (research.microsoft.com)

33 points

11 years ago

113.

Tackling the Awkward Squad: Interaction with the world in Haskell (2010) [pdf] (research.microsoft.com)

32 points

11 years ago

114.

The E2 Dynamic Multicore System (research.microsoft.com)

32 points

10 years ago

115.

The Joke-Publication of the Paxos Algorithm (research.microsoft.com)

31 points

12 years ago

116.

Inductive Programming Meets the Real World [pdf] (research.microsoft.com)

31 points

11 years ago

117.

Foveated 3D Graphics (2012) [pdf] (research.microsoft.com)

31 points

11 years ago

118.

HandPose: Fully Articulated Hand Tracking (research.microsoft.com)

30 points

12 years ago

119.

VISC: Virtual Instruction Set Computing (research.microsoft.com)

30 points

11 years ago

120.

PyPy's Approach to Implementing Dynamic Languages Using a Tracing JIT Compiler (research.microsoft.com)

30 points

15 years ago