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. :boost_love:
Thank you! ❤️
#IDontKnowWhatIamDoing #Help #FediHelp #FollowerPower #Rust #RustLang #Proof #Timeout
🐺 Canis Dirus
📝 A script to RSS ➡️ Mastodon automagically
🐙 https://github.com/SiegfriedEhret/canis-dirus
#deno #typescript #itworksonlecloud #idontknowwhatiamdoing #hashtag
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.
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👻
@quiara like #idontknowwhatiamdoing? I will get this figured out
