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…)

It's been a while since my last post. I have some exciting news to share before going over the progress over the last nine months. I will be joining Espressif full time to work on Rust support for all of Espressif's chips, past, present and future! I am v... (more…)

A very fast and robust 64-bit PRNG with a 2^64 period. - danielcota/biski64... (more…)

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube. (more…)

Empowering everyone to build reliable and efficient software. (more…)