3 days ago

Very well written!

see: https://www.taylorfrancis.com/books/edit/10.4324/9781003232032/know-effects-pornography-fifty-years-academic-research-alan-mckee-paul-byron-roger-ingham-katerina-litsou


90% of the problem with twitter is treating fictional people like they’re real and real people like they’re fictional

A lotta people just don’t have that dog in them which gives them strong resistance to ragebait.

via: https://www.thegamer.com/knights-of-guinevere-frankie-trans-queer-dana-terrace/

Tags:

Fascinating chain in which to apply the article I just read. Perfect example is all of that Knights of Gunivere nonsense that happened a while back. Is being a YIP the same as being chronically online and left-leaning?

see: https://www.persuasion.community/p/illiberal-liberalism see: https://www.thegamer.com/knights-of-guinevere-frankie-trans-queer-dana-terrace/


4 days ago

There’s a war on within the BDSM community about whether to face up to abuse within. There are a lot of dynamics overlapping here, and it’s hard to see the whole picture even for those of us who keep up with these things.


Nice article. Boss against personal healthcare hits like a truck LOL.

Tags:

6 days ago

Progressives who advocate for illiberal policies aren’t Marxists or postmodernists. They turn liberalism’s tools against itself.

The author does a good job of describing popular logical fallacies in political debate, but I think is quite wrong about the nature of rights in some extents and also unnecessarily insults his audience. :/


8 days ago



How language model agents manage memory through compaction and session types, why they lose context, and how runtime self-knowledge and document pinning prevent context drift.

via: https://johncarlosbaez.wordpress.com/2026/03/11/a-typed-language-for-agent-coordination/ see: https://johncarlosbaez.wordpress.com/2026/03/20/the-agent-that-doesnt-know-itself/


Above all else, it’s critical to resent and oppose laziness from power. The most horrific crimes in all of history were committed because those atrocities were easier than doing anything else. If we can’t hold our leaders to a standard, the ultimate price is at the end of the road. Our leaders want to be lazy. They don’t want to work, they don’t want to be argued with, they don’t want to learn new things. And that’s where it’s all going to go wrong, because killing people, tearing things down, and robbing everyone is way easier than actually governing. Expecting better of our supposed superiors isn’t just the correct ethical thing to do, it’s the only universally correct thing to do at all where it comes to politics.


A description of things that are happening so people can debate them in a more informed fashion.

Very strange norms.


9 days ago

Stop and think about what this means: the two models that predict constant merge rates over the latter half of the plot are more accurate than the linear growth trend. This corroborates what we eyeballed in the plots: the merge rate has not increased in the latter half of this plot. This means llms have not improved in their programming abilities for over a year. Isn’t that wild? Why is nobody talking about this?

Tags:

Benegas went on to say that “climbing with a romantic partner can lead to an inherently fraught, complex dynamic. This is particularly true if one climber has significantly more or less experience than the other. “I don’t know what their relationship was like, outside of this climb,” he said, “but when you have male-female relationships climbing together, we see a lot of things go wrong. One party may be eager to please, another eager to impress, and at the end of the day, no one is thinking rationally.”

Said it before, I’ll say it again: don’t rely on other men.

by kawcco 9 days ago saved 2 times
Tags:

The macOS app for effortlessly rewriting Git history.

Shit. Makes me wish I had a Mac.

by kawcco 9 days ago saved 2 times
Tags:

Introduction to the plumbing calculus: a statically typed language for designing and verifying multi-agent systems using category theory, with applications to adversarial document composition and ensemble reasoning.

Yeah yeah, LLMs are dumb and all that, but this is is actually a really beautiful and practical example of how to put categories in control. Honestly, this what I would want the syntax of CatCollab to look like. Great string diagrams, too.

see: https://leithdocs.com/ldc/documents/outgoing/plumbing/typed-language-for-agent-coordination.md


Nice semantics for copying and deleting values in a symmetric monoidal category. No reason to not throw this stuff into your PL when designing its category.

via: https://johncarlosbaez.wordpress.com/2026/03/11/a-typed-language-for-agent-coordination/


In mathematical logic, category theory, and computer science, kappa calculus is a formal system for defining first-order functions. / Unlike lambda calculus, kappa calculus has no higher-order functions; its functions are not first class objects. Kappa-calculus can be regarded as “a reformulation of the first-order fragment of typed lambda calculus”.

Interesting.

via: https://johncarlosbaez.wordpress.com/2026/03/11/a-typed-language-for-agent-coordination/