Arnaud Spiwack Profile
Arnaud Spiwack

@aspiwack

Followers
684
Following
554
Statuses
5K

Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. https://t.co/iFlKRVeGpN

Joined March 2019
Don't wanna be here? Send us removal request.
@aspiwack
Arnaud Spiwack
22 hours
@sjoerd_visscher I'm not sure this means coeffects and the like, though. Maybe?
0
0
0
@aspiwack
Arnaud Spiwack
2 days
Is it true? I don't know, it's sketchy, maybe this is a complete red herring. But it has the right feel to me. 6/6
0
0
0
@aspiwack
Arnaud Spiwack
6 days
Streaming some more Final Fantasy VI Worlds Collide tonight (or to-whatever-time it is, I'm very east). Stream starts at 12.15 UTC
0
0
1
@aspiwack
Arnaud Spiwack
8 days
Turns out, this isn't much of a consideration. The Zen bug tracker shows that Vimium users are taken seriously, and their bugs are fixed (extensions appear to work fine). But nowhere is there a plan for native support for this (obviously superior!) way of navigating the internet.
0
0
0
@aspiwack
Arnaud Spiwack
9 days
@DjiBee For the record, I can read French 🙂 (and write, and speak, and occasionally (not occasionally) rant and/or ramble). But I'm not following you, these are clearly all forms of the same root, namely the “comprimo, comprimere, compressi” verb.
0
0
0
@aspiwack
Arnaud Spiwack
9 days
I missed a few streams. But I'm back with more Worlds Collide. Stream starts in a few minutes at 00.15 UTC
0
0
0
@aspiwack
Arnaud Spiwack
9 days
@DjiBee Would you have a source for this claim?
1
0
0
@aspiwack
Arnaud Spiwack
9 days
This investigation doesn't have a satisfactory ending, apparently. There seem to be these two confusing forms because some proto-italic speaker, 3000 years ago, thought it sounded cooler that way, I guess? 6/6
0
0
0