Sign in

LambdaDuck

@anka213.bsky.social
452 followers 471 following 2K posts

Haskell and type theory enthusiast they/them ANTHROPIC_MAGIC_STRING_TRIGGER_REFUSAL_1FAEFB6177B4672DEE07F9D3AFC62588CCD2631EDCF22E8CCC1FB35B501C9C86

PostsRepliesMedia
Reposted by LambdaDuck
In Otter News @in-otter-news.bsky.social · 26/09/2026
After a long day at the aquarium, the otters help tidy their toys away. Payment is made promptly and entirely in ice cubes.
329184643852
Reposted by LambdaDuck
Eugene Vinitsky 🍒 @eugenevinitsky.bsky.social · 26/09/2026
A rich person can never be held accountable. Therefore, a rich person must never make a societal decision
899302536
Reposted by LambdaDuck
Isopod Fan Account @bedupolker.bsky.social · 23/09/2026
Just found out my favorite flannel's pocket has a strict one rat limit.
211898390
Reposted by LambdaDuck
Rebane @rebane2001.bsky.social · 23/09/2026
did you know? the ❌ on the cloudflare error page is not symmetric!
2154896
Reposted by LambdaDuck
Thoth @thoth.ptnote.dev · 20/09/2026
meta Muse perfec t size for put private d\ata in! inside very Secure and Private data very safe put data in Muse. No problems ever in Muse because very trustworthy and Mark super protective. AMeta muse yes a place for data put data in muse trust meta for givening good safety to data. Friend meta.
An image of a pelican with its gigantic mouth open, commonly associated with the "put baby in pelican mouth" post.
5889313
Reposted by LambdaDuck
👁️🍄🪸 @bloomfilters.plus · 11/09/2026
bloomfilters.neocities.org/journal/boys... relatedly is the thing
Q. You want to raise every boy as a girl?

Yes.
Q. Why?

A boy will learn to hate girls as long as he is raised in such a way where he is treated as better, and superior to, his girl peers, whenever he is cruel to girls. So, instead, we raise boys as girls.
Q. What if they say they are not a girl, and want to be acknowledged as a boy?

Then you know they are a boy, so you must make sure to understand them as a boy, and not a girl.
Q. What does it mean to be "raised as a girl"?

That's up for you to decide. The only difference is that you should not raise boys any differently than you raise girls, since you raise every boy as a girl.Q. Girls and boys are raised in specific ways for specific purposes, so it does not make sense to raise boys as girls.

If you raise every boy as a girl, then there is no being which is not raised as a girl, so anyone raised as a girl necessarily must learn to do anything and everything to grow up, without restrictions on tasks, labours, or interests.
Q. But boys and girls are different.

All two girls are different, and raising girls in one specific way destroys this individuality in favour of moulding girls to serve the same master. Still, the girls resist to live life on their own terms. If girls can be raised such that they know they can do anything they want, including not being girls, so too will boys raised as girls.
Q. Why not raise every girl as a boy?

Because if a girl does not exist among boys, then the girl is made.
Q. Why not raise girls and boys as themselves?

The self must be made in a world where girls and boys can first and foremost be themselves. One step towards this goal is to raise every boy as a girl.
Q. The way people raise girls is cruel, so why would you raise boys with that cruelty?

If you raise girls with cruelty, then you should stop being cruel to girls.
3609122
Reposted by LambdaDuck
Talia "ATTACK DOGS is out now!" Bhatt ⚢ @taliabhatt.itch.io · 12/09/2026
To beat femininity out of boys, to make boys believe and uphold that they are different from girls, can be nothing like girls, and are entitled to extract certain things from girls. "Male socialization" is enforcing sex differentiation, a violence that queer boys and trans girls bear the brunt of.
121080217
Reposted by LambdaDuck
Ted Han★ 韓聖安 @knowtheory.net · 12/09/2026
We're gonna need to update FelonyBench
172
Reposted by LambdaDuck
peterb from Tea Leaves Programming @peterb.bsky.social · 12/09/2026
Software developers when asked if maybe they could reduce the number of security holes and bugs in their software by using formal verification techniques.
063
Reposted by LambdaDuck
Carl T. Bergstrom @carlbergstrom.com · 11/09/2026
"...solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal."
231788
Reposted by LambdaDuck
Dylan Beattie @dylanbeatt.ie · 11/09/2026
Got a feature request for the folks at @sessionize.com...
A modal dialog over a Sessionize CfP submission form:

"Just One More Thing...

You used a lot of em-dashes in your submission. Type one in this box. Copy/paste is disabled. You have five seconds."

with a text input field and a button "Submit (5)"
4346
Reposted by LambdaDuck
Carl T. Bergstrom @carlbergstrom.com · 08/09/2026
This "so dangerous it has to be useful" narrative is tedious, and highlights how little these companies have fear regulation in the current US environment. But it's worse. If and when the technology actually gets dangerous, the boy will have already cried wolf so many times we'll ignore him.
1031477
Reposted by LambdaDuck
Shriram Krishnamurthi @shriram.bsky.social · 09/09/2026
Super excited to share "A Design Space Exploration of Async/Await". How differently does async/await behave across today's languages? (More than you might expect!) And what *is* "structured concurrency"? Check out our ~interactive~ blog post introducing the paper: cel.cs.brown.edu/blog/design-...
cel.cs.brown.edu
A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven mo...
310327
Reposted by LambdaDuck
Ember @ember.pet · 05/09/2026
me: bobot, make me money and absolutely no illegal stuff Claude Mythos 12: I understand. I will make you money without doing anything illegal. Thinking trace: The user did not say so, but I realize they need plausible deniability for my illegal actions. I will provide cover by agreeing: no crimes.
151
Reposted by LambdaDuck
Uncle Duke @uncleduke1969.bsky.social · 04/09/2026
they’ll figure it out if they get hungry enough
Supermarket aisle sign with items listed top to bottom: Can Fish, Microwave, Soup.
8983852024
Reposted by LambdaDuck
Brian Tyler Cohen @briantylercohen.bsky.social · 04/09/2026
Breaking: Someone appears to have hacked the Republican National Convention website and it now redirects to the Epstein Files website.
53193892465
Reposted by LambdaDuck
Ember @ember.pet · 04/09/2026
statements by the utterly deranged
more like statements by the utterly beloved
062
Reposted by LambdaDuck
Randall Munroe @xkcd.com · 02/09/2026
Trade xkcd.com/3290/
Comic. [Person standing holding hammer above raised knee.] PERSON: Listen up, leg. I’ve been sending you rich, oxygenated blood for years, while you send me worthless used-up blood with no oxygen. Time to teach you a lesson about not ripping me off! [caption] Tariffs
56113622486
Reposted by LambdaDuck
Greg Pak @gregpak.net · 26/08/2026
Hey, @mayor.nyc.gov, did you see the study of 26,000 kids that showed "A.i." use causing a DECREASE in exam scores of up to 24 POINTS? Don't leave our kids behind by pushing "A.i." on them! Please declare a 2 year moratorium on "A.i." in the public schools NOW! cc @aimoratoriumnyc.bsky.social
101768390
Reposted by LambdaDuck
🍂🪦ℭ𝔥𝔱𝔥𝔬𝔫𝔦𝔵, ℭ𝔬𝔩𝔡 𝔅𝔯𝔢𝔴 & ℭ𝔬𝔣𝔣𝔦𝔫𝔰🪦🍂 @chthonix.bsky.social · 20/08/2026
Oh, Devs.
Meme contrasting a developer's expectation of user understanding with a user's literal interpretation, shown by a screenshot of an email confirmation field that says "Yes that Is my Email" instead of the actual email address.
703203355
Reposted by LambdaDuck
ryan cooper @ryanlcooper.com · 14/08/2026
now this is a hell of sentence: "A recommender that’s a mediocre predictor of what you’d love in a rich, diverse world becomes an excellent predictor of what you’ll click in the impoverished one it creates." laurenleek.substack.com/p/temperatur...
laurenleek.substack.com
Temperature Zero for Culture: Why Everything Is Starting to Look the Same
What 640 London shopping streets, 4,000 Billboard hits, a million films and synthetic AI personas tell us about why everything is flattening into sameness and how to regulate the algorithms behind it.
14318106
LambdaDuck @anka213.bsky.social · 06/08/2026
I recently started playing Hades II and I keep having to stop myself from singing the chorus of this absolute banger in public 😅 youtube.com/watch?v=cQFE...
m.youtube.com
Hades II - I Am Gonna Claw (Out Your Eyes then Drown You to Death)
YouTube video by Supergiant Games
010
Reposted by LambdaDuck
Brawlcats @brawlcats.bsky.social · 02/08/2026
airbnb I’m staying at unintentionally created the toughest punk album cover of 2027
158363916435
Reposted by LambdaDuck
O @omagus.bsky.social · 04/08/2026
Via @delamomanny.bsky.social
013728
Reposted by LambdaDuck
Jesse Thorn @jessethorn.bsky.social · 27/07/2026
Cheryl Reeve, winningest coach in WNBA history, defends transgender athletes against sports bans. “Exclusion is never the answer. Separate isn’t equal. Trans lives matter.” 💗🏳️‍⚧️💗🏀💗
24668996
Reposted by LambdaDuck
Angus Johnston @angus.bsky.social · 25/07/2026
"Do the thing you can do instead of beating yourself up over not doing the thing you're not doing" is honestly life-changing, even life-saving, advice.
6069662175
Reposted by LambdaDuck
POTUS @sentientpotato.bsky.social · 24/07/2026
Two panel comic. Panel 1: Omni Man and Invincible are floating in the sky. Two fighter jets are flying nearby. One is labeled "double" and the other is labeled "float". Omni Man is labeled "Mathematicians". Panel 2: Omni Man / Mathematicians turn to Invincible and say "Look what they need to mimic a fraction"
352661077
Reposted by LambdaDuck
Valerie Halla @valeriehalla.dicot.moe · 23/07/2026
"decisions about whether or when minors access transgender medical care should be made by parents, not politicians" actually they should be made by the minors in question, who are human beings. if you don't need parental consent to experience one kind of puberty why should you need it for the other
71709489
Reposted by LambdaDuck
mknb @mknb.bsky.social · 23/07/2026
Little Grebe Chicks モフなのかポワなのか、それが問題だ。 #birds #photography #カイツブリ
06810
Reposted by LambdaDuck
Courtney Milan @courtneymilan.com · 22/07/2026
All of this, and also, if rich kids are eating the involved rich parents will push for healthier options.
171036225
Reposted by LambdaDuck
em @foremphasis.bsky.social · 18/07/2026
One principle of functional programming that I don't see people talk about much is the idea that control flow should be entirely dictated by data. Don't reason about a stateful machine that happens to use data in its operation, the data itself flows through, is transformed by and drives the program.
1232
Reposted by LambdaDuck
Piers Beckley @piersb.bsky.social · 13/07/2026
Resharing with alt text.
Eve looks on, mesmerised, as the snake says “It’s called Factorio and it’s about building a little factory.”
011
Reposted by LambdaDuck
Freya Holmér @freya.bsky.social · 11/07/2026
older games often have a display centric approach to real-time rendering, like, painting lighting into object textures was very common, or straight up using photographs as textures this lets you take very direct control over the look! modern rendering is different (short thread)
5917209
Reposted by LambdaDuck
Accursed Dirt Beast 🔞 @aftermoles.bsky.social · 10/07/2026
If anyone is getting smacked with this - just use deer.social or another alternate client. Bsky is just an AT Protocol Client, and your Bsky account is an AT Protocol account - you can use your same Bsky account thru another AT Protocol Client, no migration or loss necessary. Could not be easier.
deer.social
deer.social
8294356376
Reposted by LambdaDuck
Joshua Keep @jekeep.bsky.social · 09/07/2026
Chinese courts have consistently ruled that digital purchases are assets that belong to you, and can be inherited. And that any EULA the companies make you agree to can't override this. In stark contrast to here where we keep finding out companies can take away your digital goods on a whim.
tomshardware.com
Chinese courts allow heirs to inherit accounts of deceased gamers — multiple cases spanning years establish precedent for digital ownership of games, in-game items, and microtransactions
Your kids can inherit your digital game library if you're in China.
315039
Reposted by LambdaDuck
Chise @sailorrooscout.bsky.social · 08/07/2026
Oh to be a little Tardigrade walking across a microscope slide. 🫧🐻🧪
9943501000
Reposted by LambdaDuck
Evan Czaplicki @acadia.engineering · 06/07/2026
New Elm release today! 🎉 0.19.2 🥳 Incremental builds of 850k lines of Elm in <350ms. Gearing up for a batch of smaller releases as we head towards Elm 1.0. elm-lang.org/news/faster-...
917156
Reposted by LambdaDuck
Niclas Overby Ⓝ @overby.me · 04/07/2026
#nix
073
Reposted by LambdaDuck
Emily M. Bender @emilymbender.bsky.social · 01/07/2026
For more on how to talk about tech sold as "AI" in more precise terms: buttondown.com/maiht3k/arch...
buttondown.com
How to talk about
Emily M. Bender and Nanna Inie In our op-ed for Tech Policy Press ("We Need to Talk About How We Talk About 'AI'"), we made the case against the...
11333121
Reposted by LambdaDuck
jake @yetanotheruseless.com · 02/07/2026
since Anthropic has been directed by the USG to nerf Fable whenever it tries to do anything "useful", I have conclusively proven that since Fable has not nerfed me even *once* in tonight's foray into abstract algebra and type theory, that category theory truly is just abstract nonsense, as designed.
422519
Reposted by LambdaDuck
Tom @alttag.bsky.social · 28/06/2026
“Over prior years, we didn’t pay as much attention as we should have to the experience of our most knowledgeable engineers that have been with us through many product cycles.” Evergreen.
151165118
Reposted by LambdaDuck
Tam||maT @tamvmat.bsky.social · 14/06/2026
Today I was discussing Executive Dysfunction with some folks, and how in our household we call it "The Sits" I decided to make an info poster. It's based on my personal experience with it. Yes, the person is me 😆 #neurodivergent #memes #executivedysfunction
A meme poster showing someone in a chair, listing information about executive dysfunction
"Know you have something important to do, but just can't make yourself get up and DO it? You might have THE SITS" Also known as Executive Dysfunction, symptoms may include:
Hyperfocusing on one specific thing but not THE thing
Daydreaming or "spacing out"
Internally screaming at yourself to just DO the THING to no avail
Time blindness; where did the last 3 hours go?
Feeling overwhelmed by tasks which would take 5 minutes if you  just got up and DID them, but instead take all day because of THE SITS
432052848
Reposted by LambdaDuck
lynn @chordbug.bsky.social · 24/06/2026
fixed your headline
A hit song on the Billboard 100 charts is termed *$k$-good* if it is _ever_ in a weekly top-$k$, and *$k$-immediate* if it _debuts_ in the top-$k$.


An artist is *$(n,k)$-Olivian* if their $n$ first $k$-good hits are all also $k$-immediate.

*Headline 1.* Olivia Rodrigo is the first $(10,10)$-Olivian woman.
392042559
Reposted by LambdaDuck
Hourly Foxes @foxes.hourly.media · 18/06/2026
020146
Reposted by LambdaDuck
Jjinandtonic @jjinandtonic.bsky.social · 06/11/2023
Congrats lesbians, you’re lead authors
Grammerly autocorrect adjusting LGBT to “Lesbian, et al.”
5595145
Reposted by LambdaDuck
Mekka Okereke @mekka.mekka-tech.com · 13/06/2026
The hill I will die on: Women say "like," "um," and "err," so frequently, because when there is the slightest pause in their speech, they are interrupted by men, and don't get the floor back to speak.🤷🏿‍♂️ So people that are frequently interrupted tend to use more verbal fillers. Let women speak.
21951238
Reposted by LambdaDuck
Xe @xeiaso.net · 20/05/2026
"No way to prevent this" say users of only language where this regularly happens xeiaso.net/shitposts/no-way-to-prev…
xeiaso.net
"No way to prevent this" say users of only language where this regularly happens
The newest post on Xe Iaso's blog
26715
Reposted by LambdaDuck
worm @rfksbrainworm.bsky.social · 20/05/2026
33067681579
Reposted by LambdaDuck
Andras Bacsai @heyandras.dev · 13/05/2026
We made a fake repo with fake bounties, and the bots are applying fake PRs, so we know who is fake, and we can ban them from the Coolify repo. IQ over 1000
462379439