HN Explorer

m_j_g

↗ HN profile [ 261 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Agda Implementors' Meeting Xliii (wiki.portal.chalmers.se)
    2 points 0
  2. Veritasium: A Physics Prof Bet Me $10k I'm Wrong (youtube.com)
    33 points 2
  3. Wire Strike Protection System (en.wikipedia.org)
    1 points 0
  4. How I made a €2 ACTUATOR (youtube.com)
    1 points 0
  5. The Unbearable Loneliness of Being Right on the Internet with CD (2017) (youtube.com)
    1 points 0
  6. How to Make a Torus from Villarceau Circles (2015) (youtube.com)
    1 points 0
  7. Nations with Mandatory TB Vaccines Show Fewer Coronavirus Deaths (bloomberg.com)
    2 points 1
  8. Implementing a Simple Proof Assistant and Type System (In Mathematica) (community.wolfram.com)
    2 points 0
  9. From Parametricity to Conservation Laws, via Noether’s Theorem (2014) [pdf] (bentnib.org)
    2 points 0