TypeScript - Javascript programmer; Open source projects: gulp-typescript - Brackets-icons

Utrecht, Netherlands
Joined February 2011
Ivo Gabe de Wolff retweeted
A massive thank you to @ivogabe for giving us a great talk yesterday on functional parallel array programming. Hope you enjoyed visiting! – at Bristol, England
2
9
651
Ivo Gabe de Wolff retweeted
A new release of our parallel Haskell library/EDSL Accelerate is out, courtesy of @tlmcdonell. Lots of usability improvements, support for sum types, pattern matching - check out the details: mail.haskell.org/pipermail/h…
1
19
1
61
We're hiring a PhD student to work with @TacticalGrace, @gckeller and myself on compiler verification, interactive theorem proving, smart contract languages, and functional programming. Please consider applying! uu.nl/en/organisation/workin…
2
30
1
46
Ivo Gabe de Wolff retweeted
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/organisation/workin…
12
22
Turing machines are nice but it takes some time to write them
Haskell: (==) . reverse. Turing machine:
That moment when the whole team is blocked because of line ending issues..
Tuesday I will present my thesis there on Type Guards in TypeScript and the new control flow based type analysis
3
Going to Paris for a week to attend the conferences PEPM and POPL.
1
gulp-typescript 3.0 has just been released, following TypeScript 2.0. Breaking changes: dev.ivogabe.com/gulp-typescr…
1
1
Ivo Gabe de Wolff retweeted
Announcing TypeScript 2.0 release candidate! See our blog for details! blogs.msdn.microsoft.com/typ…
2
268
13
216
I got mentioned there too, thanks @drosenwasser
3
TypeScript 2.0 beta released! Including control flow type analysis for better type guards and nullable types. blogs.msdn.microsoft.com/typ…
1