oatmealWatch: Israeli opposition MP Ayman Odeh forcefully removed from podium after condemning Gaza war
Chris L
@jayalane@mastodon.online
- 141 Followers
- 684 Following
- 2.5K Posts
He/they. Software engineer with an interest in ending racism and sexism, and increasing freedom for sex and gender identities/behavior. Attempt to practice Christianity and Buddhism. Mostly posting on software and books so far. Fall 2023 masters student in math at SJSU, looking at explicit Salem sets. 99% grown kids. Love Chennai and Colombo. Activist against the carbon burn. Parent to trans folks.
DB 🌱💦
Curious Magpie
JP
4 8 15 16 23 42
A Sweet GentlemanMy facial hair is now quite visible but not thick enough (yet) to look really good so I decided to shave.
It was bliss.
The typical gestures of shaving, the little scrrrtchhh sound of the razor, all these small things that I've seen men doing so often... now I'm doing them!
Happiness doesn't describe the feeling.
It felt perfectly right.
I felt perfectly myself.
And to think that it's something I'll have to do regularly definitely brings me a lot of joy!
José A. AlonsoFormalizing a proof in Lean using Claude and o4. ~ Terence Tao. https://youtu.be/zZr54G7ec7A #ITP #LeanProver #Math
Formalizing a proof in Lean using Claude and o4
Matt BlazeMOVE was, without doubt, guilty of being annoying. They had occasional confrontations with police. There were unsanitary conditions. Their neighbors complained about them. But the response was a case study in wildly disproportionate overreaction that should never be forgotten as a cautionary tale of where militarization of local police leads.
Niles JohnsonA student I know has just posted this video with an intro explainer and visualizations of some homotopy groups. He has a different visualization of the Hopf fibration in particular, which I think is neat!
