Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  javascript  web  go  security  arstechnica.com  youtube.com  apple  theregister.com  release  show  psychology  chrome  nature.com  microsoft  java 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Project Natick – Underwater datacenter with live cameras

6 years ago natick.research.microsoft.com

HALO - Haskell to Logic through Denotational Semantics

7 years ago research.microsoft.com haskell

Computation and State Machines (2008)

7 years ago research.microsoft.com

Should Your Specification Language Be Typed?

8 years ago research.microsoft.com

Microsoft Concept Graph

8 years ago concept.research.microsoft.com microsoft

Why Don't Computer Scientists Learn Math?

8 years ago research.microsoft.com math

A reflection on types

8 years ago research.microsoft.com

Teaching Concurrency (2009)

8 years ago research.microsoft.com concurrency

What really happened on Mars? (1997)

8 years ago research.microsoft.com

Hints for Computer System Design (1983)

8 years ago research.microsoft.com

Checked C from Microsoft Research

8 years ago research.microsoft.com c microsoft

An Analysis of 155 Postmortems from Game Development

8 years ago research.microsoft.com game

Why Do Nigerian Scammers Say They Are from Nigeria? (2012)

8 years ago research.microsoft.com

[PDF] Coq: The world's best macro assembler? (2013)

8 years ago research.microsoft.com assembler pdf

Change Bursts as Defect Predictors

8 years ago research.microsoft.com

Use of Formal Methods at Amazon Web Services (2014)

8 years ago research.microsoft.com amazon web

The E2 Dynamic Multicore System

8 years ago research.microsoft.com

Wearing the hair shirt: a retrospective on Haskell (2003)

8 years ago research.microsoft.com haskell

Non-Recursive Make Considered Harmful

8 years ago research.microsoft.com

PhD: How to write a great research paper

8 years ago research.microsoft.com

Microsoft demos 'holoportation' 3D presence tech with HoloLens

8 years ago research.microsoft.com 3d microsoft

“What Went Right and What Went Wrong”: Analysis of 155 Postmortems from Gamedev

8 years ago research.microsoft.com

SandDance – Visually explore, understand, and present data

8 years ago research.microsoft.com

Deep Neural Networks for Acoustic Modelling and Speech Recognition [pdf] (2012)

8 years ago research.microsoft.com pdf

Microsoft Research details Room2Room which is a telepresence system that leverages projected augmented reality to enable life-size, co-present interaction between two remote participants.

8 years ago research.microsoft.com microsoft

Realizing quality improvement through test driven development

8 years ago research.microsoft.com

Exploding Software-Engineering Myths (2009)

8 years ago research.microsoft.com

Composing contracts: an adventure in financial engineering (2000)

8 years ago research.microsoft.com

Deep Learning Tutorial by Y. LeCun and Y. Bengio

8 years ago research.microsoft.com tutorial

Bruce Sterling on AI in 1995

8 years ago research.microsoft.com ai

More →