Newest stories submitted by th3rac25.

  1. 15
    Learn Coq in Y minutes formalmethods learnxinyminutes.com
    th3rac25 avatar via th3rac25 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 14
    Why project-based learning fails programming pathsensitive.com
    th3rac25 avatar via th3rac25 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  3. 13
    Intro to ATS video programming youtube.com
    th3rac25 avatar via th3rac25 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments