HN Explorer

amenn

↗ HN profile [ 38.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Yon – a topos-oriented language with a content-addressed lattice heap (yon-lang.org)

    Hello everyone. In the last two years I spent, as a dev, part of my free time stretching the limits of my knowledge. Not being a mathematician myself, I discovered that formalizing concepts in mathematical language…

    48 points 32