jix.one: 4 stories from 3 submitters

  1. 2
    Proving 50-Year-Old Sorting Networks Optimal: Part 2 compsci jix.one
    jix avatar authored by jix 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 25
    Proving 50-Year-Old Sorting Networks Optimal: Part 1 compsci jix.one
    jix avatar authored by jix 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  3. 15
    The Assembly Language of Satisfiability formalmethods jix.one
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  4. 19
    Pushing Polygons on the Mega Drive graphics historical jix.one
    355E3B avatar via 355E3B 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments