Nicolas Wu
86 posts
Nicolas Wu
@nicolasgwu
Professor of Computer Science at Imperial College London
Oxford, England Katılım Ekim 2013
110 Takip Edilen474 Takipçiler
This presentation by @nicolasgwu about the history of monads and algebraic effect handlers is great! Video link: youtu.be/m821Vz8N_bo
YouTube
Matt@matt_dz
@haxor @mbacarella If you're open to more general solutions, take a look at "The Evolution of Effects" by Nicolas Wu youtube.com/watch?v=m821Vz… and github.com/yallop/effects… (monads are one approach of addressing the problem(s); with the progress since then perhaps in newer languages we can do better).
English
Nicolas Wu retweetledi
We're delighted to announce a JFP Special Issue on Program Calculation. Submission deadline 1st December 2023. Please share, and submit your best papers! tinyurl.com/prog-calc
English
@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
English
@nicolasgwu @sjoerd_visscher @haskell_cat @luctielen @chrislpenner @ZhixuanYangO_O Interesting, I was actually considering CFGs here too! If you have anything around I'd love to see, but I think I'll have a play, too.
English
New recursion scheme just dropped. Has anyone seen this before? Can you write it with gcata? @haskell_cat @luctielen @chrislpenner
English
@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.
English
@acid2 @haskell_cat @luctielen @chrislpenner @ZhixuanYangO_O or @nicolasgwu might know? Since they wrote arxiv.org/pdf/2202.13633…
English
@haskellhutt @_mikepound That’s exactly my use case. OBS saved me a huge amount of time.
English
@nicolasgwu @_mikepound OBS is mainly for live streaming though? I'm pre-recording, and going for a minimal setup to keep things simple - screen recorded handwritten lectures on my iPad, with a good quality wireless mic for the audio, and (hopefully) minimal editing.
English
Spent all day experimenting with the tech setup for recording videos for my teaching this coming semester, and I'm still not happy/finished, never mind starting to think about the content again. It's a whole new ball game!
English
@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!
English
@_mikepound Haha! I don't even know what OBS is. I'm just figuring out how best to tweak all the hardware/software I have to work best for home recording. I care a lot about how things look and sound so it takes a crazy amount of experimentation.
English
@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.
English
@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.
English
Academic lazyweb: any personal recommendations for an iPad app for marking exams with an apple pencil? It needs to be something that can cope with 100s of files with a minimum of fuss.
English
@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.
English
@nicolasgwu and also no more 32-bit app support (I can't play Portal anymore, a very sad day)
English
@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 ;-)
English
I'm really excited to have just learnt about the `texdoc` command.
English
@acid2 I agree that it can be simplified! Definitely more coming :-)
English
@nicolasgwu I enjoyed this video at 11:30pm last night and wqs hoping to catch you today but missed you! Plenty of deep pondering to do, the paper is good but I'm sure we can make something simpler... Look forward to seeing where I can take this!
English
Nicolas Wu retweetledi
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 - bit.ly/35t5bzi
English
Nicolas Wu retweetledi
NEW #haskellx 2019 #SkillsCast: Speaker Jamie Willis explores the design and implementation of a selective #parser combinator library.
Check out the video here - bit.ly/323Zy8K
English
Nicolas Wu retweetledi
We've got @Lowert exploring #Type constructors during his session on higher type-level programming at #haskellx— live demos included 👏
#injective #generative
English
@tritlo You should check out "Transformers, Handlers in Disguise" skillsmatter.com/skillscasts/67… :-)
English
I'm consistently disappointed that monad transformers aren't robots in disguise
English
Fanstastic talk by @schrijvers_tom about monad transformers and modular algebraic effects! #ICFP2019
English