HN Explorer

l-mdev

↗ HN profile [ 19.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Formally Verifying Peephole Optimisations in Lean (l-m.dev)
    26 points 5
  2. Randomx.js: Bringing Webmining Back from the Grave [video] (youtube.com)
    1 points 0
  3. 1 points 0