Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

145 points

11 years ago

32.

Deep Neural Decision Forests [pdf] (research.microsoft.com)

145 points

fitzwatermellow

11 years ago

33.

The Bw-Tree: A B-tree for New Hardware (research.microsoft.com)

143 points

13 years ago

34.

Checked C from Microsoft Research (research.microsoft.com)

142 points

10 years ago

35.

The Z3 theorem prover is now open source (research.microsoft.com)

137 points

14 years ago

36.

Why Don't Computer Scientists Learn Math? (research.microsoft.com)

135 points

10 years ago

37.

Show HN: YinYang, a usable live programming language (research.microsoft.com)

134 points

13 years ago

38.

C# Autocomplete Demo Using Bing Code Search Engine (codesnippet.research.microsoft.com)

127 points

12 years ago

39.

Program Synthesis Demo (research.microsoft.com)

126 points

12 years ago

40.

Using Prolog in Windows NT Network Configuration (1996) (web.archive.org)

121 points

3 years ago

41.

Implementing functional languages: a tutorial (1992) (research.microsoft.com)

118 points

10 years ago

42.

Foundations of Data Science [pdf] (research.microsoft.com)

117 points

12 years ago

43.

The Implementation of Functional Programming Languages (research.microsoft.com)

114 points

15 years ago

44.

The Byzantine Generals Problem (1982) [pdf] (research.microsoft.com)

110 points

12 years ago

45.

Haskell Beats C Using Generalized Stream Fusion [pdf] (research.microsoft.com)

108 points

13 years ago

46.

Kinect for Windows SDK (Silverlight Required) (research.microsoft.com)

108 points

15 years ago

47.

The Writings of Leslie Lamport (research.microsoft.com)

107 points

13 years ago

48.

Koka – A function-oriented programming language (research.microsoft.com)

107 points

11 years ago

49.

Windows Kernel Architecture Internals (2010) [pdf] (research.microsoft.com)

105 points

10 years ago

50.

IllumiRoom: Peripheral Projected Illusions for Interactive Experiences (research.microsoft.com)

101 points

13 years ago

51.

Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript (research.microsoft.com)

99 points

11 years ago

52.

Computation and State Machines (2008) [pdf] (research.microsoft.com)

97 points

9 years ago

53.

“What Went Right and What Went Wrong”: Analysis of 155 Postmortems from Gamedev (research.microsoft.com)

95 points

10 years ago

54.

Build a better spell checker, win $10,000 (web-ngram.research.microsoft.com)

93 points

15 years ago

55.

An Analysis of 155 Postmortems from Game Development [pdf] (research.microsoft.com)

91 points

10 years ago

56.

Use of Formal Methods at Amazon Web Services (2013) [pdf] (research.microsoft.com)

91 points

12 years ago

57.

GADTs Meet Their Match [pdf] (research.microsoft.com)

90 points

11 years ago

58.

DeLorean: Using Speculation to Enable Low-Latency Interaction for Cloud Gaming (research.microsoft.com)

87 points

12 years ago

59.

TrackPoint (2011) (research.microsoft.com)

84 points

11 years ago

60.

Some fun mathematical puzzles (research.microsoft.com)

84 points

16 years ago