Just writing about Rust stuff, Python automation, random tech subjects, and anything related to the world, virtual or not, dreamt or real. (more…)

As Rust gains popularity across the industry, you may wonder if you should adopt Rust for your team. What are the challenges with adopting Rust? In this talk... (more…)

Let me start this article with a confession: I suck at writing parallel code. I have only a vague idea about mutexes, locks and other low level primitives for handling data between threads. And since I work mostly with Python, I tend to use multiprocessin...

I am tired. Today was rough. This year has been rough. Everyone around me is tired too. 2020 has been a hot mess, coming right after a not so hot 2019, and a messy 2018. It's not just you. It's everything. It's okay. (more…)

A Rust verification tool. Contribute to hacspec/hax development by creating an account on GitHub. (more…)