home tags events about login

novalis rss

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

novalis honked back 24 Aug 2026 21:11 +0000
in reply to: https://social.jvns.ca/users/b0rk/statuses/117152484974758173

@b0rk @mjd I think hashing is by far the most useful for the working programmer (in some sense -- like, it would be hard to imagine life without https, but I mean, direct use). In addition to integrity checking, deduplication/content-addressed storage, there's password hashing, and, if you are a fan of carbon dioxide, proof-of-work. But admittedly my own experience biases me.

novalis honked back 24 Aug 2026 20:39 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/117152382337400654

@mjd @b0rk I actually think I at least skimmed that paper, a while ago. But I mean, it's known in the sense that we know that nobody has published a way to do it, and people spend billions of dollars online on the assumption that these operations are difficult. And we further are now deploying PQC on the belief that certain operations will not be difficult for very long given newer technology. It's not a mathematical fact, but an engineering value, like the compressive strength of concrete. But it's subject to change because we live in an adversarial world. So maybe it's more like, I dunno, how deadly a bullet is given current armor. You're taking a math mindset, but that is exactly not the mindset that @b0rk is asking about.

novalis honked back 24 Aug 2026 19:57 +0000
in reply to: https://social.jvns.ca/users/b0rk/statuses/117152105522307276

@b0rk I don't understand the math well enough to trust in my understanding of it. Why should reversing certain functions be hard?

The only answer I can give is the same as the answer I give on global warming: scientists say this is the fact of the matter, and I trust their general epistemology.

I can plug in a toaster that I couldn't build, and I can toast with it. So I guess I can understand an interface to something I couldn't build. And I know that there are some toasters that are not worth taking a chance on (I guess the public key equivalent would be designing a novel cryptographic protocol).

A picture of a toaster sitting on a sidewalk; on it is a sign reading "FREE! BUT... TAKE AT YOUR OWN RISK (I TURN ON BY MYSELF AT RANDOM TIMES OF THE DAY & NIGHT) -> I'M A POSSESSED TOASTER

novalis honked back 12 Aug 2026 18:57 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/117083369802562623

@mjd @chris__martin I find that doctors at One Medical are dramatically more willing to give you Y or Z if you ask. Like, it's a ten minute appointment; you had better go in with plans Y and Z in hand. But if you do, they are well aware that you've chosen One Medical for a reason. It's not 100%; I got the shingles vaccine early but Danielle didn't (until a week later when coincidentally the One Medical doctor I had used moved to be the in-house One Medical person at her company, at which point, problem solved). Similarly, for psychiatric meds, someone whose job description is "medication management" will be more willing to let you bring your own suggestions.

But yes, it's crazy that you have to know tricks like this to get the bare minimum level of care.

novalis honked back 21 Jul 2026 19:40 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116958921414749965

@mjd I think this is another example of my theory that there are two types of people: those who embrace things of the class Cooper Coupe, and those who don't. The rank "General of the Army" was invented because otherwise George C. Marshall would have been Field Marshall Marshall. I would have jumped at that chance. Marshall didn't. (Of course, now I can't think of any other instances of this, but I'm sure I have some somewhere).

novalis honked 14 Jul 2026 21:52 +0000

I don't understand why fiction authors think it's OK to plagiarize games. Like, everyone knows about Tomorrow and Tomorrow and Tomorrow plagiarizing Brenda Romero's Train. But I just read (DO NOT READ - IT SUCKS UNRELATEDLY TO THIS) Marisha Pessl's "Darkly", and one of the games described in it is, almost precisely, The Return Of The Obra Dinn. Why is this considered acceptable? Like, imagine you're reading a novel about a novelist, and to show how original she is, they describe her novel, but when you read the description, it's just The Lovely Bones. Yeah, it's a very original idea -- but it's not your original idea. Nobody would put up with that. Or maybe this happens all the time in literary fiction and nobody cares and I don't read enough literary fiction to notice?

To some extent, I blame the popularity of The Amazing Adventures of Kavalier & Clay (which borrows, of course, from comics rather than games).

Still, it's weird

novalis honked 14 Jul 2026 21:08 +0000

The newly-coined (as it were) Chinese term for "token" (as in LLM token) is "词元", composed of the characters for "word" and "yuan" (the Chinese currency).

novalis bonked 14 Jul 2026 14:03 +0000
original: sarahtaber@mastodon.online

Had to explain the owner of a bakery I once worked at. Couldn't remember the word "Francophile"

so what came out of my mouth was "She's like a weeb but for France.... a oui-ouiaboo"

novalis bonked 08 Jul 2026 15:57 +0000
original: NanoRaptor@bitbang.social

I haven’t been able to eat dark chocolate since trying this 126% cocoa.

And for my own safety I won’t be going near the Chandrasekhar blend again either. Made my whole face pucker.

Half the town too.

A picture of a pack of 126% cocoa Lindt Excellence chocolate, Roche Limit Edition. On the cover is a large piece of Lindt chocolate breaking up under gravity or something. Also with magnetar field lines because nothing about it makes sense may as well look cool.

novalis honked back 01 Jul 2026 01:52 +0000
in reply to: https://toot.boston/users/bmd/statuses/116842125360416955

@bmd Thanks for the feedback.

I think it gives you a pop-up when you've got it solved; if you're not seeing that, please let me know what browser/OS and send me a screenshot. I'm not sure about typing -- there's a little thing where sometimes you've got to use the correct "O", but I don't know that it's a good thing, so maybe I should just forget that and allow typing. Kind of tricky to figure out how typing interacts with the drag/drop, but probably possible.

Anyway, too-much-dragging aside, how do you like it?

novalis honked 21 Jun 2026 23:02 +0000

Happy World Giraffe Day to those who celebrate.

novalis bonked 16 Jun 2026 19:24 +0000
original: angusm@mastodon.social

The UK government's plan to teach 10 million British children how to use VPNs may be one of the most ambitious IT education projects ever launched. Experts have praised the scheme, saying that a deft combination of incentives and peer education make it more likely to succeed than other, comparable initiatives.

"With the rise of autocratic governments worldwide, VPN-literacy is more essential than ever.” said one expert, “This bold project definitely comes at the right time.”

#UKSocialMediaBan

novalis bonked 15 Jun 2026 20:18 +0000
original: mjd@mathstodon.xyz

I'm looking for work, please boost!

I'm a senior software engineer with 35 years of experience. I've worked across an unusually wide range of domains: mobile game backends, privacy-preserving data platforms, high-throughput COVID testing infrastructure, email and account systems, e-payment processing, job marketplace systems, and bioinformatics. I pick up new domains quickly and have a track record of doing it repeatedly. I understand how to turn business needs into engineering requirements.

I've worked remotely since the 1990s and can operate with minimal supervision. I don't need hand-holding to find the right problem to solve. Several of my most valued projects were self-directed: I identified the need, built the thing, and shipped it.

Some of the technologies I'm familiar with include: Python, Perl, TypeScript/JavaScript, Haskell, Go, C, Java. Postgres, MySQL, SQLite. Flask, SQLAlchemy. AWS (Lambda, S3, RDS, SQS, EC2). Docker, Git. Github and Gitlab.

I've also repeatedly picked up new languages and stacks as needed: Haskell for differential privacy research, TypeScript for a 24/7 AWS Lambda system, Flask for my most recent employer. I've become productive with new systems over and over, and I can do it quickly.

I'm also a published author (Higher-Order Perl, Morgan Kaufmann), longtime blogger, and conference speaker with a reputation for making complex ideas clear.

My résumé is at https://plover.com/~mjd/cv/Mark%20Jason%20Dominus.pdf

mjd@pobox.com

Thanks for your attention!

#OpenToWork #remoteWork #softwareEngineering #Python #backend #hiring

#fediHire #getFediHired

novalis honked back 04 Jun 2026 23:57 +0000
in reply to: https://mathstodon.xyz/users/mjd/statuses/116680528671020643

re: unspecified horror

re: unspecified horror

@mjd Smart, mathematically people like you and @danluu often overestimate how much math other people can do.

Here's a bit that I recall finding tough:

This means that you can think of the powers of x as being vectors in a 4-dimensional vector space whose canonical basis is {1, √2, √3, √6}. Any four vectors in this space, such as {1, x, x2, x3}, are either linearly independent, and so can be combined to total up to any other vector, such as x4, or else they are linearly dependent and three of them can be combined to make the fourth. In the former case, we have found a fourth-degree polynomial of which x is a root, and proved that there is no simpler such polynomial; in the latter case, we've found a simpler polynomial of which x is a root.
To complete the example above, it is evident that {1, x, x2, x3} are linearly independent, but if you don't believe it you can use any of the usual mechanical tests.

I can't remember anything about vector spaces, and I don't know any of the usual mechanical tests. That one, I could probably get through by refreshing from Wikipedia, but a while back there was one about intuitionistic logic, which I had never even heard of (even though I read and enjoyed The Intuitionist).

novalis bonked 04 Jun 2026 23:09 +0000
original: mjd@mathstodon.xyz

The Metafilter folks are very quick to condemn AI training for its mass violations of intellectual property rights, and they are also very quick to share archive.is links to paywalled articles that they don't care to pay for, which is all of them.

novalis honked back 24 May 2026 12:44 +0000
in reply to: https://mas.wrong.tools/users/crystalvisits/statuses/116626096451052377

@crystalvisits @crschmidt @somershade.bsky.social The double-stair thing long pre-dates ebike batteries. I mean, yes, this is one of FDNY's current reasons to oppose single-stair buildings, but firefighters also often opposed bike lanes for insane reasons. You also can't have large home batteries like FranklinWH. Well, I think you can, but only if you have them 25 feet away from your house, which in practice means you can't in the parts of the city where most people live.