highergeometer.mathstodon.xyz.ap.brid.gy - Profile | ThreadSky

One of my favourite retro Mario speedrunners has just switched categories, and is now working on an Arbitrary Code Injection category of runs. And it's frame-perfect (or two-frame) inputs (at 60fps) on an NES.... I'm always astounded by people.

submitted 4 hours ago • 0 comments

Annual reminder than bibliometrics are just a big bogus sometimes. Clarivate, a company worth US$3.73B and employing over 11k people, couldn't figure out how to fix the problem of some academics playing the system by publishing, very loosely speaking […] [Original post on mathstodon.xyz]

submitted 206 days ago • 0 comments

https://www.newton.ac.uk/event/tga/

submitted 18 hours ago • 0 comments

Rejected paper resubmitted. Feels good, but also slightly nervewracking. I sat on this for a year without doing anything with it.

submitted 18 hours ago • 1 comment

https://youtu.be/XxYTbOf3F8Y I am very happy that I am not seeing active combat in Europe in WWI. #Tolkien

submitted 20 hours ago • 0 comments

Here's a sheafy question. Suppose I consider the site of opens O(X) of a space, and I have opens V \subset U of X. Say I have a sheaf on X and I want to consider its "restriction" to the set U \setminus V. I guess one can reduce to the case where U=X, so that one is really trying to restrict to […]

submitted 1 day ago • 1 comment

The book of abstracts for talks at this year's Category Theory conference is available! https://conference.math.muni.cz/ct2025/data/uploads/book_of_abstracts.pdf #CT2025

submitted 1 day ago • 0 comments

"The editorial decision of acceptance or rejection is communicated to the author as soon as possible, in general 4 to 5 months after the initial submission." There would be some scientific areas where this would not be considered 'soon'. But in maths it is

submitted 2 days ago • 0 comments

I'm finally going back to edit my (rejected) paper that proved my first (joint) paper was wrong. The referee (whose report led to rejection) was sorta helpful, pointing out some better references, but also in ways that didn't make it easy to insert the new ones quickly. The references are in an […]

submitted 5 days ago • 1 comment

https://tiagoverissimokrypton.medium.com/doing-mathematics-using-version-control-cf936264e9c8

submitted 5 days ago • 1 comment

One hopes the saying that starts "Here comes the new boss,...." is, finally, not true this time around https://adelaideuni.edu.au/about/news-and-events/news/2025/Adelaide-University-appoints-new-Vice-Chancellor/

submitted 6 days ago • 1 comment

"Maybe the thing that bothers me the most is that virtually all of normal, mainstream mathematics can be formalized in much weaker, essentially number-theoretic systems that do have a clear philosophical justification. What ZFC adds to this is a raft of set-theoretic pathology. To me, that […]

submitted 6 days ago • 1 comment

Someone here on mathstodon, on their website, I discovered has mutual links to another mathematician's website, perhaps a significant other. One of these people is in category theory, the other in number theory. The CT-ist has 6 papers (incl preprints) since 2021, and they are published in the […]

submitted 8 days ago • 0 comments

Today at school (here in Australia) a couple of teachers were having an animated discussion in Spanish in the tea room.

submitted 9 days ago • 0 comments

One would really really hope so. That this position is an admin. role, not academic, concerned me. I haven't yet seen the external ad for it.

submitted 9 days ago • 0 comments

Tomorrow my first-ever hosted academic visitor (who reached out to me. Me!) rolls in to the maths department.

submitted 9 days ago • 0 comments

Huh. The name Engelbert (like the singer) might be etymologically the same as the phrase "Engla Beorhtast", as in https://tolkiengateway.net/wiki/%C3%89al%C3%A1_%C3%89arendel_Engla_Beorhtast #Tolkien

submitted 10 days ago • 1 comment

Can a native German speaker please double check this machine translation to English? Original: "Und um für heute noch mit einem durchaus practischen Vorschlage zu schließen, wären Sie wohl geneigt, Studien oder Essays, d. h. kleinere oder größere Abhandlungen für die Zeitschrift f[ür] […]

submitted 12 days ago • 2 comments

Perfectly illustrated Wikipedia article https://en.wikipedia.org/wiki/Bagpipe_theorem

submitted 13 days ago • 0 comments

This is a question I'd like to hear thoughts on: https://academia.stackexchange.com/q/219797/8881

submitted 13 days ago • 0 comments

Calling all set theorists: https://mathoverflow.net/q/495756/4177

submitted 13 days ago • 1 comment

I have a peculiar #icanhazpdf : Cantor's letter to Schmid from 10th June 1887. It's on page 514 of this book but the preview shows me only the fragment at the top of page 515 […]

submitted 14 days ago • 0 comments

https://en.wikipedia.org/wiki/Simple_Lie_group#List gives you the options. With no U(1) factors, you can see that A_2 is the only option, and so simply-connected semisimple gives just SU(3). Depending on your definition, "simple" might mean or include PSU(3)

submitted 14 days ago • 0 comments

TIL the tangent spaces to the 7-sphere are isomorphic to the imaginary octonions in a strong way, namely respecting the G_2=Aut(O) action. Because SO(7)/G_2 is a 7-sphere.... Now I want to think about if the Hodge dual of the calibration 3-form on S^7 is the 1st Pontryagin form of some […]

submitted 14 days ago • 0 comments

I was at the first conference held at Matrix, way back when. https://www.youtube.com/watch?v=PDWcANR-nLQ I drove home solo to Adelaide thinking for hours about a problem I had been working on with my collaborator, and figured out the answer, leading to our short paper in the first volume of […]

submitted 14 days ago • 0 comments

The earliest citation to Cantor's 1887 "Mitteilungen zur Lehre vom Transfiniten I" that I could find, in a weekly newsletter published on 21st July 1887, in a footnote (see alt-text for translation)

submitted 15 days ago • 0 comments

"Some people have so far held out, but are reluctantly realising they may end up using it. Tom, who works in IT for the government, doesn’t .... ...would feel like cheating, but Tom worries refusing to do so now puts him at a disadvantage. “I almost feel like I have no choice but to use it at […]

submitted 16 days ago • 1 comment

"I am sick to my stomach as I write this because I've spent 20 years developing a pedagogy that's about wrestling with big ideas through writing and discussion, and that whole project has been evaporated by for-profit corporations who built their systems on stolen work. It's demoralizing." […]

submitted 16 days ago • 0 comments

Is it too nerdy that I suggested a copy of Dedekind's "Essays on the Theory of Numbers" as an anniversary present to Mrs R? The other option would be a recently republished edition of an Icelandic saga translated by Christopher Tolkien while (what we would call today) a grad student.

submitted 16 days ago • 0 comments

From @glangmead [I will have a think about this later in terms of undergrad vector calculus, in particular my blog post "what is the curl, really?"]

submitted 17 days ago • 0 comments

I may well be going to use 'terminus ante quem' in a paper.... I had to look it up, because I only new the phrase for the other end ('a quo') https://en.wiktionary.org/wiki/terminus_ante_quem

submitted 17 days ago • 0 comments

From a talk by Colin McLarty "Lectures on philosophy of mathematicians, Lecture 4: The long view" https://youtu.be/nNtCv25kQIU?feature=shared&t=2250

submitted 18 days ago • 0 comments

Are other fields getting AI-generated papers on the arXiv so thick and fast? The category \$\mathcal{E}\\{\\{\$ here looks like an OCR error for \$\mathcal{Eff}\$, the effective topos. The abstract uses "Set -> Sh(M) -> Eff", which at least is online […] [Original post on mathstodon.xyz]

submitted 20 days ago • 1 comment

Getting a (second-hand) book delivered today. Always a slight thrill to have someone come and just give me a book, especially one I've wanted for a while. (even though I paid for it, the actual delivery feels kinda special, compared to going and buying one from the shop. In any case, this […]

submitted 20 days ago • 1 comment