1. 7
    Demo: A fully open source flow for iCE40 FPGAs (using Project IceStorm) ☶ video hardware reversing youtube.com
    kragen avatar via kragen 2 years ago | cached | 2 comments
  2. 7
    Higher-Order Functional Reactive Programming in Bounded Space ☶ compsci research.microsoft.com
    kragen avatar via kragen 3 years ago | cached | no comments
  3. 6
    Incremental Computation with Adapton / Matthew A Hammer ☶ video compsci programming vimeo.com
    kragen avatar via kragen 3 years ago | cached | 4 comments
  4. 13
    Self-Adjusting Computation ☶ compsci ml umut-acar.org
    kragen avatar via kragen 3 years ago | cached | 5 comments
  5. 19
    Certified Programming with Dependent Types, by Adam Chlipala ☶ book math programming adam.chlipala.net
    kragen avatar via kragen 4 years ago | cached | 13 comments
  6. 7
    When TDD doesn't work, by Uncle Bob Martin ☶ practices programming blog.8thlight.com
    kragen avatar via kragen 4 years ago | cached | no comments
  7. 2
    Rust is not fast ☶ rust cananian.livejournal.com
    kragen avatar via kragen 4 years ago | cached | 2 comments
  8. 5
    unhosted web apps ☶ distributed web unhosted.org
    kragen avatar via kragen 4 years ago | cached | 1 comment