Gone Bender

@johnbender

PhD student in Programming Languages and Systems at UCLA. Out to lunch.

Los Angeles, CA
johnbender.us
Joined December 2008
489 Photos and videos Photos and videos

Tweets

You blocked @johnbender

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

  1. Pinned Tweet
    6 Feb 2016

    Logging off twitter for a while.

    1 reply 3 likes
    Undo
  2. Aug 8

    I haven't posted on twitter in more than 2 years, but I am here today to tell you that you should install Firefox. It appears the fine folks have fixed the energy consumption issues that I was experiencing in macOS and it is the most glorious browser imaginable.

    1 retweet 6 likes
    Undo
  3. Retweeted
    6 Feb 2016

    ....And Jeb Bush as "Jeb!"

    2 replies 175 retweets 209 likes
    Undo
  4. Retweeted
    6 Feb 2016

    . shares her best wedding cake tips and tricks:

    11 retweets 18 likes
    Undo
  5. Retweeted
    6 Feb 2016

    this is a great post about building a language

    2 retweets 9 likes
    Undo
  6. Retweeted
    6 Feb 2016

    i love this research statement:

    5 retweets 13 likes
    Undo
  7. Retweeted
    5 Feb 2016

    great. thanks for leaving more gloryless work for the rest of us.

    This Tweet is unavailable.
    10 replies 17 retweets 22 likes
    Undo
  8. 5 Feb 2016
    Replying to

    . what? Surely agrees with me. You know maybe a just in time transpiler would speed up the transpiling?

    1 like
    Undo
  9. Retweeted
    5 Feb 2016

    Playing with extensions to Javascript syntax using Ohm to write a little source-to-source translator:

    3 replies 4 retweets 5 likes
    Undo
  10. Retweeted
    5 Feb 2016

    What would you like to know about , , ? Expert is answering your questions.

    7 retweets 1 like
    Undo
  11. 5 Feb 2016

    Please let it be so.

    Undo
  12. 4 Feb 2016

    A&E's War and Peace is suuuuper good.

    1 like
    Undo
  13. 4 Feb 2016

    Verifying myself: I am johnbender on Keybase.io. BraSrdG9zo3rtXxMP7JEPNf5M82c7kb94_-O /

    1 reply
    Undo
  14. 3 Feb 2016
    Replying to

    NOPE. I was wrong, looks like it's privately funded with tax breaks only after tax revenue.

    Undo
  15. 3 Feb 2016

    God damnit, $2.5b+ dollars for a football stadium in LA for the rams.

    1 reply
    Undo
  16. 3 Feb 2016

    This is how we can fight ISIS: Talk about the amazing contributions muslim americans make to our country every day.

    LIVE: President Obama is speaking in Baltimore.
    1 retweet
    Undo
  17. Retweeted
    2 Feb 2016

    Formally verifying parsing in Agda:

    6 retweets 9 likes
    Undo
  18. Retweeted
    1 Feb 2016

    What. Is. This.

    82 replies 589 retweets 596 likes
    Undo
  19. 1 Feb 2016
    Replying to

    caucusing?

    Undo
  20. 1 Feb 2016
    Replying to

    ... Or do. Look, so we're clear I am advocating that you do a good job caucasing.

    1 reply
    Undo

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

    ·