Mutex is a master of silly naps.
novalis rss
Cosmopolitan. Brooklyn-based indie game developer best known for Semantle.
@NovalisDMT on Twitter
novalis
honked back 13 May 2026 02:05 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116563803133349398
@mjd But have you read Beans by Ken Albala? Lupin is in there. I also learned about Lathyrus sativus, which I tried because of the hint of danger, but didn't love. They were fine, but nothing special. Now I would like to eat some beans so my methanogenic archaea have something to chew on.
novalis
honked back 12 May 2026 13:16 +0000
in reply to: https://clacks.link/users/attoparsec/statuses/116560459648449478
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
honked back 08 May 2026 13:33 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116517329346411503
novalis
honked back 07 May 2026 23:46 +0000
in reply to: https://fedi.copyleft.org/users/bkuhn/statuses/116535667882261554
@bkuhn @richardfontana So maybe the right solution is to rewrite cp, mv, and ln to take arguments in any order, and just look at the case of the filename arguments to determine which goes where.
novalis
honked back 07 May 2026 19:27 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116534385246620335
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.
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: 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.
(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
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.
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
@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.re: unspecified horror
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 19:56 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116517355323711403
novalis
honked back 04 May 2026 16:21 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116517042654824782
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.re: unspecified horror
novalis
honked back 04 May 2026 14:59 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116516640139722860
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.re: unspecified horror
novalis
honked back 04 May 2026 14:24 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116516707024304624
novalis
honked back 04 May 2026 13:39 +0000
in reply to: https://mastodon.social/users/danluu/statuses/116515017568719623
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…
@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.)re: The opposite of “full” is…
novalis
honked back 03 May 2026 17:13 +0000
in reply to: https://fedi.copyleft.org/users/bkuhn/statuses/116511672193511345
@bkuhn @wouter @mjw @collinfunk @pinche_compinche This is why
man strstr gives the arguments as haystack and needle instead of trying to use the word target.
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…
@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?re: The opposite of “full” is…
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 02 May 2026 00:02 +0000
in reply to: https://hachyderm.io/users/mogul/statuses/116502005896396966
novalis
honked back 01 May 2026 17:07 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116499816023765822
@mjd There's also Liberia, in Costa Rica. I was once very confused when I saw an airline offering flights to bunch of Central American locations and one African one, before I looked it up. Also, I think a Saturday Times Crossword once had a clue about where one would find Angola and Brazil.
novalis
honked back 29 Apr 2026 13:29 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116485680591404091
re: The opposite of “full” is…
@mjd Or "new", if you're looking at the moon.re: The opposite of “full” is…
novalis
honked back 27 Apr 2026 17:51 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116477880708626013
@mjd @christianp I heard a suggestion that the stops on the 6 train be used to remember degrees Celcius -- 33rd St is ~0 C, 42nd is ~5C, 50th is ~10C, etc.
novalis
honked back 24 Apr 2026 16:35 +0000
in reply to: https://social.librem.one/users/johns/statuses/116457088446907672
@johns Make sure you photograph all of the identifying numbers on the packaging as well as your receipt before you notify the FTC.
novalis
honked back 21 Apr 2026 15:42 +0000
in reply to: https://sfba.social/users/jeridansky/statuses/116439913133803613
novalis
honked back 20 Apr 2026 00:16 +0000
in reply to: https://snug.moe/notes/al9z5utci9uehfj8
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 18:45 +0000
in reply to: https://fedi.copyleft.org/users/bkuhn/statuses/116427131005370154
@bkuhn @zacchiro @cwebber @ossguy @richardfontana I don't even know if I agree with my supporting arguments. But I don't even think that it has to be someone in the proprietary world that brings a lawsuit -- it could be anyone whose code or text is trained on.
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
@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.re: genai. ethical harms. bit rambly
novalis
honked back 17 Apr 2026 20:29 +0000
in reply to: https://snug.moe/notes/al6wz4zole5336nc
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.re: genai. ethical harms
novalis
honked back 17 Apr 2026 19:57 +0000
in reply to: https://snug.moe/notes/al6vtsz0dcqbqemt
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.re: genai. ethical harms
novalis
honked back 17 Apr 2026 19:43 +0000
in reply to: https://fedi.copyleft.org/users/bkuhn/statuses/116421715934684528
re: genai. ethical harms
@bkuhn @mastodonmigration @lumi @ossguy Maybe cars would be a better analogy: expensive, environmentally destructive, makes your body atrophy, but damn they're convenient.re: genai. ethical harms
novalis
honked back 17 Apr 2026 14:11 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116420123287221635
novalis
bonked 17 Apr 2026 10:49 +0000
original: swelljoe@mas.to
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.
novalis
honked back 13 Apr 2026 17:47 +0000
in reply to: https://beige.party/users/intransitivelie/statuses/116398265276658698
novalis
honked back 13 Apr 2026 15:03 +0000
in reply to: https://hachyderm.io/users/lahosken/statuses/116397948284157910
novalis
bonked 13 Apr 2026 15:03 +0000
original: lahosken@hachyderm.io
new from Sam Lavigne: "A form which calculates an individual’s 'income tax body count', or the total number of conflict-related deaths they have caused through their income tax contributions to the U.S. government."
novalis
honked back 10 Apr 2026 14:31 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116380688077819980
novalis
honked back 10 Apr 2026 13:38 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116377881658078762
@mjd @robinhouston Those are called "polyiamonds", which must have been what was meant; I think it's false because of polyiamonds with holes.
novalis
bonked 06 Apr 2026 00:30 +0000
original: jefftk@mastodon.mit.edu
The way egg whites can be beaten into a foam and set with heat is hard to replace when cooking for vegans, but you can now by precision fermented egg white protein and it works great! https://www.jefftk.com/p/chicken-free-egg-whites
novalis
honked back 06 Apr 2026 00:24 +0000
in reply to: https://mas.wrong.tools/users/crystalvisits/statuses/116349088172968876
@crystalvisits I once went to a podiatrist for a sprained ankle. Sure, there was an elevator to his office. But to get to the elevator, you had to go down a flight of stairs. It was a very wide flight of stairs -- 4 or 5 meters wide. They could have put in a lift. A podiatrist.
novalis
honked back 06 Apr 2026 00:12 +0000
in reply to: https://clacks.link/users/attoparsec/statuses/116354019491907321