bvssvni's submissions

1.		Let's Abandon the Cogito and Use Type Theory Instead (advancedresearch.github.io)
		2 points by bvssvni on Feb 16, 2022 \| past
2.		Prop v0.8 released Propositional theorem proving in Rust (Logic) (reddit.com)
		3 points by bvssvni on Jan 14, 2022 \| past \| 1 comment
3.		Joker Calculus (github.com/advancedresearch)
		2 points by bvssvni on Nov 19, 2021 \| past
4.		A linear solver designed to be easy to use with Rust enums (github.com/advancedresearch)
		4 points by bvssvni on Nov 15, 2018 \| past \| 1 comment
5.		Dyon 0.36 is released (github.com/pistondevelopers)
		3 points by bvssvni on June 16, 2018 \| past \| 1 comment
6.		Solving Economic Inequality in MMOs (piston.rs)
		5 points by bvssvni on Oct 26, 2016 \| past \| 1 comment