A blog about computer science, systems, technology, and sometimes vegan cooking. (more…)

A pure functional language for type-level programming in Rust - GitHub - willcrichton/tyrade: A pure functional language for type-level programming in Rust... (more…)

Coming to Rust from C++ and learning about lifetimes is very similar to coming to C++ from Java and learning about pointers. At first, it looks like an unnecessary concept, something a compiler… (more…)

I read a Why Not Rust? article the other day that was quite good but dismissed the most important reason to use a language to me: security. After having worked on a Rust codebase for almost two years now, I thought I would chime in, even though I'll prefa... (more…)

🚂 🦀 The one-person framework for Rust for side-projects and startups - GitHub - loco-rs/loco: 🚂 🦀 The one-person framework for Rust for side-projects and startups... (more…)