Luna is a very common transfem name

o7's already posted it! https://awful.systems/post/6746032/9903043

The flipside to that quote is that computer programs are useful tools for mathematicians. See the mersenne prime search, OEIS and its search engine, The L-function database, as well as the various python scripts and agda, rocq, lean proofs written to solve specific problems within papers. However, not everything is perfect: throwing more compute at the problem is a bad solution in general; the stereotypical python script hacked together to serve only a purpose has one-letter variable names and redundant expressions, making it hard to review. Throw in the vibe coding over it all, and that's pretty much the extent of what I mean.

I apologize if anything is confusing, I'm not great at communication. I also have yet to apply to a mathematics uni, so maybe this is all manageable in practice.

Yes, they are trying to automate releases.

sidenote: I don't like how taking an approach of mediocre software engineering to mathematics is becoming more popular. Update your dependency (whose code you never read) to v0.4.5 for bug fixes! Why was it incorrect in the first place? Anyway, this blog post sets some good rules for reviewing computer proofs. The second-to-last comment tries to argue npm-ification is good actually. I can't tell if satire

Vibe coding would go just great in a theorem prover

Does this mean calibre's use case is a digital equivalent of a shelf of books you never read?

the legal system is presently committed to treating similar numbers radically differently. No one can tell, simply by looking at a number that is 100 million digits long, whether that number is subject to patent, copyright, or trade secret protection, or indeed whether it is “owned” by anyone at all

If you look at data in the way that best obscures what it actually means, of course it can't be told apart from other data. Binary is simply a way to encode information that most often has an analogue equivalent. You can of course question the copyright of all works, but looking at them in a hex editor is almost a distraction.

Certainly, all around the world, legal systems have assumed that bits are a medium. But perhaps bits have no color. Perhaps homomorphic encryption implies that color is unmeasurable.

This is getting pretty close to technolibertarianism. Corbin, I like your posts but i can't get behind this

Was checking out the QOI image format and the politics of the dev and found that he is pretty comfortable around the ladybird people. (sigh) Also the r slur on twitter.

Really amazing that such a simple format achieves PNG sizes and faster encoding speeds. 1-page specification, though it's more like 2 with a bit bigger text, for bragging rights.

That is the kind of writing that absolutely anyone can get a thing out of. Will cause me to introspect.

I misinterpreted this reply as the guy in the post being hired as a police officer. Thank god.

So "unintentional moderates" are those that both choose deliberately to believe in centrist political ideology and to participate in groupthink?

So perhaps one alternative way to estimate their quality is to check the number of citations, many have more than 100 citations, which is a sign of quality

Andrew Wakefield's 1998 paper has 457 citations on PubMed