| | A History of Haskell: Being Lazy with Class (2007) [pdf] (research.microsoft.com) |
| 6 points by milesf on Sept 20, 2016 | past | 1 comment |
|
| | What Really Happened on Mars Pathfinder (research.microsoft.com) |
| 2 points by signa11 on Sept 14, 2016 | past |
|
| | What really happened on Mars? (1997) (research.microsoft.com) |
| 1 point by hamparawa on Sept 14, 2016 | past |
|
| | Hints for Computer System Design (1983) (research.microsoft.com) |
| 69 points by martincmartin on July 19, 2016 | past | 9 comments |
|
| | Composing Contracts Using Haskell [pdf] (research.microsoft.com) |
| 3 points by mvaliente2001 on June 21, 2016 | past | 1 comment |
|
| | Microsoft Research project uLink – the equivalent of web URLs to mobile apps (research.microsoft.com) |
| 1 point by eDameXxX on June 20, 2016 | past | 1 comment |
|
| | Why Do Nigerian Scammers Say They Are from Nigeria? (2012) (research.microsoft.com) |
| 204 points by mathattack on June 15, 2016 | past | 140 comments |
|
| | The “Hoare Logic” of CSP, and All That ( GO ) [pdf] (research.microsoft.com) |
| 1 point by laex on June 15, 2016 | past |
|
| | [dupe] Checked C from Microsoft Research (research.microsoft.com) |
| 142 points by adamnemecek on June 14, 2016 | past | 9 comments |
|
| | Checked C (research.microsoft.com) |
| 336 points by zmanian on June 14, 2016 | past | 156 comments |
|
| | Computer Engineering (A DEC View of Hardware Systems Design) (research.microsoft.com) |
| 3 points by _acme on June 10, 2016 | past | 2 comments |
|
| | Computation and State Machines: Use math, not PLs, to think about computation [pdf] (research.microsoft.com) |
| 5 points by pron on June 7, 2016 | past | 6 comments |
|
| | An Analysis of 155 Postmortems from Game Development [pdf] (research.microsoft.com) |
| 91 points by akkartik on June 6, 2016 | past | 57 comments |
|
| | Hints for Computer System Design (1983) (research.microsoft.com) |
| 3 points by panic on June 5, 2016 | past |
|
| | Surviving an “Eternal September”: How NoSleep Managed a Surge of Newcomers [pdf] (research.microsoft.com) |
| 1 point by fitzwatermellow on May 31, 2016 | past |
|
| | Microsoft Password Guidance [pdf] (research.microsoft.com) |
| 4 points by based2 on May 29, 2016 | past |
|
| | The E2 Dynamic Multicore System (research.microsoft.com) |
| 32 points by luu on May 27, 2016 | past | 3 comments |
|
| | Filo: consolidated consensus as a cloud service (research.microsoft.com) |
| 1 point by blopeur on May 27, 2016 | past |
|
| | Improving the world's most popular functional language: Excel (2003) (research.microsoft.com) |
| 2 points by Tomte on May 18, 2016 | past |
|
| | Use of Formal Methods at Amazon Web Services (2014) [pdf] (research.microsoft.com) |
| 84 points by Tomte on May 9, 2016 | past | 5 comments |
|
| | Wearing the hair shirt: a retrospective on Haskell (2003) [pdf] (research.microsoft.com) |
| 33 points by ehudla on May 1, 2016 | past | 4 comments |
|
| | Simon Peyton Jones: Composing contracts: an adventure in financial engineering (research.microsoft.com) |
| 4 points by ehudla on May 1, 2016 | past |
|
| | A DNA-Based Archival Storage System (research.microsoft.com) |
| 6 points by zdk on April 29, 2016 | past | 1 comment |
|
| | Improved Optics for the Oculus Rift DK2 (research.microsoft.com) |
| 2 points by rahimiali on April 25, 2016 | past |
|
| | Jon Kleinberg on procrastination (video, 58:37) (research.microsoft.com) |
| 2 points by csom on April 24, 2016 | past |
|
| | MSR-VTT: A Large Video Description Dataset for Bridging Video and Language (research.microsoft.com) |
| 1 point by putdat on April 22, 2016 | past |
|
| | Madoko Reference: A Fast Scholarly Markdown Processor (research.microsoft.com) |
| 3 points by nkurz on April 16, 2016 | past |
|
| | Desugaring Haskell’s Do-Notation into Applicative Operations [pdf] (research.microsoft.com) |
| 3 points by ingve on April 8, 2016 | past |
|
| | Non-Recursive Make Considered Harmful [pdf] (research.microsoft.com) |
| 29 points by luu on April 6, 2016 | past | 38 comments |
|
| | Efficient Queue Management for Cluster Scheduling [pdf] (research.microsoft.com) |
| 3 points by r4um on March 28, 2016 | past |
|
|
| More |
