Daniel Sainati

23 posts

Daniel Sainati

Daniel Sainati

@sainati_

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

Philadelphia, PA Katılım Kasım 2019
152 Takip Edilen98 Takipçiler
Daniel Sainati
Daniel Sainati@sainati_·
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!
YouTube video
YouTube
English
0
0
0
65
Daniel Sainati retweetledi
Flow
Flow@flowtype·
Flow is adding support for typing the "this" parameter of functions and methods! medium.com/flow-type/soun…
English
0
5
8
0
Daniel Sainati retweetledi
Flow
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: medium.com/flow-type/type…
English
2
22
70
0
Daniel Sainati retweetledi
Flow
Flow@flowtype·
We’re improving Flow error suppressions so that they don’t accidentally hide errors. medium.com/flow-type/maki…
English
0
6
15
0
Kevin Chavez
Kevin Chavez@aykev·
Every time I come to Seattle I want to move to Seattle
English
4
0
12
0
Daniel Sainati retweetledi
Statebox
Statebox@statebox·
Statebox tweet media
ZXX
5
17
57
0
Kevin Chavez
Kevin Chavez@aykev·
My title: Software Engineer My job: Endure 8 minutes of progress bars to test 10 seconds of code.
English
2
1
9
0
Daniel Sainati
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.
English
0
0
1
0
Ryan Cavanaugh 👉 searyanc.dev on bsky
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
English
2
2
9
0
Daniel Sainati retweetledi
Computer Facts
Computer Facts@computerfact·
95% of coders excitedly shouting "ship it" have never seen an actual boat or the ocean
English
5
60
353
0
Daniel Sainati
Daniel Sainati@sainati_·
@aykev Definitely just because Elon thought it would be funny
English
1
0
2
0
Kevin Chavez
Kevin Chavez@aykev·
Theories why the #Cybertruck might look like this: - Cutting weight. Perhaps this uses less material? - Cutting costs w/ flat panels and glass + no detailing.
English
3
0
1
0