BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun Jadađź’‹WGMIdance RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA
Joined July 2009
- Tweets 83,688
- Following 4,907
- Followers 2,246
- Likes 83,806
3,358 Photos and videos
Pinned Tweet
19 Jan 2021
CORDUROY: CHECK
JAVIER SOLĂŤS: CHECK
21
5
56
I greet the homies with “good mornings,” “good afternoons,” and “good evenings”
1
6
63
What do we do about the fact that Don Cheadle knows Twisting Tiger kung fu and speaks Cantonese? @Jac5Connor @krishnabtwtr
1
1
63
the miseducation of MATIOS CHILL retweeted
Jun 9
i will be streaming live on twitch with my friend jake at 3pm UTC today (2.5 hrs from now)!
we'll cover the basics of dependent types: we'll try to understand what they're all about, what you can express with them, and how they work in Lean
hope to see you there (link 👇)
2
4
14
1,240
the miseducation of MATIOS CHILL retweeted
Jun 12
beware, lest you cut yourself on the jagged frontier
1
3
146
That’s because America is only 250 years old
"Only in recent history has “working hard” signaled pride rather than shame for lack of talent, finesse, and, mostly, sprezzatura." - Nassim Nicholas Taleb in The Bed of Procrustes
1
115
Destiny 2? Bro I love the music video for Let’s Groove by Earth Wind and Fire
46
Bro from New York Undercover killed it in the Beat It video w/ Michael Jackson ngl
64
ETERNAL REMINDER THAT YOU ARE LOVED
Jun 12
how am I just learning that the word "matrix" literally means womb and it was chosen because it "births determinants"
6
360
the miseducation of MATIOS CHILL retweeted
(a) This is pretty good evidence of intelligence by William James definition.
(b) Time to start taking every kind of constraints on these things more seriously. Permissions, formal methods and types become much more important.
1
1
4
170
The case for the best possible universe: some things are so polymorphic that they only compute if you write them correctly cc @MaineFrameworks
1
59
If there was no self what could I be referring to when I say to you “ima need u to stop rn”
37
the miseducation of MATIOS CHILL retweeted
Jun 7
Over 50 years from the Telegraph to information theory is interesting.
Maybe: generalization of a mechanism/construct -> phenomena/practices decohering from constitutive knowledge -> demand for new theory -> theory simplifies & reconstitutes mechanism ecology
1
1
7
1,808
The seeing that can be sought is not the seeing
38
The mother rabbit builds a baby rabbit not a tree
1
1
49