Submissions from research.microsoft.com

		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

HN For You