HN
Hacker News
Top
New
Best
Ask
Show
Jobs
bvssvni
12 karma · joined October 26, 2016
submissions
comments
Let's Abandon the Cogito and Use Type Theory Instead
advancedresearch.github.io
·
2 pts
·
bvssvni
·
0
Prop v0.8 released Propositional theorem proving in Rust (Logic)
old.reddit.com
·
3 pts
·
bvssvni
·
1
Joker Calculus
github.com
·
2 pts
·
bvssvni
·
0
A linear solver designed to be easy to use with Rust enums
github.com
·
4 pts
·
bvssvni
·
1
Dyon 0.36 is released
github.com
·
3 pts
·
bvssvni
·
1
Solving Economic Inequality in MMOs
blog.piston.rs
·
5 pts
·
bvssvni
·
1