primodemus

↗ HN profile [ 88.1 ms ] full profile
Karma
1,476
Created
December 26, 2009 (16y ago)
Submissions
0
  1. On Marketing Formal Methods (buttondown.email)
  2. Performance Matters (hillelwayne.com)
  3. The type system of mathematics (qchu.wordpress.com)
  4. The ABC conjecture has (still) not been proved (galoisrepresentations.wordpress.com)
  5. Targeting Meritocracy (slatestarcodex.com)
  6. Hugo Suggestions 2017 (crookedtimber.org)
  7. Losing Legitimacy (medium.com)
  8. Stan Language Design History (andrewgelman.com)