1. 12
    The Ceylon Programming Language plt programming ceylon-lang.org
    lorddimwit avatar via lorddimwit 1 month ago | cached | 9 comments
  2. 38
    What laptop are you using? ☶ ask hardware
    lorddimwit avatar authored by lorddimwit 2 months ago | 123 comments
  3. 22
    The Hacker Test historical mit.edu
    lorddimwit avatar via lorddimwit 2 months ago | cached | 13 comments
  4. 6
    Differential Geometry Reconstructed pdf math geometry.org
    lorddimwit avatar via lorddimwit 5 months ago | cached | 1 comment
  5. 10
    Iverson's Algebra: An Algorithmic Treatment ☶ pdf apl historical math jsoftware.com
    lorddimwit avatar via lorddimwit 6 months ago | cached | no comments
  6. 32
    J Software releases many APL/mathematical works under Creative Commons license apl book compsci education math code.jsoftware.com
    lorddimwit avatar via lorddimwit 9 months ago | cached | 2 comments
  7. 13
    Looking for an intact copy of Iverson's "Algebra: An Algorithmic Treatment" ☶ ask book
    lorddimwit avatar authored by lorddimwit 9 months ago | 7 comments
  8. 2
    The ABC Structure Editor ☶ pdf plt python citeseerx.ist.psu.edu
    lorddimwit avatar via lorddimwit 10 months ago | cached | no comments
  9. 2
    Is it possible to have useful functional types in a purely nominative type system? ☶ ask compilers compsci
    lorddimwit avatar authored by lorddimwit 1 year ago | 6 comments
  10. 13
    The Haskell Road to Logic, Math, and Programming pdf haskell math fldit-www.cs.uni-dortmund.de
    lorddimwit avatar via lorddimwit 1 year ago | cached | no comments
  11. 13
    mtm - a truly tiny terminal multiplexer c release github.com
    lorddimwit avatar authored by lorddimwit 1 year ago | cached | no comments
  12. 2
    libtmt - an experiment in minimal terminal emulation c release github.com
    lorddimwit avatar authored by lorddimwit 1 year ago | cached | no comments