uli (temporarily inactive) :3

the only book they should be banning is the Rust book

why is everyone around me doing higher order pattern unification

He’s so me

butfirst, a message from our sponsor

congruence is a nice word

okay im done larping as a programmer, im gonna go back to sleeping

me when the functor isn't faithful despite us being in a closed cartesian relation

pointfree was a set-back, embrace let bindings

marxism is when call-by-need evaluation semantics, capitalism is when too much greed makes you loop forever and ever and ever and ever

also here was the lead up, the redacted speaker was shortly blocked thereafter

this prolly feels like a hit piece but i think, in the interest of transparency, people should consider these sorta altercations before donating to a FOSS project

might have been a bit emotional but eh, anyways, here was the aftermath... the violation? ^~^ who knows

also, should mention, this isn't the first time we've had an argument, i don't have logs but the mod log shows a few issues related to mental health and elitism, something which she continually uses to demean me, im 16 as-well and this adds to my already poor mental health

then she responds privately and publicly to both me and my friend about us discussing the communities toxicity

original messages from kaizen to my friends, which is why i raised this initially, and where this whole situation came from and why i was so emotional

just a little thread on a 503(c) non-profit called All Things Linux (gg/Linux on discord), and its owner, kaizen, no comments :3

kaizen goes by she/her pronouns as of today

TW: slight psychophobia, like i know its not bad but tbf it triggers me a lot
~ — • — • — ~ — • — • — ~ — • — • — ~

woahhhhhhhh, ∇

average type safety fan when their type system is so safe its undecidable :p

i still don't get the point of bluesky, am i just meant to talk to myself constantly?

why won't exam prep ever end ahhhhhh

LaTeX is so silly,,,

*Aya, not Ayu, oops

i actually only know Ayu and Lean4 (not exclusively) using VSCode, almost all others support Emacs besides like, Arend (which ive barely touched) and Isabelle, do you know any others?

linux :c

programming communities really should do more to cultivate places for teens and such to learn to do programming, considering that a lot of non-specialized school-administered curricula can be awful with this stuff (yknow, undertrained staff and whatnot)

curtin yarvis trending oh no

uh oh

A white mug with a pink handle and Gleam's super cute cartoon starfish mascot on the side, coloured with the trans flag pattern.

A black tote back with Lucy on it

New merch drop!
Support Gleam by getting yourself some fabulous swag 🌟

i have a new project idea, but first, i must neglect it for 3 months in order to read the theory

"oh wow, another functional programming conference! how exciting!!! i wonder what i should submit 🤔... OH, 💡 I KNOW! i'll just recycle a Monad talk from 9 years ago! this is gonna be so fun 😄"

both parties are committing horrific atrocities right now, you can critique all you want, but that doesn't change the fact there is still conflict ongoing and neither party will be held accountable

i think anyone would criticize Hamas for that, but that doesn't excuse the fact that Palestinians are being actively genocided, thats why most people call for a ceasefire so that neither the IDF nor the Islamic terrorists are killing innocent civilians