Daniel Sainati

Only one month left to register and propose talks for NJPLS this May at Penn: njpls.org/may2026.html

The recording of my POPL talk is out! youtube.com/watch?v=Lr339N… 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!

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

@sainati_ @alpha_convert @fancytypes You continue to be the only person who’s ever asked me for a letter for a PhD application lol.

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: sainati.pl/typing-strictn…

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

@sainati_ @alpha_convert @fancytypes Daniel, my friend, you've made it! <3

Flow is adding support for typing the "this" parameter of functions and methods! medium.com/flow-type/soun…

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

@dan_abramov @sainati_ u up?

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: medium.com/flow-type/type…

We’re improving Flow error suppressions so that they don’t accidentally hide errors. medium.com/flow-type/maki…

Check out what the Flow team plans to build in 2020! medium.com/flow-type/what…

@apardoe extremely cursed opinion

@aykev Do it

Every time I come to Seattle I want to move to Seattle

Check out our 2019 retrospective: medium.com/flow-type/impr…

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

@NatalieMarleny @dan_abramov Congrats Natalie! 🎉 Also @sainati_ check this out

@aykev Don’t subtweet Flow like this

My title: Software Engineer My job: Endure 8 minutes of progress bars to test 10 seconds of code.

@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.

Rules they don't allow me to implement: Bug reports where someone is trying to implement Peano arithmetic in the type system get closed without elaboration

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

Prototypal inheritance model > class inheritance model

@aykev Definitely just because Elon thought it would be funny

Theories why the #Cybertruck might look like this: - Cutting weight. Perhaps this uses less material? - Cutting costs w/ flat panels and glass + no detailing.