Mike Vitousek

@flowtype, he/him

[Flow @flowtype]

We added new language features to Flow for writing React. Learn about our new Component Syntax: https://t.co/3AThiXsEkQ

[Mike Vitousek @mvitousek]

@jeremysiek This is really exciting, congratulations!

[Mike Vitousek @mvitousek]

@NWSSeattle Got the tornado warning despite not being in the warning area. Verizon, Seattle (Fremont)

[Mike Vitousek @mvitousek]

@zeuxcg This is very cool, congratulations on the release! I'm curious about how the gradual type system operates: is there any runtime type checking for soundness when values cross from the `any` type to a static type, or are types erased like in TypeScript, Flow, etc?

[wintensional equality @plt_dril]

guy trying to tell me ive got the variances for function types the wrong way round; Fuck you man. . This is my journey

[✨ Jean Yang ✨ @jeanqasaur]

📈 How does Facebook statically check millions of lines of JavaScript code?
🤔 What's the difference between FB's Flow checker and TypeScript?

Talk about all this and more this Friday 3pm PT on #PLTalk with Jordan Brown and @mvitousek from Facebook!

📺: https://t.co/RLWO9aH1QF

[Alphabet Workers Union (AWU-CWA) @AlphabetWorkers]

We're Alphabet workers. We’ve been organizing for over a year, & we’re finally ready to share why.

This morning, we're announcing #AWU, the first union open to *all* workers at any Alphabet company.

Every worker deserves a union—including tech workers.
https://t.co/m2Qmjwz32V

[Mike Vitousek @mvitousek]

@robertbohl Cool, wasn't aiming to start a debate. Thanks for the reply.

[Mike Vitousek @mvitousek]

@robertbohl Why do you feel it's a moral imperative in e.g. Hawaii?

[Evan Washington @evanewashington]

everybody rejects classical logic until the "anti-anti-fascists" come knocking

[The Onion @TheOnion]

Police Didn’t Spend Millions On Awesome Tank Just To Let Protests Stay Peaceful https://t.co/ZsC4Xc6Pcj

[Mike Vitousek @mvitousek]

@nkummert Like many things in this crisis, a practice worth maintaining after the pandemic has passed

[Mike Vitousek @mvitousek]

@timfelgentreff @timfelgentreff Yes, I'll be at VMIL tomorrow and will be in Athens through Thursday. Happy to talk any time!

[Programming Languages Talks @PLPresents]

Next from DLS, we have @mvitousek's talk on Optimizing and Evaluating Transient Gradual Typing, delving into the performance of the transient semantics running on top of state-of-the-art VMs. https://t.co/dpq8AJVKwl

[Dynamic Language Symposium @dynlangsym]

Upcoming #dls19 paper:

Optimizing and Evaluating Transient Gradual Typing
@mvitousek, J. G. Siek, A. Chaudhuri

https://t.co/yU9mQ8EVwn

#python
#gradualtyping #optimizing

[Indiana Grad Workers Coalition @IndianaGrads]

It was bad before, and tying it to inflation is insulting when our salaries aren't. Sign our petition to end grad fees at https://t.co/9uQwvGhANK!

[Mike Vitousek @mvitousek]

having a cat is great

[Cam @add_rcx]

The curry-rice conjecture states that when you make curry and rice, it is nearly impossible to make exactly enough curry and rice to eat it all together -- you will always need to make more rice or curry. The solution to this problems is considered NP-hard.