Nicole Heinimann's Avatar

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

188 Followers  |  220 Following  |  141 Posts  |  Joined: 26.06.2023  |  1.9474

Latest posts by saltypeppermint.bsky.social on Bluesky

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.

14.02.2026 11:33 β€” πŸ‘ 39    πŸ” 5    πŸ’¬ 0    πŸ“Œ 1

Convincing people that it’s actually pronounced ep-ih-TOHM in German is really fun, you should try it.

14.02.2026 09:39 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Why is the GStreamer API stupid typed?

How does using an i32 for a resolution make sense?!

13.02.2026 21:47 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Early adopter wizards out there pondering their toruses

08.02.2026 16:16 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Apparently compiling hello world exactly as the README says to is an unfair expectation of the software.

Apparently compiling hello world exactly as the README says to is an unfair expectation of the software.

Claude. I said MAKE NO MISTAKES

06.02.2026 23:06 β€” πŸ‘ 11    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1

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

04.02.2026 17:32 β€” πŸ‘ 787    πŸ” 163    πŸ’¬ 6    πŸ“Œ 6

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...

03.02.2026 11:37 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

in the nato alphabet her name is charli xray charlie xray

02.02.2026 11:22 β€” πŸ‘ 587    πŸ” 137    πŸ’¬ 7    πŸ“Œ 1

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

01.02.2026 02:56 β€” πŸ‘ 169    πŸ” 19    πŸ’¬ 11    πŸ“Œ 3

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!

27.01.2026 22:30 β€” πŸ‘ 196    πŸ” 16    πŸ’¬ 12    πŸ“Œ 4
Preview
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, ...

(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

27.01.2026 13:06 β€” πŸ‘ 8    πŸ” 6    πŸ’¬ 1    πŸ“Œ 0

The patient needs discourse to live!

27.01.2026 16:54 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Always have been

25.01.2026 20:09 β€” πŸ‘ 75    πŸ” 9    πŸ’¬ 4    πŸ“Œ 1
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]

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]

This is your brain on functional programming.

Symbol names have been changed to protect the guilty.

24.01.2026 13:40 β€” πŸ‘ 18    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
dozens of Chiquita shipping containers

dozens of Chiquita shipping containers

how about Ananas Archive and it's just a facility storing a vast quantity of pineapples

22.01.2026 20:50 β€” πŸ‘ 12    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
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

Another expression of concern for former Stanford president Marc Tessier-Lavigne. Four of his papers have been retracted.
retractiondatabase.org/RetractionSe...

20.01.2026 21:27 β€” πŸ‘ 24    πŸ” 9    πŸ’¬ 0    πŸ“Œ 1
A Safe GPU Systems Programming Language Descend Webpage

Unfortunately not (yet?). The closest thing we have, Futhark, doesn’t get peak performance out of GPUs.
The biggest problem is not parallelizing the compute but precise control of when, where and how to move memory, when to reuse it or recompute values and how to synchronize.
See descend-lang.org

21.01.2026 07:35 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Modified from: https://rakhim.org/images/honestly-undefined/blogging.jpg

Image created by my wonderful partner: @ember.pet

Chart plotting "Number of projects finished" vs "Number of posts about elaborate vibecoding setup"

These points in the top-left corner are labeled "prolific peak of hype-doesn't matter":

- CODING SETUP FROM 2004
- READS OLD-ASS DOXYGEN DOCS
- WEIRD CHICK WHO WON'T USE AN IDE
- COOL MIT PROFESSOR
- THAT GIRL WHO NEVER STOPPED USING STACKOVERFLOW

These points in the bottom-right corner are labeled "code gen basin":

- COPIES CODE FROM CHATGPT.COM
- GEMINI FAN
- "MY PROMPT CHAINING PL" GIRL
- MOVED FROM SONNET TO OPUS
- AUTHORS OF GAME JAM DMOS

One point in the bottom left corner labeled:

- 5b8cf6 8 years ago

One point in the top right corner labeled:

- SUPER HUMAN FROM THAT POPULAR TWITCH STREAM

Modified from: https://rakhim.org/images/honestly-undefined/blogging.jpg Image created by my wonderful partner: @ember.pet Chart plotting "Number of projects finished" vs "Number of posts about elaborate vibecoding setup" These points in the top-left corner are labeled "prolific peak of hype-doesn't matter": - CODING SETUP FROM 2004 - READS OLD-ASS DOXYGEN DOCS - WEIRD CHICK WHO WON'T USE AN IDE - COOL MIT PROFESSOR - THAT GIRL WHO NEVER STOPPED USING STACKOVERFLOW These points in the bottom-right corner are labeled "code gen basin": - COPIES CODE FROM CHATGPT.COM - GEMINI FAN - "MY PROMPT CHAINING PL" GIRL - MOVED FROM SONNET TO OPUS - AUTHORS OF GAME JAM DMOS One point in the bottom left corner labeled: - 5b8cf6 8 years ago One point in the top right corner labeled: - SUPER HUMAN FROM THAT POPULAR TWITCH STREAM

20.01.2026 04:15 β€” πŸ‘ 126    πŸ” 15    πŸ’¬ 6    πŸ“Œ 1
Preview
Agent Psychosis: Are We Going Insane? What’s going on with the AI builder community right now?

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...

18.01.2026 10:38 β€” πŸ‘ 266    πŸ” 65    πŸ’¬ 22    πŸ“Œ 32

In an age of LLMs this 122 year old Marxist still denounces the culture industry the old fashioned way

17.01.2026 11:48 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I wish he would miss for once

17.01.2026 10:46 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Lighting fireworks in the Berlin metro is only legal 3 days before and after New Year’s Eve, get it together smh

17.01.2026 09:56 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Just kidding... unless, a story as old as time

17.01.2026 09:14 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

17.01.2026 09:12 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 1

I think you can get access to their cli tool and API if you send them a friendly email, they are quite generous.

16.01.2026 11:11 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

"Harmonic at home"

16.01.2026 09:08 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Damn I was thinking of glueing smth like that together, very cool.

16.01.2026 09:07 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

the Buddha released you from the obligation to have a take

16.01.2026 04:12 β€” πŸ‘ 176    πŸ” 29    πŸ’¬ 18    πŸ“Œ 2

A reminder for those interested in PLISS 2026: there are 10 days left to register your interest. pliss.org/2026/registr...

15.01.2026 08:58 β€” πŸ‘ 6    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

[guy who’s spent the past 72 hours watching videos on Gnosticism]: gonna be a huge year for Gnosticism I think

14.01.2026 01:21 β€” πŸ‘ 525    πŸ” 49    πŸ’¬ 19    πŸ“Œ 7

@saltypeppermint is following 20 prominent accounts