Eric Mertens

@glguy

Portland, OR
github.com/glguy
Joined February 2009
3 Photos and videos Photos and videos

Tweets

You blocked @glguy

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

  1. Aug 24

    I made a video of me using glirc (my IRC client). If you were ever curious what glirc was like this could save you a compile:

    2 likes
    Undo
  2. Jun 22

    I've been working on a translator for turning C code into Rust code. Try it out!

    5 replies 85 retweets 216 likes
    Undo
  3. May 14

    Oops, this turned out to be big

    1 retweet 2 likes
    Show this thread
    Show this thread
    Undo
  4. 17 Dec 2017

    It's not too late to start doing this year's problems! Don't forget to share your solutions. Join us on Freenode's each night to chat about the experience. There's lots to learn!

    Undo
  5. 18 May 2017

    Now it's easy to try out my configuration libraries, thanks to GHCJS:

    2 likes
    Undo
  6. 9 May 2017

    config-schema is a small library for generating self-documenting config file schemas. Check out the example!

    Undo
  7. 26 Apr 2017

    New library for a consistent interface to reified information on datatypes via Template Haskell! (example in doc)

    1 reply 3 retweets 6 likes
    Undo
  8. 10 Aug 2016

    glirc is (console IRC client) getting pretty complete! My thanks to the contributors!

    1 reply 1 retweet 3 likes
    Undo
  9. 12 Nov 2015

    I've been playing with using clever types to optimize GHC.Generics derived code. Check it out on github, too!

    1 reply 2 retweets 6 likes
    Undo
  10. 20 Aug 2015

    Verifying myself: I am glguy on Keybase.io. TKNhsAp7dC7qsh-ptA5SPTHc_q_LeGZ56_zW /

    Undo
  11. 18 Apr 2015

    I've encoded "Cheryl's Birthday" in Agda. Let me know if you think I tripped up the formalization!

    2 retweets 8 likes
    Undo
  12. 20 Dec 2014

    Check out a practical use of the "Yoneda" (fmap fusion) type to generate efficient lenses using GHC.Generics!

    1 reply 1 like
    Undo
  13. 3 Oct 2014

    In 2010 I reported to Apple that Mail.app allows unsigned content to be appended to S/MIME signed emails. No fix! Maybe they check Twitter?

    3 replies 6 retweets 2 likes
    Show this thread
    Show this thread
    Undo
  14. 6 Feb 2014

    Moto X recognizes Airport Extreme 5GHz band after manually specifying a channel. Auto might not be good enough. Hope that helps someone.

    1 reply
    Undo
  15. 17 Nov 2011

    : Thanks for providing this Twitter feed. I appreciate being informed as events unfold downtown.

    1 retweet
    Undo
  16. 19 Jun 2011

    @Terraria_Blue Have you considered adding mannequins to the game? I'd love a way to display all of the outfits I never wear around my house!

    Undo
  17. 17 Jan 2011

    You need to work out a way for us to continue playing on multiplayer servers when minecraft.net is broken. This is frustrating.

    Undo
  18. 18 Aug 2010

    I can confirm that the Verizon OTA Android 2.2 update was the same build number as the manual FRG01B build that was made available from Goog

    Undo
  19. 30 Apr 2010

    Agda revelation: Only jam the args that affect the recursive structure of your function into your w.f. measure then return a new function

    1 retweet
    Undo
  20. 28 Apr 2010

    I've done most of the accessibility proofs fromthe aforementioned paper which should make future W.F. induction easier http://bit.ly/aXdPv9

    Undo

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

    ·