https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust - typing-the-technical-interview-rust/main.rs at main · insou22/typing-the-technical-interview-rust... (more…)

This is chapter 11 of a multi-part series on writing a RISC-V OS in Rust. (more…)

Like a number of other folks, I have recently been exploring some slightly less well-worn corners of the Rust type system. In my particular case, this involv... (more…)

This post makes extensive use of math symbols, and uses MathJax.js to render them, therefore I recommend enabling JavaScript. (more…)

A primitive computer algebra system. Contribute to p-e-w/savage development by creating an account on GitHub. (more…)