This is a space where I express my thoughts and opinions on mostly technical things - sidkshatriya/me... (more…)

Learn how to reduce compile times, improve readability, and boost performance by writing CRaP — that is, correct, readable, and performant — Rust code. (more…)

Verified Rust for low-level systems code. Contribute to secure-foundations/verus development by creating an account on GitHub. (more…)

This patch series adds initial support for m68k making use of the new M68k backend introduced with LLVM-13. Additional changes will be needed to be able to actually use the backend for this target. (more…)

Last weekend I was playing around with a way to represent null-terminated UTF8 strings in Rust. Rather than just toying with it forever, I decided ... (more…)