Sean Leffler

@sdleffy

Student programmer and metalhead violinist. Owner of possibly the loudest violin in the Bay Area.

Berkeley, CA
github.com/sdleffler
Joined October 2016
54 Photos and videos Photos and videos

Tweets

You blocked @sdleffy

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

  1. Pinned Tweet
    Jun 28

    Final results of my hamfisted mitre-saw hacking and clumsy drilling. Doesn't look all that messy from a distance I suppose. My gear almost looks well-organized now.

    1 reply 4 likes
    Show this thread
    Show this thread
    Undo
  2. Retweeted
    Aug 21

    All hail the turbo fish ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<> ::<>

    1 reply 12 retweets 73 likes
    Undo
  3. Retweeted
    Aug 21

    *Tarski slapping a sphere* this baby can fit two spheres

    2 replies 61 retweets 207 likes
    Undo
  4. Retweeted
    Aug 19

    “average mathematician eats 3 infinities a year" factoid actualy just statistical error. average mathematician eats 0 infinities per year. Georg Cantor, who eats over 10,000 each day, is an outlier adn should not have been counted

    1 reply 35 retweets 140 likes
    Undo
  5. Retweeted
    Aug 20

    *slaps set of all sets* this set c̠̱a̧n̷̹͍̱̘̝͇ ̢̗̱͉͇̱ͅf͍i̱̺͈͚̱͙̬t͡ ́s̬̞̮̗̟͙̞͜o̧̘͙͖̠͔͚ ͎͎̰m̱̥̻̥̣͜a͚͇͙̮̟n̼͖͎̫ͅy̡͚ ṣ̱͔̱͈̪́e̺̰̞̳̪ͅt̸s̢̼͉͇̺̻ ͈͈͚̺

    1 reply 10 retweets 52 likes
    Undo
  6. Retweeted
    Aug 18

    Rust, 12 months: "oh, I see now, the perfect symmetry of ownership and borrowing guides me away from bad code" Rust, 18 months: "so I can't have two mutable borrows of the same thing, eh, rustc? Well, this unsafe block says I MAKE THE RULES HERE, YOU MISERABLE TIN CAN"

    3 replies 22 retweets 179 likes
    Show this thread
    Show this thread
    Undo
  7. Retweeted
    Aug 18

    Rust, 0 months: "how can people live like this, the borrow checker hates me, I'm going back to Haskell" Rust, 6 months: "fuck it, you know it's fine to just .clone() everything and stop worrying"

    2 replies 16 retweets 111 likes
    Show this thread
    Show this thread
    Undo
  8. Retweeted
    Aug 18
    Replying to and

    You have five NaN kinds: quiet, signaling, cursed , extreme cursed, and garlic

    5 replies 13 retweets 56 likes
    Undo
  9. Retweeted
    Aug 18
    Replying to and

    *looks at 16 most significant bits of a 64-bit word*

    2 replies 13 retweets 58 likes
    Undo
  10. Retweeted
    Aug 18

    175 replies 13,426 retweets 46,960 likes
    Undo
  11. Retweeted
    Aug 17

    My small business has accidentally manufactured 100,000 more kickstarted Etherium-based coffee grinders than intended and they turn coffee into spiders, please help

    1 retweet 2 likes
    Undo
  12. Aug 17

    Thread.

    My university roommate just reminded me that one time, in first year, I signed up to be a guinea pig in a psychology study and it was the best study ever...
    Show this thread
    1 like
    Undo
  13. Retweeted
    Aug 16

    petition to make "Is this Yoneda" the new "Is this loss"

    2 replies 5 retweets 25 likes
    Show this thread
    Show this thread
    Undo
  14. Retweeted
    Aug 15

    I made , a cyberpunk game you play by yelling at your computer like you're in a movie. It's an homage to the classic sci-fi "zoom and enhance" trope. Play it in Chrome! 🕵️🗣💻🕵️‍♀️

    121 replies 2,589 retweets 7,490 likes
    Show this thread
    Show this thread
    Undo
  15. Retweeted
    Aug 14

    cannot confirm nor deny that I ate all the bread from the Indian restaurant, for I have signed a naan disclosure agreement

    983 replies 7,746 retweets 54,201 likes
    Show this thread
    Show this thread
    Undo
  16. Retweeted
    Aug 15

    With undefined behavior, anything is possible. Express this idea visually by wearing my new unicorn and rainbow t-shirt:

    4 replies 17 retweets 67 likes
    Undo
  17. Retweeted
    Aug 14

    Welcome to Blodwen. Good luck. Recursion> :help Parse error: Unrecognised token at Just (0, 0) [Sym :, Ident help, EndInput] Recursion> help (interactive):1:1--1:5:Undefined name help

    4 retweets 11 likes
    Undo
  18. Retweeted
    Aug 9

    Why do ICO-funded blockchain projects love Rust? It supports fearless con currency.

    4 replies 19 retweets 97 likes
    Undo
  19. Retweeted
    Aug 7

    Equal temperament was a mistake.

    hardline
    1 reply 20 retweets 61 likes
    Undo
  20. Retweeted
    Aug 7

    hardline

    1 reply 9 retweets 24 likes
    Undo
  21. Retweeted
    Aug 2

    i was reminded that CS people love lattices (guilty) so here's a really good multi-part blog post about lattices, type theory, and constant propagation:

    2 replies 2 retweets 20 likes
    Show this thread
    Show this thread
    Undo

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

    ·