HN Explorer

bvssvni

↗ HN profile [ 71.0 ms ] full profile
Karma
6
Created
October 26, 2016 (9y ago)
Submissions
0
  1. Let's Abandon the Cogito and Use Type Theory Instead (advancedresearch.github.io)
    2 points 0
  2. Prop v0.8 released Propositional theorem proving in Rust (Logic) (old.reddit.com)
    3 points 1
  3. Joker Calculus (github.com)
    2 points 0
  4. A linear solver designed to be easy to use with Rust enums (github.com)
    4 points 1
  5. Dyon 0.36 is released (github.com)
    3 points 1
  6. Solving Economic Inequality in MMOs (blog.piston.rs)
    5 points 1