DougMerritt (log😅 = 💧log😄)

I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems, languages/compilers, sometimes AI, usually non-traditional parallel software and hardware architectures.
Also:
#computer_science #unicode #unix #linux #bsd
#compilers
#operating_systems
#GOF_AI
#cognitive_science
#linguistics
#physics
#mathematics

Ex-springboard diver; scuba diver; free diver

Ars longa, vita brevis.

Public Key

npub1vlchukd4yknuculh52a5xzq98k4fcndnp4ptnl9jx7gr6j5nqsls06mzqq

NIP-05 Address

[email protected]

Profile Code

nprofile1qqsx0ut7tx6jtf7vw0m69w6rpqznm25ufkes6s4eljer0ypaf2fsg0cprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntmevm8m

Publishing to

relay.momostr.pink

Author Public Key

npub1vlchukd4yknuculh52a5xzq98k4fcndnp4ptnl9jx7gr6j5nqsls06mzqq

Show more details

Published at

2026-04-13T21:14:15+02:00

Kind type

0 Metadata

Event JSON

{ "id": "0b1e2bea508c4e91057ac402ea01410b3416a12ba0f39f212ada58d94cf1500b", "pubkey": "67f17e59b525a7cc73f7a2bb4308053daa9c4db30d42b9fcb237903d4a93043f", "created_at": 1776107655, "kind": 0, "tags": [ [ "t", "unicode" ], [ "t", "linux" ], [ "t", "physics" ], [ "t", "compilers" ], [ "t", "mathematics" ], [ "t", "linguistics" ], [ "t", "unix" ], [ "t", "bsd" ], [ "t", "computer_science" ], [ "t", "operating_systems" ], [ "t", "cognitive_science" ], [ "t", "gof_ai" ], [ "proxy", "https://mathstodon.xyz/users/dougmerritt", "activitypub" ], [ "L", "pink.momostr" ], [ "l", "pink.momostr.activitypub:https://mathstodon.xyz/users/dougmerritt", "pink.momostr" ], [ "-" ] ], "content": "{\"name\":\"DougMerritt (log😅 = 💧log😄)\",\"about\":\"I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems, languages/compilers, sometimes AI, usually non-traditional parallel software and hardware architectures.\\nAlso:\\n#computer_science #unicode #unix #linux #bsd\\n#compilers\\n#operating_systems\\n#GOF_AI\\n#cognitive_science\\n#linguistics\\n#physics\\n#mathematics\\n\\nEx-springboard diver; scuba diver; free diver\\n\\nArs longa, vita brevis.\",\"website\":\"https://mathstodon.xyz/@dougmerritt\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/108/284/007/220/531/105/original/f1ef314de5160ef6.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/108/284/007/220/531/105/original/0829f47f4577d733.jpg\",\"nip05\":\"[email protected]\"}", "sig": "a5d9e80aee406292f798bdd639fd311ab9d25de34256b5de33fc2511a91cc9db9e8914c281b363b9d2230558dc71b47e67da5763a8124261582e5a8f3d3e0aba" }

Last Notes

2026-04-14 19:21:00 CEST

- reply

Lead makes for sweeter water. In fact they used it directly to sweeten wine.

2026-04-13 21:59:23 CEST

- reply

I can certainly see that being nice for you!

2026-04-13 21:48:55 CEST

- reply

Does MacOS also do that??
I've lightly developed under MacOS, but never developed for modern mobile (I did do development for mobile back in the flip-phone era, but things have changed rather a lot since then :)
@npub1eq5…2ayu

2026-04-13 21:22:45 CEST

- reply

Wow. Sorry about that for Lisa, but that's impressive, relative to the U.S. if not relative to the E.U.

2026-04-13 21:03:48 CEST

- reply

Under Unix-like systems (every major OS except Windows and some RTOSes) [1], this would require an addition of a "save state" save-upon-signal-receipt and a "restore state" as a command line option.
That is very do-able, and I'd like to see it, but getting it into all the apps out there beyond the core Unix apps seems like impossible logistics.
I would like to be wrong about the latter.
[1] Probably under *all* OSes, but that would require a painful survey.

2026-04-13 18:06:57 CEST

@npub1nf4…nqe4
Hmm, so John, are you allowed to vote in Ediburgh???
https://mathstodon.xyz/@npub1htl…zxg8/116394413321232949

2026-04-12 20:11:23 CEST

- reply

A bit of thought makes it seem that the face that glues to a next tetrahedron must have an irrational value for its orientation, which in the general case forces the same on the next face glued to it, and due to irrationality, can never repeat.

2026-04-12 17:26:50 CEST

"You can log into 28 vintage computer systems in your browser for free, thanks to the Interim Computer Museum — Experience legendary OSes, architectures, programming languages, and games"
https://www.tomshardware.com/video-games/retro-gaming/you-can-log-into-28-vintage-computer-systems-in-your-browser-for-free-thanks-to-the-interim-computer-museum-and-sdf-org-experience-legendary-oses-architectures-programming-languages-and-games

2026-04-06 20:50:43 CEST

- reply

>> That's not my way of doing physics - I can afford to be less of an ambulance-chaser.
Sure, sure, I know that about you, but it's not like dark radiation was invented by this particular paper.
It's at least as old as 2008 (the 2024 date appears to be the last-edit date or even just a mistake):
"Dark Matter and Dark Radiation"
Lotty Ackerman, Matthew R. Buckley, Sean M. Carroll, and Marc Kamionkowski
2008
Physical Review D. 79 (2) 023519.
https://arxiv.org/abs/0810.5126
...with a survey paper at least as early as 2011:
"The Case for Dark Radiation"
Maria Archidiacono, Erminia Calabrese, Alessandro Melchiorri
https://arxiv.org/abs/1109.2767v1
Maybe today your taste is to not work on still-hypothetical physics, but you *used* to like at least some of that, when you were working on an alternative to String Theory.
Otherwise I wouldn't mention it to you.
I try to be very, very cautious about wasting your time.
> Of course here "almost conflict with each other" is a funny way of saying "almost nail it down precisely".
Indeed. :)

2026-04-06 06:39:02 CEST

- reply

That sucks. I hadn't heard the news that WIMPs are completely out of fashion.

2026-04-05 20:35:36 CEST

RE: https://mathstodon.xyz/@dougmerritt/116353281772100891
@npub1nf4…nqe4
Have you blogged about dark radiation? Since you're currently looking at particles, it occurred to me that you might have an opinion or even a brainstorm about this.
It's a wide open topic.
#note1ftm…fh7p

2026-04-05 19:29:43 CEST

Physical Review Letters:
"Impostor among Neutrinos: Dark Radiation Masquerading as Self-Interacting Neutrinos"
2 April 2026
Abstract
Multiple cosmological observations hint at neutrino self-interactions beyond the standard model, yet such interactions face severe constraints from terrestrial experiments. We resolve this tension by introducing a model where active neutrinos resonantly convert to self-interacting dark radiation after BBN but before CMB epoch. This exploits the fact that cosmological observables cannot distinguish between neutrinos and dark radiation with the same abundance and free-streaming properties. Our mechanism, based on a simple type-I seesaw framework along with a keV scale scalar mediator, achieves two objectives: (i) it produces strongly self-interacting dark radiation that imitates neutrino self-interactions favored by cosmological data, and (ii) it depletes the active neutrino energy density, relaxing cosmological neutrino mass bounds and easing the tension with neutrino oscillation data. The model naturally evades laboratory constraints through suppression of the neutrino-mediator coupling by the squared mass ratio of active and sterile neutrinos. We show that this scenario is favored over Λ⁢CDM by the combined Planck and DESI data, while being consistent with all other constraints. Our mechanism is testable in future laboratory probes of absolute neutrino mass and searches for sterile neutrinos.
https://journals.aps.org/prl/abstract/10.1103/jprg-jll6
Phys. Rev. Lett. 136, 131003 – Published 2 April, 2026
DOI: https://doi.org/10.1103/jprg-jll6

2026-04-05 02:02:28 CEST

The Cathedral, the Bazaar, and the Winchester Mystery House
https://www.dbreunig.com/2026/03/26/winchester-mystery-house.html

2026-03-30 20:18:09 CEST

- reply

Yes, well, moving past John's point:
Easier said than done. Current things like Lean are lots better than the systems of years ago, but -- do you have any specific ideas?
I used to follow that area of technology, but I somewhat burned out on it. For now, Terry Tao et al is getting good mileage out of Lean.
I suppose there's some analogy with the period of shift from Peano axioms to ZFC and beyond.

2026-03-29 22:27:59 CEST

- reply

> formalization tends to impose consensus
I'm not sure people are getting your point. The way I see it, formalization tends to make people subconsciously think in terms of The One And Only Truth -- and thus consensus.
But we know that in mathematics, there are always other paths, and truths follow from axioms / axiom schemas, which themselves can vary.
Or perhaps I'm missing your point, too.

2026-03-23 17:31:28 CET

It had to happen...it's becoming increasingly common to see:
> No LLMs were involved in the process of writing this blog post.
...at the start of blog entries and maybe articles, too.

2026-03-12 18:31:42 CET

- reply

> it's too useful for too many things to really "fail"
This is true, despite the fact that we're inundated by stronger claims ("this really is AGI already! Claude is conscious!") which are definitely false.
But also this middle-ground, that it's useful nonetheless, is lost on my many industry colleagues who have been fighting the good fight against the quacksters, but too vehemently to give any ground or quarter; they'll be the last to grant that there's any use.

2026-03-12 15:15:25 CET

- reply

Glad to hear it! Horror stories are what I recalled, too.

2026-03-12 06:42:01 CET

- reply

> The "top-down" management that Taylor and Francis seems to be implementing is running roughshod over the standard practices of the refereeing process in mathematics.
That right there is already inexcusable with no further explanation.

2026-03-10 19:30:56 CET

- reply

Assuming you're making light of a reality (and it *was* funny), my sympathies that you have to do a bone marrow biopsy. Good luck on *everything*!

2026-03-10 19:01:08 CET

- reply

> Some might have no working performance cores.
That is of course not typical for an ASIC. You're wanting to try something experimental with the fab process itself?
Or is it just so large that statistics kill it?

2026-03-10 18:57:23 CET

- reply

To be *slightly* less of a smartass, I searched on Kähler on your blog, since clearly you would have discussed this in the past. Sure enough:
https://johncarlosbaez.wordpress.com/?s=K%C3%A4hler

2026-03-10 18:45:15 CET

- reply

> it has a god-given Kähler structure
Way to put your foot down and assert, "*THIS* part is true, I will fight to the death to defend it...we can chat about the rest. I mean, whatever. "
😆

2026-03-10 06:31:31 CET

- reply

We've liked it. It has a different feel to it.

2026-03-10 03:26:01 CET

- reply

Use of white phosphorus on civilians is horrific beyond words, and unquestionably constitutes a terrible war crime.
The loophole is always that the aggressors, like Israel here, claim that the use was on a military target, and civilians nearby were merely unfortunate.
I don't believe them, but proving it in the right jurisdiction is another matter.

2026-03-10 02:59:42 CET

- reply

What is the time difference? It seems like you're up early.
Keep us posted on your paper; so far so good. 🙂

2026-03-07 15:00:44 CET

- reply

I hadn't noticed that diaspora Iranians were cheering. Yes, they must want regime change and are not considering the war crimes on children.
I dislike thinking that they may be sociopaths, but admittedly I don't actually know.

2026-03-06 19:12:33 CET

- reply

You write well, but I get depressed by these subjects, so I typically don't engage much on them online.

2026-03-06 06:53:54 CET

- reply

This sounds like a crime against humanity -- which of course will end up unprosecuted, which is a travesty.

2026-03-05 02:47:23 CET

- reply

Oh, and "some of my best friends" do IT without CS. My wife's best friend's husband has a science BS and has a great career in network administration.
Similarly with many people I've worked with.

2026-03-05 02:45:06 CET

- reply

Yeah, certifications are a way of showing knowledge prior to having experience, so they can help people get jobs -- although in practice certification programs are predatory and prey on the unskilled.

2026-02-28 03:52:48 CET

RE: https://infosec.exchange/@lcamtuf/116145915896015100
@npub1nf4…nqe4
Speaking of best approxmations, lcamtuf is fighting the good fight (education), arriving at Dirichlet’s approximation theorem plus a bit about Diophantine approximations:
"Approximation game: The number 22/7 and the pigeon flock of Peter Gustav Lejeune Dirichlet."
https://lcamtuf.substack.com/p/approximation-game
via
https://mathstodon.xyz/@npub1ysw…uzpe/116145915962464328
#note1rv8…e2rs

2026-02-25 02:24:19 CET

- reply

> This is why clocks, which were based on sundials, have hands that move clockwise...decided to break free of this colonial legacy
I sense an angular momentum CPT violation in progress; call the weak police!

2026-02-22 20:49:24 CET

"CSLib: The Lean Computer Science Library"
4 Feb 2026
"We introduce CSLib, an open-source framework for proving computer-science-related theorems and writing formally verified code in the Lean proof assistant."
https://arxiv.org/abs/2602.04846

2026-02-22 19:02:40 CET

- reply

> It may seem weird that sounds should robustly match with shapes, but I think it follows from physics
When I found out about the effect via linguistics, I too concluded it was likely due to physics.
This news about baby chicks makes that seem even more likely.

2026-02-12 22:16:26 CET

- reply

Interesting! I had read up on the history of the western calendars, but it's been decades, and I sure didn't remember that part.

2026-02-12 19:15:07 CET

- reply

> a year that was 18 × 20 = 360 years long
"years" should be "days"

2026-02-11 00:36:26 CET

- reply

Yes, great take on that.

2026-02-10 18:56:12 CET

- reply

You really ask the tough questions.
@npub1nf4…nqe4

2026-02-10 18:54:16 CET

- reply

That's all well and good, but how does one convert from Blue Sky dates to Mastodon dates? 😆

2026-02-10 18:36:16 CET

- reply

Ha, small world!
> he knows too much about sporadic finite simple groups
Stop me if I've told you before:
I find that a very tough subject, but in the 1980s I was friends with Arunas Rudvalis when he temporarily moved to my area, discoverer of the Rudvalis sporadic simple group (order 145,926,144,000 = 2^14 * 3^3 *5^3 * 7 * 12 * 29); he's a very very smart guy (long retired), I learned a lot about (non-group theory) math from him.
At one point I threw a party that he attended, and he was very excited: "do you have the latest Scientific American? I'm in it!"
I did have it (quite the coincidence that the party and the publication happened at the same time), and he showed everyone the article about the completion of classification (*), and the non-mathematician partiers had no idea what he had done but were all duly impressed. :)
On one of my visits with him, he said that, since his specialty was finished (he didn't care about the long wrap-up that followed), he was switching to...I think he called it "probability theory". I expressed surprise that he was moving to another area that surely was also almost done, but he said "no no, it's not; take *all* of mathematics and make the variables random ones -- that's the topic, so it will never be finished"
Just one example of him blowing my mind by enlarging my perspective.
(*) Daniel Gorenstein (1985), "The Enormous Theorem", Scientific American, December 1, 1985, vol. 253, no. 6, pp. 104–115.

2026-02-10 17:22:19 CET

@npub1nf4…nqe4
As posted by our mathstodon sysadmin today:
"Music: a Mathematical Offering"
2006/2008
https://homepages.abdn.ac.uk/d.j.benson/pages/html/maths-music.html
via
mathstodon.xyz/@esoterica/116045269128018241
Web page shows chapter headings.

2026-02-09 19:15:10 CET

- reply

Gene used to post to Usenet, e.g.:
From: [email protected] (Gene Ward Smith)
Newsgroups: sci.math,comp.music
Subject: Re: A Mathematical Theory of Music
Date: 20 Jul 90 03:53:40 GMT
In article <[email protected]> [email protected] (Philip
Dorrell) writes:
>>>All [...] intervals in music can be expressed in terms of integral powers of
>>>2, 3 and 5. Taking logarithms, this gives a 3-dimensional vector space with
>>>basis vectors log 2, log 3 and log 5.
What you should say is that music based on 2,3 and 5 forms a
subgroup (free of rank 3) of Q*, the multiplicative group of
positive rationals, and that the log map takes this in a natural
way to a lattice in R3. If we assume a mean-tone type system, the
kernal of the homomorphism from this rank 3 abelian group to the
rank 2 group which covers mean-tone systems is generated by
81/80, which is the well-known diatonic comma: the difference
(9/8)/(10/9) between the two just major tones of the just
diatonic scale.
>It seems that some approximation error always occurs somewhere, and this is in
>fact a consequence of my theory - according to it, every tune contains a 'proof'
>that 80 = 81. For example : suppose there existed some tune played on an exactly
>tuned scale that did not somewhere come up against the problem that an interval
>in the tune was out by a factor of 81/80 from what you wanted it to be -
>according to my theory, such a tune would not be a tune.
Your theory is wrong. Lots of music can be made on just the
diatonic major scale. Make everything triadic, and so long as the
minor supertonic (ie d minor over C major) is avoided, you are
home free.

2026-02-09 00:09:28 CET

- reply

I knew the word "theobromine" but not its derivation; interesting!
@npub1zm0…qduz

2026-02-08 23:51:18 CET

- reply

Indeed, there are many modern chocolate worshippers!
@npub1nf4…nqe4

2026-02-08 23:50:06 CET

- reply

Well, yeah! 😆

2026-02-08 23:45:06 CET

- reply

> From the ancient Maya texts, particularly the Popol Vuh, we learn that cacao was considered a divine gift from the gods. It was believed that the cacao tree was created by the gods to provide sustenance for humanity. The mythology surrounding cacao emphasizes its sacred nature, as it was often consumed in rituals and ceremonies designed to honor the deities. The Maya viewed cacao as a connector between the earthly and spiritual realms, making its cultivation and consumption a vital aspect of their culture.
> Chocolate played a multifaceted role in Maya society, influencing everything from social status to religious practices. It was primarily consumed as a frothy, bitter drink called "xocolatl," often flavored with spices, honey, or chili.
https://www.mexicohistorico.com/paginas/The-Maya-Use-of-Chocolate--A-Sacred-Drink.html
"Chili" I recalled but not honey. For the Mayans that is.

2026-01-22 02:51:33 CET

- reply

Nice that it brings back memories for you.
My dad wasn't very musical, but he did mention that "Lili Marleen" was popular with both the allies and the axis during WWII, (confirmed -- it wasn't just my dad saying so) which is weird. Marlene Dietrich sang the version that the allies heard (including my dad, who bombed Nazi Germany). It was used in the famous film "Judgement in Nuremberg".
It's a pleasant song.
Marlene Dietrich 1944 English version:
https://www.youtube.com/watch?v=gBi5j7yPwd0
Original 1939 German version sung by Lale Andersen:
https://www.youtube.com/watch?v=YjXC4N1HXf0
https://en.wikipedia.org/wiki/Lili_Marleen

2026-01-22 02:29:32 CET

- reply

Similarly, cartoonist Tad Dorgan is credited with coining or popularizing all these:
dumbbell (stupid person)
for crying out loud (expletive)
cat's meow (superlative)
cat's pajamas (superlative)
cheaters (eyeglasses)
"yes, we have no bananas" (nonsense that was turned into a popular song)
no: "hot dog" for sausage (ATTRIBUTION INCORRECT)
no: 23 skiddoo (I read this elsewhere but it's not listed by wikipedia)
...and some others that I didn't note because I didn't recognize them; they may not have survived past the first half of the twentieth century even if formerly popular.
He worked at The San Francisco Chronicle and The New York Journal as a sports journalist and cartoonist.
https://en.wikipedia.org/wiki/Tad_Dorgan#Slang

2026-01-21 17:00:45 CET

- reply

My impression is that, if you're in a country that historically was managed by the Brit's empire, then you may optionally put dairy products in tea, otherwise it is strictly forbidden.

2026-01-12 04:50:50 CET

- reply

So Clifford was saying that the motion of matter is exclusively due to the wave-like motion of "hills"/curves in space.
Pretty early for that sort of talk.

2026-01-10 01:00:24 CET

- reply

It's a good thing that Poincare is famous in his own right rather than going down in history as a completely forgotten unknown, although not a household name like Einstein.

2026-01-09 21:06:17 CET

- reply

Yes, Einstein's work is typically discussed as if he was working complete ab initio, as if like Athena sprung fully formed from the brow of Zeus, without mention of precursor work, but of course Einstein, although brilliant, was not working in a vacuum. His work was enabled by multiple other mathematicians and physicists.
Without prompting my memory, the first obvious such is Minkowski.
We all stand on the shoulders of other humans (giants or not :)

2026-01-09 01:19:12 CET

RE: https://wandering.shop/@cstross/115861935194088492
@npub1nf4…nqe4
Life in Edinburgh....

2026-01-08 07:55:04 CET

- reply

I'm not so sure about adding anything multi-paradigm to the list, but I see that that point can be argued.
I see the motivation for all of them, in any case.
Except that I haven't really looked much at Python, and not at all at Elixer, unlike all those other languages (several of which I've even implemented 🙂 ), so I don't have an opinion otherwise.
@npub1gnu…0jmx

2026-01-08 06:51:41 CET

- reply

True, and there are various arguments for and against each of those (and for any language, of course).
But note that you are sort of underscoring his point. C++ began as "C With Classes", a mix of C and Smalltalk (and then added a truly vast amount of avoidable complexity on top of that).
Haskell and OCaml are similarly mixes of Standard ML and other ideas.
I agree that entirely separate paradigms were introduced by SQL, Lisp (not Scheme), Prolog, and APL (not J) historically. So those fit in the list.
And it's fair to bend the rules and use Scheme as an improvement over Common Lisp, and to use J, a good modernization of APL.
I think Amen was aiming at fairly pure examples of foundational paradigms, not "best language to use", but any discussion of these things can quickly get complicated.
@npub1gnu…0jmx

2025-12-26 18:17:05 CET

- reply

Yes, I don't disagree -- but students of a field always find ways of viewing terminology in a way that makes it seem completely arbitrary, even though their teacher sees that it was motivated.

2025-12-26 17:46:48 CET

- reply

The circle of fifths helps clarify the topic. In fact for most western music it is essential to master thinking in terms of it (despite the "contradiction" that, descending in the other direction, it's the circle of fourths).
None of this is illogical, not one little bit. The *terminology* of course derives from historical accident.

2025-12-21 23:37:50 CET

- reply

Hmm. Well, why *did* that recipe use the word "chip" at all?
There's something unexplained here.

2025-12-20 17:52:19 CET

- reply

> wildfire
So, a long term repeating issue, not one-off.

2025-12-16 18:13:39 CET

- reply

"We have always been at war with Glasgow."

2025-12-16 17:59:13 CET

- reply

RE: https://wandering.shop/@cstross/115725135370824735
@npub1nf4…nqe4
If it's not one thing, it's another.
If it's not Edinburgh weapons of mass destruction, it's Edinburgh Deep Government helicopters:
https://mathstodon.xyz/@npub1dnd…hzjs/115725136248568177

2025-12-15 21:59:55 CET

- reply

A cynic would say that every country has such a term, but I see that's not the kind of answer you're looking for.
@npub15fr…ltmz

2025-12-15 19:55:48 CET

- reply

Oh, and at the start it says that the video contains her ideas for such an approach.
Links include her paper:
⁠Could ∞-Category Theory Be Taught To Undergraduates? (paper): https://arxiv.org/pdf/2302.07855

2025-12-15 19:53:19 CET

@npub1nf4…nqe4
This conceivably could be of interest to you, although it's 8 months old so you also may have heard of it already:
"Emily Riehl Makes Infinity Categories Elementary"
"Emily Riehl, one of the world’s leading category theorists, shares her vision for making infinity category theory something undergrads can actually learn.
"In this talk, she breaks down how rethinking the foundations of math could change the way it’s taught and understood—and why it might redefine what math even is."
In the channel of Curt Jaimungal, who somehow manages to get a lot of high-profile interviewees.
https://www.youtube.com/watch?v=mTwvecBthpQ

2025-12-14 22:29:21 CET

- reply

People keep reinventing that notion, but it can't be true: black holes have a pretty well defined position and center in 3 dimensions, because it obviously is a 3-dimensional object despite having a past and future, while the universe (and the Big Bang) has no center in 3 dimensions; it is 4-dimensional.
@npub1nf4…nqe4

2025-12-14 21:35:36 CET

- reply

The fundamental particles all being on the Compton line is verrrrrrry suspicious.

2025-12-11 12:11:50 CET

- reply

Sounds like you know more about all that than I. I take it there's evidence Orwell knew about Zamyatin's "We"?
[@ramin_hal9001](https://fe.disroot.org/users/ramin_hal9001 ) @npub1urw…lh52

2025-12-11 11:25:06 CET

- reply

Our actual reality not falling apart sufficiently or fast enough for some people, they must start imagining the joining of some of the darkest of warnings famously in novels over history.
Just kidding. 🙂
Well...maybe I'm not kidding, because things look pretty bad, but I hold no ill will, how's that.
I always thought Brave New World was the scariest in mainstream literature (not counting e.g. science fiction), because it is structured so as to seem paradisical to most of its inhabitants / possible critics, and yet certain aspects are strongly dystopian.

2025-12-10 22:03:02 CET

- reply

Every instrument has a soul -- when played that way.
Perhaps the musician and the instrument share one soul, when they are in accord.

2025-12-10 19:04:21 CET

- reply

Sauron followers.

2025-12-08 16:10:07 CET

- reply

I feel like this is why spin 1/2 particles must anticommute; I'm not way off base there, am I?

2025-12-07 14:27:53 CET

- reply

Fleshing that out a touch:
People who moved from twitter to places like hereabouts when they did, triggered by events, presumably have a set of traits that are less common in people who stayed on twitter.
(I know there are people who had already been here for years, but I don't know their traits, and I think the refugees are the larger population here anyway)
The traits in question *might* predispose certain attitudes towards AI.
It's food for thought; I don't immediately see a good way to test the idea, though, so....thought is good 🙂 .

2025-12-07 12:10:50 CET

- reply

Yes, I had read what Terry said. Most of the public seems to polarize to be either strong for or against LLM, but Terry just grabbed the bull by the horns and uses it so carefully but forcefully that it bends to his will, unlike many of the hyper-enthusiastic crowd who are nowhere near so careful.
The lessons in that are obvious -- but you're that kind of person, too, so I'm preaching to the choir here.

2025-12-07 11:49:22 CET

- reply

Agreed on all of the above, although apropos of nothing but that you said the word "language":
"verbing weirds language" -- Calvin and Hobbes

2025-12-07 11:45:58 CET

- reply

> However, the Axiom team didn't notice this.
Or more likely, they were more interested in claims that assisted getting $64 million than they were in carefully accurate statements. 🙄

2025-12-06 23:48:03 CET

- reply

Yes, I remember, and yes, it's certainly different.
The current era's new ways has both positives and negatives, as usual, but I'm a lifelong fan of technology.

2025-12-06 18:59:36 CET

- reply

We all managed to get by, and to share, before the internet, so this would merely be returning to our past practices -- although it would be devastating to everything otherwise, since all is based on the internet these days.
But BBSes still exist, and there are still people with modems to communicate over phone lines.
> => I would only write things that can be shouted in a crowded pub or restaurant. 📢
Great!!!

2025-12-05 16:40:47 CET

- reply

Tom is correct.
OTOH someone said that a conditional, "if", is being added to CSS, which brings it closer. If they add looping with something like "while", then it becomes a programming language, albeit a problematic one.

2025-12-05 15:29:59 CET

- reply

And there are many choices of a coordinate system, including coordinate-free.
Practical applications typically emphasize a particular choice because it has been found to be useful in that context, but that doesn't mean that it's the only choice, and in pure math it is often useful to dismiss them altogether.
Bridging pure math and applied math for practical applications can be complex and confusing, but it's good to remember that they *are* different domains.

2025-12-05 15:22:08 CET

- reply

There are many common distributions of noise, including this one, and they are all of technical interest. In signal processing I usually see them addressed in terms of Fourier Analysis, but of course that's just the start.

2025-11-30 02:58:46 CET

- reply

It appears to include material that you doubtless previously studied; which parts of it prompted your purchase?

2025-11-25 23:55:39 CET

- reply

I'm aware that you have a strong background in multiple ways, but I think this is the first time I've heard someone say they really should already know algebraic geometry much better.
I mean, I was under the impression that one needed to specialize in algebraic geometry to know it well.
Oh, well, I'm just in the company of talent here, between you and John, so why am I surprised.
Edit: in no way am I comparing the two of you; I should have worded that more carefully.
@npub1nf4…nqe4

2025-11-23 11:14:23 CET

- reply

I listened to them yesterday. Beautiful. I'm not an expert on Bach but I liked them. Meanwhile my music theory friends haven't gotten back to me about them, but hey, Bach is Bach.

2025-11-23 03:49:59 CET

- reply

2001 - Anders Hejlsberg invents C#. C# is a relatively verbose, garbage collected, class based, statically typed, single dispatch, object oriented language with single implementation inheritance and multiple interface inheritance. Microsoft loudly heralds C#'s novelty.
2003 - A drunken Martin Odersky sees a Reese's Peanut Butter Cup ad featuring somebody's peanut butter getting on somebody else's chocolate and has an idea. He creates Scala, a language that unifies constructs from both object oriented and functional languages. This pisses off both groups and each promptly declares jihad.
Footnotes
[1] Fortunately for computer science the supply of curly braces and angle brackets remains high.
[2] Catch as catch can - Verity Stob
https://james-iry.blogspot.com/2009/05/brief-incomplete-and-mostly-wrong.html
6/6

2025-11-23 03:49:43 CET

- reply

1995 - Yukihiro "Mad Matz" Matsumoto creates Ruby to avert some vaguely unspecified apocalypse that will leave Australia a desert run by mohawked warriors and Tina Turner. The language is later renamed Ruby on Rails by its real inventor, David Heinemeier Hansson. [The bit about Matsumoto inventing a language called Ruby never happened and better be removed in the next revision of this article - DHH].
1995 - Brendan Eich reads up on every mistake ever made in designing a programming language, invents a few more, and creates LiveScript. Later, in an effort to cash in on the popularity of Java the language is renamed JavaScript. Later still, in an effort to cash in on the popularity of skin diseases the language is renamed ECMAScript.
1996 - James Gosling invents Java. Java is a relatively verbose, garbage collected, class based, statically typed, single dispatch, object oriented language with single implementation inheritance and multiple interface inheritance. Sun loudly heralds Java's novelty.
5/6

2025-11-23 03:48:48 CET

- reply

1986 - Brad Cox and Tom Love create Objective-C, announcing "this language has all the memory safety of C combined with all the blazing speed of Smalltalk." Modern historians suspect the two were dyslexic.
1987 - Larry Wall falls asleep and hits Larry Wall's forehead on the keyboard. Upon waking Larry Wall decides that the string of characters on Larry Wall's monitor isn't random but an example program in a programming language that God wants His prophet, Larry Wall, to design. Perl is born.
1990 - A committee formed by Simon Peyton-Jones, Paul Hudak, Philip Wadler, Ashton Kutcher, and People for the Ethical Treatment of Animals creates Haskell, a pure, non-strict, functional language. Haskell gets some resistance due to the complexity of using monads to control side effects. Wadler tries to appease critics by explaining that "a monad is a monoid in the category of endofunctors, what's the problem?"
1991 - Dutch programmer Guido van Rossum travels to Argentina for a mysterious operation. He returns with a large cranial scar, invents Python, is declared Dictator for Life by legions of followers, and announces to the world that "There Is Only One Way to Do It." Poland becomes nervous.
1995 - At a neighborhood Italian restaurant Rasmus Lerdorf realizes that his plate of spaghetti is an excellent model for understanding the World Wide Web and that web applications should mimic their medium. On the back of his napkin he designs Programmable Hyperlinked Pasta (PHP). PHP documentation remains on that napkin to this day.
4/6

2025-11-23 03:47:45 CET

- reply

1973 - Robin Milner creates ML, a language based on the M&M type theory. ML begets SML which has a formally specified semantics. When asked for a formal semantics of the formal semantics Milner's head explodes. Other well known languages in the ML family include OCaml, F#, and Visual Basic.
1980 - Alan Kay creates Smalltalk and invents the term "object oriented." When asked what that means he replies, "Smalltalk programs are just objects." When asked what objects are made of he replies, "objects." When asked again he says "look, it's all objects all the way down. Until you reach turtles."
1983 - In honor of Ada Lovelace's ability to create programs that never ran, Jean Ichbiah and the US Department of Defense create the Ada programming language. In spite of the lack of evidence that any significant Ada program is ever completed historians believe Ada to be a successful public works project that keeps several thousand roving defense contractors out of gangs.
1983 - Bjarne Stroustrup bolts everything he's ever heard of onto C to create C++. The resulting language is so complex that programs must be sent to the future to be compiled by the Skynet artificial intelligence. Build times suffer. Skynet's motives for performing the service remain unclear but spokespeople from the future say "there is nothing to be concerned about, baby," in an Austrian accented monotones. There is some speculation that Skynet is nothing more than a pretentious buffer overrun.
3/6

2025-11-23 03:44:15 CET

- reply

1958 - John McCarthy and Paul Graham invent LISP. Due to high costs caused by a post-war depletion of the strategic parentheses reserve LISP never becomes popular[1]. In spite of its lack of popularity, LISP (now "Lisp" or sometimes "Arc") remains an influential language in "key algorithmic techniques such as recursion and condescension"[2].
1959 - After losing a bet with L. Ron Hubbard, Grace Hopper and several other sadists invent the Capitalization Of Boilerplate Oriented Language (COBOL) . Years later, in a misguided and sexist retaliation against Adm. Hopper's COBOL work, Ruby conferences frequently feature misogynistic material.
1964 - John Kemeny and Thomas Kurtz create BASIC, an unstructured programming language for non-computer scientists.
1965 - Kemeny and Kurtz go to 1964.
1970 - Guy Steele and Gerald Sussman create Scheme. Their work leads to a series of "Lambda the Ultimate" papers culminating in "Lambda the Ultimate Kitchen Utensil." This paper becomes the basis for a long running, but ultimately unsuccessful run of late night infomercials. Lambdas are relegated to relative obscurity until Java makes them popular by not having them.
1970 - Niklaus Wirth creates Pascal, a procedural language. Critics immediately denounce Pascal because it uses "x := x + y" syntax instead of the more familiar C-like "x = x + y". This criticism happens in spite of the fact that C has not yet been invented.
1972 - Dennis Ritchie invents a powerful gun that shoots both forward and backward simultaneously. Not satisfied with the number of deaths and permanent maimings from that invention he invents C and Unix.
2/6

2025-11-23 03:42:49 CET

A Brief, Incomplete, and Mostly Wrong History of Programming Languages
James Iry; Thursday, May 7, 2009
1801 - Joseph Marie Jacquard uses punch cards to instruct a loom to weave "hello, world" into a tapestry. Redditers of the time are not impressed due to the lack of tail call recursion, concurrency, or proper capitalization.
1842 - Ada Lovelace writes the first program. She is hampered in her efforts by the minor inconvenience that she doesn't have any actual computers to run her code. Enterprise architects will later relearn her techniques in order to program in UML.
1936 - Alan Turing invents every programming language that will ever be but is shanghaied by British Intelligence to be 007 before he can patent them.
1936 - Alonzo Church also invents every language that will ever be but does it better. His lambda calculus is ignored because it is insufficiently C-like. This criticism occurs in spite of the fact that C has not yet been invented.
1940s - Various "computers" are "programmed" using direct wiring and switches. Engineers do this in order to avoid the tabs vs spaces debate.
1957 - John Backus and IBM create FORTRAN. There's nothing funny about IBM or FORTRAN. It is a syntax error to write FORTRAN while not wearing a blue tie.
1/6

2025-11-23 03:12:35 CET

- reply

Sweet!

2025-11-21 01:11:27 CET

- reply

> Date: Wednesday November 21, 2025
Presumably that should say "Friday"?

2025-11-20 23:18:52 CET

- reply

I'm sure there's a lot of pity for the US involved as well.

2025-11-20 21:48:49 CET

Preserving code that shaped generations: Zork I, II, and III go Open Source
"Today, we’re preserving a cornerstone of gaming history that is near and dear to our hearts. Together, Microsoft’s Open Source Programs Office (OSPO), Team Xbox, and Activision are making Zork I, Zork II, and Zork III available under the MIT License. Our goal is simple: to place historically important code in the hands of students, teachers, and developers so they can study it, learn from it, and, perhaps most importantly, play it.
"...The games remain commercially available via The Zork Anthology on Good Old Games."
https://opensource.microsoft.com/blog/2025/11/20/preserving-code-that-shaped-generations-zork-i-ii-and-iii-go-open-source
https://github.com/historicalsource/zork1
And an Ars Technica article about that:
https://arstechnica.com/gaming/2025/11/microsoft-makes-zork-i-ii-and-iii-open-source-under-mit-license/
I originally beat Zork in the original PDP-10 version, arpanet-ing in to MIT to play it.
The original Zork written in the MDL dialect of Lisp was already available:
"This version of ZORK has been (slightly) changed from the original in order to run on the Confusion MDL Interpreter.
https://github.com/whitten/MDL-Zork
There's also this:
'This directory contains files related to Confusion, an MDL interpreter which, to quote its author, "Works just well enough to play the original Zork all the way through."'
http://www.ifarchive.org/indexes/if-archive/programming/mdl/interpreters/confusion/

2025-11-11 15:17:55 CET

- reply

Ah, nice, very interesting. Thanks for the thorough answer and follow-up sources!
@npub18zu…xdht

2025-11-11 08:56:03 CET

- reply

Looking at both the brief and the full table of contents, this looks like a thorough introduction by an important author -- but in what sense does it show "A good overview of the many approaches [to deriving quantum theory from plausible axioms]"? It's not showing just one approach?
Chapter 1: Measure and Integral
Chapter 2: The Axioms of Hilbert Space
Chapter 3: Linear Functionals and Operators
Chapter 4: Spectral Theorem and Spectral Representation
Chapter 5: The Propositional Calculus
Chapter 6: States and Observables
Chapter 7: Hidden Variables
Chapter 8: Proposition Systems and Projective Geometries
Chapter 9: Symmetries and Groups
Chapter 10: The Dynamical Structure
Chapter 11: The Measuring Process
Chapter 12: The Elementary Particle in One Dimension
Chapter 13: The Elementary Particle Without Spin
Chapter 14: Particles with Spin
Chapter 15: Identical Particles
Josef Maria Jauch (September 20, 1914 in Lucerne – August 30, 1974 in Geneva) was a Swiss/American theoretical physicist, known for his work on quantum electrodynamics and on the foundations of quantum theory, and leader of the "Geneva School" of mathematical physics.
@npub18zu…xdht

2025-11-06 11:37:16 CET

- reply

I guess it was a stupid joke, based on cos being extremely similar to sin, so it's almost like he just did an identity transform. Perhaps I should just delete it.

2025-11-03 11:40:09 CET

@npub1nf4…nqe4
Wherein Brewster Kahle, founder of archive.org, asks about desalination and cooling with salt water.
I know that it's harder than it sounds (desalination by boiling takes a lot of energy, salt water is corrosive, etc) but I thought it was possible that you had physics thoughts on the matter.
(Indeed, your voluminous explanations may include such a discussion for all I know.)
Kahle is influential and has resources, so I don't think this is inherently an idle question.
https://mathstodon.xyz/@npub1ftl…3e6s/115484280435881456

2025-11-02 08:39:07 CET

@npub1nf4…nqe4
This caught my attention, being so close on the heels to your analogies.
This metaphor is pretty colorful!
"Lobsters are mermaids to scorpions" -- Geek Club
https://mathstodon.xyz/@ColinTheMathmo/115473737522285375

2025-10-30 21:20:06 CET

"Language Models are Injective and Hence Invertible"
https://arxiv.org/abs/2510.15511