Skip to content

Top Best Ask Show New Jobs

bvssvni | Better HN

bvssvni

12 karmaJoined October 26, 201624 submissions

Recent submissions

1

Let's Abandon the Cogito and Use Type Theory Instead (opens in new tab)

(advancedresearch.github.io)

2bvssvni4y ago0

2

Prop v0.8 released Propositional theorem proving in Rust (Logic) (opens in new tab)

(old.reddit.com)

3bvssvni4y ago1

3

Joker Calculus (opens in new tab)

(github.com)GitHub

2bvssvni4y ago0

4

A linear solver designed to be easy to use with Rust enums (opens in new tab)

(github.com)GitHub

4bvssvni7y ago1

5

Dyon 0.36 is released (opens in new tab)

(github.com)GitHub

3bvssvni8y ago1

6

Solving Economic Inequality in MMOs (opens in new tab)

(blog.piston.rs)

5bvssvni9y ago1