Nicole Heinimann's Avatar

Nicole Heinimann

@saltypeppermint

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

195
Followers
224
Following
158
Posts
26.06.2023
Joined
Posts Following

Latest posts by Nicole Heinimann @saltypeppermint

I'm being spicy today, but kind of tired of epistemic generosity. I just want to make clear that some of us have tried figuring out what the hell is going on in 'alignment' research and the like, and have come away finding poor research design.

vincentcarchidi.substack.com/p/against-fa...

01.03.2026 16:54 πŸ‘ 29 πŸ” 4 πŸ’¬ 2 πŸ“Œ 3
Preview
Kākāpō Cam: Rakiura the kākāpō – 2026 nest YouTube video by Department of Conservation

What if we kissed in the Kākāpō nest livestream chat www.youtube.com/live/BfGL7A2...

06.03.2026 10:25 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

i think it's pretty rad that being a shitty person makes you worse at ai honestly. could never have predicted this. like a goddamn rpg mechanic where you have to be pure of heart

05.03.2026 08:07 πŸ‘ 330 πŸ” 42 πŸ’¬ 19 πŸ“Œ 3

Hax0r LARPing is very popular

05.03.2026 04:00 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

Fascinating ad to be getting today

04.03.2026 20:54 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Claude Code:
Which option would you like to go with?
1. [HIGHLY RECOMMENDED]
2. [BAD. DO NOT CHOOSE]
3. [AWFUL, EW]

me: *munching on chips* uhh 1 i guess? idk tho

cc: Excellent choice, sire. You are as resplendent as you are wise. I will proceed with the implementation forthwith.

25.02.2026 00:34 πŸ‘ 133 πŸ” 14 πŸ’¬ 5 πŸ“Œ 0
Post image

Easily one of the top charts of all time

24.02.2026 23:06 πŸ‘ 702 πŸ” 175 πŸ’¬ 26 πŸ“Œ 48

in a shocking twist of events, manjaro.org forgot to renew their ssl cert for the fourth(?) time

24.02.2026 18:20 πŸ‘ 16 πŸ” 1 πŸ’¬ 3 πŸ“Œ 0

They have almost nothing to do with each other.
A neuron in a neural network and a neuron in a brain only resemble each other in the most abstract sense.

Biological neurons do not train via backpropagation and have no activation function.

23.02.2026 21:43 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

My two rules to identify crazy people to avoid:
1. Pro-AI folks who mention AGI
2. Anti-AI folks who mention AGI

/fin

23.02.2026 13:09 πŸ‘ 9 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

it’s wild that for all the titans in the fossil record, blue whales - who are with us right here and now - are, as far as we know, the largest animals that have ever lived

23.02.2026 02:27 πŸ‘ 1855 πŸ” 352 πŸ’¬ 25 πŸ“Œ 5

Need an angel to pierce the CS-Field and trigger the third impact (Market correction of tech company valuations)

23.02.2026 11:57 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

People talk about CS having math envy but I think we’re seriously underestimating physics/chemistry/biology envy

23.02.2026 09:55 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Every time someone compares the number of neuron in a biological brain to that of a LLM I want to plant a tree and then burn down another tree out of frustration.

23.02.2026 09:51 πŸ‘ 7 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

I want to start calling that specific kind of overconfident wrongness you find on hacker news β€œhuman slop”

23.02.2026 08:29 πŸ‘ 25 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

One thing we keep hearing about why LLMs can write code is that we have an objective function for determining the correctness of their output. We actually don’t! This bizarre belief is at the root of the problem with how these tools are being deployed.

21.02.2026 13:53 πŸ‘ 30 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0

I need to hear the Rivers Cuomo / Limp Bizkit collaboration.
I know it's out there somewhere

20.02.2026 21:37 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

And then there are the papers that everyone cites just cause they’re trying to woo reviewers with irrelevant theory.
Math envy motivated citation slop.

(Grumbling about people misunderstanding the no free lunch theorem)

20.02.2026 08:55 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

www.bsi.bund.de/SharedDocs/D...

19.02.2026 12:47 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

The BSI (German Federal Office for Information Security) recommending the brainpool curves and not even mentioning 25519 is genuinely unhinged.

19.02.2026 12:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

PL is Tsundere for LLMs

18.02.2026 07:45 πŸ‘ 2 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

That’s not enough, I want revolver dentition

16.02.2026 10:06 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

OCaml is the C++ of functional languages

16.02.2026 09:17 πŸ‘ 6 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

It's a great station, not complaining.

15.02.2026 09:32 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Ed Zitron is AI criticslop

15.02.2026 09:31 πŸ‘ 8 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

15.02.2026 09:29 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

the account which posted this appears to be an AI agent farming karma before it turns into an advertising bot

15.02.2026 04:36 πŸ‘ 948 πŸ” 140 πŸ’¬ 24 πŸ“Œ 30

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