Arnaud Spiwack
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
I think that the point that's the least obvious in this tweet is why you can equate P with the set of programs which give a result in P.
November 20, 2025 at 10:49 PM
I think that the point that's the least obvious in this tweet is why you can equate P with the set of programs which give a result in P.
Je me rappelle toujours avec un certain amusement (et une chaleur certaine) de comment l'an 2000 paraissait futuriste dans la seconde moitié des années 90.
Apparemment, ce n'était pas un phénomène unique au nombre bien rond de 2000.
Apparemment, ce n'était pas un phénomène unique au nombre bien rond de 2000.
November 20, 2025 at 10:43 PM
Je me rappelle toujours avec un certain amusement (et une chaleur certaine) de comment l'an 2000 paraissait futuriste dans la seconde moitié des années 90.
Apparemment, ce n'était pas un phénomène unique au nombre bien rond de 2000.
Apparemment, ce n'était pas un phénomène unique au nombre bien rond de 2000.
I'll have to mull over it some. Thanks for the pointers.
November 20, 2025 at 10:13 PM
I'll have to mull over it some. Thanks for the pointers.
I wasn't. I don't think I was aware of this comic. Far side isn't really part of my culture.
I think the anticlimactic explanation actually enhances the comic. Thanks.
I think the anticlimactic explanation actually enhances the comic. Thanks.
November 20, 2025 at 10:00 PM
I wasn't. I don't think I was aware of this comic. Far side isn't really part of my culture.
I think the anticlimactic explanation actually enhances the comic. Thanks.
I think the anticlimactic explanation actually enhances the comic. Thanks.
For that reason, though, they feel like emphasis to me. Ending a sentence with a question mark is a question, starting it with the reversed mark adds a feeling of bemusement. That's how it reads to me.
November 19, 2025 at 10:03 PM
For that reason, though, they feel like emphasis to me. Ending a sentence with a question mark is a question, starting it with the reversed mark adds a feeling of bemusement. That's how it reads to me.
I have no particular knowledge about it. What I can say is that when I write Spanish, I tend not to use opening question and exclamation marks, because I find them difficult to plan for. It feels similar to planning sentences in verb-ending languages to me. So I assume it can be trained.
November 19, 2025 at 10:03 PM
I have no particular knowledge about it. What I can say is that when I write Spanish, I tend not to use opening question and exclamation marks, because I find them difficult to plan for. It feels similar to planning sentences in verb-ending languages to me. So I assume it can be trained.
This was the question indeed.
November 19, 2025 at 9:50 PM
This was the question indeed.
It sounds like an improvement. Be well.
November 18, 2025 at 9:57 PM
It sounds like an improvement. Be well.
I now remember us having a discussion about this very formula and its meaning just a few days ago.
I'm guessing that this same technique is used to make sheaf of the effective topos corresponding to computability relative to an oracle. I don't think it's obvious, is it?
I'm guessing that this same technique is used to make sheaf of the effective topos corresponding to computability relative to an oracle. I don't think it's obvious, is it?
November 16, 2025 at 10:02 PM
I now remember us having a discussion about this very formula and its meaning just a few days ago.
I'm guessing that this same technique is used to make sheaf of the effective topos corresponding to computability relative to an oracle. I don't think it's obvious, is it?
I'm guessing that this same technique is used to make sheaf of the effective topos corresponding to computability relative to an oracle. I don't think it's obvious, is it?
Oui, en fait 2 cours. Un en fin de première année (l'année de service), et un en deuxième année (je donnais des TDs pour ce derniers). Contre un seul, parallèle, pour ceux qui ont fait de l'informatique en prépa. C'était il a 10 ans, alors je ne sais pas si c'est toujours le cas.
November 16, 2025 at 1:37 AM
Oui, en fait 2 cours. Un en fin de première année (l'année de service), et un en deuxième année (je donnais des TDs pour ce derniers). Contre un seul, parallèle, pour ceux qui ont fait de l'informatique en prépa. C'était il a 10 ans, alors je ne sais pas si c'est toujours le cas.
How does one go about making a Lawvere-Tierney topology that validates a particular principle (or an oracle)? This is so mysterious to me.
November 16, 2025 at 1:10 AM
How does one go about making a Lawvere-Tierney topology that validates a particular principle (or an oracle)? This is so mysterious to me.
Je crois que j'ai vu passer. En animation 3D, c'est bien ça? Je n'ai jamais vu d'épisode en revanche, ils étaient bien ?
November 12, 2025 at 3:27 PM
Je crois que j'ai vu passer. En animation 3D, c'est bien ça? Je n'ai jamais vu d'épisode en revanche, ils étaient bien ?
Je ne savais pas !
November 9, 2025 at 7:34 AM
Je ne savais pas !
Je ne crois pas. "Aussi” ne faisait référence qu'à sa formation scientifique. Après je suis incapable de dire si ça lui a servi comme dirigeante ou pas.
November 9, 2025 at 7:32 AM
Je ne crois pas. "Aussi” ne faisait référence qu'à sa formation scientifique. Après je suis incapable de dire si ça lui a servi comme dirigeante ou pas.