Arnaud Spiwack
@aspiwack.bsky.social
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer.
Here are my runs for the Octopath Traveler 8th Anniversary speedrun showcase (with timestamps) Cyrus Single Story youtu.be/XUMv-Rq9bY4?...
OT1 Single Story Relay - Octopath Traveler 8th Anniversary, Part 3
Showcase of multiple Octopath Traveler & Octopath Traveler II speedrun categories held July 18-19, 2026, in celebration of the 8th anniversary of Octopath Traveler's original release date (July 13,…
youtube.com
In his Haskell Implementors' Workshop talk, David Binder asked this question. And I must say that I'm a little dismayed, concerned even, that I immediately knew the answer. Link to the the talk: www.youtube.com/watch?v=qk_P...
And on this note, some Octopath Traveler speedrun (Alfyn glitched) attempts in a minute or so. twitch.tv/notnotarnaud
NotNotArnaud - Live on Twitch
Octopath Traveler | Alfyn Glitched Speedrun | Current goal: sub-41min | Streaming octopath traveler.
twitch.tv
I want to explain what's going on here. Because it's quite interesting. The type of monads over the category of presheaves is given by class PMonad f where return :: p i -> f i (>>=) :: f p i -> (forall j. p j -> f q j) -> f q i (just follow the textbooks) 1/11
Conor Titania Mc Bride@pigworker.bsky.social · 2w agoI told a tall story about type inference via effects and handlers, this morning in Bristol. Thanks to my lovely hosts! www.youtube.com/watch?v=Vc2n...
Heard good (great) things about Pantheon several times. It's too early for a pronouncement, but it's got a lot of things going for it. But it's super weird to watch at times because it uses computer science/software vocabulary in a vaguely correct way. 1/3
This weekend, I discovered the opera Gianni Schicchi by Puccini. And simultaneously , I discovered that I could like Puccini.
Maybe the most prominent way in which the bad writing manifest is that it habitually takes 3+ text boxes to say something that only needs 1. It's very boring to read.
Arnaud Spiwack@aspiwack.bsky.social · 2w agoIt's bafflingly bad. Pretty much every dialogue feels off. Especially when they pertain to the main story. You can feel, almost touch, that they had zero trust in their script, to the point that it became a self-fulfilling prophecy. 2/8
Soudain un narrateur décrit votre vie et il n'y a aucun moyen de l'éteindre - tout le monde peut l'entendre. Pendant les courses, au travail, à la maison, avec des amis - la voix continue de raconter chaque geste. Quelle voix choisissez-vous ? Moi : Jean Rochefort
Suave Morbida@maitre-poulard.bsky.social · 2w agoSoudain un narrateur décrit votre vie et il n'y a aucun moyen de l'éteindre - tout le monde peut l'entendre. Pendant les courses, au travail, à la maison, avec des amis - la voix continue de raconter chaque geste. Quelle voix choisissez-vous ? Moi : bah Werner Herzog
So… the adventure of Elliot. It's generally Zelda shaped, though more biased toward combat. Dungeon design is solid, but rarely great. The dungeons are relatively small and straightforward. But what I want to focus on today is how extraordinarily poorly written it is. 1/8
Slides with speaker notes for my FSCD talk "Sheaves as oracle computations" are now available. I suspect a video will appear at some point, too. I might write a blog post about the slide on the intermediate value theorem, as it puzzled people during the talk (because the slides is vague) […]
Original post on mathstodon.xyz
mathstodon.xyz
As an aside, I believe these binding contexts to form a proarrow equipment over substitutions. I also believe that this remark is useless.
Arnaud Spiwack@aspiwack.bsky.social · 2w agoA one-hole context C[] maps a term Γ ⊢ e : τ to a term Δ ⊢ C[e] : σ. C[]'s type is two contexts and two types. However the contexts generated by let x = e in [] and case e of { (x, y) -> [] } (and such) are special: they are polymorphic in τ=σ. 1/4
A one-hole context C[] maps a term Γ ⊢ e : τ to a term Δ ⊢ C[e] : σ. C[]'s type is two contexts and two types. However the contexts generated by let x = e in [] and case e of { (x, y) -> [] } (and such) are special: they are polymorphic in τ=σ. 1/4
More of this in a few moments. Turns out I already improved my PB by over 1.5min in one attempt. Surely there's more to eek out. twitch.tv/notnotarnaud
NotNotArnaud - Twitch
Octopath Traveler | Alfyn Glitched Speedrun | Current goal: sub-41min
twitch.tv
Arnaud Spiwack@aspiwack.bsky.social · 2w agoOk, so what happens is that I was terribly nervous. And partly for this reason, my Alfyn run went quite badly. Despite that, it was a 45min flat. Meaning that I'm no longer satisfied with my 44:19 PB. So I'm going to do some runs to try and improve on it. Now twitch.tv/notnotarnaud
Ok, so what happens is that I was terribly nervous. And partly for this reason, my Alfyn run went quite badly. Despite that, it was a 45min flat. Meaning that I'm no longer satisfied with my 44:19 PB. So I'm going to do some runs to try and improve on it. Now twitch.tv/notnotarnaud
NotNotArnaud - Twitch
Octopath Traveler | Alfyn Glitched Speedrun | Current goal: sub-43min
twitch.tv
Arnaud Spiwack@aspiwack.bsky.social · 3w agoThis year is Octopath Traveler's 8th anniversary. To celebrate, the community is putting together a speedrunning showcase. I'll be racing Cyrus against Doid, and showing off Alfyn glitched. There will also be good runs.
I once bought some hard-boiled quailed eggs for a picnic. I gave some to the (eager) children who immediately went: dad you eggs aren't eggs, they're cheese. And I realise that this tweet would be much funnier if they had been right.
This year is Octopath Traveler's 8th anniversary. To celebrate, the community is putting together a speedrunning showcase. I'll be racing Cyrus against Doid, and showing off Alfyn glitched. There will also be good runs.
altabiscuit@altabiscuit.bsky.social · 3w agoThe 8th anniversary day may be over but the celebration continues on @rpglimitbreak.bsky.social! The Octopath speedrunning community is doing a weekend long showcase featuring many runners and categories. Check it out! Starts this Saturday @ 8am CDT (UTC-5) Schedule: horaro.net/ot8th/ot8ths...
I found this video equal part hilarious and depressing www.youtube.com/watch?v=KC65... This is an Adventures of Elliot review.
Zelda But Its A Modern Game (Forest Temple) 🗣️🎙️
I spent way too much time on this video hahaha Zelda 64 but it it was made in todays modern standards www.dextermanning.com ✔️ BUY MY GAMES HERE 🕹️ |…
youtube.com
In each diagram, the green area and blue area are equal
Excellent billet de @sylvestrehuet.bsky.social www.lemonde.fr/sciences-au-...
Mésinformation climatique, qui est responsable ?
Lorsque sur un plateau TV un climatologue entend un journaliste dire que les scientifiques « n’ont pas été assez clairs » sur le changement climatique, il a le droit de s’énerver. Mais alors, qui accu...
lemonde.fr
I've just read “The Library at Mount Char” by Scott Hawkins. And… wow! Above all this novel is extraordinarily well-written. I can't resist reproducing the first couple paragraphs. 1/7
“Morning is arriving on Earth” is a sentence I read today. I hope you'll all be very patient with me for at least a week.
An amusing quirk of the French language is that “bonjour” and “bonne journée” which should mean the same thing, actually mean the opposite. “Hello” and “goodbye” respectively.
The very same Discord interaction has happened to me twice. A lady from a common game's server sends friend request. Calls me by a name that is not mine. “Oh no, I thought you were my friend, sorry for the mistake”. “Anyway, I'm a from <country> and I'm <age>”. 1/2
I recently watched “The man from UNCLE” (2015). I never knew this film existed. I should have. It's a very silly, over the top spy movie which doesn't take itself seriously. A lot of fun to watch. With a budget of ~80M$, I guess it fits in the mid-budget range. 1/7
I was browsing a books in a charity sale. And I found a book with the mention “A murder most unladylike mystery”. Rarely has their been a title more custom made to make me buy a thing. I bought the thing. 1/4
I wrote about my sheaves project in prose form. Code, even small as that project, doesn't give you a lot of navigation keys. So I wanted to make something a bit more sequential to help get the important points across. Let me know if it helps.
Tweag by Modus Create@tweag.io · 2mo agoIn his latest blog post, @aspiwack.bsky.social shows how, despite textbook definitions suggesting the contrary, sheaves (from category theory) can be implemented in ordinary functional programming languages. www.tweag.io/blog/2026-06...
Learning Japanese is also going 猫 this is a cat. This is obviously an accurate pictographic depiction of a cat 描 what is this eldritch abomination‽ BEGONE!! Brains…
Patrick Willems is always excellent. But I wanted to share this recent episode because he touches to something that I care about particularly, which is the relation to of streaming service to production, and their lack of taste. 1/4 www.youtube.com/watch?v=g6Yv...
Why Is Every Streaming Blockbuster So Bad?
Get Nebula for a year at 50% off https://go.nebula.tv/patrickhwillems Watch Lindsay Ellis' videos on Nebula now https://nebula.tv/lindsayellis?ref=patrickhwillems A hard-hitting investigation into…
youtube.com
People have fond memories of stories and characters so they don't like when I say this. But now I have a quote about Miyamoto saying it I can just point there.
