Nicole Heinimann
@saltypeppermint.bsky.social
Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Pinned
It'simple:
Everyone who is more into functional programming than me is a dork with math envy afraid of actual hardware, everyone who is less into functional programming than me is an uncultured philistine stuck in 1982 writing C.
Everyone who is more into functional programming than me is a dork with math envy afraid of actual hardware, everyone who is less into functional programming than me is an uncultured philistine stuck in 1982 writing C.
Reposted by Nicole Heinimann
There is a cyber circle formed by the 7 thaumaturgical supercomputers built on the fiberoptic line. The moment they stop computing, the containment is broken and the Omnibug escapes the primordial cyber hole.
May 9, 2026 at 8:52 AM
There is a cyber circle formed by the 7 thaumaturgical supercomputers built on the fiberoptic line. The moment they stop computing, the containment is broken and the Omnibug escapes the primordial cyber hole.
„Look at that subtle off-white coloring. The tasteful thickness of it. Oh, my God. It even has a watermark.“
Ok, thank you, I don’t think we need to look at the rest of them, now give me back the other ink blots.
Ok, thank you, I don’t think we need to look at the rest of them, now give me back the other ink blots.
May 7, 2026 at 6:25 AM
„Look at that subtle off-white coloring. The tasteful thickness of it. Oh, my God. It even has a watermark.“
Ok, thank you, I don’t think we need to look at the rest of them, now give me back the other ink blots.
Ok, thank you, I don’t think we need to look at the rest of them, now give me back the other ink blots.
Reposted by Nicole Heinimann
if you start hearing somebody refer to things in public conversations with proper nouns between themselves and their AI, you are dealing with somebody who has cracked and may need significant assistance
"oh yeah I just use Fooblert [a search skill] for that" is an early warning sign
"oh yeah I just use Fooblert [a search skill] for that" is an early warning sign
the dawkins AI thing is mostly interesting because he freely admits it
imagine how many public figures are exactly the same just more careful about discussing it out loud to anyone except to their claudia
imagine how many public figures are exactly the same just more careful about discussing it out loud to anyone except to their claudia
May 6, 2026 at 12:35 PM
if you start hearing somebody refer to things in public conversations with proper nouns between themselves and their AI, you are dealing with somebody who has cracked and may need significant assistance
"oh yeah I just use Fooblert [a search skill] for that" is an early warning sign
"oh yeah I just use Fooblert [a search skill] for that" is an early warning sign
Banksy feels like a mean spirited parody of what art can be.
It’s just „really makes you think, like and share if you agree“ mid 2010s Facebook slop, fight me.
It’s just „really makes you think, like and share if you agree“ mid 2010s Facebook slop, fight me.
May 5, 2026 at 5:02 PM
Banksy feels like a mean spirited parody of what art can be.
It’s just „really makes you think, like and share if you agree“ mid 2010s Facebook slop, fight me.
It’s just „really makes you think, like and share if you agree“ mid 2010s Facebook slop, fight me.
They say PL people only produce languages that are good for implementing languages but that pathology seems laughably tame compared to LLM frameworks/orchestrators…
May 5, 2026 at 9:30 AM
They say PL people only produce languages that are good for implementing languages but that pathology seems laughably tame compared to LLM frameworks/orchestrators…
Reposted by Nicole Heinimann
Reposted by Nicole Heinimann
people are not talking enough about how AI is a huge force multiplier, for how much of a loser you are.
many cool people are having nuanced convos and figuring out how to be more productive/creative
but people who already sucked? turning in total slop and bragging about how this changes everything
many cool people are having nuanced convos and figuring out how to be more productive/creative
but people who already sucked? turning in total slop and bragging about how this changes everything
May 4, 2026 at 4:13 PM
people are not talking enough about how AI is a huge force multiplier, for how much of a loser you are.
many cool people are having nuanced convos and figuring out how to be more productive/creative
but people who already sucked? turning in total slop and bragging about how this changes everything
many cool people are having nuanced convos and figuring out how to be more productive/creative
but people who already sucked? turning in total slop and bragging about how this changes everything
Reposted by Nicole Heinimann
every mushroom foraging guidebook: This is Woodland Pot Roast, a tasty little mushroom that adds a delightful flavour to soups and stews. Note that it is often mistaken for Satan’s Fistula, a mushroom that erases the last 9 generations of your family from God’s ledgers.
May 3, 2026 at 8:12 PM
every mushroom foraging guidebook: This is Woodland Pot Roast, a tasty little mushroom that adds a delightful flavour to soups and stews. Note that it is often mistaken for Satan’s Fistula, a mushroom that erases the last 9 generations of your family from God’s ledgers.
Isn’t Panic! At The Disco just Imagine Dragons for gay people?
May 2, 2026 at 10:34 AM
Isn’t Panic! At The Disco just Imagine Dragons for gay people?
Reposted by Nicole Heinimann
The Matrix was right: the future *is* really full of screens streaming terminal text no one is reading
April 27, 2026 at 2:11 PM
The Matrix was right: the future *is* really full of screens streaming terminal text no one is reading
Reposted by Nicole Heinimann
me: navigate to new page
github: idk what that means
me: navigate to new page
github: loading bar stuck
github: idk what that means
me: navigate to new page
github: loading bar stuck
April 26, 2026 at 7:17 AM
me: navigate to new page
github: idk what that means
me: navigate to new page
github: loading bar stuck
github: idk what that means
me: navigate to new page
github: loading bar stuck
I vastly prefer mahjong over chess because getting sharked for my lunch money by a bunch of grandmas feels so much more dignified than anything in the chess world
April 25, 2026 at 12:28 PM
I vastly prefer mahjong over chess because getting sharked for my lunch money by a bunch of grandmas feels so much more dignified than anything in the chess world
Reposted by Nicole Heinimann
this is like how Aubrey and Maturin met
At the Friday morning orchestra concert I just sat next to a guy who waited out a *forty-six-minute* piece of music in order to raucously boo it at the end. Incredible degree of commitment to being a hater
April 24, 2026 at 5:39 PM
this is like how Aubrey and Maturin met
Reposted by Nicole Heinimann
I will get my news on hot new trends in medical misinformation like I always have: Watching The Pitt complain about it
April 17, 2026 at 5:10 AM
I will get my news on hot new trends in medical misinformation like I always have: Watching The Pitt complain about it
Reposted by Nicole Heinimann
This is a complete fabrication. The linked study does not find this nor does it purport to find this nor does it even attempt to find anything like this nor does it involve collecting or analyzing any data whatsoever about children in households that used voice commands.
Oh:
A 2022 study found that children in households that used voice commands with tools like Siri and Alexa became curt when speaking with humans, often calling out “Hey, do X” and expecting obedience, especially from anyone whose voice resembled the default-female electronic voices.
A 2022 study found that children in households that used voice commands with tools like Siri and Alexa became curt when speaking with humans, often calling out “Hey, do X” and expecting obedience, especially from anyone whose voice resembled the default-female electronic voices.
AI learns language from skewed sources. That could change how we humans speak – and think | Bruce Schneier
Large language models aren’t trained on real-life conversations. As we encounter their language, it could affect our own
www.theguardian.com
April 16, 2026 at 5:00 AM
This is a complete fabrication. The linked study does not find this nor does it purport to find this nor does it even attempt to find anything like this nor does it involve collecting or analyzing any data whatsoever about children in households that used voice commands.
Incredible Gell-Mann moment seeing people I thought to be smart repost this preprint and call it exciting or even particularly interesting.
Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking.
arxiv.org/abs/2603.21852
arxiv.org/abs/2603.21852
April 14, 2026 at 10:34 PM
Incredible Gell-Mann moment seeing people I thought to be smart repost this preprint and call it exciting or even particularly interesting.
Reposted by Nicole Heinimann
Young people are increasingly valuing in person interaction, they’ve been seen to be forming markets outside under a buttonwood tree, trading securities the old fashioned way by yelling at each other and using elaborate hand signals
April 14, 2026 at 4:26 AM
Young people are increasingly valuing in person interaction, they’ve been seen to be forming markets outside under a buttonwood tree, trading securities the old fashioned way by yelling at each other and using elaborate hand signals
I think you should have to wear a BMO costume for your CS graduation
April 12, 2026 at 7:53 AM
I think you should have to wear a BMO costume for your CS graduation
Reposted by Nicole Heinimann
to me the pitt is a love letter to new york city – a town it lovingly accepts, warts and all. in a sense, new york is almost the show's main character
April 10, 2026 at 5:37 PM
to me the pitt is a love letter to new york city – a town it lovingly accepts, warts and all. in a sense, new york is almost the show's main character
I cant believe Nix actually fixes this.
April 9, 2026 at 8:16 AM
I cant believe Nix actually fixes this.
Rolling the boulder up the hill (Explaining why Bernoulli's principle does not explain why airfoils generate lift)
April 7, 2026 at 8:09 AM
Rolling the boulder up the hill (Explaining why Bernoulli's principle does not explain why airfoils generate lift)
Reposted by Nicole Heinimann
procedural carrot generator side quest in threejs
April 6, 2026 at 11:30 PM
procedural carrot generator side quest in threejs
Reposted by Nicole Heinimann
xml is kiki json is bouba
Everyone knows the real reason why json won over xml is because the latter was too pointy and the former has much better affordances because it's curvier
April 4, 2026 at 5:19 PM
xml is kiki json is bouba