home tags events about login

novalis rss

Cosmopolitan. Brooklyn-based indie game developer best known for Semantle.
@NovalisDMT on Twitter

novalis honked 10 May 2026 19:23 +0000

You know how there's Wikipedia, and then there's the spin-off Wiktionary for words, and Wikidata for data? They should do one for units of measure. They could call it Wikifeet.

novalis bonked 06 May 2026 14:31 +0000
original: mjd@mathstodon.xyz

Octopus neurology just gets crazier and crazier.

Note that the diagram is a little misleading. An octopus does not have a north arm and a south arm as shown here. It has four arms on the left, and four on the right.

So here we see that the frontmost of the left arms is directly connected to the rearmost of the left arms, but this connection bypasses the other two left arms. It is, however, connected directly with the third arm back on the right.

#octopus #wtf

Diagram from Nature paper, with a schematic showing which arms are connected with nerve cords.  The caption is:

“*Arm control*: 
Octopuses coordinate their eight arms using a network of intramuscular nerve cords that bypass the brain. Each connects arms separated by two others. Separate nerve fibres, the axial nerve cords, connect the arms to the brain.”


Source: Arm-control diagram, A. Kuuspalu et al. Curr. Biol. 32, 5415-5421 (2022)

novalis honked back 05 May 2026 15:39 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116522613021979481

@mjd I guess the pasted sqlite output with the vertical bars confused something. Anyway, doc/fresh. Its explanation is "file versioning slang: doc=an old saved document version; fresh=a new unsaved draft; test='he opened the [doc / fresh] on his desktop'".

(Claude found ant/dec but not the very apt ant/syn. But I don't think of Ant and Dec as opposites anyway, although I guess I've never seen their show, so maybe?)

There's the sort of typical LLM losing-the-thread stuff:
(loo/dry) Indian meteorology: loo=hot dry wind of the subcontinent; dry=... actually reconsidering — domain: card gameloo: loo=lose a hand and pay a forfeit; win=succeed in taking tricks without penalty; test='she managed to [loo / win] on the final hand

I think it might be worth reconsidering the antonym-of-a-saying model, because that's got a small enough surface that a human could review the individual decisions. But if you want to play with the cycles approach, (no need to let my tokens go to waste](https://novalis.org/antonym.tgz). This one was 100% vibecoded, so probably garbage.

novalis honked back 05 May 2026 15:08 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116522436093861689

@mjd It's definitely partly Claude -- it didn't find dry/Dutch, or pass/bogart or leg/car or leg/stac (admittedly, that should be "leg./stac.", but I still think it's valid). OED even offers leg/lose (that is, leg as a variant of "lag" meaning to catch or apprehend). And it has some funny ideas about slang -- or at least, I've never heard:

I can't really blame Claude here -- it's hard for humans to think of these. Claude's big advantage is that it can consider every word in the dictionary without getting bored.

novalis honked 05 May 2026 14:22 +0000

Apple TV has just produced a version of the Scottish Play set on a plane: MacBeth Air.

novalis honked back 05 May 2026 13:59 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116516640139722860

re: unspecified horror

re: unspecified horror

@mjd So far this producing only boring results, but I'll let Claude continue to churn for another mtok or two and we'll see. From Matt Levine today, I learned "fade", which is apparently the antonym of "chase" in the sense of following a market trend.

novalis honked back 05 May 2026 11:36 +0000
in reply to: https://floss.social/users/karen/statuses/116519670794683439

@karen When I play Patchwork with my friend with aphantasia, I let him test-fit pieces on his board before choosing. I guess nobody does as much lookahead in Patchwork as good chess players do; that could end up pretty confusing.

I also think good chess players consider so many moves so deep that just moving the pieces would get unwieldy -- and you would still need the memory, because you would need to remember what move started a given line. This paper says that visual working memory is different from visualization, which seems weird, but on reflection maybe isn't. There's that famous study about how good chess players do better at remembering chess positions that could occur in actual games but not better at remembering truly random positions. (Or at least that's the popular description of the study; the original seems to be in Dutch so I can't easily check). Which implies that what's going on isn't just visualization, but chunking.

novalis honked back 04 May 2026 16:21 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116517042654824782

re: unspecified horror

re: unspecified horror

@mjd I agree, but I think that there are some useful exceptions. I would not want to use a LLM to solve a crossword puzzle or to write a letter to a lover or a subordinate, or a boss that I wanted to keep.

I have often thought about having an anonymous blog just for unpopular opinions. If anyone tried to associate me with it, I would deny it strenuously. But I am too lazy/cautious for that.

novalis honked back 04 May 2026 14:59 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116516640139722860

re: unspecified horror

re: unspecified horror

@mjd I read all your articles (except the math ones that are above my level). But I am also really conscious that folks are (rightly) nervous about LLMs sucking the joy out of everything, so I want to be extra careful.

I think "square" vs "cat" is weak but plausible -- "square" is attested as a noun meaning a square person (aside: in Hungarian, the word "kocka" meaning "cube" is used to mean "nerd").

"Innocence is logarithm" is one Claude and I came up with together.

I think it might require a fair number of tokens to produce the antonym graph, but I'll see if it's doable.

novalis honked back 04 May 2026 11:43 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116512029071286600

re: The opposite of “full” is…

re: The opposite of “full” is…

@mjd I had Claude come up with eight examples. The best, by far was "certainty bombed the square". (Claude agreed with this). The second-best is "poverty penalizes the italic", and the rest were, IMO, not clean (e.g. "patch" as the opposite of "worm", because code patches prevent malware worms).

(Let me know if you think using a LLM sucks the joy out of the game. I asked Claude in part because I wanted to see how well it would do, which is, better than I expected but requiring significant human curation. But I spend a lot of time thinking about that cartoon with the robots doing art while humans bike around delivering food.)

novalis honked back 03 May 2026 17:12 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116511679222756798

re: The opposite of “full” is…

re: The opposite of “full” is…

@mjd If I get a card with "full" on one side and have to pick between "empty", "self", and "new", it's going to just be guess. But maybe if I had a sentence -- "the drop is self today", and had to be the first reverse it into "the moon is full tonight", maybe?

novalis honked 03 May 2026 13:07 +0000

Thinking back on it, the most unrealistic thing about Star Trek: Voyager is Seven of Nine.

She would have just had a UUID.

novalis honked back 19 Apr 2026 01:21 +0000
in reply to: https://fedi.copyleft.org/users/bkuhn/statuses/116427131005370154

@bkuhn @zacchiro @cwebber @ossguy @richardfontana Actually, I just thought of one proprietary software company that would be much happier not to have LLMs around: Salesforce. Nobody's going to buy their overpriced shit when the alternative is to vibecode something that works exactly with your business process and that you can change, yourself, any time you want at the cost of a couple hundred bucks of Claude and a few hours of work.

novalis honked back 18 Apr 2026 17:22 +0000
in reply to: https://mastodon.xyz/users/zacchiro/statuses/116426787052879205

@zacchiro @cwebber @bkuhn @ossguy @richardfontana I would say it's dramatically less safe. First, there's very little incentive to go after some OSS project over an unauthorized inbound=outbound contribution. Second, if someone did, the damage would likely be a small part of a single project. Third, only a small number of parties (the employer, or maybe some other single party whose code was copied) have the ability to sue.

With LLMs, it's different. When the authors sued Anthropic, they all sued. Is a shell script that Claude generated a derivative work of, say, the romantasy novel A Court of Thorns and Roses (to pick a random thing included in Anthropic's training set)? Well, it's hard to show that it's not, in the sense that that novel is one of the zillion things that went into generating the weights that generated the shell script.

Now it happens that the authors sued Anthropic (and settled). But I don't know if their settlement covers users of Claude (and even if it did, there are two other big models). And that's only the book authors -- there's still all of the code authors in the world.

So yes, I think the risk is high. I mean, in some sense -- in another sense, it seems unlikely that Congress would say, "sorry, LLMs as code generators are toast because of some century-old laws". At most, they would set up a statutory licensing scheme for LLM providers which covers LLM outputs. Of course, Europe might go a different way, but I think they would probably do the same. Under this hypothetical scheme, if your code were used to train Claude, you would get a buck or two in the mail every year. Authors got I think $3k per book as a one-time payment, but that was a funny case because of how Anthropic got access to the books.

Still, there's a risk that Congress wouldn't act (due to standard US government dysfunction).

It seems like most people are willing to take this risk, which I think says something interesting about most people's moral intuitions.

novalis honked back 17 Apr 2026 22:39 +0000
in reply to: https://snug.moe/notes/al70v4bsvc5v3nzr

re: genai. ethical harms. bit rambly

re: genai. ethical harms. bit rambly

@lumi @bkuhn @ossguy @mastodonmigration I have always been in favor of a narrow definition of Free Software -- that is, I think it means software that respects the four freedoms. A piece of Free Software could be bad for other reasons. Bitcoin comes to mind as being unnecessarily bad for the environment. Perhaps software useful only to send spam. Or (hypothetically) software made with enslaved labor.

novalis honked back 17 Apr 2026 20:29 +0000
in reply to: https://snug.moe/notes/al6wz4zole5336nc

re: genai. ethical harms

re: genai. ethical harms

@lumi @ossguy @bkuhn @mastodonmigration Right, that's the car analogy: cars aren't sustainable.

(If you're asking whether it genuinely helps, I would encourage you to look at what other experienced programmers you respect are saying -- in particular, I think @mjd is worth listening to, as he is one of the best programmers I personally know).

But also, unfortunately, it seems really unlikely that we will manage to outlaw either cars or LLMs.

novalis honked back 17 Apr 2026 19:57 +0000
in reply to: https://snug.moe/notes/al6vtsz0dcqbqemt

re: genai. ethical harms

re: genai. ethical harms

@lumi @bkuhn @mastodonmigration @ossguy GenAI has a case where it's useful: producing small software when you don't know how to write code. To my mind, this is a software freedom issue: what use is a pile of source code that you don't know how to modify? Sure, you could hire someone (if you're rich).

It also seems to (since November) be sometimes able to help experienced practitioners produce software faster than they otherwise would be able to -- especially in areas where they are unfamiliar with the ecosystem. You may or may not believe that this justifies the harm, but it is a use-case.

Finally, one weird-ass use-case which I admit is niche: I use it to remove ads from podcasts. Imagine doing that like 90s spam filtering, with a pile of regexps. Yuck. LLMs (while not perfect at the job) make it straightforward. My kid is much happier not listening to ads.

novalis bonked 15 Apr 2026 22:15 +0000
original: mhoye@cosocial.ca

Age verification is a deliberate attack on system sovereignty, both for individuals and countries. There’s no “age verifcation”, there is only “identity verification that includes age”, and the system doing that verification is not just a privacy-invasive user tracking system but a remotely controlled off switch for anyone of any age.

novalis bonked 15 Apr 2026 13:52 +0000
original: suricrasia@lethargic.talkative.fish

docker for qualia. gone are the days of "it works on my subjectivity." now you can easily deploy and manage experience itself. it's admittedly not perfect—there's been a long running issue where the sky's blue and the grass's green might be different depending on the platform. it's a linux permissions issue.