Hacker News
- Teaching Concurrency (2009) [pdf] http://research.microsoft.com/en-us/um/people/lamport/pubs/teaching-concurrency.pdf 44 comments
- The TLA http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html 10 comments
- Microsoft Research Publications http://research.microsoft.com/apps/catalog/default.aspx?t=publications 28 comments
- Project Tuva: Feynman Lectures http://research.microsoft.com/apps/tools/tuva/index.html 19 comments
Lobsters
- Software Developers’ Perceptions of Productivity http://research.microsoft.com/pubs/228971/meyer-fse-2014.pdf 2 comments pdf , practices , programming
- Verifying higher-order programs with the Djikstra Monad http://research.microsoft.com/en-us/um/people/nswamy/papers/dijkstra-submitted-pldi13.pdf 2 comments pdf , programming
- Join-Idle-Queue: A Novel Load Balancing Algorithm for Dynamically Scalable Web Services http://research.microsoft.com/apps/pubs/default.aspx?id=153348 2 comments compsci , distributed , programming
- Coq: The World's Best Macro Assembler? (Microsoft Research) http://research.microsoft.com/en-us/um/people/nick/coqasm.pdf 3 comments assembly , compsci , pdf
- Is there any way to get source code and scene files of this research paper? http://research.microsoft.com/en-us/um/people/yuedong/project/neuralibr/neuralibr.pdf 2 comments artificial
- The Implementation of Functional Programming Languages (out of print book offered online for free by the author) http://research.microsoft.com/en-us/um/people/simonpj/papers/slpj-book-1987/ 9 comments compsci
- Implementing condition variables with semaphores [PDF] http://research.microsoft.com/pubs/64242/implementingcvs.pdf 3 comments programming
- [PDF] GADTs meet their match: Pattern-matching warnings that account for GADTs, guards, and laziness. http://research.microsoft.com/en-us/um/people/simonpj/papers/pattern-matching/gadtpm.pdf 16 comments haskell
- Let's talk about model checking http://research.microsoft.com/en-us/um/people/lamport/tla/formal-methods-amazon.pdf 5 comments compsci
- Microsoft Research's Elliptic Curve Cryptography Library feat. their "Nothing Up My Sleeve" curves http://research.microsoft.com/en-us/projects/nums/ 28 comments crypto
- Depixelizing Pixel Art http://research.microsoft.com/en-us/um/people/kopf/pixelart/supplementary/multi_comparison.html 245 comments programming
- The Night Watch (PDF) https://research.microsoft.com/en-us/people/mickens/thenightwatch.pdf 23 comments programming
- Anybody up for the ICFP Contest? https://research.microsoft.com/en-us/events/icfpcontest2013/ 7 comments lisp
- Composable Scheduler Activations for Haskell :: PDF http://research.microsoft.com/en-us/um/people/simonpj/papers/lw-conc/lwc-hs13.pdf 5 comments haskell
- ICFP Contest 2013: Aug 8th to Aug 11th. MS Research is organizing http://research.microsoft.com/en-us/events/icfpcontest2013/ 4 comments programming
- Is it me or have Microsoft just discovered container based virtualisation? http://research.microsoft.com/pubs/141071/asplos2011-drawbridge.pdf 5 comments sysadmin
- Microsoft Research releases Z3 source code https://research.microsoft.com/en-us/um/people/leonardo/blog/2012/10/02/open-z3.html 15 comments compsci
- Hi-Lite pursues the integration of formal proofs with unit testing, for selected parts of a larger C or Ada software development effort [pdf] http://research.microsoft.com/en-us/um/people/moskal/boogie2011/boogie2011_pg27.pdf 4 comments ada
- Significant advances in automatic speech recognition enabled by deep neural networks. http://research.microsoft.com/en-us/news/features/speechrecognition-082911.aspx 8 comments compsci
- Kinect's Body Part Recognition White Paper [PDF] http://research.microsoft.com/pubs/145347/bodypartrecognition.pdf 7 comments programming
- Holy sh... they can actually ENHANCE and DEBLUR now? http://research.microsoft.com/en-us/um/redmond/groups/ivm/imudeblurring/ 26 comments reddit.com
- Trouble accessing Haskell pages at Microsoft Research? http://research.microsoft.com/ 17 comments haskell
- Enormous Number of Free and Trial Experimental Software from Microsoft Research http://research.microsoft.com/apps/dp/dl/downloads.aspx#p=1&ps=72&so=0&sb=d&fr=&to=&fd=&td=&rt=&f=&a=&pn=&pa=&pd= 9 comments technology
- A taste of Haskell (tutorial) http://research.microsoft.com/~simonpj/papers/haskell-tutorial/index.htm 10 comments programming
- Haskell Retrospective Slides by Simon Jones (kind of funny) http://research.microsoft.com/~simonpj/papers/haskell-retrospective/haskellretrospective-2.pdf 36 comments programming
- The first smiley - invented Sept 19th 1982 http://research.microsoft.com/~mbj/smiley/smiley.html 3 comments reddit.com
- Microsoft Phoenix: Pluggable Optimization/Analysis/Compilation Framework http://research.microsoft.com/phoenix/ 2 comments programming
Lambda the Ultimate
- Partial vectorisation of Haskell programs http://research.microsoft.com/~simonpj/papers/ndp/partial-vect.pdf 1 comment Functional , Parallel/Distributed
- 2005 ICFP Programming Contest http://research.microsoft.com/%7Eemeijer/Papers/popl.pdf 18 comments LtU Forum , Semantics , Type Theory , XML , General , Implementation , Software Engineering , Functional , Software Engineering , Software Engineering , Type Theory , Admin
- The Essence of Data Access in Cw http://research.microsoft.com/%7Eemeijer/Papers/popl.pdf 0 comments Semantics , Type Theory , XML
- A type discipline for authorization policies http://research.microsoft.com/research/pubs/view.aspx?id=1409&type=Publication 0 comments Logic/Declarative , Parallel/Distributed , Type Theory
- Computer generates verifiable mathematics proof http://research.microsoft.com/~gonthier/ 37 comments General
- Semantic Streams: a Framework for Declarative Queries and Automatic Data Interpretation http://research.microsoft.com/research/pubs/view.aspx?id=898&type=technical+report 0 comments DSL , Logic/Declarative
- Embedded Interpreters http://research.microsoft.com/research/pubs/view.aspx?id=793&type=article 10 comments DSL , Functional , Implementation , Meta-Programming
- Nick Benton: Simple Relational Correctness Proofs for Static Analyses and Program Transformations http://www.research.microsoft.com/research/pubs/view.aspx?id=876&type=Technical+Report 2 comments Implementation , Semantics
- Zing (MSR) http://research.microsoft.com/zing/ 4 comments Software Engineering
- SLAM project at Microsoft Research http://research.microsoft.com/slam/ 0 comments theory
Linking pages
- Haskell Eye for the Ruby Guy | Programming Zen http://antoniocangiano.com/articles/2007/03/13/haskell-eye-for-the-ruby-guy 19 comments
- The most submitted sites on Reddit.com | Programming Zen http://antoniocangiano.com/2007/07/28/the-most-submitted-sites-on-redditcom/ 17 comments
- Testing the Shutter Speed Accuracy of a Mechanical Camera http://www.circlemud.org/jelson/lomography_shutter/ 3 comments
- Towards Moore's Law Software: Part 1 of 3 http://www.moserware.com/2008/04/towards-moores-law-software-part-1-of-3.html 1 comment
- .NET Gadgeteer - Microsoft’s open-source toolkit for building gadgets http://www.gizmag.com/net-gadgeteer-microsoft-toolkit/19437/ 1 comment
- This 28-Year-Old Knows Which Artists You’ll Be Listening to 6 Months From Now – Mother Jones http://www.motherjones.com/media/2014/07/can-next-big-sound-predict-future-music#comment-1485023024 0 comments
- The Dead Simple Guide To Being a Good Manager – Big Swinging Developer https://bigswingingdeveloper.com/2011/01/the-dead-simple-guide-to-being-a-good-manager.html#comment-100 0 comments
- Adrian Sampson: Probabilistic Assertions http://homes.cs.washington.edu/~asampson/blog/passert.html 0 comments
- Why Surface Hub is more interesting than HoloLens | Computerworld http://www.computerworld.com/article/2874491/why-surface-hub-is-more-interesting-than-hololens.html 0 comments
- Microsoft Research: A Look At The Intriguing Social Desktop Prototype • TechCrunch http://www.techcrunch.com/2009/02/23/microsoft-research-a-look-at-the-intriguing-social-desktop-prototype/ 0 comments
- Check Out Facebook's Nerdy Library Of Its Research Papers | TechCrunch http://techcrunch.com/2013/05/16/facebook-research-papers/ 0 comments