TIL about the Klop Fixed point combinator and uhhh what the fuck

Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L)
L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r))

The national lab I'm interning for somehow clocked me and put me in the men's dorm despite me checking female on the housing sheet.

Personally, I don't care a whole lot, but if it's happening to me it's happening to other trans people and that's not okay. I guess I take this to the DEI office and see what they can do?

for pride month all non-queer people will have to do a base change in order to go through june, you may then do the inverse to revert your sexuality and gender again as july starts

@ionchy did you just reveal microsofts long-term plans for lean??

@ahfrom @Vierkantor it's confusing too cause the numbes start with different letters in different languages, do they pick based of the artist? are they all in swedish?

@Vierkantor @ahfrom probably n. I just think they don't want to put up signs for numbers

@ahfrom @Vierkantor no I meant that they put The Beatles under B. They also put numbers under their starting letter, which is funky, not just the first numeral either 19 goes under n

@Vierkantor @ahfrom my local record store does this as well, so I think it's just an old convention?

it is honestly kind of impressive how I manage to burn myself out every exam period, and then recover in time to burn myself out for the next one

Registration is now open for free online participation in the 2023 GHC Contributor's Workshop, 7-9 June. This is an introduction to working on GHC, presented by the core team themselves.


@omni http post request in a tcp package, physical post in a dhl package, what's the difference really?

Show older

rachel lambda samuelsson's choices:


A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.