fj, 17 days ago to random

I've been wanting to look into formally verifying #Rust code with #Hax for a while, but wasn't sure where to start.

Thankfully Lucas Franceschino from @cryspen has now a tutorial to get started!

https://hacspec.org/blog/posts/announcement-tutorial/

ftg, 10 months ago to random

My 2.4GHz downconverter runs UNIX.

#surplus #13cm #soekris #hax #2400MHz

tokyo_0, 11 months ago to mastodon

Just in case there was any confusion, #MastodonContentMover moves posts from a #Mastodon account to another Mastodon account. It has nothing to do with Calckey. If you try to use it with Calckey, it won't work... because it's built for Mastodon. Clue is in the name. Love you all.... 💕