Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Permacoin: Repurposing Bitcoin Work for Data Preservation (research.microsoft.com)

3 points

12 years ago

302.

Programming with Managed Time (research.microsoft.com)

3 points

12 years ago

303.

Programming with Managed Time (research.microsoft.com)

3 points

12 years ago

304.

Leslie Lamport Receives Turing Award (research.microsoft.com)

3 points

12 years ago

305.

Dryad and DryadLINQ Released - Microsoft distributed computing engine (research.microsoft.com)

3 points

wishful_thinker

17 years ago

306.

What is Art? (research.microsoft.com)

3 points

12 years ago

307.

Telepathwords, password strength estimator (telepathwords.research.microsoft.com)

3 points

13 years ago

308.

Analyze This 145 Questions for Data Scientists in Software Engineering (research.microsoft.com)

3 points

13 years ago

309.

Immix: Reference Counting that is competitive with tuned generational tracing GC (research.microsoft.com)

3 points

13 years ago

310.

Mandelbrot - Misbehavior of Markets: A Fractal View of Risk, Ruin and Return (research.microsoft.com)

3 points

13 years ago

311.

Using the Doppler Effect to Sense Gestures (research.microsoft.com)

3 points

13 years ago

312.

Nobody ever got ﬁred for buying a cluster (research.microsoft.com)

3 points

13 years ago

313.

Time to Model All Life on Earth (research.microsoft.com)

3 points

13 years ago

314.

E-Book: The Implementation of Functional Programming Languages (by S. Peyton Jones) (research.microsoft.com)

3 points

17 years ago

315.

Microsoft Research prove Feit-Thompson Theorem in Coq after 6 years (research.microsoft.com)

3 points

14 years ago

316.

Path Feasibility Analysis for String-Manipulating Programs (research.microsoft.com)

3 points

17 years ago

317.

Building a Sensor Network of Mobile Phones [pdf] (research.microsoft.com)

3 points

14 years ago

318.

Terminator Research Project - Hoping to Prove Some Programs Terminate (research.microsoft.com)

3 points

18 years ago

319.

Giving GHC/Haskell a Promotion: datakinds, kind polymorphism (PDF] (research.microsoft.com)

3 points

15 years ago

320.

The Benchmark Handbook for Database and Transaction Systems (by Jim Gray) (research.microsoft.com)

3 points

15 years ago

321.

F* A Distributed Programming Language with Value-Dependent Types (research.microsoft.com)

3 points

15 years ago

322.

Two Extremes of Touch Interaction (research.microsoft.com)

3 points

15 years ago

323.

Programming Language Beauty: Look Closure (research.microsoft.com)

3 points

18 years ago

324.

Debugger Canvas power tool adds "Code Bubbles" to Visual Studio (research.microsoft.com)

3 points

15 years ago

325.

Wearing the Hair Shirt - a Haskell Retrospective (research.microsoft.com)

3 points

15 years ago

326.

Partial vectorisation of Haskell programs (research.microsoft.com)

3 points

18 years ago

327.

Is transactional memory the answer for improving parallel programming? [pdf] (research.microsoft.com)

3 points

18 years ago

328.

Cloud Haskell: Erlang inspired concurrency library from MS Research (research.microsoft.com)

3 points

15 years ago

329.

Project Tuva: Enhanced Video Player Home (research.microsoft.com)

3 points

15 years ago

330.

Path of Go (game) (research.microsoft.com)

3 points

15 years ago