Nostr notes by DougMerritt (log😅 = 💧log😄)

>> That's not my way of doing physics - I can afford to ...

2026-04-06T18:50:43Z

In reply to nevent1q…4gxn
_________________________

>> 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. :)

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

2026-04-06T04:39:02Z

In reply to nevent1q…kc0h
_________________________

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

RE: https://mathstodon.xyz/@dougmerritt/116353281772100891 ...

2026-04-05T18:35:36Z

RE: https://mathstodon.xyz/@dougmerritt/116353281772100891

John Carlos Baez (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.

quoting
note1ftm…fh7p

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

Physical Review Letters: "Impostor among Neutrinos: Dark ...

2026-04-05T17:29:43Z

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

The Cathedral, the Bazaar, and the Winchester Mystery House ...

2026-04-05T00:02:28Z

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

Yes, well, moving past John's point: Easier said than done. ...

2026-03-30T18:18:09Z

In reply to nevent1q…p609
_________________________

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.

> formalization tends to impose consensus I'm not sure ...

2026-03-29T20:27:59Z

In reply to nevent1q…am9t
_________________________

> 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.

It had to happen...it's becoming increasingly common to see: ...

2026-03-23T16:31:28Z

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.

> it's too useful for too many things to really ...

2026-03-12T17:31:42Z

In reply to nevent1q…grrx
_________________________

> 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.

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

2026-03-12T14:15:25Z

In reply to nevent1q…84mk
_________________________

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

> The "top-down" management that Taylor and Francis ...

2026-03-12T05:42:01Z

In reply to nevent1q…0srn
_________________________

> 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.

Assuming you're making light of a reality (and it was ...

2026-03-10T18:30:56Z

In reply to nevent1q…tcx6
_________________________

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*!

> Some might have no working performance cores. That is of ...

2026-03-10T18:01:08Z

In reply to nevent1q…xvfq
_________________________

> 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?

To be slightly less of a smartass, I searched on Kähler on ...

2026-03-10T17:57:23Z

In reply to nevent1q…26z9
_________________________

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

> it has a god-given Kähler structure Way to put your foot ...

2026-03-10T17:45:15Z

In reply to nevent1q…eaem
_________________________

> 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. "
😆

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

2026-03-10T05:31:31Z

In reply to nevent1q…nfg6
_________________________

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

Use of white phosphorus on civilians is horrific beyond words, ...

2026-03-10T02:26:01Z

In reply to nevent1q…f3uz
_________________________

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.

What is the time difference? It seems like you're up early. ...

2026-03-10T01:59:42Z

In reply to nevent1q…y7wf
_________________________

What is the time difference? It seems like you're up early.

Keep us posted on your paper; so far so good. 🙂

I hadn't noticed that diaspora Iranians were cheering. Yes, ...

2026-03-07T14:00:44Z

In reply to nevent1q…m6ym
_________________________

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.

You write well, but I get depressed by these subjects, so I ...

2026-03-06T18:12:33Z

In reply to nevent1q…pa2r
_________________________

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

This sounds like a crime against humanity -- which of course will ...

2026-03-06T05:53:54Z

In reply to nevent1q…symj
_________________________

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

Oh, and "some of my best friends" do IT without CS. My ...

2026-03-05T01:47:23Z

In reply to nevent1q…dgvz
_________________________

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.

Yeah, certifications are a way of showing knowledge prior to ...

2026-03-05T01:45:06Z

In reply to nevent1q…srnf
_________________________

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.

RE: https://infosec.exchange/@lcamtuf/116145915896015100 ...

2026-02-28T02:52:48Z

RE: https://infosec.exchange/@lcamtuf/116145915896015100

John Carlos Baez (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
lcamtuf :verified: :verified: :verified: (npub1ysw…uzpe)/116145915962464328">https://mathstodon.xyz/lcamtuf :verified: :verified: :verified: (npub1ysw…uzpe)/116145915962464328

quoting
note1rv8…e2rs

Approximation game: https://lcamtuf.coredump.cx/blog/approx/

> This is why clocks, which were based on sundials, have hands ...

2026-02-25T01:24:19Z

In reply to nevent1q…7yrd
_________________________

> 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!

"CSLib: The Lean Computer Science Library" 4 Feb 2026 ...

2026-02-22T19:49:24Z

"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

> It may seem weird that sounds should robustly match with ...

2026-02-22T18:02:40Z

In reply to nevent1q…ddkc
_________________________

> 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.

Interesting! I had read up on the history of the western ...

2026-02-12T21:16:26Z

In reply to nevent1q…nmu9
_________________________

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.

> a year that was 18 × 20 = 360 years long "years" ...

2026-02-12T18:15:07Z

In reply to nevent1q…kmvz
_________________________

> a year that was 18 × 20 = 360 years long

"years" should be "days"

Yes, great take on that.

2026-02-10T23:36:26Z

In reply to nevent1q…cn73
_________________________

Yes, great take on that.

You really ask the tough questions. @npub1nf4…nqe4

2026-02-10T17:56:12Z

In reply to nevent1q…qdsx
_________________________

You really ask the tough questions.

John Carlos Baez (npub1nf4…nqe4)

That's all well and good, but how does one convert from Blue ...

2026-02-10T17:54:16Z

In reply to nevent1q…sypj
_________________________

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

Ha, small world! > he knows too much about sporadic finite ...

2026-02-10T17:36:16Z

In reply to nevent1q…khfj
_________________________

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.

@npub1nf4…nqe4 As posted by our mathstodon sysadmin today: ...

2026-02-10T16:22:19Z

John Carlos Baez (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.

Gene used to post to Usenet, e.g.: From: ...

2026-02-09T18:15:10Z

In reply to nevent1q…0d39
_________________________

Gene used to post to Usenet, e.g.:

From: gsmith@ronzoni.berkeley.edu (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 <1269.26909383@gp.govt.nz> philip@gp.govt.nz (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.

I knew the word "theobromine" but not its derivation; ...

2026-02-08T23:09:28Z

In reply to nevent1q…38vm
_________________________

I knew the word "theobromine" but not its derivation; interesting!

Licho (npub1zm0…qduz)

Indeed, there are many modern chocolate worshippers! ...

2026-02-08T22:51:18Z

In reply to nevent1q…9tth
_________________________

Indeed, there are many modern chocolate worshippers!

John Carlos Baez (npub1nf4…nqe4)

Well, yeah! 😆

2026-02-08T22:50:06Z

In reply to nevent1q…w53d
_________________________

Well, yeah! 😆

> From the ancient Maya texts, particularly the Popol Vuh, we ...

2026-02-08T22:45:06Z

In reply to nevent1q…yxdz
_________________________

> 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.

Nice that it brings back memories for you. My dad wasn't very ...

2026-01-22T01:51:33Z

In reply to nevent1q…vkkp
_________________________

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

Similarly, cartoonist Tad Dorgan is credited with coining or ...

2026-01-22T01:29:32Z

In reply to nevent1q…ctsf
_________________________

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

My impression is that, if you're in a country that ...

2026-01-21T16:00:45Z

In reply to nevent1q…txet
_________________________

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.

So Clifford was saying that the motion of matter is exclusively ...

2026-01-12T03:50:50Z

In reply to nevent1q…9qcp
_________________________

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.

It's a good thing that Poincare is famous in his own right ...

2026-01-10T00:00:24Z

In reply to nevent1q…lwm3
_________________________

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.

Yes, Einstein's work is typically discussed as if he was ...

2026-01-09T20:06:17Z

In reply to nevent1q…2rgj
_________________________

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 :)

RE: https://wandering.shop/@cstross/115861935194088492 ...

2026-01-09T00:19:12Z

RE: https://wandering.shop/@cstross/115861935194088492

John Carlos Baez (npub1nf4…nqe4)
Life in Edinburgh....

I'm not so sure about adding anything multi-paradigm to the ...

2026-01-08T06:55:04Z

In reply to nevent1q…uzcl
_________________________

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.

amen zwa, esq. (npub1gnu…0jmx)

True, and there are various arguments for and against each of ...

2026-01-08T05:51:41Z

In reply to nevent1q…60rc
_________________________

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.

amen zwa, esq. (npub1gnu…0jmx)

Yes, I don't disagree -- but students of a field always find ...

2025-12-26T17:17:05Z

In reply to nevent1q…3fvs
_________________________

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.

The circle of fifths helps clarify the topic. In fact for most ...

2025-12-26T16:46:48Z

In reply to nevent1q…wxrd
_________________________

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.

Hmm. Well, why did that recipe use the word "chip" at ...

2025-12-21T22:37:50Z

In reply to nevent1q…863w
_________________________

Hmm. Well, why *did* that recipe use the word "chip" at all?

There's something unexplained here.

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

2025-12-20T16:52:19Z

In reply to nevent1q…e8w2
_________________________

> wildfire

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

"We have always been at war with Glasgow."

2025-12-16T17:13:39Z

In reply to nevent1q…3jas
_________________________

"We have always been at war with Glasgow."

RE: https://wandering.shop/@cstross/115725135370824735 ...

2025-12-16T16:59:13Z

In reply to nevent1q…nw5k
_________________________

RE: https://wandering.shop/@cstross/115725135370824735

John Carlos Baez (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:

Charlie Stross (npub1dnd…hzjs)/115725136248568177">https://mathstodon.xyz/Charlie Stross (npub1dnd…hzjs)/115725136248568177

A cynic would say that every country has such a term, but I see ...

2025-12-15T20:59:55Z

In reply to nevent1q…fy9l
_________________________

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.

Thomas (npub15fr…ltmz)

Oh, and at the start it says that the video contains her ideas ...

2025-12-15T18:55:48Z

In reply to nevent1q…4sh6
_________________________

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

@npub1nf4…nqe4 This conceivably could be of interest to you, ...

2025-12-15T18:53:19Z

John Carlos Baez (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

People keep reinventing that notion, but it can't be true: ...

2025-12-14T21:29:21Z

In reply to nevent1q…8m85
_________________________

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.

John Carlos Baez (npub1nf4…nqe4)

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

2025-12-14T20:35:36Z

In reply to nevent1q…fnt8
_________________________

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

Sounds like you know more about all that than I. I take it ...

2025-12-11T11:11:50Z

In reply to nevent1q…nj70
_________________________

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 ) Daniel Kochmański (npub1urw…lh52)

Our actual reality not falling apart sufficiently or fast enough ...

2025-12-11T10:25:06Z

In reply to nevent1q…rt98
_________________________

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.

Every instrument has a soul -- when played that way. Perhaps the ...

2025-12-10T21:03:02Z

In reply to nevent1q…wmu6
_________________________

Every instrument has a soul -- when played that way.

Perhaps the musician and the instrument share one soul, when they are in accord.

Sauron followers.

2025-12-10T18:04:21Z

In reply to nevent1q…03y5
_________________________

Sauron followers.

I feel like this is why spin 1/2 particles must anticommute; ...

2025-12-08T15:10:07Z

In reply to nevent1q…s9pt
_________________________

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

Fleshing that out a touch: People who moved from twitter to ...

2025-12-07T13:27:53Z

In reply to nevent1q…sjmg
_________________________

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 🙂 .

Yes, I had read what Terry said. Most of the public seems to ...

2025-12-07T11:10:50Z

In reply to nevent1q…dmja
_________________________

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.

Agreed on all of the above, although apropos of nothing but that ...

2025-12-07T10:49:22Z

In reply to nevent1q…ka9k
_________________________

Agreed on all of the above, although apropos of nothing but that you said the word "language":

"verbing weirds language" -- Calvin and Hobbes

> However, the Axiom team didn't notice this. Or more ...

2025-12-07T10:45:58Z

In reply to nevent1q…fcr5
_________________________

> 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. 🙄

Yes, I remember, and yes, it's certainly different. The ...

2025-12-06T22:48:03Z

In reply to nevent1q…e2cs
_________________________

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.

We all managed to get by, and to share, before the internet, so ...

2025-12-06T17:59:36Z

In reply to nevent1q…8rtn
_________________________

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!!!

Tom is correct. OTOH someone said that a conditional, ...

2025-12-05T15:40:47Z

In reply to nevent1q…0l24
_________________________

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.

And there are many choices of a coordinate system, including ...

2025-12-05T14:29:59Z

In reply to nevent1q…9mjs
_________________________

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.

There are many common distributions of noise, including this one, ...

2025-12-05T14:22:08Z

In reply to nevent1q…4up8
_________________________

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.

It appears to include material that you doubtless previously ...

2025-11-30T01:58:46Z

In reply to nevent1q…7eww
_________________________

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

I'm aware that you have a strong background in multiple ways, ...

2025-11-25T22:55:39Z

In reply to nevent1q…cqqg
_________________________

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.

John Carlos Baez (npub1nf4…nqe4)

I listened to them yesterday. Beautiful. I'm not an expert on ...

2025-11-23T10:14:23Z

In reply to nevent1q…5pln
_________________________

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.

2001 - Anders Hejlsberg invents C#. C# is a relatively verbose, ...

2025-11-23T02:49:59Z

In reply to nevent1q…2f9z
_________________________

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

1995 - Yukihiro "Mad Matz" Matsumoto creates Ruby to ...

2025-11-23T02:49:43Z

In reply to nevent1q…w3j2
_________________________

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

1986 - Brad Cox and Tom Love create Objective-C, announcing ...

2025-11-23T02:48:48Z

In reply to nevent1q…ehu7
_________________________

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

1973 - Robin Milner creates ML, a language based on the M&M ...

2025-11-23T02:47:45Z

In reply to nevent1q…nvr6
_________________________

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

1958 - John McCarthy and Paul Graham invent LISP. Due to high ...

2025-11-23T02:44:15Z

In reply to nevent1q…rueu
_________________________

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

> Hint: imagine redrawing them so that a zero budget is the x ...

2025-05-31T18:23:45Z

In reply to nevent1q…ap04
_________________________

> Hint: imagine redrawing them so that a zero budget is the x axis.

Graphs that don't start at zero was one of the things in the classic "How to Lie with Statistics", which I believe is still a must-read, not just for scientists, not just for STEM people, but for everyone.

> I should write that up Please do!!

2025-05-29T18:05:31Z

In reply to nevent1q…8ccc
_________________________

> I should write that up

Please do!!

Ha! Oh, go ahead and be a troublemaker; why not, I say. Ok, now I ...

2025-05-11T15:32:38Z

In reply to nevent1q…c24j
_________________________

Ha! Oh, go ahead and be a troublemaker; why not, I say.

Ok, now I fear that Quincke rotation physics violations will create a black hole* that consumes us all; pretty scary!

* a *rotating* black hole, naturally. Kerr probably predicted this.

Right. Well, surely someone will show how the universe is ...

2025-04-03T02:57:44Z

In reply to nevent1q…qn5q
_________________________

Right. Well, surely *someone* will show how the universe is indeed built on pure math, not the anthropic principle or some such.

And only a day late!

2025-04-03T01:07:19Z

In reply to nevent1q…d5gz
_________________________

And only a day late!

> but none of the new moons were found in the rings. The old ...

2025-03-12T02:23:37Z

In reply to nevent1q…a7p0
_________________________

> but none of the new moons were found in the rings.

The old thinking was that rings are created by the Roche limit, so there would never be any semi-permanent moons within the rings -- they would break up relatively quickly.

But maybe that model is out of date?

For which the freshmen were naturally deeply grateful.

2025-02-26T02:10:30Z

In reply to nevent1q…unmj
_________________________

For which the freshmen were naturally deeply grateful.

Well, does Threads have a bridge?

2025-02-16T21:09:12Z

In reply to nevent1q…hqy7
_________________________

Well, does Threads have a bridge?

FWIW I spent quite a while admiring the Winged Victory of ...

2025-02-11T03:01:18Z

In reply to nevent1q…8ymm
_________________________

FWIW I spent quite a while admiring the Winged Victory of Samothrace -- more than I did with the Mona Lisa (although I did more than glance at that).

(I had an idiosyncratic attachment to the Winged Victory ahead of time.)

But although it's sad that people ignore some things, I suppose it's a positive that people are admiring any art at all, as opposed to the people who aren't ever tempted by art museums.

Oh no. From your previous comments I had foolishly thought you ...

2025-02-07T02:53:09Z

In reply to nevent1q…8vky
_________________________

Oh no. From your previous comments I had foolishly thought you had managed permanent residence status somehow.

Good luck with all of that.

By the way, people said TWEETs when it was twitter.

Now that it's X, people XCRETE.

> One way to visualize 4d shapes is the method of slices ...

2025-02-06T18:12:08Z

In reply to nevent1q…5mmj
_________________________

> One way to visualize 4d shapes is the method of slices

Visualize the 3d shape, and then say "FOUR!" very loudly.

This should be considered one of a zillion things that make ...

2025-02-03T17:16:48Z

In reply to nevent1q…k5jy
_________________________

This should be considered one of a zillion things that make condensed matter physics opaquely complicated, right?

I see it on Anna's mirror of sci-hub indexed by doi, for ...

2025-01-28T15:12:55Z

In reply to nevent1q…rad5
_________________________

I see it on Anna's mirror of sci-hub indexed by doi, for those who wish to know such things.

DOI: 10.1146/annurev.ns.43.120193.001233

I didn't mean to limit it to just Matt, although I look ...

2025-01-28T07:43:55Z

In reply to nevent1q…zv53
_________________________

I didn't mean to limit it to *just* Matt, although I look forward to his comment -- and thanks for yours.

Yeah I had a feeling that renormalization was regarded differently these days; it seems simpler than it used to, for one thing.

Can I visualize those expansions and bag of tricks as equivalent ...

2025-01-28T07:29:10Z

In reply to nevent1q…qsyx
_________________________

Can I visualize those expansions and bag of tricks as equivalent to the shells of virtual particles around the center, but in a computably tractable (with skill and luck) form?

I actually took a unique course focused on just time's arrow ...

2025-01-26T20:35:27Z

In reply to nevent1q…9uf3
_________________________

I actually took a unique course focused on just time's arrow when I was but a wee lad; it sharply changed my thinking.

We should all keep up with Greg's marvelous novels, of course.

Thanks!

Wheeler-Feynman Absorber theory had advanced and retarded waves, ...

2025-01-26T18:39:49Z

In reply to nevent1q…smff
_________________________

Wheeler-Feynman Absorber theory had advanced and retarded waves, and yielded causality so long as you chose to label one of the waves as the emitter.

It's an arbitrary labelling so it's time symmetric again, but seriously, everything is except thermodynamics.

There was an attempt to fix absorber theory's acausality but I think it ended up being a matter of opinion:

https://en.wikipedia.org/wiki/Wheeler%E2%80%93Feynman_absorber_theory#Attempted_resolution_of_causality

Anyway I think you need an appeal to thermodynamics in some form.

But please correct me if I simply have a large misunderstanding.

Right, but surely he could do one LED at a time, enabling ...

2025-01-26T13:31:28Z

In reply to nevent1q…55yx
_________________________

Right, but surely he could do one LED at a time, enabling interrupts in between, if he was careful about timing?

All of us are horridly ignorant of areas of math that we ...

2025-01-25T21:16:10Z

In reply to nevent1q…sc2u
_________________________

All of us are horridly ignorant of areas of math that we haven't studied yet. Not to worry; go forth and study math. :)