1. 34
    Type Driven Development with Idris (Edwin Brady's Book) is finished! book twitter.com
    lenary avatar via lenary 1 year ago | cached | 10 comments
  2. 1
    SIGBOVIK 2015 Procceedings are Available compsci satire sigbovik.org
    lenary avatar via lenary 3 years ago | cached | no comments
  3. 23
    Read any good Books in the last year? ☶ ask book
    lenary avatar via lenary 3 years ago | 19 comments
  4. 18
    What do I do when a colleague is taking all the credit for my work? ☶ ask culture
    lenary avatar via lenary 3 years ago | 11 comments
  5. 33
    What are you working on this week? ☶ ask
    lenary avatar via lenary 3 years ago | 38 comments
  6. 10
    The 8-Byte Two-Step c zinascii.com
    lenary avatar via lenary 3 years ago | cached | no comments