Leon P Smith

121 Followers
333 Following
2.7K Posts
Communications engineer and mathematician. Longtime functional programming and Haskell enthusiast, occasional Schemer. Inventor of corecursive queues, postgresql-simple, an aggregate theory of concrete mathematics, and self-documenting cryptography. Currently aspiring to become an Epistemic Frame Engineer.
Pronounshe/him

Anthropic lost a class action suit for scraping books. Writers can register with Anthropic to be compensated for their pillaging of our copyrights.

The compensation system was AI-coded.

Anthropic can't keep track of our submissions. They don't know who wrote what.

Their customer support is AI-driven. Send a mail! Log in to a nonexistent page! Resubmit and it'll be fine!

This will be fine.   

Very nicely done video by @david explaining some of my work on #leanprover and well-founded recursion:
https://youtu.be/LOUbbiV0mWc
Kernel Reduction Redemption: How Recursion Got Better in Lean 4.27.0

YouTube
I should note that the devil-may-care attitude toward public education had some benefits.
โ€“ The New Math *rocked*. https://www.si.edu/object/uicsm-high-school-mathematics-experimental-programed-edition%3Anmah_1302593 Great preparation for being a computer programmer. Number bases! Sets!
โ€“ One particular whole-class exercise taught me that I could โ€“ in a rational way โ€“ organize groups with shared information toward a common goal. Also that they would be really mad at me for being bossy.
@waitworry @futurebird This is exactly what happened last time, and why chromosome testing was ended. Women were finding out they had androgen insensitivity, or only a single X chromosome (no Y), or were XXY females, and the IOC finally ended chromosome testing in 1999 to protect the dignity of athletes who don't already know they have these conditions.
@futurebird the trans ban in the Olympics also mandates genetic testing so I think we're going to end up with a lot of athletes who have been assigned female at birth and been living their whole lives as women getting randomly kicked out because it turns out they have abnormal chromosomes

The vast majority of people who will be impacted by trans bans in sports will be little girls with short hair or arms that are "too muscular."

It will also mean that when a woman is good at her sport the disgusting grumbling and whispering about "may she is he" gets taken more seriously.

This happened with Paula Radcliffe for running marathons too fast. If it helps you to think of a white cis woman being the victim of this.

Of course little black girls will take the brunt of this. As ever.

In my opinion, COVID is still an underappreciated factor in just how much fucked the world has gotten recently. The trauma, fear, lockdowns, isolation, the disease of the brain itself, etc.
Make sure to rotate your pronouns periodically, so that if your gender becomes compromised, attackers can only access it for a short period of time.
(no)
theo de raadt eschews vibe coding for copyright reasons https://lwn.net/SubscriberLink/1064541/1a399d572a046fb9/
Vibe-coded ext4 for OpenBSD

A number of projects have been struggling with the question of which submissions created by lar [...]

LWN.net