Justin Le

@mstk

jle / mstksg / Lê Anh Khoa: Computational physicist, Haskeller & amateur musician. PhD Student studying Computational Science. (UCSD, Chapman U)

Orange, CA
blog.jle.im
Joined March 2007
24 Photos and videos Photos and videos

Tweets

You blocked @mstk

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @mstk

  1. Pinned Tweet
    May 14

    [BLOG] A Purely Functional Typed Approach to Trainable Models -- 3 part series on Differentiable Programming in :D

    2 replies 46 retweets 118 likes
    Show this thread
    Show this thread
    Undo
  2. Retweeted
    Aug 25

    in the elevator wm: who's lab are you in? me: mine wm: no, I mean who is the PI of the lab? me: I am wm: in what Professor's lab? me: the Columbus lab and I am Columbus

    1,370 replies 26,726 retweets 220,656 likes
    Undo
  3. Retweeted
    Aug 23

    There’s a school near my apartment, with a Pokémon gym in the recess yard. Every day, the same 4 or 5 kids take it. And every day after work, I swing by and CRUSH. THEIR. POKÉMON. Everyone wants to be Ash, Brock and Misty, but I am 100% these kids’ Giovanni.

    201 replies 12,762 retweets 64,881 likes
    Show this thread
    Show this thread
    Undo
  4. Retweeted
    Aug 21

    I just found this dad and son interaction so pure

    232 replies 87,611 retweets 269,534 likes
    Show this thread
    Show this thread
    Undo
  5. Retweeted
    Aug 23
    Replying to

    untilE :: (a -> Either b a) -> a -> b Bool is a lie. Parametricity FTW. This generalises `fix` also.

    2 replies 1 retweet 13 likes
    Undo
  6. Retweeted
    Aug 21

    Posting this again because people keep bringing it up: “that line” is older than Empire.

    88 replies 2,070 retweets 6,002 likes
    Show this thread
    Show this thread
    Undo
  7. Retweeted
    Aug 22

    sir this is a wendy's drive thru

    11 replies 103 retweets 731 likes
    Undo
  8. Retweeted
    Aug 21

    If Haskell were real life: Me: *tries to put an apple an empty bowl* GHC: I'm sorry that bowl is for oranges.

    9 replies 17 retweets 92 likes
    Undo
  9. Retweeted
    Aug 21
    Replying to

    I imagine a positive current flowing along the length of the screw and turn my screwdriver along the rotation of the induced magnetic field

    1 reply 3 retweets 15 likes
    Undo
  10. Retweeted
    Aug 22

    stop covering yourself in shit, cover yourself in diarrhea instead

    Stop wasting your time in PowerPoint. 👊 Build your presentations beautifully using AI:
    4 retweets 19 likes
    Undo
  11. Retweeted
    Aug 20

    [desperately screaming into a mic as im dragged off stage] THE FLUFFY WHITE BUN IS THE BEST PART OF A BÁNH BAO THE MEAT FILLING IS JUST A HOAX TO DISTRACT FROM THE BEAUTIFUL OUTER PILLOW THERES NO SUCH THING AS INNER BEAUTY

    10 replies 238 retweets 2,226 likes
    Undo
  12. Aug 21

    incidentally, this is why people like "tau" as a unit/constant; 0.75 turn is 0.75tau radians

    🔥 Did you know CSS has a `turn` unit? It’s often easier to turn something `rotate(0.75turn)` instead of doing the math to `rotate(270deg)`
    4 likes
    Undo
  13. Retweeted
    Aug 21

    Coworkers be like so sorry looks like we will have to remove this module you worked so hard on, sorry sorry sorry- while I’m like hell yeah are you sure we can’t delete some more

    3 replies 15 retweets 107 likes
    Undo
  14. Retweeted
    Aug 19

    5. Friends that share trailers, play a lot of Overcooked together 👨🏻‍🍳

    , and
    4 replies 37 retweets 426 likes
    Show this thread
    Show this thread
    Undo
  15. Retweeted
    Aug 20

    I like it when the definitions look like this ()

    1 reply 1 retweet 10 likes
    Undo
  16. Aug 20

    [ANN] new package, bins. perhaps over-complicated interface on aggregating continuous values into discrete containrs, for histogramming purposes. uses RankN types to ensure that only bins of the same spec are comparable

    5 retweets 17 likes
    Undo
  17. Aug 19

    In-progress code at

    1 retweet 4 likes
    Show this thread
    Show this thread
    Undo
  18. Aug 19

    short stream tonight because some work cut me off, but thanks for everyone who watched! hope to be doing this more regularly than i was already. thanks to for the plug and host as well!

    Will be going live on twitch in a few minutes, implementing a dependent type-safe tic-tac-toe in with a miso GUI :)
    1 reply 4 likes
    Show this thread
    Show this thread
    Undo
  19. Aug 19

    Will be going live on twitch in a few minutes, implementing a dependent type-safe tic-tac-toe in with a miso GUI :)

    2 retweets 26 likes
    Undo
  20. Aug 19

    I can't belive it took me so long to realize that my experiences growing up were universal. I felt so alone in this journey for so many years without realizing there were millions going through the same. One reason why Asian-Am representation in media is so important to me today.

    You’re 8 years old. Your 3rd grade class orders chinese food & your father delivers it. You are so excited to see your pops in school. He’s your hero. But apparently other kids don’t think he’s so cool. They laugh at him and mimic his accent. You don’t want to be Chinese anymore.
    Show this thread
    3 retweets 19 likes
    Undo
  21. Retweeted
    Aug 16

    At Indonesia Blockchain Hub's launch. It's so awesome to see communities like this in my country 😍

    1 reply 1 retweet 14 likes
    Undo

@mstk hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·