Arnaud Spiwack
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Pinned
Arnaud Spiwack
@aspiwack.bsky.social
· Nov 17
👋 Welcome (numerous) newcomers.
I'm a Tokyo-based, French, polyglot software engineer, computer scientist, mathematician, and hobbyist speedrunner.
I generally speak of programming languages and their theory, linguistics, science, video games, movies, books. And how the world is very funny indeed.
I'm a Tokyo-based, French, polyglot software engineer, computer scientist, mathematician, and hobbyist speedrunner.
I generally speak of programming languages and their theory, linguistics, science, video games, movies, books. And how the world is very funny indeed.
Part of this is me experimenting with form. What I really meant to say was: this is a magnificent sentence of masterful word crafting (I do love me a magnificent sentence of masterful word crafting). Does it come across?
I was afraid that adding context would lessen the sentence itself. Would it?
I was afraid that adding context would lessen the sentence itself. Would it?
“You would […] stop being biology and start being physics”.
www.youtube.com/watch?v=qu8n...
www.youtube.com/watch?v=qu8n...
What if ALL the sun’s power was focused in one place?
Get a copy of What If? 2 and Randall’s other books at: https://xkcd.com/books
More serious answers to absurd questions at: https://what-if.xkcd.com/
This question comes from Max, who asks: What if…
www.youtube.com
November 20, 2025 at 8:19 AM
Part of this is me experimenting with form. What I really meant to say was: this is a magnificent sentence of masterful word crafting (I do love me a magnificent sentence of masterful word crafting). Does it come across?
I was afraid that adding context would lessen the sentence itself. Would it?
I was afraid that adding context would lessen the sentence itself. Would it?
“You would […] stop being biology and start being physics”.
www.youtube.com/watch?v=qu8n...
www.youtube.com/watch?v=qu8n...
What if ALL the sun’s power was focused in one place?
Get a copy of What If? 2 and Randall’s other books at: https://xkcd.com/books
More serious answers to absurd questions at: https://what-if.xkcd.com/
This question comes from Max, who asks: What if…
www.youtube.com
November 19, 2025 at 2:53 PM
“You would […] stop being biology and start being physics”.
www.youtube.com/watch?v=qu8n...
www.youtube.com/watch?v=qu8n...
It's been a while. I'll be streaming this week's Final Fantasy VI: Worlds Collide seed of the week. It's all about finding Celes.
Stream starts at 00.30 UTC twitch.tv/notnotarnaud
Stream starts at 00.30 UTC twitch.tv/notnotarnaud
Twitch
Twitch is the world's leading video platform and community for gamers.
twitch.tv
November 19, 2025 at 12:20 AM
It's been a while. I'll be streaming this week's Final Fantasy VI: Worlds Collide seed of the week. It's all about finding Celes.
Stream starts at 00.30 UTC twitch.tv/notnotarnaud
Stream starts at 00.30 UTC twitch.tv/notnotarnaud
I agree with everything in this. Though not a lot of these actions can be done locally.
And, of course, use @softwareheritage.org .
Archive your research software, and archive your articles' source.
And, of course, use @softwareheritage.org .
Archive your research software, and archive your articles' source.
These very nice slides by Marie Farge on how researchers can regain control of publication have been brought to my attention: openscience.ens.fr/MARIE_FARGE/... — I think they're worth spreading more widely!
November 18, 2025 at 12:07 AM
I agree with everything in this. Though not a lot of these actions can be done locally.
And, of course, use @softwareheritage.org .
Archive your research software, and archive your articles' source.
And, of course, use @softwareheritage.org .
Archive your research software, and archive your articles' source.
I hope this is true.
November 17, 2025 at 12:42 AM
I hope this is true.
This is a list of excellent one-panel comics (all in English, you don't need to read French to appreciate). Even though I must (slightly shamefully perhaps) admit to not understand this first one.
Je déclare ouverte ma liste personnelle de one-panel-comics préférés.
Pour marquer sa subjectivité elle commencera par la Joconde des one-panel, à savoir "Cow Tools", par Gary Larson.
Pour marquer sa subjectivité elle commencera par la Joconde des one-panel, à savoir "Cow Tools", par Gary Larson.
November 17, 2025 at 12:23 AM
This is a list of excellent one-panel comics (all in English, you don't need to read French to appreciate). Even though I must (slightly shamefully perhaps) admit to not understand this first one.
The King and the Mockingbird is one of my favourite movies. A pioneer of the genre (its official release date is 1980, but a version was made in 1953 already). It's not very well known by the general public was incredibly influential with e.g. the likes of Ghibli's Miyazaki citing it as inspiration.
Le Roi et L'Oiseau
A delightful animation that dares to ask the bold questions, like "what if OSHA didn't exist?"
m.imdb.com/fr/title/tt0...
A delightful animation that dares to ask the bold questions, like "what if OSHA didn't exist?"
m.imdb.com/fr/title/tt0...
Le roi et l'oiseau (1980) ⭐ 7.7 | Animation, Famille, Fantastique
1h 23m | Tous publics
m.imdb.com
November 16, 2025 at 1:43 AM
The King and the Mockingbird is one of my favourite movies. A pioneer of the genre (its official release date is 1980, but a version was made in 1953 already). It's not very well known by the general public was incredibly influential with e.g. the likes of Ghibli's Miyazaki citing it as inspiration.
Je reçois un email dont l'intitulé commence par « Servir la science ». Et je me dis que la génération qui n'a jamais lu Léonard est maintenant assez grande pour envoyer des emails professionnels.
November 12, 2025 at 12:03 PM
Je reçois un email dont l'intitulé commence par « Servir la science ». Et je me dis que la génération qui n'a jamais lu Léonard est maintenant assez grande pour envoyer des emails professionnels.
In Tokyo, people typically set the height of their bicycle saddle so that they can comfortably put both feet on the ground. Optimising for the inevitable stop at the cost of speed. In a urban environment this is probably best. Though it may explain why so many bicycles here are electric.
November 12, 2025 at 7:12 AM
In Tokyo, people typically set the height of their bicycle saddle so that they can comfortably put both feet on the ground. Optimising for the inevitable stop at the cost of speed. In a urban environment this is probably best. Though it may explain why so many bicycles here are electric.
@kmett.ai quick question: did you realise, when you designed the Divisible class that an equivalent presentation could have been
divide' :: f a -> f a -> f a
conquer :: f a
If so, why did you prefer the presentation with
divide :: (a -> (b, c)) -> f b -> f c -> f a
?
divide' :: f a -> f a -> f a
conquer :: f a
If so, why did you prefer the presentation with
divide :: (a -> (b, c)) -> f b -> f c -> f a
?
November 11, 2025 at 8:17 AM
@kmett.ai quick question: did you realise, when you designed the Divisible class that an equivalent presentation could have been
divide' :: f a -> f a -> f a
conquer :: f a
If so, why did you prefer the presentation with
divide :: (a -> (b, c)) -> f b -> f c -> f a
?
divide' :: f a -> f a -> f a
conquer :: f a
If so, why did you prefer the presentation with
divide :: (a -> (b, c)) -> f b -> f c -> f a
?
Reposted by Arnaud Spiwack
I thought the notion of “sheaf for a Lawvere-Tierney topology” was a very complicated one, but I realized it's actually not so complicated, and it can be defined completely internally (i.e., you don't need to know what a topos is, just how constructive math works). •1/7
November 9, 2025 at 10:18 AM
I thought the notion of “sheaf for a Lawvere-Tierney topology” was a very complicated one, but I realized it's actually not so complicated, and it can be defined completely internally (i.e., you don't need to know what a topos is, just how constructive math works). •1/7
In fact, isn't a tail call technically have a function call?
Mmm 🤔 Is half a function application like half an A press?
November 8, 2025 at 12:51 AM
In fact, isn't a tail call technically have a function call?
An intriguing thing about Wasm is its treatment of control structures. Wasm proposes more structured than gotos, but less so that loops: lexical labels.
The idea is that labels are scoped, and jump instructions can only jump to an in-scope label. 1/3
The idea is that labels are scoped, and jump instructions can only jump to an in-scope label. 1/3
November 5, 2025 at 12:44 AM
An intriguing thing about Wasm is its treatment of control structures. Wasm proposes more structured than gotos, but less so that loops: lexical labels.
The idea is that labels are scoped, and jump instructions can only jump to an in-scope label. 1/3
The idea is that labels are scoped, and jump instructions can only jump to an in-scope label. 1/3
It was just an itemize environment with just text (no maths) in it. So nothing advanced. It still caught my eye. Done, appropriately, by a scientist. Though I am amused at the idea that Latex is one of the things that survived an apocalypse.
This must be how long it takes for inspiration to percolate.
On other news, Fire Force is the first time I saw someone typing some Latex in an anime. Tip of my hat to that. You win, Fire Force.
On other news, Fire Force is the first time I saw someone typing some Latex in an anime. Tip of my hat to that. You win, Fire Force.
November 2, 2025 at 11:54 PM
It was just an itemize environment with just text (no maths) in it. So nothing advanced. It still caught my eye. Done, appropriately, by a scientist. Though I am amused at the idea that Latex is one of the things that survived an apocalypse.
Kaiju #8 and Fire Force are two animés that I watched recently (and quite liked) which remind me, for different reasons, of Attack on Titan. They were started in 2020 and 2019 respectively. Attack on titan in 2009. By the time the anime started in 2013, its popularity was well established, I think.
November 1, 2025 at 12:55 PM
Kaiju #8 and Fire Force are two animés that I watched recently (and quite liked) which remind me, for different reasons, of Attack on Titan. They were started in 2020 and 2019 respectively. Attack on titan in 2009. By the time the anime started in 2013, its popularity was well established, I think.
Reposted by Arnaud Spiwack
things you can curry :
- dishes
- favors
- horses
- people
- software functions
- dishes
- favors
- horses
- people
- software functions
October 18, 2025 at 3:28 PM
things you can curry :
- dishes
- favors
- horses
- people
- software functions
- dishes
- favors
- horses
- people
- software functions
Reposted by Arnaud Spiwack
Reposted by Arnaud Spiwack
Il y a 2 ans, j'ai trouvé que j'avais pas assez de boulot, et j'ai fait un projet avec la classe de CP de ma fille. Chaque élève a imaginé pourquoi il n'avait pas pu faire ses devoirs, et je l'ai illustré. Après, ça a donné un petit livre qui a été distribué à chacun.
October 7, 2025 at 2:13 PM
Il y a 2 ans, j'ai trouvé que j'avais pas assez de boulot, et j'ai fait un projet avec la classe de CP de ma fille. Chaque élève a imaginé pourquoi il n'avait pas pu faire ses devoirs, et je l'ai illustré. Après, ça a donné un petit livre qui a été distribué à chacun.
Reposted by Arnaud Spiwack
October 6, 2025 at 9:22 PM
Streaming some Final Fantasy VI: Worlds Collide, in a few minutes. I'll be playing to the seed of the week, which appears to have a pretty unusual objective.
twitch.tv/notnotarnaud
twitch.tv/notnotarnaud
Twitch
Twitch is the world's leading video platform and community for gamers.
twitch.tv
October 8, 2025 at 12:16 AM
Streaming some Final Fantasy VI: Worlds Collide, in a few minutes. I'll be playing to the seed of the week, which appears to have a pretty unusual objective.
twitch.tv/notnotarnaud
twitch.tv/notnotarnaud
Reposted by Arnaud Spiwack
We just spent 6 months to add 1 figure to this paper. Some people said, "Couples aren't prioritizing men's careers. Men just have better earnings opportunities when moving."
Earnings effects of moves for couples on the left, singles on the right. Negligible gap between single men and women.
Earnings effects of moves for couples on the left, singles on the right. Negligible gap between single men and women.
October 7, 2025 at 3:36 PM
We just spent 6 months to add 1 figure to this paper. Some people said, "Couples aren't prioritizing men's careers. Men just have better earnings opportunities when moving."
Earnings effects of moves for couples on the left, singles on the right. Negligible gap between single men and women.
Earnings effects of moves for couples on the left, singles on the right. Negligible gap between single men and women.
I've had a look at Hyprland recently. I must admit that it looks like a quite attractive desktop experience. 1/4
October 6, 2025 at 3:06 PM
I've had a look at Hyprland recently. I must admit that it looks like a quite attractive desktop experience. 1/4
Questions à ceux qui sont en France. Quelqu'un peut m'expliquer comment tout le monde semblait savoir à l'avance que le gouvernement Lecornu allait démissionner immédiatement? D'où venait cette conviction?
October 6, 2025 at 9:29 AM
Questions à ceux qui sont en France. Quelqu'un peut m'expliquer comment tout le monde semblait savoir à l'avance que le gouvernement Lecornu allait démissionner immédiatement? D'où venait cette conviction?
In French, but this excellent article on the dangers of over-diagnosing makes the following striking claim: cancers that mammography detect are largely benign, whereas actual dangerous breast cancers tend to be invisible to mammography until it's too late. Bleak.
“Vous allez avoir beaucoup de réactions négatives de la part de vos lecteurs”, avertit une spécialiste du sujet. Car oui, il est sensible et compliqué. Alerter sur les risques des diagnostics médicaux semble aller à l’encontre du progrès, voire du bon sens. Nous vous laissons lire, vous jugerez…
Surdiagnostic médical : l’alerte
Les chiffres donnent le vertige : de plus en plus de maladies sont diagnostiquées inutilement, entraînant de nombreuses conséquences délétères. Médecins et chercheurs tentent de s’organiser.
www.epsiloon.com
October 6, 2025 at 12:52 AM
In French, but this excellent article on the dangers of over-diagnosing makes the following striking claim: cancers that mammography detect are largely benign, whereas actual dangerous breast cancers tend to be invisible to mammography until it's too late. Bleak.
Reposted by Arnaud Spiwack
Et voilà ! Pour ceux et celles qui veulent écouter mon petit passage sur France info junior sur les maths pour la fête de la science
www.franceinfo.fr/replay-radio...
www.franceinfo.fr/replay-radio...
Comment apprendre le goût des mathématiques ?
Alors que la Fête de la science se poursuit jusqu'au 13 octobre, les enfants de franceinfo junior s'intéressent aux mathématiques avec Viviane Pons, maîtresse de conférences en informatique à l'univer...
www.franceinfo.fr
October 5, 2025 at 6:33 PM
Et voilà ! Pour ceux et celles qui veulent écouter mon petit passage sur France info junior sur les maths pour la fête de la science
www.franceinfo.fr/replay-radio...
www.franceinfo.fr/replay-radio...