rachel lambda samuelsson @rachelrosen@types.pl
is this testing whether I'm a lesbian or a replicant mr. deckard?
interested in univalent mathematics, type theory, and category theory.
undergrad at chalmers university of technology.
🏳️⚧️🏳️🌈⚧️💖
Joined May 2021
rachel lambda samuelsson
boosted
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))
rachel lambda samuelsson
boosted
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?
@ahfrom love that for her
@ahfrom they really went 🐈
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 I misread the original post cause I am silly
@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?
@amberxorluci "this is fine"
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
@amberxorluci if you're not scripting, can I get bhop lessons?
rachel lambda samuelsson
boosted
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.
@amberxorluci they are satanic in nature
@omni http post request in a tcp package, physical post in a dhl package, what's the difference really?
@amberxorluci DMCAs you for your entire networth 10 times over :3
is this testing whether I'm a lesbian or a replicant mr. deckard?
interested in univalent mathematics, type theory, and category theory.
undergrad at chalmers university of technology.
🏳️⚧️🏳️🌈⚧️💖
Joined May 2021
rachel lambda samuelsson's choices:
