Nicole Heinimann
LightNews LightNews
banner
saltypeppermint.bsky.social
Nicole Heinimann
@saltypeppermint.bsky.social
130 followers 180 following 68 posts
Where are my types, I can't see without my types!

PhD student @TUBerlin
https://ipv3.org
Ask me about EGraphs, Compilers and Rust
Opinions are those of your pet
Posts Replies Media Videos
saltypeppermint.bsky.social
"Yeah but what if I'm a super special birthday boy and promise to uphold safety invariants..."
Screenshot from the Rustonomican on Transmutes. https://doc.rust-lang.org/nomicon/transmutes.html The following is highlighted: Transmuting an & to &mut is Undefined Behavior. While certain usages may appear safe, note that the Rust optimizer is free to assume that a shared reference won't change through its lifetime and thus such transmutation will run afoul of those assumptions. So: Transmuting an & to &mut is always Undefined Behavior. No you can't do it. No you're not special.
November 1, 2025 at 8:44 AM
saltypeppermint.bsky.social
Just learn to use an IDE, you can still have cursed keybindings I promise.
The "If those kids could read they'd be very upset" meme with emacs users instead of kids and "Monospaced fonts are less legible than variable-width fonts with serifs and rendering everything in a terminal is harmful." on the sign.
August 28, 2025 at 7:29 AM
saltypeppermint.bsky.social
Thank you for coming to my TED talk
August 27, 2025 at 8:38 PM
saltypeppermint.bsky.social
Let them fight

de.m.wikipedia.org/wiki/Datei:A...
April 15, 2025 at 7:02 PM
saltypeppermint.bsky.social
April 1, 2025 at 8:59 PM