iiinova — where your digital self keeps evolving

Reposted by Rebecca Skinner

The Pragmatic Bookshelf ✅ @pragprog.com · 07/12/2025

Beta Update - Haskell Brain Teasers by Rebecca Skinner @cercerilla.bsky.social pragprog.com/titles/... Two complete new teasers since B3: * Field Theory * Non-functional Dependencies

092

Reposted by Rebecca Skinner

Haskell programming language @haskell.org · 30/11/2025

New post on the #Haskell blog: "Analyzing language extension semantics" from the Stability Working Group. blog.haskell.org/investigatin...

blog.haskell.org

Analyzing language extension semantics | The Haskell Programming Language's blog

082

Rebecca Skinner @cercerilla.bsky.social · 24/11/2025

I just pushed puzzle 19 (of 20 total) for Haskell Brain Teasers. This one covers multi-param type classes, associated type families, functional dependencies, and common issues with type inference. The last puzzle will be on linear types. I’m really happy with how this book is shaping up.

060

Rebecca Skinner @cercerilla.bsky.social · 23/11/2025

George has opinions about injectivity.

A green pionus parrot with a mottled pink-and-gray forehead stands on a person’s hand in front of a large computer monitor. The screen behind him shows lines of blue and purple code. The bird is facing slightly to the right, looking alert and curious.

060

Rebecca Skinner @cercerilla.bsky.social · 20/11/2025

Nominations are open for anyone interested in serving a 3 year term on the Haskell.org Committee (discourse.haskell.org/t/haskell-or...). If you're interested in making @haskell.org better, please consider nominating yourself. You can reach out to me or anyone on the committee for more info.

discourse.haskell.org

Haskell.org Committee: Call for Nominations (2026 - 2028 Term)

Dear Haskellers, We are pleased to announce that nominations are now open for the Haskell.org committee. You can nominate yourself or a friend for a three-year term (2026-2028) by sending an email ...

1124

Rebecca Skinner @cercerilla.bsky.social · 12/11/2025

i updated Haskell Brain Teasers this weekend with a puzzle on record dot syntax. 18 puzzles down , 2 to go. The next puzzle covers functional dependencies, injectivity, and associated type families. The last one will be on linear types.

1100

Rebecca Skinner @cercerilla.bsky.social · 19/10/2025

I am so ready for this trend of fiction being written in present tense to be over. I’ve wasted so many credits on audio books that I listen to for all of 10 minutes before giving up because it’s yet another present tense story that confuses austerity for immediacy and immediacy for being good.

030

Reposted by Rebecca Skinner

Anil Dash @anildash.com · 17/10/2025

More than *anything* the people who actually know how technology works, who actually build things, wish that people would treat LLMs like every other technology, and be normal about them. Don't build a religion about them, don't force them on people, don't ignore the problems. Just be normal.

16958170

Rebecca Skinner @cercerilla.bsky.social · 17/10/2025

Tonight I'm working on Haskell Brain Teasers while watching Who's Afraid of Virginia Woolf, which was shot by Haskell Wexler. You should check out the movie, and the book. I promise none of the puzzles are as hard as watching George and Martha play "Get The Guests" pragprog.com/titles/haske...

pragprog.com

Haskell Brain Teasers

Deepen your Haskell knowledge, sharpen your functional programming skills, and just have fun with 20 functional programming puzzles to tie your brain in knots.

060

Reposted by Rebecca Skinner

The Pragmatic Bookshelf ✅ @pragprog.com · 08/10/2025

"It was always difficult to recommend a single up-to-date learning resource. This book fills that niche perfectly, providing both a gentle introduction to the language and a deeper hands-on dive into the practical side..." -- Tikhon Jelvis, Chair, Haskell.org Committee. @cercerilla.bsky.social

111

Rebecca Skinner @cercerilla.bsky.social · 02/07/2025

My favorite down-time/stress release activity lately has been making tabletop gaming maps. I haven't been active on bluesky for a while, but I thought it might be nice to share a couple of them.

A top down tabletop style battle map featuring the ruins of an ancient tower and outbuildings that have been recently re-inhabited.

080

Rebecca Skinner @cercerilla.bsky.social · 19/06/2025

I wish we could have more grown up nuanced discussions like this about AI. I find it useful, and recognize its limits and the social effort to adapt to a world where it exists.

180

Reposted by Rebecca Skinner

Rebecca Skinner @cercerilla.bsky.social · 01/05/2025

If you've thought about giving Haskell a try, this is a great opportunity to get Effective Haskell at a discount. Whether you check out Effective Haskell or not, I'm always happy to answer questions or help folks who are interested in functional programming.

23413

Rebecca Skinner @cercerilla.bsky.social · 01/05/2025

23413

Reposted by Rebecca Skinner

Ren Wilding @renwilding.bsky.social · 07/04/2025

I’m really excited to announce my first chapbook, “Trans Artifacts: Bones Between My Teeth,” will be published by Porkbelly Press in 2026/7!

073

Rebecca Skinner @cercerilla.bsky.social · 23/03/2025

I’m working on my second book right now, Haskell Brain Teasers. It’s shorter and more structured than Effective Haskell, but writing is still a lot of work. One thing that helps keep me motivated is the belief that kind and empathetic technical writing that celebrates the reader is important.

2130

Rebecca Skinner @cercerilla.bsky.social · 22/03/2025

I’ve been working for a while on an article that aims to explain pure functions in terms of dictionaries. It’s been slow to write so I decided to release part 1 now and I’ll follow up with a part 2 soon: rebeccaskinner.net/posts/2024-1...

rebeccaskinner.net

Dictionaries are Pure Functions (Part 1)

Part 1 of 2: An introduction to functions in a functional programming style using python

072

Rebecca Skinner @cercerilla.bsky.social · 21/03/2025

One of my favorite things is writing completely unhinged code that should never exist.

090

Reposted by Rebecca Skinner

rahaeli @rahaeli.bsky.social · 12/03/2025

The fact congressional Democrats have not hired three dozen D&D rules lawyers with oppositional defiant disorder and turned them loose on parliamentary procedure with the goal of maximum obstruction is such a fucking missed opportunity

3236921058

Rebecca Skinner @cercerilla.bsky.social · 13/03/2025

I’ve been studying middle Egyptian lately, for no particular reason. I’m pretty early on, but here are some of my big takeaways so far…

120

Rebecca Skinner @cercerilla.bsky.social · 12/03/2025

Did you know that a lot of middle Egyptian words written using hieroglyphic are valid Haskell identifiers? You can just use Unicode in your programs, nobody can stop you.

2120

Rebecca Skinner @cercerilla.bsky.social · 12/03/2025

I don’t know how to explain it, but Q feels like it should come later in the alphabet than it actually does.

1100

Reposted by Rebecca Skinner

Kaitlin Is Just Getting Started @gothamgirlblue.com · 17/02/2025

I actually have a mug I made for myself that says “I would rather be wrong” because truly, being a member of the Cassandra Corps is awful. But being right isn’t about my emotional needs; it’s about supporting material improvements. People who reverse that purpose aren’t allies.

416318

Rebecca Skinner @cercerilla.bsky.social · 17/02/2025

There are things about very large LLMs that concern me. Centralized control of them is the big one, but also the risk of hallucinations in critical systems, their utility in propaganda and misinformation campaigns, and how they’re used to launder responsibility.

140

Reposted by Rebecca Skinner

Erica Joy Astrella @ericajoy.astrel.la · 01/02/2025

i ask this question of every member of the @democrats.org claiming to fight for us: we are in unprecedented times. what unprecedented actions will you be taking?

423766

Reposted by Rebecca Skinner

Dax, sapphic fantasy author @daxaeterna.ink · 25/01/2025

Gonna put some more fire on this take. Many publishers are not manually going through each and every review when they are looking at reviews to determine if they want to re-sign an author or acquire an author previously published elsewhere. They just see that Paige O'Woord's last book has a 3.5 on

26422

Reposted by Rebecca Skinner

Zoe TunnHELL ➡️ NYCC @zoewithasword.bsky.social · 18/01/2025

There are more and more shows on streamers that did put out physical releases (Harley Quinn, The Boys, etc.) that have decided to just stop partway through the show and I will never not be DEEPLY annoyed by this What do you MEAN you'll sell me 3 seasons of a 5 season show

6664

Reposted by Rebecca Skinner

Haskell programming language @haskell.org · 18/01/2025

We are pleased to announce that nominations are now open for the Haskell.org committee. You can nominate yourself or a friend for a three-year term (2025-2028) by sending an email to [committee at haskell.org] by January 31, 2025. More info below: discourse.haskell.org/t/call-for-n...

discourse.haskell.org

Call for Nominations: Haskell.org Commitee (2025-2028)

Dear Haskellers, We are pleased to announce that nominations are now open for the Haskell.org committee. You can nominate yourself or a friend for a three-year term (2025-2028) by sending an email to...

1127

Reposted by Rebecca Skinner

🇬🇾🗽Sydette The Dreaded Gorgon🗽🇬🇾 @blackamazon.bsky.social · 14/01/2025

And can the “class only leftists” actually shut the fuck up? Yall have multiple think tanks and editorial boards who were giggling about “anti identitarian politics” and “pro gentrification” And that includes the non white ones who capitalized or just rested on transphobia nd misogyny

1287

Reposted by Rebecca Skinner

L. Pereira @lafp.bsky.social · 09/01/2025

After a few months taking a break from work, I'm looking for a job again. Anyone hiring a software engineer with a penchant for low-level stuff? I'm looking for something remote in the US (or, at the very least, something in the Seattle area). (Reskeet for reach? Thanks!)

55751

Reposted by Rebecca Skinner

Conor Titania Mc Bride @pigworker.bsky.social · 08/01/2025

Just as the rules of programming languages are invented by people in the pursuance of good engineering outcomes, so human rights are invented in the pursuance of human dignity. ACM SIGPLAN should explicitly construct its own minimum standards of human rights for its event host locations.

2183

Rebecca Skinner @cercerilla.bsky.social · 30/12/2024

One of life's most frustrating experiences is spending hours on hold being chastised by an automated system for not using the website that doesn't actually support the issue you're trying to address. Trust me, automated recording, if there was a way to do this without talking to a human I'd do it.

080

Reposted by Rebecca Skinner

Infosecsie (ツンデレ) @myraccoonhands.com · 29/12/2024

I talk about this a lot, but here’s the thing: Right-wing grifters are actually really good at gaming algorithms and co-opting popular topics, platforms, and other such concepts. They know how to break into the mainstream and pull people inward.

091

Rebecca Skinner @cercerilla.bsky.social · 29/12/2024

Last night I dreamed that Aliens were invading earth. Instead of fighting them, we talked to them about dependent type theory and they were so fascinated they became our friends and opened up a programming languages research institute on earth to collaborate with us.

1131

Reposted by Rebecca Skinner

Michael Cruickshank @cruickshank.bsky.social · 24/12/2024

Sudan is by far the worst humanitarian crisis on the planet right now, and not a single major power seems willing to do anything about it. A death toll from starvation in the millions is possible if no food aid reaches the area soon.

511879

Reposted by Rebecca Skinner

Jonathan W. Gray @elmcitytree.blacksky.app · 28/12/2024

Her final essay was on Claudia Rankine's Citizen & the white gaze. She turned in two versions. Her original essay cited Fanon's Black Skin White Masks to great effect. The AI version cleaned up some of her grammatical errors, but also deleted every mention of Fanon from her work!

13666133

Rebecca Skinner @cercerilla.bsky.social · 28/12/2024

Of all the discourse I see around generative AI models, I find arguments based on intellectual property the least persuasive. I think intellectual property is a legal fiction that does more harm to society than good. We should focus less on "theft of knowledge" and more on risks of centralization.

270

Rebecca Skinner @cercerilla.bsky.social · 26/12/2024

Every December people tell me how you have to follow recipes if you want to bake and that you can't just go make stuff up, but you can put any combination of flour, butter, and sugar in the oven. Nobody can stop you. This post brought to you by something halfway between cookies and lemon bars.

3250

Rebecca Skinner @cercerilla.bsky.social · 22/12/2024

I don’t know what normal people do when they drink but I’m working on a vampire chronicles / SG1 fanfic where Apophis has to tell Lestat his god complex is a bit much, meanwhile Armand is hip-deep in Teal’c’s Jaffussy.

030

Rebecca Skinner @cercerilla.bsky.social · 09/12/2024

Adding a “live tv (including ads)” option to an ad-free tier on a streaming service means that it’s no longer ad free and should not be advertised as such.

120

Rebecca Skinner @cercerilla.bsky.social · 08/12/2024

I’ve advocated for this as well. Library sciences are applicable to a lot of problems organizations have and any large software team would benefit enormously from having a librarian. Not to mention the benefit to a user base who need access to technical information.

1163

Rebecca Skinner @cercerilla.bsky.social · 06/12/2024

I decided to give gnome another try on my primary desktop machine. It seems like the “omg gnome removed every feature” complaints are exaggerated but there were a couple of odd friction points. Overall it seems fine, although I probably won’t stick with it. Nice to try new things sometimes though.

8120

Rebecca Skinner @cercerilla.bsky.social · 06/12/2024

Can someone who understands monetization explain to me why there is a market for paid "fewer ads" tiers? I would assume that there's a pretty strong split between people who accept ads and people who don't, and people who are okay w/ads just don't pay, and "no ads" people won't pay for "fewer ads"

320

Reposted by Rebecca Skinner

Claire Willett @clairewillett.bsky.social · 05/12/2024

boosting the Cisgender Women Against Bathroom Bans petition again, please sign and share if you missed it the first time around! It’s at a little under 8,500 signatures now and we would love to try to get it to 10,000 by the weekend! actionnetwork.org/petitions/no...

On November 20th, Rep. Nancy Mace introduced a federal trans bathroom ban
under the title of the "Protecting Women's Private Spaces Act." While this began as an attempt to bar newly-elected Representative Sarah McBride of Delaware from using the women's restroom in her own place of work as a legislator - which is unacceptable on its own merits - it will not end there. Speaker Johnson's decree in support of Mace's proposal reiterated the same argument: that this is an act designed to protect women, to keep us safe, because "women deserve women's only spaces." To introduce this legislation on the International Transgender Day of Remembrance - a day
commemorating trans people worldwide who have died due to hate and violence - is
appalling. To pretend Mike Johnson and the House GOP care about the safety of women, given the candidate they just elected and the Cabinet nominations he continues to make, is beyond naive.

Over the past several years, as trans bathroom bans have been enacted in communities across the country, we have seen firsthand the cascading negative effects. No one is made safer by this. Certainly trans youth are not, as we saw firsthand from the shocking, violent death of Nex Benedict, a 16-year-old nonbinary youth in Oklahoma who complied with exactly such a bathroom restriction and was brutally beaten by classmates in February of this year. But even the women and girls these bills purport to protect are at increased risk; this legislation empowers individuals with narrow definitions of gender presentation to appoint themselves bathroom cops, and harass anyone they do not believe is publicly performing the role of womanhood correctly.

Lesbians and butch women, women who are unusually tall, women who have short hair, women who wear baggy or "masculine" clothes, women of color in professional sports whose bodies are critiqued for their strength, even simply women who wear baseballs caps: all of this is sufficient evidence for increased harassment. This is not even a new phenomenon; there are news stories of exactly these cases going back to the bathroom bans of 2016. It will not just be Rep. McBride who suffers for this; it will be your own congressional staff - anyone who is queer, trans, nonbinary, gender-nonconforming, or simply does not fit the stereotype of female physical appearance - whose workplace harassment you would be enabling if Mace's proposal is allowed to pass.

The people who make women's restrooms unsafe are people like Nancy Mace, who are banking on the silent complicity of other cisgender women to support the lie that the majority of us feel safer and more comfortable with trans people pushed out of our spaces. The end goal of trans bathroom bans is not limited to who uses which bathroom; it is a way to test the public's compliance with eradicating trans and nonbinary people from public spaces altogether. In the wake of the recent presidential election loss, it seems clear that it is also a test of the moral backbone of the Democratic Party, and whether we will choose to abandon our progressive values for the sake of expedience and permit more Nex Benedicts to suffer.

30976804

Reposted by Rebecca Skinner

Sheryl Weikal says Prosecute ICE @leftistlawyer.com · 05/12/2024

Your periodic reminder that your social media posts are and will be seen by American law enforcement. Don't create the evidence for your own trial. Yes I will lose followers for this, I do every time. No I'm not a cop.

611731426

Rebecca Skinner @cercerilla.bsky.social · 05/12/2024

Literally just got up and looked out all the windows because I thought there was an injured goose outside but it was just my stomach being dramatic about my choice to have guacamole for dinner.

020

Rebecca Skinner @cercerilla.bsky.social · 03/12/2024

It's not normal to shout "I told you to stop chewing on the playstation", but with a parrot it is.

2143

Rebecca Skinner @cercerilla.bsky.social · 02/12/2024

I wish that disabling auto-play of animation was a persistent setting rather than a per-device setting. My browser is configured to delete all cookies, history, etc. every time I close the browser and it's annoying to change that setting every time I open bluesky.

021