I was thinking of not writing a blog post this year. I didn't think I'd have much to say. But I thought that I should, I had some nagging feelings that we needed to do some things differently. Once I started writing, I found plenty to talk about. This blo... (more…)

A curated list of awesome rust resources regarding automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and pr... (more…)

Build fast web applications with Rust. Contribute to leptos-rs/leptos development by creating an account on GitHub. (more…)

I hope you're using any sort of logging in your applications. Even if that...

Contribute to nviennot/stm32-emulator development by creating an account on GitHub. (more…)