Hacker News new | ask | show | jobs
user: bvssvni
created: 2016-10-26
karma: 12

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Let's Abandon the Cogito and Use Type Theory Instead
2 points | 0 comments
0 points | 0 comments
Prop v0.8 released Propositional theorem proving in Rust (Logic)
3 points | 1 comments
Joker Calculus
2 points | 0 comments
0 points | 0 comments
A linear solver designed to be easy to use with Rust enums
4 points | 1 comments
0 points | 0 comments
Dyon 0.36 is released
3 points | 1 comments
0 points | 0 comments
Solving Economic Inequality in MMOs
5 points | 1 comments