@Bartosz Milewski
Physicist, programmer (Haskell, C++), mathematician, category theorist. Author of Category Theory for Programmers and The Dao of Functional Programming
Relays (1)
- wss://relay.ditto.pub – read & write
Recent Notes
The paradox of the stone: "Could God create a stone so heavy that even he could not lift it?" was solved by Grothendieck by introducing an infinite tower of gods. The God of the n'th universe can only create stones that he can lift. But the God from the n+1 universe can create an unliftable stone for the God from the n'th universe, and so on.
1
Cell complex -- something you get when your friend can afford the newest version of the iPhone and you can't.
Also: an object in a category which is obtained by successively “gluing cells” via pushouts.
Also: an object in a category which is obtained by successively “gluing cells” via pushouts.
Democracy is like health: You don't appreciate it until you lose it.
I think this is correct:
For moving graphics on the ZX80 you needed to output directly from the CPU, via an I/O port, to the display, as the CRT electron beam scanned across.
On high end luxury hard...
@nprofile1q... This brings the nostalgia of CGA programming, with the writes to the video buffer that had to be timed using PIT to corrspond to the CRT blanking intervals. You had to do the writes when the electron beam was invisibly going back after finishing a line or a frame, otherwise you'd see snow on your screen.
@nprofile1q...
It made me wonder what other physical phenomena exhibit this kind of resonant behavior, and I thought of the Titius-Bode law of planets. Wouldn't it be cool if it was explained using the zeta function? (You also mentioned the rings of Saturn, which is a similar phenomenon.)
https://en.wikipedia.org/wiki/Titius%E2%80%93Bode_law
It made me wonder what other physical phenomena exhibit this kind of resonant behavior, and I thought of the Titius-Bode law of planets. Wouldn't it be cool if it was explained using the zeta function? (You also mentioned the rings of Saturn, which is a similar phenomenon.)
https://en.wikipedia.org/wiki/Titius%E2%80%93Bode_law
I begrudgingly agree with everything Macron said. I for one welcome our new French centrist overlords
https://www.bbc.com/news/articles/ce8n1zdnpd3o
@nprofile1q...
Unfortunately Macron is very unpopular in France and people predict that RN, the party of Marine Le Pen, may win the next elections.
The main problem with unifying Europe is the lopsided power equation: Germany is the largest power, and the populist in other countries (France, in particular) don't like it. Then again, having common enemies (Russia and Trumpistan) tends to unite people.
Unfortunately Macron is very unpopular in France and people predict that RN, the party of Marine Le Pen, may win the next elections.
The main problem with unifying Europe is the lopsided power equation: Germany is the largest power, and the populist in other countries (France, in particular) don't like it. Then again, having common enemies (Russia and Trumpistan) tends to unite people.
The piñata effect: At the final moment of a black hole evaporation through Hawking radiation, all objects that were swallowed by it suddenly come back, thus restoring the conservation of information required by quantum mechanics.
@nprofile1q...
I took my inspiration from this paper, where they define isolated points in HoTT.
https://arxiv.org/abs/2512.17484
I took my inspiration from this paper, where they define isolated points in HoTT.
https://arxiv.org/abs/2512.17484
@nprofile1q...
This is why I said "isolated" objects. It could be just objects with no connection with the rest of the category, or objects whose removal leaves a subcategory of the original.
This is why I said "isolated" objects. It could be just objects with no connection with the rest of the category, or objects whose removal leaves a subcategory of the original.
