jesyspa - Network

Apparently #librewolf thinks that randomly reenabling "clear my history and settings on shutdown" is a sensible thing to do.

Apparently #librewolf thinks that randomly reenabling "clear my history and settings on shutdown" is a sensible thing to do.

It's hard to convey how zombie-like existence with post-covid symptoms is.On bad days, there is nothing to feel or enjoy. On good days,...

It's hard to convey how zombie-like existence with post-covid symptoms is.

On bad days, there is nothing to feel or enjoy. On good days, you may be able to briefly do something you used to enjoy, before your brain gives up.

Deadlines? Better hope you have enough good days to scrape together something. Pushing yourself just makes everything even harder.

It is, put bluntly, not a life worth living. You just hope one day it'll pass or you'll pass.

I'm on E! I'm finally on E! :D

I'm on E! I'm finally on E! :D

Switching, with very mixed feelings, to she/they pronouns.On the one hand—there's no step towards femininity that I've regretted. ...

Switching, with very mixed feelings, to she/they pronouns.
On the one hand—there's no step towards femininity that I've regretted. I'd like to start hormones as soon as possible, and I'd like people to gender me as a woman by default.
On the other—I'm not sure it's a label I want to claim, or can claim. Probably some internalised something something there, but... yeah.
On the third—access to hormones is gatekept, and I'm not sure I can get past that without pushing myself into more feminine territory.
We'll see.
This isn't just a pronouns thing of course, they're just a symbol—the coming weeks are going to be a whole bunch of gender experimentation...
On the bright side, I've pretended to be a dude all weekend, and I don't believe this can be worse. Harder, probably, but not worse.

Marshall et al.'s paper Linearity and Uniqueness: an Entente Cordiale has the following rule (reformulated for uniqueness):unique Γ,...

Marshall et al.'s paper Linearity and Uniqueness: an Entente Cordiale has the following rule (reformulated for uniqueness):

unique Γ, unique P ⊢ Q
------------------------------------
unique Γ, P |- Q

In other words, if you are constructing a shared object then any dependencies you have may be shared as well; in particular, storing unique data in non-unique data structures is never guaranteed; a type like (unique A, unique B) is no different from (A, B).

(This isn't universally accepted in the uniqueness literature, e.g. Boyland's Alias Burying approach distinguishes the two. But I think the sharing modality discussed by Marshall et al. is a useful perspective.)

The annoying consequence here is that there doesn't seem to be a way to provide the user with a function that casts a shared reference to a unique one; even if the user is sure that the reference itself is unique, that's not enough to make using such a function valid, you need some kind of deep property.

This makes me think that treating uniqueness as deep, as Lorenzen et. al do in Oxidizing OCaml, may be the way to go... Though it clashes with my intuition for uniqueness as something about a single reference.

Went for an intake today and got (mis?)gendered as she/her... It's an interesting question: I wouldn't say my pronouns are...

Went for an intake today and got (mis?)gendered as she/her... It's an interesting question: I wouldn't say my pronouns are she/they, but I also am not inclined to correct people if they do use that...

Also, wow, I've ended up taking something like 60 pages of notes. This has got to be a personal record for a week of courses

Also, wow, I've ended up taking something like 60 pages of notes. This has got to be a personal record for a week of courses

Got back from #SPLV yesterday. A huge thank you to the organisers! It was great, both the lectures and the opportunity to spend some time...

Got back from #SPLV yesterday. A huge thank you to the organisers! It was great, both the lectures and the opportunity to spend some time with like-minded people. I hope I get to run into you all again someday. :)

As an added bonus, I'm still negative for covid! The school was much better about it than most places I've seen, but I was still pretty worried.

Yesterday was the first day of SPLV, and one thing I hadn't anticipated was how delightfully queer the whole thing would be! It's...

Yesterday was the first day of SPLV, and one thing I hadn't anticipated was how delightfully queer the whole thing would be! It's always so strange when "hey, I'm not the only one" is an understatement.

Congrats! :D

Congrats! :D

I'm still confused about what the Favourite button on Mathstodon is for. It seems like being able to react with an emoji would make so...

I'm still confused about what the Favourite button on Mathstodon is for. It seems like being able to react with an emoji would make so much more sense. Now it seems like it's just 👍 😆 ❤️ :thank_you: all in one. (Also, why in the world is there no :thank_you: emoji? 🙏 is an option but eh)

genderI've been out as non-binary and using my name at work for three weeks now and it's cool how okay with it everyone has been. ...

gender

I've been out as non-binary and using my name at work for three weeks now and it's cool how okay with it everyone has been. People use the new name, people don't seem to respond any differently... I know in theory it's what I should expect, but it's still a relief.
Now just to do the same at the other job... :')

Registered for SPLV 2024 :D Stuff has been rough lately, it's nice to have something like that to look forward to.

Registered for SPLV 2024 :D Stuff has been rough lately, it's nice to have something like that to look forward to.

I've decided on a new first name! I'll be going by Komi. My deadname is now deprecated, though I'll keep using Cactus with...

I've decided on a new first name! I'll be going by Komi. My deadname is now deprecated, though I'll keep using Cactus with people who already know me as such.
I hope to stop using my deadname at work in Q3 2024, and remove it from my life entirely by EOY.
Now just to find a new last name...

selfie with eye contact#MathCoffeeSelfie @sc_griffith Changed some things about my appearance, and suddenly I'm actually happy with...

selfie with eye contact

#MathCoffeeSelfie @sc_griffith

Changed some things about my appearance, and suddenly I'm actually happy with pictures of myself! It's a really weird feeling, but also really nice.

(Cup is tea, a rock oolong)

AoC day 16 solutionOh, and today's just finished running!https://gist.github.com/jesyspa/c945c1f29de2303e2e2799a3c78da631Curious to see...

AoC day 16 solution

Oh, and today's just finished running!
https://gist.github.com/jesyspa/c945c1f29de2303e2e2799a3c78da631
Curious to see how people do this faster, it took a good twenty minutes here.

AoC day 15 solutionQuite proud of what I did with yesterday's AoC: rotate the grid, use the fact that there now has to be a horizontal...

AoC day 15 solution

Quite proud of what I did with yesterday's AoC: rotate the grid, use the fact that there now has to be a horizontal gap, and then reuse part 1: https://gist.github.com/jesyspa/fda01c58ef2636359a45fb0fdafe7e1e

Today's solution, on the other hand, is still running :')

Trying out Sway as a replacement for X/i3, and it's an interesting experience so far. The first steps were surprisingly easy: porting...

Trying out Sway as a replacement for X/i3, and it's an interesting experience so far. The first steps were surprisingly easy: porting my config over took pretty much no effort at all. Now struggling with the details: Firefox keeps crashing, switching screens on and off seems to be a bit wonky, and notifications need some kind of extra configuration. All in all not an altogether bad experience, though.

Also, I play tabletop RPGs quite a bit lately! I'm currently in a Call of Cthulhu group, have a Cthulhu Dark group I'm running on...

Also, I play tabletop RPGs quite a bit lately! I'm currently in a Call of Cthulhu group, have a Cthulhu Dark group I'm running on standby, and sometimes run one-shots.
I think those are the main things about me, I'm happy to meet new people and chat!

In my free time I like to read books and drink tea. I mostly read science fiction and fantasy (Pratchett, Gaiman, Hobb, and Sanderson stand...

In my free time I like to read books and drink tea. I mostly read science fiction and fantasy (Pratchett, Gaiman, Hobb, and Sanderson stand out), plus some occasional non-fiction (StoryGraph: https://app.thestorygraph.com/profile/jesyspa ). When it comes to teas, I particularly like dian hongs and older sheng puerhs. I have a tea club with friends and we organise tastings semi-regularly.