🌱Julia M. Rosedale 🌱

We're getting the home microscope set up while my precious boomer dad texts us selfies from the slopes. For breakfast we have cold carbonara and the last of the panettone/pandoro. Cats are catgacating. Life is good!

...and now overleaf is down, presumably because it didn't like being compared to whole foods

dramatic sigh

I've been slowly going crazy all day and it's entirely because I've switched from holiday hosting mode back to math mode and my brain keeps parsing the overleaf logo as yet another food prep tab I forgot to close

The Overleaf logo: a green "o" with a leaf sprouting from the top

The Whole Foods logo: somehow also a green "o" with a leaf sprouting from the top. At least in this case the leaf is going in the opposite direction.

Who allowed this

My entire discover weekly is Christmas music and my recommendations are torched. Send help

The fact that Spotify does not come with a "Christmas mode" toggle is absolutely mindboggling

Which one of you has a list for people building a better internet/techsphere?

I don't know the answer to this but I support you in your quest to find one and I'll let you know if I get there first

With the new year upon us, I'd like to remind everyone to eschew standard standards, which are driven by bare mediocrity and will never produce greatness

What is your favorite interface?

Frankly the two-panel page is vastly underutilized in academic publishing

For long enough papers with the terms appearing sparsely enough, we should be using thick margins with a little key on every page

It's been on my to-read list for a while! Up to the top it goes!

What should I put on my 2025 reading list?

Cayley graphs of the quaternion group Q_8, the dihedral group D_8, the dicyclic group Dic_8 (i.e., the generalized quatenrion group Q_{16}), and the diquaternion group DQ_8.

Cayley graph of the diquaternion group DQ_{16}, and a Cayley graph of a mystery group that's slightly different.

Two Cayley graphs (?) of mysterious group of order 32, that resemble the Cayley graph of a generalized quaternion group.

Two Cayley graphs (???) on 32 nodes, that resemble the Cayley graphs of the semidihedral and semiabelian groups.

Hey #MathSky! I just made two new #VisualAlgebra videos, and each of them has some fun group theory puzzles.

Lecture 2.7: Dicyclic and diquaternion groups
Lecture 2.8: Semidihedral and semiabelian groups

Come learn about these fun relatively unknown groups!

URL in the replies. 👇

I think I'm more biased than average towards seeing inherent value in learning new methods of representation/languages/thought systems, but the other side of this is that I'm a bit far removed from the concrete practical results that these things can provide, and I'd like to change that in this case

Q: How has type theory helped you?

There are also two more related notes but their referencing behavior is only implied

This is a man known for his Systems, and yet the look in his eye suggests that I may have gone too far

I twisted my knee on some Ice and cannot help with the grocery shopping; Man Of The House is left alone to parse my two long mutually referential "Christmas prep" notes, which I sat him down to explain before he departed because there is a System, and which appear to frighten him

IT IS SNOWING!!!

Thread on how I dramatically lessened my average weekly suffering, in case anyone is curious.

The two make a good combo! Hope you find peace and success whatever you choose

Weenie-level megadose, 800-1200mg per day

"mega" compared specifically to what supplement companies recommend

- I also stopped identifying as someone who suffers a lot, or really much at all. I decided that gaining social capital from one's dysfunction is disordered behavior and have been living accordingly ever since. This is probably second to the L-Theanine in terms of magnitude of impact.

- Biggest single impact: took a gamble on megadosing L-Theanine as a sort of a Hail Mary for severe autonomic dysfunction and PTSD following a TBI. By that point I'd figured out the flavor of problem I was dealing with but hadn't found a good solution. The gamble gave me my life back.

- At one point I stopped suffering from fear by recognizing that, you know what, XYZ is actually *really scary* and my response is reasonable, and then just allowing myself to be afraid

Can't really tell you how I did it beyond just deciding that it could probably be experienced that way without stretching too far and so I was going to experience it that way. This came about a year after reading "the body keeps the score" in which I learned of the benefits of Shaking Vigorously.

- Several months ago I successfully psyopped myself into parsing some symptoms of adrenaline dumps as ecstasy rather than panic, which decreased average suffering per week by several orders of magnitude and ultimately lowered the incidence rate significantly.

- After speaking with a close friend about their sensory issues several years ago, I realized that I could remove a lot of low-level suffering from my life by paying attention to my sensory experience and making accommodations accordingly. Huge QOL boost there, plus less nameless angst.