gulp-typescript 5.0.0-alpha.1 is released! It includes support for TS2.9, source maps on declaration files and it will crash the gulp process on compiler errors. github.com/ivogabe/gulp-t…

Fun with functions! Strong typing of variadic higher order functions coming to TypeScript. github.com/Microsoft/Type…

We're hiring a PhD student to work with Manuel Chakravarty🦋@tacticalgrace.justtesting.org, Gabriele Keller and myself on compiler verification, interactive theorem proving, smart contract languages, and functional programming. Please consider applying! uu.nl/en/organisatio…

Our group is also hiring a PhD candidate for an exciting project on differential and probabilistic programming, supervised by Matthijs Vákár, one of the main developers of the Stan programming language. uu.nl/en/organisatio…

A new release of our parallel Haskell library/EDSL Accelerate is out, courtesy of Trevor L. McDonell. Lots of usability improvements, support for sum types, pattern matching - check out the details: mail.haskell.org/pipermail/hask…

A massive thank you to Ivo Gabe de Wolff for giving us a great talk yesterday on functional parallel array programming. Hope you enjoyed visiting!

#TypeScript won : medium.com/@basarat/types…

TypeScript 2.0 beta released! Including control flow type analysis for better type guards and nullable types. blogs.msdn.microsoft.com/typescript/201…

I got mentioned there too, thanks Daniel Rosenwasser

Announcing TypeScript 2.0 release candidate! See our blog for details! blogs.msdn.microsoft.com/typescript/201…

TypeScript 2.0 is here! blogs.msdn.microsoft.com/typescript/201…

gulp-typescript 3.0 has just been released, following TypeScript 2.0. Breaking changes: dev.ivogabe.com/gulp-typescrip…

Happy new beer!

Going to Paris for a week to attend the conferences PEPM and POPL.

Tuesday I will present my thesis there on Type Guards in TypeScript and the new control flow based type analysis

Today is the day..

That moment when the whole team is blocked because of line ending issues..

TypeScript has reached the Top 20 in RedMonk's programming language rankings! redmonk.com/sogrady/2017/0…

Haskell: (==) . reverse. Turing machine:

Turing machines are nice but it takes some time to write them