Join devRant
Do all the things like
				++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
				Sign Up
			Pipeless API
				From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
				Learn More
			Related Rants

I finally got it working! Now I have a foundation for a kernel and an uefi bootloader written in pure Rust
To...
I think the most important lesson you have to learn before discovering new Rust becomes easy is that edge cases matter, because formal descriptions almost never start with the most visible attribute; they start with the strongest one.
Almost every datastructure is Unpin, or should be at any rate. The benefit of Pin is that you can get rid of that *almost*, and define your operations for arbitrary sections of program state.
rant
formal reasoning
unpin
pin
rust