Posts by julesh@mathstodon.xyz
(DIR) Post #ArGlU97h3zYNarv9bU by julesh@mathstodon.xyz
2025-02-18T14:33:15Z
0 likes, 0 repeats
This is of course based on https://xkcd.com/2385/
(DIR) Post #ArHmujyAzB70Vpfr6m by julesh@mathstodon.xyz
2025-02-19T10:16:20Z
0 likes, 1 repeats
I also have a modern version of Zeno's paradox, which I invented when I was an undergrad. The question I asked is whether a species of ants living on a line R¹ could, through a finite number of measurements, actually know for certain that they are living on R¹ and not on a different model of the first order theory of the reals, for example the algebraic closure of Q (which is countable and not closed under limits)
(DIR) Post #ArHnixE5yIXI6g41c8 by julesh@mathstodon.xyz
2025-02-19T19:31:17Z
0 likes, 0 repeats
@futurebird Ants equipped with the ingredients to make a death ray sounds cool, so let's say yes
(DIR) Post #Arf52gfopyrnuWgkvA by julesh@mathstodon.xyz
2025-03-02T23:31:27Z
1 likes, 0 repeats
A roguelike is a game with no permanent progression, where players start over from scratch every time they lose a run. Notable examples of roguelikes include Pong (1972), Space Invaders (1978) and Donkey Kong (1981)
(DIR) Post #As0eFivVLhh9NV8Szw by julesh@mathstodon.xyz
2025-03-13T10:46:28Z
0 likes, 0 repeats
God I fucking hate working for a university, I can't get out of here a moment too soon
(DIR) Post #As3xMiA14nHJdIqfpY by julesh@mathstodon.xyz
2025-03-14T15:21:32Z
0 likes, 0 repeats
Recreational mathematics puzzle: is there an interesting number that is approximated by today's date, 14.3?
(DIR) Post #AtDKdaTCVSlk36r9Mm by julesh@mathstodon.xyz
2025-04-18T11:30:42Z
0 likes, 0 repeats
@futurebird The creator @optozorax is on mastodon!
(DIR) Post #AtK6L9luzZM2mYeFMG by julesh@mathstodon.xyz
2025-04-21T17:47:30Z
1 likes, 0 repeats
Today I learned about https://en.wikipedia.org/wiki/Benevacantism
(DIR) Post #Aw1UfI9B3BMil2i6Ge by julesh@mathstodon.xyz
2025-07-11T12:00:08Z
1 likes, 0 repeats
It feels extremely typical of the university that my job title on the HR system contains a typo
(DIR) Post #Aw8TqGyXlzPls4Z8oS by julesh@mathstodon.xyz
2025-07-14T20:53:14Z
2 likes, 4 repeats
Good luck with that
(DIR) Post #AwtIe31TYahWaIVcwq by julesh@mathstodon.xyz
2025-08-06T09:50:10Z
0 likes, 0 repeats
My thoughts about this just clicked. I have seen a bunch of cases of professed non-programmers building pretty big things entirely by vibe-coding, and they work fine. This allows people to participate in creation without years of training, and in the end that is not a bad thingThere are a bunch of other systems like this, that allow non-experts to simulate being able to do the real thing. Playing a shooter with aimbot. Playing guitar with 3 chords. Driving automatic.These are all perfectly good things that allow amateurs to match the performance of experts, and none of them are bad things. But if you don't take the hit and switch over to the real thing sooner or later, you'll be a novice forever.
(DIR) Post #Ay2QdN4e7FnmL4Kq6y by julesh@mathstodon.xyz
2025-09-09T18:30:54Z
1 likes, 0 repeats
eggs tempore
(DIR) Post #AyoPYfGdDrL0aygrmS by julesh@mathstodon.xyz
2025-10-02T21:52:23Z
1 likes, 0 repeats
(DIR) Post #AzMp0tWOvFpT8pGHom by julesh@mathstodon.xyz
2025-10-18T19:53:07Z
1 likes, 0 repeats
Big shoutout to the community of people who could be developing better ballistic missiles or earning a fortune as quants but instead are saving frames in super mario 64 tool assisted speedrunshttps://www.youtube.com/watch?v=_yx0eutBwII
(DIR) Post #B0RenDEbjSym4LyrLc by julesh@mathstodon.xyz
2024-11-20T17:29:02Z
1 likes, 0 repeats
(DIR) Post #B1Gzh6SrHorFWbPOee by julesh@mathstodon.xyz
2025-12-15T12:24:00Z
0 likes, 0 repeats
What the LaTeX feature of Mathstodon is supposed to be used for: Writing formulas that appear beautifully typeset (except to people on any other server and anyone using any client except the web client)What I actually use it for: quick access to the → unicode symbol for talking about my train journeys
(DIR) Post #B1bbBol31FPbWGNYA4 by julesh@mathstodon.xyz
2025-12-25T11:14:19Z
0 likes, 0 repeats
Today I learned that Orthodox Christmas (January 7) is actually on December 25 but in the Julian calendar
(DIR) Post #B1bbBq9BqyJlpQgLQm by julesh@mathstodon.xyz
2025-12-25T11:18:40Z
0 likes, 0 repeats
My understanding is that the Julian calendar is objectively incorrect, but as far as we know the Orthodox church could have accidentally got closer to the actual date that the actual thing happened on, since December 25 was originally just made up to coincide with the Roman winter solstice and nobody really has any idea what the correct date is
(DIR) Post #B1bbBrOTDe8Ph6q3t2 by julesh@mathstodon.xyz
2025-12-25T11:23:35Z
0 likes, 0 repeats
Never mind the date, we don't even have much idea what year it was: "However, most biblical scholars and ancient historians believe that his birth date is around 6 to 4 BC.[2][3][4][5][6][7]"https://en.wikipedia.org/wiki/Date_of_the_birth_of_JesusWe are fairly sure that he wasn't born in 0AD because we're pretty sure Herod was dead by that point
(DIR) Post #B2aQ2LOJzIAtloS0SO by julesh@mathstodon.xyz
2026-01-23T18:08:59Z
1 likes, 0 repeats
For sale: Linear variable, never used