boxbase.org: 23 stories from 5 submitters

  1. 7
    Case against OOP is understated, not overstated programming rant boxbase.org
    dhotson avatar via dhotson 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  2. 20
    Plan 9 on epaper (SPI driver) hardware osdev boxbase.org
    raymii avatar via raymii 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  3. 14
    "Porting" of kapow to Plan 9 unix boxbase.org
    raymii avatar via raymii 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 45
    Return to Plan 9 osdev unix boxbase.org
    raymii avatar via raymii 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 13
    Don't clone that GUI (how about this instead?) practices programming boxbase.org
    HenriTuhola avatar authored by HenriTuhola 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  6. 17
    How a Haskell programmer wrote a tris in Purescript haskell boxbase.org
    HenriTuhola avatar authored by HenriTuhola 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 9
    Flaws in structured programming plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  8. 7
    Chu construction on linear logic compsci haskell plt python boxbase.org
    HenriTuhola avatar authored by HenriTuhola 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 8
    Modeling tower of hanoi in linear logic compsci formalmethods plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 6
    Explaining formal proofs formalmethods plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  11. 2
    Study into exact real arithmetic Pt. 1&2 ☶ compsci haskell plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 8
    Contradiction in divide by zero compsci plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 5
    Dialogical logic resolution algorithm with sound negation plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 8
    Dialogical logic programming plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 8
    Null references was a mistake, but what's the take-away? culture plt programming rant boxbase.org
    HenriTuhola avatar authored by HenriTuhola 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  16. 7
    Types and Indeterminates ml plt boxbase.org
    HenriTuhola avatar authored by HenriTuhola 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 5
    Happy extra rare new year + solution to leap second problem compsci historical practices programming boxbase.org
    HenriTuhola avatar authored by HenriTuhola 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 6
    How should the addition -expression behave? ☶ compilers programming boxbase.org
    HenriTuhola avatar authored by HenriTuhola 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  19. 5
    In Defense of Details programming boxbase.org
    calvin avatar via calvin 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 3
    Application of Fortune's algorithm on triangulation programming python boxbase.org
    mabynogy avatar via mabynogy 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 4
    Optimizing Lever PNG loading assembly graphics programming boxbase.org
    calvin avatar via calvin 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments