HN Explorer

andrewchambers

↗ HN profile [ 106 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Memory Safeish Hare (acha.ninja)
    2 points 0
  2. The Bupstash Garbage Collector (acha.ninja)
    42 points 11
  3. Encrypted Backup Shootout (acha.ninja)
    208 points 108
  4. Bupstash (acha.ninja)
    12 points 0
  5. DSL for shell scripting (acha.ninja)
    2 points 0
  6. C program proofs with Frama-C and its weakest-precondition plugin [pdf] (allan-blanchard.fr)
    88 points 11
  7. C program proofs with Frama-C and its WP plugin [pdf] (allan-blanchard.fr)
    2 points 0
  8. JSON in Janet Shell (acha.ninja)
    1 points 0
  9. Powerful Scripting with Janetsh (acha.ninja)
    2 points 0
  10. Show HN: Janetsh – A new system shell (github.com)
    90 points 26
  11. Show HN: Acmeish for Vscode (acha.ninja)
    1 points 0
  12. notes on stgit (acha.ninja)
    1 points 0
  13. Show HN: Asymcrypt – asymmetric cryptography (github.com)
    4 points 0
  14. Ninja-compatible build tool written in C (github.com)
    3 points 0
  15. Myrddin summer of cod (myrlang.org)
    3 points 0
  16. Show HN: Integrated development window manager (acha.ninja)
    61 points 9
  17. Show HN: Email controlled gate opener in 20 lines of shell (acha.ninja)
    73 points 18
  18. Ninja-compatible build tool written in C (github.com)
    2 points 0
  19. Ninja-compatible build tool written in C (github.com)
    2 points 0
  20. Myrddin 2016 retrospective (myrlang.org)
    1 points 0
  21. Resources for Amateur Compiler Writers (c9x.me)
    100 points 17
  22. Trusted logic (c9x.me)
    2 points 0
  23. Green threads explained (c9x.me)
    3 points 0
  24. Self hosted C – breakdown (achacompilers.blogspot.com)
    105 points 43
  25. Oculus Live Coding Session with John Carmack (youtube.com)
    6 points 0