Besides being perhaps the logician of note of the 20th century (against considerable "competition"), he's become an important philosopher in the 21st. I think he realizes he's become a philosopher, although it would seem (from private correspondence) that he doesn't find philosophy all that important, let alone that he's such an important one.
I often tell people to watch the video even if they don't know one "euh" of French. There's something about the energy in it that already conveys so much.
----
I can't honestly evaluate the other, minor Girard because of the homonymy. It's unfortunate.
I mean, putting a bullet to someone's head can extirpate a brain tumor they hadn't been alerted to before, while leaving a grateful person owing you kudos. What if?
There's some point in which good faith rules apply, probably even in court (although not decisively). Presumably Redis Labs works with the developer community and, critically, promotes the technology, which adds great value in terms of network effects. This is sort of the situation with Mozilla.org/com, right?
(Say you like something like Elm -- wouldn't it be better to have a relatively closely aligned commercial entity that puts significant and effective effort in making it widely used, which in turns makes it easier to find an Elm job or sell Elm-like solutions as a consultant).
The interesting tidbit here is that congresspeople, both leaders and small fry types, were parroting a line that went "if we don't pass this censorship law, the Supreme Court is going ahead and dropping an even bigger hammer".
The Supreme Court kneecapped Lula in the late 00s and early 10s, arrested his lead cadres and led to his party's decay -- until Lula himself was arrested. They did this by importing theories by German theorists that were never part of our law intellectual traditions, let alone our laws. Then in the late 10s they started arresting bloggers for insulting the Court -- directly, taking on police powers. Now they're with Lula, and further expanding their sweeping powers. I'm scared to even post this. I mean, much of Congress is scared -- they've got people there by the balls.
I think people are annoyed about the idea of having to know R, Python and Julia. So we stick to our guns with Python even if Julia is possibly better. Heck, if I'm ever learning another language, it's Janet then Rust. Or Type/Javascript if life ever throws me thataway. To paraphrase: stop trying to make Julia happen.
Also the Julia community is lovely, but R folks are so smug about tiny things like (the admittedly very fine for its applications) ggplot2. Also: have you heard SAS or Stata users telling you they can run neural networks using their built-in matrix languages? Yes we can! Yes we can!
Do you have physical brightness buttons? Do you have any more gradual transition hacks?
Our 2-yr old doesn't have access to phones at all -- except perhaps when he grabs one that's lying around; but then he expects it taken from him. But he's so taken with TV that we plan screen time in reverse: start at dinner time and subtract how much time we want him to be there. Our whole approach to tantrums is having something else lined up rather than just shutting things off and leaving a void. I'm fascinated by your methods.
Eh. If you get ahold of a bucket of true geniuses, best thing you can do is not even give them goals and just feed them until Nobel prize/Manhattan Project level work surfaces. As you go down the scale, crisper and crisper goals are needed. This isn't an absolute either; I've been both the smartest man in the room, bogged down by scrum poker and similar inanities, on the one hand, and (elsewhere) someone with a vague understanding of the work needing some supervision to even add value to the team.
https://asemic-horizon.com/2025/09/01/sallies/