HN Explorer

yenwel

↗ HN profile [ 66.9 ms ] full profile
Karma
55
Created
November 24, 2016 (9y ago)
Submissions
0
  1. Smart Cities Ontology for Digital Twins (techcommunity.microsoft.com)
    2 points 1
  2. The General Relativity Tutorial (math.ucr.edu)
    2 points 0
  3. Category theory and blockchain and petri nets (statebox.org)
    1 points 0
  4. Non-Wellfounded Trees in Homotopy Type Theory (arxiv.org)
    1 points 0
  5. Course in applied category theory by John Baez (7 sketches in compositionality) (azimuthproject.org)
    3 points 0
  6. Realtime computing (telegra.ph)
    2 points 0