A curated list of awesome rust resources regarding automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and pr... (more…)

So the week after next I start the Winter 1 2017 half-batch of the Recurse Center. My primary project will be learning rust and systems programming. My secondary project will be some SQL modeling and reporting stuff. (more…)

Experimenting with Blackberry trackball for keyboard ergonomics - brainstorm/bbtrackball-rs... (more…)

Adding support for the Rust language to the Linux kernel. - GitHub - Rust-for-Linux/linux: Adding support for the Rust language to the Linux kernel. (more…)

There is a practical way to guarantee the safety of C programs at compile time, in the sense of no use-after-frees, no double frees, no buffer out-of-bounds reads/writes, no null pointer dereferences, no uses of uninitialised memory, no arithmetic overflo... (more…)