Arnaud Spiwack

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

[Anupam Das @ADasAcademic]

Olivier Laurent has posted an interesting blog post challenging the usual wisdom about canonicity of linear logic connectives, definitely worth a read! https://t.co/ueRVQji7oz

[Tom 7 @tom7]

I will be presenting my personal Details in Brooklyn (Bellhouse) on July 12 with @standupmaths and other cool people, unless this is part of a very elaborate hoax!

[Arnaud Spiwack @aspiwack]

In all fairness, this appears to adapt a second book (titled “Good Girl, Bad Blood”). I assume that the question of how to follow up on the first book's story has already been addressed satisfactorily by the book.

[Arnaud Spiwack @aspiwack]

It would appear that A Good Girl's Guide to murder got a second season. It's good when great series get a second seasons (if anything, it means a good series got exposure). Even though it was perfectly good and rounded with one season; I'm not sure a second season was needed.

[Arnaud Spiwack @aspiwack]

Even though I lament that the most interesting character from a world-building point of view exists the story after the first book. It's been a while since I read the previous entries, but I think I found this fourth book particularly strong. I enjoyed it a lot. 5/5

[Arnaud Spiwack @aspiwack]

I've just finished A Bad Place to Strike Gold, the fourth book in the “Bad” series from Jerry F. Westinger. These are character-driven murder mysteries, set in a fantasy world. The fantasy elements mostly serve to be able to choose what technology exists or not. 1/5

[Arnaud Spiwack @aspiwack]

Pretty much each of these books have the same effect on me: at first I find them a little hard to get into, a little disjointed. But when they get going it's really hard for me to put the books down. I really like them. 4/5

[Arnaud Spiwack @aspiwack]

@RFD4141 It's, of course, absolutely untrue. But you don't need a lot of people who believe nonsense for it to impact the carrier of young people. So the damage is real. But I don't think it's actually a widely shared belief.

[Arnaud Spiwack @aspiwack]

I've been reading a few times lately that we're living in a world where people don't want to hire juniors any more. I'm pretty sure this isn't true. My guestimate is that only a tiny minority think that LLMs can replace their junior hires. 1/3

[Arnaud Spiwack @aspiwack]

And by exposure bias, it makes everybody else feel that they're in the minority, and if everyone else says it, maybe I'm the one who's wrong. You aren't, you aren't missing anything, it's just a handful of people being loudly, confidently wrong on the internet. 3/3

[Arnaud Spiwack @aspiwack]

But we live in a world where the dumbest voice do all the talking. Mostly because the dumbest voices are more amplified by social networks (or the internet in general, probably). 2/3

[Arnaud Spiwack @aspiwack]

A common trend in modern computing-heavy task, be them graphical tasks or machine learning tasks, seems to be to express as much as possible in linear algebra so that it can be parallelised. It's amazing how linear algebra keeps being relevant.

[Bob Golen @BobGolen]

Just found the absolute worst page in the dictionary.

What I saw was disgraceful, disgusting, dishonest and disingenuous.

[Arnaud Spiwack @aspiwack]

Navi would never talk without being asked to. She practically only delivered matter-of-fact information. She would nag you with a bell every few minutes if the game felt you might be lost. Navi can be improved on, but really, she was fine (and easily ignored).

[Arnaud Spiwack @aspiwack]

Saw the other day someone comparing the writing of modern AAA-style over-chatty sidekicks to Ocarina of Time's Navi. Navi has become the poster-child of irritating sidekicks. I don't know how we got to this level of collective self-deception. Because… Navi was fine.

[Arnaud Spiwack @aspiwack]

Parce que bon, toute cette histoire, ça a toujours été pour ménager les sentiment de quelqu'un qui se voyait comme acteur de théâtre, et qui s'attristait d'être d'abord connu pour sa carrière de doublage (parce qu'il y était juste incroyablement bon, en fait).

[Arnaud Spiwack @aspiwack]

Bon, les francophones. Ça fait quelques temps qu'Éric Legrand est mort, on peut arrêter avec «comédien de doublage» et redire «doubleur» s'il-vous-plaît?

[Arnaud Spiwack @aspiwack]

I wrote “soap for the kitchen” in my shopping list. Accordingly, I bought soap for the dishes. Unfortunately, I meant hand soap.

This is a tweet about programming.