Daniel Sainati

Programming Languages PhD Student @CIS_Penn. Formerly @flow_blockchain, @flowtype. @Cornell CS ‘18

[Manya Bansal @314Bansal]

At PLDI currently! So excited to share that our paper on modular gpu programming with @sainati_ @alpha_convert got a distinguished paper award (https://t.co/0y5YdjmX14)! come say hi if you're around :)

[Daniel Sainati @sainati_]

Only one month left to register and propose talks for NJPLS this May at Penn: https://t.co/54ZFsMiPuN

[Daniel Sainati @sainati_]

The recording of my POPL talk is out!
https://t.co/8414n0EbKW

I only learned afterwards that I walked out of frame almost immediately after the talk started so you can't really see me for most of it, but uh, live and learn I guess!

[Daniel Sainati @sainati_]

@__avik @alpha_convert @fancytypes That gives you a 100% success rate! More people should ask you for letters, clearly

[Daniel Sainati @sainati_]

Excited to announce that my paper, Typing Strictness, with @alpha_convert, Benjamin Pierce and @fancytypes has been conditionally accepted to POPL 2026.

Check out the preprint: https://t.co/Dk9q5tV9sx

[Daniel Sainati @sainati_]

@__avik @alpha_convert @fancytypes Thanks Avik! And thanks for your part in setting me down this path

[Flow @flowtype]

Flow is adding support for typing the "this" parameter of functions and methods!
https://t.co/QsC1kjuzq0

[Daniel Sainati @sainati_]

@aykev @dan_abramov This is a hard question man I love them all too much to pick a favorite

[Flow @flowtype]

Flow Types-First mode is out! It unlocks Flow’s potential at scale by leveraging fully typed module boundaries. Read more in our latest blog post:
https://t.co/VXcQR2Ee8P

[Flow @flowtype]

We’re improving Flow error suppressions so that they don’t accidentally hide errors.

https://t.co/PzhMaxlam9

[Flow @flowtype]

Check out what the Flow team plans to build in 2020!

https://t.co/o4KHuH9kVF

[Daniel Sainati @sainati_]

@apardoe extremely cursed opinion

[Daniel Sainati @sainati_]

@aykev Do it

[Flow @flowtype]

Check out our 2019 retrospective: https://t.co/8Q8juCF1PD

[Daniel Sainati @sainati_]

@aykev @NatalieMarleny @dan_abramov Yeah the team was discussing this earlier today. Excited to see the talk!

[Daniel Sainati @sainati_]

@aykev Don’t subtweet Flow like this

[Daniel Sainati @sainati_]

@SeaRyanC Flow has a similar issue where people try to implement the lambda calculus with our $Call utility. It’s definitely possible but I refuse to help you do it.

[Computer Facts @computerfact]

95% of coders excitedly shouting "ship it" have never seen an actual boat or the ocean

[Daniel Sainati @sainati_]

@aykev