HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Exploding Software-Engineering Myths (2009)
research.microsoft.com
87 comments
11 years ago
luu
145 points
32.
▲
Deep Neural Decision Forests [pdf]
research.microsoft.com
35 comments
11 years ago
fitzwatermellow
145 points
33.
▲
The Bw-Tree: A B-tree for New Hardware
research.microsoft.com
81 comments
13 years ago
motter
143 points
34.
▲
Checked C from Microsoft Research
research.microsoft.com
9 comments
10 years ago
adamnemecek
142 points
35.
▲
The Z3 theorem prover is now open source
research.microsoft.com
74 comments
14 years ago
taocp
137 points
36.
▲
Why Don't Computer Scientists Learn Math?
research.microsoft.com
193 comments
10 years ago
nkurz
135 points
37.
▲
Show HN: YinYang, a usable live programming language
research.microsoft.com
55 comments
13 years ago
seanmcdirmid
134 points
38.
▲
C# Autocomplete Demo Using Bing Code Search Engine
codesnippet.research.microsoft.com
48 comments
12 years ago
miket
127 points
39.
▲
Program Synthesis Demo
research.microsoft.com
19 comments
12 years ago
Houshalter
126 points
40.
▲
Using Prolog in Windows NT Network Configuration (1996)
web.archive.org
26 comments
3 years ago
zdw
121 points
41.
▲
Implementing functional languages: a tutorial (1992)
research.microsoft.com
10 comments
10 years ago
rspivak
118 points
42.
▲
Foundations of Data Science [pdf]
research.microsoft.com
15 comments
12 years ago
necrodome
117 points
43.
▲
The Implementation of Functional Programming Languages
research.microsoft.com
17 comments
15 years ago
DanielRibeiro
114 points
44.
▲
The Byzantine Generals Problem (1982) [pdf]
research.microsoft.com
27 comments
12 years ago
typedweb
110 points
45.
▲
Haskell Beats C Using Generalized Stream Fusion [pdf]
research.microsoft.com
67 comments
13 years ago
profquail
108 points
46.
▲
Kinect for Windows SDK (Silverlight Required)
research.microsoft.com
63 comments
15 years ago
th0ma5
108 points
47.
▲
The Writings of Leslie Lamport
research.microsoft.com
15 comments
13 years ago
Anon84
107 points
48.
▲
Koka – A function-oriented programming language
research.microsoft.com
10 comments
11 years ago
chrisaycock
107 points
49.
▲
Windows Kernel Architecture Internals (2010) [pdf]
research.microsoft.com
16 comments
11 years ago
doener
105 points
50.
▲
IllumiRoom: Peripheral Projected Illusions for Interactive Experiences
research.microsoft.com
19 comments
13 years ago
wamatt
101 points
51.
▲
Safe TypeScript: Safe and Efficient Gradual Typing for TypeScript
research.microsoft.com
19 comments
11 years ago
AlexeyBrin
99 points
52.
▲
Computation and State Machines (2008) [pdf]
research.microsoft.com
24 comments
10 years ago
tosh
97 points
53.
▲
“What Went Right and What Went Wrong”: Analysis of 155 Postmortems from Gamedev
research.microsoft.com
49 comments
10 years ago
winterismute
95 points
54.
▲
Build a better spell checker, win $10,000
web-ngram.research.microsoft.com
60 comments
16 years ago
willf
93 points
55.
▲
An Analysis of 155 Postmortems from Game Development [pdf]
research.microsoft.com
57 comments
10 years ago
akkartik
91 points
56.
▲
Use of Formal Methods at Amazon Web Services (2013) [pdf]
research.microsoft.com
13 comments
12 years ago
yankcrime
91 points
57.
▲
GADTs Meet Their Match [pdf]
research.microsoft.com
11 comments
11 years ago
luu
90 points
58.
▲
DeLorean: Using Speculation to Enable Low-Latency Interaction for Cloud Gaming
research.microsoft.com
48 comments
12 years ago
azefiel
87 points
59.
▲
TrackPoint (2011)
research.microsoft.com
66 comments
11 years ago
jjoe
84 points
60.
▲
Some fun mathematical puzzles
research.microsoft.com
51 comments
16 years ago
kamechan
84 points
More