Nicole Heinimann
@saltypeppermint.bsky.social
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
PhD student @TUBerlin
https://ipv3.org
Ask me about EGraphs, Compilers and Rust
Opinions are those of your pet
Reposted by Nicole Heinimann
cloudflare's on-duty IT staff bangs on the doors which I have padlocked from the inside as I calmly break open lava lamp after lava lamp and drink the contents
November 18, 2025 at 1:59 PM
cloudflare's on-duty IT staff bangs on the doors which I have padlocked from the inside as I calmly break open lava lamp after lava lamp and drink the contents
Not many know this but a judge can sentence you to serve on a Grand Jury if you can't identify every cast member of 12 Angry Men.
November 17, 2025 at 8:14 PM
Not many know this but a judge can sentence you to serve on a Grand Jury if you can't identify every cast member of 12 Angry Men.
Reposted by Nicole Heinimann
There’s this pervasive idea that most scientific research is useless and it’d be great if the people who say that could propose an alternate system that could identify dead ends without doing the work first
November 15, 2025 at 9:57 PM
There’s this pervasive idea that most scientific research is useless and it’d be great if the people who say that could propose an alternate system that could identify dead ends without doing the work first
I should get a globe on my desk to
a) ponder and
b) spin weeeeeeeee
a) ponder and
b) spin weeeeeeeee
November 14, 2025 at 9:10 AM
I should get a globe on my desk to
a) ponder and
b) spin weeeeeeeee
a) ponder and
b) spin weeeeeeeee
Reposted by Nicole Heinimann
books have no tech tree, no fog of war
November 10, 2025 at 8:13 PM
books have no tech tree, no fog of war
Reposted by Nicole Heinimann
no offense to anyone who does this but if a blog post is written as a dialog between two characters i immediately press the back button
November 5, 2025 at 12:34 AM
no offense to anyone who does this but if a blog post is written as a dialog between two characters i immediately press the back button
Reposted by Nicole Heinimann
the detestable neelix
December 26, 2024 at 6:32 PM
the detestable neelix
Reposted by Nicole Heinimann
> Parsing: 150 msec
> Type Checking: 300 msec
> Borrow Checking: 200 msec
> Optimization Passes: 800 msec
> Codegen: 400 msec
> Linking: 300 msec
> Proc Macros: 7 min
Somebody who's good at compilers please help, my build time is dying
> Type Checking: 300 msec
> Borrow Checking: 200 msec
> Optimization Passes: 800 msec
> Codegen: 400 msec
> Linking: 300 msec
> Proc Macros: 7 min
Somebody who's good at compilers please help, my build time is dying
November 3, 2025 at 5:32 PM
> Parsing: 150 msec
> Type Checking: 300 msec
> Borrow Checking: 200 msec
> Optimization Passes: 800 msec
> Codegen: 400 msec
> Linking: 300 msec
> Proc Macros: 7 min
Somebody who's good at compilers please help, my build time is dying
> Type Checking: 300 msec
> Borrow Checking: 200 msec
> Optimization Passes: 800 msec
> Codegen: 400 msec
> Linking: 300 msec
> Proc Macros: 7 min
Somebody who's good at compilers please help, my build time is dying
Reposted by Nicole Heinimann
weird people who really hate rust on twitter are imagining that something called fil-c will destroy rust or something
November 3, 2025 at 4:22 AM
weird people who really hate rust on twitter are imagining that something called fil-c will destroy rust or something
Coping by watching documentaries about mail sorting machines.
November 2, 2025 at 9:03 AM
Coping by watching documentaries about mail sorting machines.
Reposted by Nicole Heinimann
This is a sport for perverts
November 2, 2025 at 4:16 AM
This is a sport for perverts
Blue Jays winning was the narrow golden path back onto the good timeline and we fumbled it…
November 2, 2025 at 8:35 AM
Blue Jays winning was the narrow golden path back onto the good timeline and we fumbled it…
Alias analysis is my passion
so glad I can be learning Rust from the experts at Adobe, their beautiful elegant code is really an inspiration 😊
![impl<'a> From<&'a dyn Stream> for StreamAdapter<'a> {
#[allow(invalid_reference_casting)]
fn from(stream: &'a dyn Stream) -> Self {
let stream = &*stream as *const dyn Stream as *mut dyn Stream;
let stream = unsafe { &mut *stream };
Self { stream }
}
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:2zmxikig2sj7gqaezl5gntae/bafkreidb7urqadk6li75wsjwpi3ntv5majbbngkr2nhr54jkabkcshgf7y@jpeg)
November 1, 2025 at 8:34 AM
Alias analysis is my passion
Reposted by Nicole Heinimann
closing all my tickets as wontfix because the software is provided as-is
October 22, 2025 at 9:26 AM
closing all my tickets as wontfix because the software is provided as-is
Reposted by Nicole Heinimann
"it isn't just X—it's Y" is by far the most annoying ChatGPTism
October 20, 2025 at 2:25 PM
"it isn't just X—it's Y" is by far the most annoying ChatGPTism
Reposted by Nicole Heinimann
Realizing it's called "firmware" cause it's between "hardware" and "software"
September 29, 2025 at 8:30 PM
Realizing it's called "firmware" cause it's between "hardware" and "software"
We clearly need a moratorium on λs in PL related logos and mascots.
September 29, 2025 at 7:00 PM
We clearly need a moratorium on λs in PL related logos and mascots.
Reposted by Nicole Heinimann
"im making a language that is basically rust but simpler"
buzz lightyear from toy story is sitting in a capsule in a room .
Alt: the gif starts focusing on a box containing a buzz lightyear, slowing panning out to reveal a whole shelf full of the same toy
media.tenor.com
September 19, 2025 at 5:51 PM
"im making a language that is basically rust but simpler"
Reposted by Nicole Heinimann
I don't care that I spent 2 hours just now making a homework assignment a LaTeX doc that builds in GitHub Actions, I'm still gonna make fun of Nix users
September 11, 2025 at 7:55 AM
I don't care that I spent 2 hours just now making a homework assignment a LaTeX doc that builds in GitHub Actions, I'm still gonna make fun of Nix users
Reposted by Nicole Heinimann
Did you know your MacBook has a sensor that knows the exact angle of the screen hinge?
It’s not exposed as a public API, but I figured out a way to read it and make it sound like an old wooden door.
It’s not exposed as a public API, but I figured out a way to read it and make it sound like an old wooden door.
September 6, 2025 at 8:44 PM
Did you know your MacBook has a sensor that knows the exact angle of the screen hinge?
It’s not exposed as a public API, but I figured out a way to read it and make it sound like an old wooden door.
It’s not exposed as a public API, but I figured out a way to read it and make it sound like an old wooden door.
Reposted by Nicole Heinimann
talking to gamedevs about PL design is always so funny because it's constant whiplash between
"the language should support incredible magic for these extremely specific idioms"
and
"the language having any magic at all is the most offensive thing in the world to me, why am i not in control of this"
"the language should support incredible magic for these extremely specific idioms"
and
"the language having any magic at all is the most offensive thing in the world to me, why am i not in control of this"
September 5, 2025 at 3:28 PM
talking to gamedevs about PL design is always so funny because it's constant whiplash between
"the language should support incredible magic for these extremely specific idioms"
and
"the language having any magic at all is the most offensive thing in the world to me, why am i not in control of this"
"the language should support incredible magic for these extremely specific idioms"
and
"the language having any magic at all is the most offensive thing in the world to me, why am i not in control of this"
Reposted by Nicole Heinimann
desktop computers should be gross and beige instead of rainbow and glowing. your computer should look like a piece of soap. it should look like a telephone from a horror movie. it should look like someone smoked in front of it before it left the factory
November 10, 2024 at 3:57 PM
desktop computers should be gross and beige instead of rainbow and glowing. your computer should look like a piece of soap. it should look like a telephone from a horror movie. it should look like someone smoked in front of it before it left the factory
Just learn to use an IDE, you can still have cursed keybindings I promise.
August 28, 2025 at 7:29 AM
Just learn to use an IDE, you can still have cursed keybindings I promise.
Real DB WiFi has never been tried
August 28, 2025 at 6:08 AM
Real DB WiFi has never been tried