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
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…
Ivo Gabe de Wolff retweeted
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…
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…
Ivo Gabe de Wolff retweeted
Fun with functions! Strong typing of variadic higher order functions coming to TypeScript. github.com/Microsoft/TypeScr…
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-type…
Ivo Gabe de Wolff retweeted
TypeScript has reached the Top 20 in @redmonk's programming language rankings! redmonk.com/sogrady/2017/03/…
Tuesday I will present my thesis there on Type Guards in TypeScript and the new control flow based type analysis
gulp-typescript 3.0 has just been released, following TypeScript 2.0. Breaking changes: dev.ivogabe.com/gulp-typescr…
Ivo Gabe de Wolff retweeted
TypeScript 2.0 is here!
blogs.msdn.microsoft.com/typ…
Ivo Gabe de Wolff retweeted
Announcing TypeScript 2.0 release candidate! See our blog for details!
blogs.msdn.microsoft.com/typ…
TypeScript 2.0 beta released! Including control flow type analysis for better type guards and nullable types. blogs.msdn.microsoft.com/typ…










