Nicolas Wu

Professor of Computer Science at Imperial College London

[Nicolas Wu @nicolasgwu]

@haxor I'm glad you liked it!

[Graham Hutton @haskellhutt]

We're delighted to announce a JFP Special Issue on Program Calculation. Submission deadline 1st December 2023. Please share, and submit your best papers! https://t.co/zukcHyN8Gl

[Nicolas Wu @nicolasgwu]

@acid2 @sjoerd_visscher @haskell_cat @luctielen @chrislpenner @ZhixuanYangO_O I have some code somewhere ... I built this a few years ago when building an effect system for a small imperative language implemented using free monads and scoped effects

[Nicolas Wu @nicolasgwu]

@sjoerd_visscher @acid2 @haskell_cat @luctielen @chrislpenner @ZhixuanYangO_O I've seen these before by considering indexed functors in the context of creating a recursion scheme from a context free grammar. The idea is to make a symbol for each nonterminal that then indexes the shape of the production rules.

[Nicolas Wu @nicolasgwu]

@haskellhutt @_mikepound That’s exactly my use case. OBS saved me a huge amount of time.

[Nicolas Wu @nicolasgwu]

@haskellhutt @_mikepound I can really recommend a good OBS setup. It made my lectures last term a real success and was relatively painless. Happy to show you my setup!

[Nicolas Wu @nicolasgwu]

@hllizi I haven't maintained hdbc for quite some time now, that's out of date. I passed the baton on to @ewhesselink but I don't know where it went from there.

[Nicolas Wu @nicolasgwu]

I'm quite delighted to have been nominated for the Student Choice Award at Imperial College for my Advanced Algorithms course! Thanks for your support students @ICDoCSoc! #icuSCA

[Nicolas Wu @nicolasgwu]

@haskellhutt I've been working straight from "box" and it has been good. I have 200 scripts that are synced all downloaded on ipad and they get reuploaded bit-by-bit as I mark. It comes with its own annotation which accepts pen and rejects palm. Works for me.

[Nicolas Wu @nicolasgwu]

@Lowert Oh my, that is a blow I didn't spot. That's the last game my wife and I played through a game together before children.

[Nicolas Wu @nicolasgwu]

This year Apple gave me `zsh` for Christmas.

[Nicolas Wu @nicolasgwu]

@buggymcbugfix I always understand it in the implicit base: so doubling for base 2. Of course you could always do a change of base to get your desired interpretation ;-)

[Nicolas Wu @nicolasgwu]

I'm really excited to have just learnt about the `texdoc` command.

[Nicolas Wu @nicolasgwu]

@acid2 I agree that it can be simplified! Definitely more coming :-)

[Nicolas Wu @nicolasgwu]

I had a great time at Haskell eXchange 2019: always a great crowd of people!

[Skills Matter @skillsmatter]

NEW #haskellx 2019 #SkillsCast: Dr @nicolasgwu introduces scoped effect handlers as a way of expressing operations that are not algebraic.

Check out the video here - https://t.co/jMuaGmDoyK

[Skills Matter @skillsmatter]

NEW #haskellx 2019 #SkillsCast: Learn different ways to analyse the memory usage of programs and techniques to finding space leaks with @mpickering_!
Check out the video here - https://t.co/JshVDKpKnx

[Skills Matter @skillsmatter]

NEW #haskellx 2019 #SkillsCast: Speaker Jamie Willis explores the design and implementation of a selective #parser combinator library.
Check out the video here - https://t.co/sfvWvRXHV3

[Skills Matter @skillsmatter]

We've got @Lowert exploring #Type constructors during his session on higher type-level programming at #haskellx⁠— live demos included 👏
#injective #generative

[Nicolas Wu @nicolasgwu]

@tritlo You should check out "Transformers, Handlers in Disguise" https://t.co/CflYpSWQBu :-)

[Nicolas Wu @nicolasgwu]

Fanstastic talk by @schrijvers_tom about monad transformers and modular algebraic effects! #ICFP2019