Sign in

Nicole Heinimann

@saltypeppermint.bsky.social
225 followers 237 following 187 posts

Where are my types, I can't see without my types! 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

PostsRepliesMedia
Reposted by Nicole Heinimann
eternalist @eternalism-when.bsky.social · 09/05/2026
4583123
Nicole Heinimann @saltypeppermint.bsky.social · 09/05/2026
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.
110
Nicole Heinimann @saltypeppermint.bsky.social · 07/05/2026
„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.
000
Reposted by Nicole Heinimann
Ed @ed3d.net · 06/05/2026
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
2404
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
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.
1100
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
They say PL people only produce languages that are good for implementing languages but that pathology seems laughably tame compared to LLM frameworks/orchestrators…
2131
Reposted by Nicole Heinimann
emily s. @emily.news · 05/05/2026
media.tenor.com
a cartoon of a man standing in front of a building that says express on it
ALT: a cartoon of a man standing in front of a building that says express on it
0141
Reposted by Nicole Heinimann
cyber professional @permadeath.com · 04/05/2026
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
3314
Reposted by Nicole Heinimann
Janel Comeau 🍁 @verybadllama.bsky.social · 03/05/2026
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.
6473581843
Nicole Heinimann @saltypeppermint.bsky.social · 02/05/2026
Isn’t Panic! At The Disco just Imagine Dragons for gay people?
030
Reposted by Nicole Heinimann
john vining @johnvining.bsky.social · 27/04/2026
The Matrix was right: the future *is* really full of screens streaming terminal text no one is reading
317527
Reposted by Nicole Heinimann
David Buchanan @retr0.id · 26/04/2026
me: navigate to new page github: idk what that means me: navigate to new page github: loading bar stuck
519610
Nicole Heinimann @saltypeppermint.bsky.social · 25/04/2026
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
0160
Reposted by Nicole Heinimann
a team of bumblebees @saramchenry.bsky.social · 24/04/2026
this is like how Aubrey and Maturin met
834860
Reposted by Nicole Heinimann
Matt Keeter @mattkeeter.com · 24/04/2026
Two-pane meme of a woman from a magazine photo.  The first picture has the word "The" superimposed on her face; the second is zoomed in on her face and has the word "What?"
513820
Nicole Heinimann @saltypeppermint.bsky.social · 17/04/2026
I will get my news on hot new trends in medical misinformation like I always have: Watching The Pitt complain about it
020
Reposted by Nicole Heinimann
Colin @colin-fraser.net · 16/04/2026
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.
49720
Nicole Heinimann @saltypeppermint.bsky.social · 14/04/2026
Incredible Gell-Mann moment seeing people I thought to be smart repost this preprint and call it exciting or even particularly interesting.
1121
Reposted by Nicole Heinimann
Regime Accountant, CPA ☠️🎢 @regimecpa.bsky.social · 14/04/2026
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
535534
Nicole Heinimann @saltypeppermint.bsky.social · 12/04/2026
I think you should have to wear a BMO costume for your CS graduation
000
Reposted by Nicole Heinimann
Jon Bois @jonbois.bsky.social · 10/04/2026
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
743446393
Nicole Heinimann @saltypeppermint.bsky.social · 09/04/2026
I cant believe Nix actually fixes this.
0131
Nicole Heinimann @saltypeppermint.bsky.social · 07/04/2026
Rolling the boulder up the hill (Explaining why Bernoulli's principle does not explain why airfoils generate lift)
010
Reposted by Nicole Heinimann
Codetaur @vibe-coded.com · 07/04/2026
procedural carrot generator side quest in threejs
5554
Reposted by Nicole Heinimann
dorian @doriantaylor.com · 04/04/2026
xml is kiki json is bouba
1232776
Reposted by Nicole Heinimann
srrrse @without.boats · 01/04/2026
All these agent persona markdown files that people create feel to exactly me like when certain kinds of programmers obsess over creating, sharing and download vim config plugins
1361
Reposted by Nicole Heinimann
pollockk dilemma @linusmisera.bsky.social · 01/04/2026
verschwörungstheorie : improv schulen in den usa sind eine psyop um die menschen dazu zu erziehen jeden bizarren politischen vorstoß erstmal anzunehmen
1121
Nicole Heinimann @saltypeppermint.bsky.social · 28/03/2026
Halbwissen im Zeitalter der technischen Reproduzierbarkeit
031
Nicole Heinimann @saltypeppermint.bsky.social · 28/03/2026
The job most threatened by LLMs is the wildly overconfident midwit with an opinion on everything. I understand why the orange site panicking.
071
Nicole Heinimann @saltypeppermint.bsky.social · 24/03/2026
The Mark as a Service (MaaS) offerings of OpenClaw and Anthropic Dispatch provide unprecedented scalability for anyone with a strong aversion to their own money, security, and privacy 🚀🚀🚀
020
Reposted by Nicole Heinimann
SE Gyges @segyges.bsky.social · 23/03/2026
ai makes it obvious what the signature of serviceable but bad craftsmanship is
4944
Reposted by Nicole Heinimann
Andrew Lilley Brinker @alilleybrinker.com · 20/03/2026
Rust does not need effect generics, and attempts to pursue them are a mistake.
blog.yoshuawuyts.com
An effect notation based on with-clauses
2406
Reposted by Nicole Heinimann
Jon Bois @jonbois.bsky.social · 19/03/2026
i always respected any tv that housed composite inputs on the front of the box. this is known as The People's Input
423993534
Reposted by Nicole Heinimann
nic 🔹 @nmk.wtf · 18/03/2026
1498
Reposted by Nicole Heinimann
srrrse @without.boats · 17/03/2026
the world does not need anymore videos of people holding a clip on mic in their fingers and giving their incoherent take on a news item they half understood
0204
Reposted by Nicole Heinimann
don't hug me I'm porksweats @porksweats.bsky.social · 17/03/2026
see I like villeneuve is doing with dune because it's an allegory for quebecois independence
4827
Nicole Heinimann @saltypeppermint.bsky.social · 17/03/2026
They say if you repeat „Make illegal states unrepresentable“, „Parse don’t validate“ and „Correct by construction“ three times in the mirror the ghost of Curry Haskell appears to give you a hug.
1334
Reposted by Nicole Heinimann
Remi van Trijp @remivantrijp.bsky.social · 16/03/2026
Backpropagation and gradient descent also have obvious limitations, and these very limitations made them impractical in those decades. Specifically they require data and compute that were not available. 1960s-1970s academia/industry were quite pragmatic actually
5354
Nicole Heinimann @saltypeppermint.bsky.social · 16/03/2026
My induction stove working via a simple bang-bang control is pretty funny
000
Reposted by Nicole Heinimann
stellz @piss.beauty · 11/03/2026
the lowest tier of software content is devslop youtubers like primeagen, just video after video showing that he is bad at programming the computer but good at making people mad for clicks
7553
Reposted by Nicole Heinimann
Dane Owens @owendanes.bsky.social · 10/03/2026
Pretty crazy how important the blockade of a trade route is right now
216256686910
Nicole Heinimann @saltypeppermint.bsky.social · 10/03/2026
I feel like there are maybe 7 useful effects all of which can be expressed using a few keywords and 7262 contrived ones that require an algebraic effects system and make control flow abysmal to understand.
010
Reposted by Nicole Heinimann
Vincent Carchidi @vcarchidi.bsky.social · 01/03/2026
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...
vincentcarchidi.substack.com
Against False Indulgences in LLM Alignment
Unnecessary moral concern, and the false indulgences that drive it.
2294
Reposted by Nicole Heinimann
SE Gyges @segyges.bsky.social · 05/03/2026
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
2256554
Nicole Heinimann @saltypeppermint.bsky.social · 04/03/2026
Fascinating ad to be getting today
130
Reposted by Nicole Heinimann
aron @adler.dev · 25/02/2026
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.
413114
Reposted by Nicole Heinimann
Chris Paxton @cpaxton.bsky.social · 24/02/2026
Easily one of the top charts of all time
25693172
Reposted by Nicole Heinimann
asa @asap.systems · 24/02/2026
in a shocking twist of events, manjaro.org forgot to renew their ssl cert for the fourth(?) time
3161
Reposted by Nicole Heinimann
Gladstone in DC @district.blue · 23/02/2026
My two rules to identify crazy people to avoid: 1. Pro-AI folks who mention AGI 2. Anti-AI folks who mention AGI /fin
191