Nicole Heinimann
@saltypeppermint.bsky.social
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Ed Zitron is AI criticslop
i should make an ed zitron bot
lol this is gonna burst so fucking hard
February 15, 2026 at 9:31 AM
Ed Zitron is AI criticslop
I've been using it for years now but I still feel like I'm falling down an M. C. Escher painting whenever I have to transfer at Berlin Hbf.
February 15, 2026 at 9:29 AM
I've been using it for years now but I still feel like I'm falling down an M. C. Escher painting whenever I have to transfer at Berlin Hbf.
Reposted by Nicole Heinimann
the account which posted this appears to be an AI agent farming karma before it turns into an advertising bot
lol this is gonna burst so fucking hard
February 15, 2026 at 4:36 AM
the account which posted this appears to be an AI agent farming karma before it turns into an advertising bot
You can ask for cheaper consumer GPUs without having a meltdown about datacenters as if they're ontologically evil.
I want one too but I don't shape all my beliefs on technology and politics around what's essentially a treat.
I want one too but I don't shape all my beliefs on technology and politics around what's essentially a treat.
February 14, 2026 at 11:33 AM
You can ask for cheaper consumer GPUs without having a meltdown about datacenters as if they're ontologically evil.
I want one too but I don't shape all my beliefs on technology and politics around what's essentially a treat.
I want one too but I don't shape all my beliefs on technology and politics around what's essentially a treat.
Convincing people that it’s actually pronounced ep-ih-TOHM in German is really fun, you should try it.
February 14, 2026 at 9:39 AM
Convincing people that it’s actually pronounced ep-ih-TOHM in German is really fun, you should try it.
Why is the GStreamer API stupid typed?
How does using an i32 for a resolution make sense?!
How does using an i32 for a resolution make sense?!
February 13, 2026 at 9:47 PM
Why is the GStreamer API stupid typed?
How does using an i32 for a resolution make sense?!
How does using an i32 for a resolution make sense?!
Early adopter wizards out there pondering their toruses
February 8, 2026 at 4:16 PM
Early adopter wizards out there pondering their toruses
Reposted by Nicole Heinimann
Claude. I said MAKE NO MISTAKES
February 6, 2026 at 11:06 PM
Claude. I said MAKE NO MISTAKES
Reposted by Nicole Heinimann
inspired by CLAUDE.md, I’ve started putting markdown files named after coworkers into work code repos so I can remind them to stop doing shit to the codebase that annoys me
for some reason they’re all mad at me now, which means ill be adding commands to JEREMY.md for an attitude adjustment
for some reason they’re all mad at me now, which means ill be adding commands to JEREMY.md for an attitude adjustment
February 4, 2026 at 5:32 PM
Who asked for the new-ish ACM DL reader that automatically adds requires an additional click and adds a useless cover page when trying to download a PDF?
Genuinely, who wants that?
I just want to download a PDF...
Genuinely, who wants that?
I just want to download a PDF...
February 3, 2026 at 11:37 AM
Who asked for the new-ish ACM DL reader that automatically adds requires an additional click and adds a useless cover page when trying to download a PDF?
Genuinely, who wants that?
I just want to download a PDF...
Genuinely, who wants that?
I just want to download a PDF...
Reposted by Nicole Heinimann
in the nato alphabet her name is charli xray charlie xray
February 2, 2026 at 11:22 AM
in the nato alphabet her name is charli xray charlie xray
Reposted by Nicole Heinimann
everyone and their dog keeps going on about custom harnesses and memory systems and work orchestrators and I'm getting the feeling that they are predominantly a way to get endorphins by producing work-shaped things rather than doing work
February 1, 2026 at 2:56 AM
everyone and their dog keeps going on about custom harnesses and memory systems and work orchestrators and I'm getting the feeling that they are predominantly a way to get endorphins by producing work-shaped things rather than doing work
Reposted by Nicole Heinimann
Bluesky is mad because people here fetishize the physical object of a book as a symbol rather than the meaningful information it contains. I’m sure Elsevier et al would love the hypothetical IP regime where you only have usufruct to your books and it’s illegal to destroy them or transfer ownership!
Anthropic hired the former head of Google Books to oversee its secret "Project Panama," new court docs show — quietly buying millions of used books in bulk, breaking their spines and scanning them to feed into its Claude chatbot. wapo.st/4rjXAMQ
January 27, 2026 at 10:30 PM
Bluesky is mad because people here fetishize the physical object of a book as a symbol rather than the meaningful information it contains. I’m sure Elsevier et al would love the hypothetical IP regime where you only have usufruct to your books and it’s illegal to destroy them or transfer ownership!
Reposted by Nicole Heinimann
(1/5) We are happy to announce the release of our POPL'26 coverage totaling over 230 talks and presentations across co-located events: POPL, Dafny, LAFI, PriSC, CPP, PlanQC, VMCAI, PEPM, RocqPL, and WITS!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
ACM SIGPLAN
Special Interest Group on Programming Languages
The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...
youtube.com
January 27, 2026 at 1:06 PM
(1/5) We are happy to announce the release of our POPL'26 coverage totaling over 230 talks and presentations across co-located events: POPL, Dafny, LAFI, PriSC, CPP, PlanQC, VMCAI, PEPM, RocqPL, and WITS!
youtube.com/@acmsigplan
youtube.com/@acmsigplan
Reposted by Nicole Heinimann
This is your brain on functional programming.
Symbol names have been changed to protect the guilty.
Symbol names have been changed to protect the guilty.
![Python code
names = list(map(lambda x: x.name, a))
names = ", ".join(names)
foo = list(map(lambda x: x.foo, a))
bar = list(
map(lambda x: list(map(lambda y: y.to_string(), x)), foo)
)
bar = list(map(lambda x: " / ".join(x), bar))
bar = "(" + "; ".join(bar) + ")"
thingy = thingy[fnord]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:uphkzoyqessam57n3tpc53yc/bafkreidu2o3rfbhhyxuy7uplrvbywzeoy5hywvn5i2zwd4nipmz2neddoi@jpeg)
January 24, 2026 at 1:40 PM
This is your brain on functional programming.
Symbol names have been changed to protect the guilty.
Symbol names have been changed to protect the guilty.
Reposted by Nicole Heinimann
how about Ananas Archive and it's just a facility storing a vast quantity of pineapples
January 22, 2026 at 8:50 PM
how about Ananas Archive and it's just a facility storing a vast quantity of pineapples
Reposted by Nicole Heinimann
Another expression of concern for former Stanford president Marc Tessier-Lavigne. Four of his papers have been retracted.
retractiondatabase.org/RetractionSe...
retractiondatabase.org/RetractionSe...
Editorial Expression of Concern: En passant neurotrophic action of an intermediate axonal target in the developing mammalian CNS - Nature
Nature - Editorial Expression of Concern: En passant neurotrophic action of an intermediate axonal target in the developing mammalian CNS
www.nature.com
January 20, 2026 at 9:27 PM
Another expression of concern for former Stanford president Marc Tessier-Lavigne. Four of his papers have been retracted.
retractiondatabase.org/RetractionSe...
retractiondatabase.org/RetractionSe...
Reposted by Nicole Heinimann
Reposted by Nicole Heinimann
Weekend thoughts on Gas Town, Beads, slop AI browsers, and AI-generated PRs flooding overwhelmed maintainers. I don't think we're ready for our new powers we're wielding. lucumr.pocoo.org/2026/1/18/ag...
Agent Psychosis: Are We Going Insane?
What’s going on with the AI builder community right now?
lucumr.pocoo.org
January 18, 2026 at 10:38 AM
Weekend thoughts on Gas Town, Beads, slop AI browsers, and AI-generated PRs flooding overwhelmed maintainers. I don't think we're ready for our new powers we're wielding. lucumr.pocoo.org/2026/1/18/ag...
In an age of LLMs this 122 year old Marxist still denounces the culture industry the old fashioned way
January 17, 2026 at 11:48 AM
In an age of LLMs this 122 year old Marxist still denounces the culture industry the old fashioned way
I wish he would miss for once
January 17, 2026 at 10:46 AM
I wish he would miss for once
Lighting fireworks in the Berlin metro is only legal 3 days before and after New Year’s Eve, get it together smh
January 17, 2026 at 9:56 AM
Lighting fireworks in the Berlin metro is only legal 3 days before and after New Year’s Eve, get it together smh
I mainly watch Go matches for the unearned sense of smugness after guessing the right move once and forgetting the 28 times I guessed wrong.
January 17, 2026 at 9:12 AM
I mainly watch Go matches for the unearned sense of smugness after guessing the right move once and forgetting the 28 times I guessed wrong.
Reposted by Nicole Heinimann
the Buddha released you from the obligation to have a take
January 16, 2026 at 4:12 AM
the Buddha released you from the obligation to have a take