HN Explorer

MTarver

↗ HN profile [ 63.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Shen Condensed in a Few Pages (groups.google.com)
    2 points 0
  2. The limits of ChatGPT: a week of interaction and AI research (marktarver.com)
    4 points 3
  3. Show HN: Yggdrasil 1.0 – Native executables for Shen

    Yggdrasil allows for the generation of type secure stand-alone native language programs from Shen source programs. We are pleased to announce the release of Yggdrasil 1.0 which has a plug-in configured for Common Lisp.…

    15 points 12
  4. Free as in 'Do as You're Told': Evaluating the Thinking of Richard M. Stallman (marktarver.com)
    1 points 0
  5. Appeal for Shen (successor to Qi II)

    Shen is a programming language designed to replace Qi II over the next two years. For those of you not in the know, Qi is a language implemented on top of Common Lisp which uses sequent calculus to provide a level of…

    33 points 0