Show newer

Intuitive way to understand the intermediate axis theorem: angular momentum is Iω but K.E. is ½Iω²; momentum is conserved but K.E. can dissipate; thus only max & min I are in equilibrium, and only max I (i.e. min K.E.) is long-term stable.

(This is not really rigorous, as it doesn't prove there aren't other stationary points of Iω̂, but it's close enough & helps to remember which axis is the stable one.)

I am on gab now

gab is banned from both app stores and doesn't let you use gmail to authenticate, so takes a little more effort

unable to post pics or gifs bc the server can't handle them rn, but I successfully published my first gab

UI is more refined than parler, however everything is slow af like being on the darknet

I'm operating under a fresh identity to avoid suspicion 🕵️

Show thread
Getting strong Ted Chiang vibes from Scott Alexander's "Unsong"

Okay off work now so I can look into if there's a dutch book for violations of the continuity axiom. Maybe derivable from the "complete class theorem" I've heard about?

My motivation is basically I don't really -get- the foundations for consequentialism, something I learned when I tried thinking about Pascal's mugging.

Pascal's mugging seems like it could happen in real life, but for VnM agents continuity means that they can't be Pascal's mugged.

TODO: find out what the Dutch book is if you violate the continuity axiom of VnM rationality

people lean pretty hard on the "yeah well that doesn't technically violate the first amendment" retort huh

something being legal doesn't make it wise or right

Joining the fediverse was inevitable. I just wasn't sure what server to make my home. I needed a place with lots of ingroup members. I needed a...

Schelling Point.

I’ve recently been practicing calculating mental probabilities in decibans. There was a post on LessWrong giving an introduction to the idea.

Annual odds of dying in a plane crash: –70db.

Odds of winning Powerball: –85db.

Odds that Dream just got lucky: –129db.

as ever, bootstrapping is the problem with new social media sites =/

I've just released [[agora server]] 0.5.11. Features:

- Image support. Example: anagora.org/node/decentralized.
- Tweet embeds. Example: anagora.org/node/distributed.

The Agora treats images (png, jpg, gif) in your repositories as subnodes, serving them in the node matching their filename.

the subset of gab/parler users who I'd actually be interested in knowing is quite small (the top 2% in openness), but that's what makes the hunt to find them exciting 😄

yeah this is a good example of how I rationalize pursuing inprobable endeavors

Show thread

Does anyone have any opinions on Mastodon phone apps to use? I just grabbed Tootle because it was at the top of the search results and it’s doing fine but as always maybe there’s some magic I’m missing out on 📱

Okie dokie following a few people now and already my feed looks lovely 💎

now one thing I face with social media is that it’s meant to be for forming relationships and I’m really bad at that? Like most my entire twitter presence is my public feed, not really DMing many people, even though in principle I’d like to, and I could, I just systematically choose not to 🤷‍♀️

So perhaps all this moving around trying new sites and p2p might get me off my ass wrt to this ✨

Mastodon

a Schelling point for those who seek one