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
To those who say "what's the worst that could happen": Saying shit like this will get your neural orb subpoenaed and could impact your next artifacer exam. They might even revoke your license to practice hermetic cyberimplantation...
110
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 · 06/05/2026
Play Disco Elysium (again), then play Call of Duty Black Ops 7, then look at the numbers of sold units and weep
010
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
I see, when I say formal I really mean mechanized so I see where the misunderstanding might come from. I see a danger in LLMs being really good at faking a formal style that no one checks so to me proof checkers and co are the only way to keep them honest at scale.
010
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
Could you elaborate?
110
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
Don’t take this as me saying LLMs are not really weird and interesting and potentially very very powerful, I’m just tired of a lot of formalism and scientific rigor LARP with mystical properties. Especially shit like auto-formalization gives me a thousand yard stare.
030
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
My regrettably serious take on this is that once all the prescientific productivity slop in harnesses fades away we’ll rediscover that machine checkable formal specs are kind of a nifty idea at which point LLMs will reach the final stage of every ML approach: (Proof/Program) Search
230
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
You’re gonna hear from my typechecker!
020
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
media.tenor.com
a woman in a pink shirt is speaking into a microphone and saying how dare you
ALT: a woman in a pink shirt is speaking into a microphone and saying how dare you
120
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
Nicole Heinimann @saltypeppermint.bsky.social · 05/05/2026
I just want to see Ohtani throw a perfect game, steal 3 bases, hit 5 dingers in a row and then turn off the tv when another player comes in.
010
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
Nicole Heinimann @saltypeppermint.bsky.social · 29/04/2026
You already said it was an FSF project
060
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 · 26/04/2026
020
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 · 21/04/2026
Jesus Friedrich Christus please get a Privathaftpflicht asap, dm about it, anything
010
Nicole Heinimann @saltypeppermint.bsky.social · 21/04/2026
Equivalent to a credit default swap for physical goods you own or you as a person, hope that helps
010
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 · 15/04/2026
We should deal with it the way god intended: Exponential processing fees for every page over 20 on arXiv
030
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
Is "niche forum mod goes mad with minuscule power"-drama what people miss about the old web?
060
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
4934
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