Hm...I'm running into a timeout with #Creusot when trying to verify a simple `add` operation on a HashMap newtype 🤔

https://github.com/creusot-rs/creusot/discussions/1477

Does anyone have any idea what's going on here?

Disclaimer: I'm totally new to creusot and #FormalVerification, so please be gentle with me.😊

Boosts very much appreciated.  

Thank you! ❤️

#IDontKnowWhatIamDoing #Help #FediHelp #FollowerPower #Rust #RustLang #Proof #Timeout

What a pleasant surprise, I thought I'd boot in to my new Gentoo install to see if I could repair the issue.

It booted straight to the desktop.

Very happy.

Now to work out why I can't get sound to work.

#gentoo #idontknowwhatiamdoing

Wish me luck @peppe, I am going to attempt a Gentoo install today

#gentoo #idontknowwhatiamdoing

👻

Well, so far so good with the latest Gentoo install. A few issues with picom and a couple of other things, but all-in-all I am pretty happy.

#gentoo #dwm #suckless #idontknowwhatiamdoing

Gentoooooooooooooooooooooooooooo👻