Very beautiful article, albeit a bit laggy because of all the particles. I think it’s helped me to realize that I’ve come to hate the word “democracy.”

80% of the people only need 20% of the features.

The physics leading up to the Standard Model - starting from the three main pillars of physics in the 1800s and the paradoxes they led to.

worst rhing about being aro is losing friends like “sry ur into me and that made it weird”

This is the first of hopefully multiple posts describing how I’ve experienced my brain change throughout my late twenties. Around the time I turned 26, I started to feel like I was getting dumber. Needless to say, this precipitated many a panicked Google search about “mid 20s declining neuroplasticity” and so forth. As I’ve gained more life experience, I’ve recontextualized a lot of these changes in more value-neutral terms, while also realizing they are more descriptively interesting than mere “cognitive decline.” I remember wishing other people had written more about their personal experiences figuring out their brains, so here’s mine.

A very nerdy talk on baseball using analogies to logic and probability.

Natural gas has long been considered a more climate-friendly alternative to coal, as gas-fired power plants generally release less carbon dioxide into the atmosphere than their coal-fired counterparts. But a new study finds that when the full impact of the industry is taken into account, natural gas could contribute as much as coal to climate change.

Big oof.

There is no F.D.A.-approved testosterone product for women. Insurance won’t cover it. Many doctors won’t prescribe it. It’s become a cultural phenomenon.

I guess T is Ozempic now; SMH.

A programming language for multilingual grammar applications

And just like their parents before them, Brooding columnist Kathryn Jezer-Morton writes, their vigilance is suffused with anxiety.

Keeping scrollbars easy to acquire even in large files.

Horn clauses are a Turing-complete subset of predicate logic. Horn clauses are the logical foundation of Prolog.

see: https://www.metalevel.at/prolog/logic

A story as old as time.

We’ll learn about different frameworks for composing dynamical systems, and conjecture about what this has to do with “thing-y-ness”.

Clear applications to processor design, concurrency, and, surprisingly, Smalltalk (i.e. actor programming).

Very nice introduction to sheaves with bog implications on metascience, cryptography, and economics.

see: https://github.com/DavidJaz/DavidJaz.github.io/blob/master/Talks%2FFRA_2021_David_Jaz_Myers.pdf

The creation of categorical logic has transformed both category theory and logic, blurring the traditional boundary between syntax and semantics and expanding the reach of logic to new application domains and kinds of semantics. Categorical logic offers a unifying, “plug-and-play” toolkit for understanding old logical systems and creating new ones. In this talk, we illustrate this principle through examples of categorical logic drawn from topics such as algebraic theories, bicategories of relations, graphical linear algebra, and statistical modeling.

First Patterson talk I actually understood. Very good lay of the land.