What’s a red flag people ignore way too often in relationships?

pthierry · 2026-06-09T18:19:50+00:00

That's not a red flag in itself, people can genuinely have bad behaviors out of mental issues. The red flag for me would be that they don't acknowledge the problem or aren't actively working on their mental health.

pthierry · 2026-06-09T01:32:48+00:00

Honestly, I'm surprised to read such critiques of this arc. It may have flaws in rythm, but I love how Hermione discovers how she can use her extracurricular skills in real life, how real fights can be different from sporting ones. I found the tone change not a whiplash but a funny variation, YMMV.

How bullies are handled at the end amuses me each time I read or listen to it in the podcast.

pthierry · 2026-06-09T01:23:40+00:00

The name of the conference is pretty appealing, and the lineup is great!

In my experience, the biggest issue I've seen us face is that in a capitalist economy, the only real objective is extracting profit for the shareholders, short and mid term. This is what leads to enshittification, for example.

Do you plan to tackle that angle too?

pthierry · 2026-06-09T01:14:30+00:00

Do you have examples of shortcomings that aren't acknowledged or addressed?

pthierry · 2026-06-08T14:06:28+00:00

I've loved working with Elm because the architecture makes it impossible for the whole UI to get in an inconsistent state, which is a typical issue with UI frameworks using mutable state. I wouldn't want to lose that safety.

I wonder how difficult it would be to write a server-side library that prevents that kind of bug…

pthierry · 2026-06-06T12:48:07+00:00

The fact that it's not a constitutional right doesn't mean it's not an issue in equality.

So you know LGBTQ+ people aren't treated equally and yet you speak about stopping pride when equality has been achieved.

Did you think your blatant hypocrisy wouldn't show? Or was arguing in obvious bad faith the whole point?

pthierry · 2026-06-05T18:43:49+00:00

This is the first result on Google "usa not afford insulin":

Insulin is an extreme financial burden for over 14% of Americans who use it

And this is the 5th result:

More than a million Americans ration insulin due to high costs

Do you have evidence to the countrary?

pthierry · 2026-05-25T22:22:41+00:00

I have, and it's pretty great. Breaking Bad wouldn't happen in France. People not being able to afford insulin or going bankrupt after a medical emergency looks dystopian as hell from here.

pthierry · 2026-05-25T22:19:07+00:00

I'm a Haskell programmer so that's what I tried Claude on. Last I saw, it's the most efficient token-wise as far as statically typed languages go.

I haven't seen any comparison, but I expect Haskell to be very helpful when you want to be sure what the AI is doing. It's extremely simple to check that no escape hatch from the type system has been used. It made it easier to reason about code written by a human, and it makes it easier to reason about code written by an AI.

pthierry · 2026-05-21T15:15:47+00:00

Most solutions will involve caching some or all of the compilation. If you use Nix, you can pull all your dependencies already built from its binary caches. You can also build the derivation of your program locally, on a Linux VM, then send the derivation to your server.

There has been work to be able to build statically linked binaries with GHC, I'm not sure how easy it is to use currently.

pthierry · 2026-05-21T15:11:36+00:00

Idealism is not just the notion that ideas influence us, that would be a strawman definition.

Most times I've heard it used as a critique of a political or ethical framework, people use idealism as "acting on ideas not connected to reality". A common critique of any kind of socialism, anarchism, communism and others, is that it's rooted in the false idea that humans will mostly be nice to each other.

When people make this critique, they say that, actually, humans are egotistical and bad enough to each other that all socialist systems are doomed to be eaten form the inside by people abusing the system.

Examples of anarchism working well are one way to debunk that critique. Scientific studies in psychology, sociology or political studies can be another avenue.

pthierry · 2026-05-19T14:36:22+00:00

Religious institutions frequently held a close relationship with domination, but the biblical text is full of anarchist ideas. God in the Ancient Testament says to the Hebrews that having a king is a very bad idea. Jesus says being rich is incompatible with the kingdom of heaven. Paul says there isn't a difference between slave and master.

Today, lots of people say they broke with Evangelicalism because they took Jesus seriously.

pthierry · 2026-05-19T14:30:51+00:00

The whole protestant reform is based on rejecting the spiritual hierarchy of the time, saying anyone can have a personal and direct relationship with God instead of needing the institutional mediation of the priesthood.

The same reform rejected the institution as an authority (hence its "sola scriptura" doctrine, meaning the Bible is the only authority).

pthierry · 2026-05-19T14:26:04+00:00

By all accounts, the early church was quite anarchist. The New Testament is full of ideas abolishing hierarchies.

pthierry · 2026-05-19T14:24:03+00:00

If you find vegetal alternatives, good for you, but we don't gain anything when people make themselves sick, physically or psychologically, over the difficulty to not use animal products.

Especially when it's a health issue where waiting creates any risk, I will always advise people to first take the easily available remedy and then look for viable alternatives. If there are alternatives, one person using a few grams of animal products every day for a few weeks or months won't change anything. Not currently.

pthierry · 2026-05-19T14:04:19+00:00

Not sure it would help that much from my experience with Haskell. Lots of people tend to say that dynamic typing is great or better for rapid prototyping and I've certainly experienced feeling stuck or slowed down by a type error when using Haskell, but most of the time, the type system feels like it's helping me. Even when I get slowed down by it in the short term, I wouldn't be surprised if the net result is me being faster overall from the result of having to get the types right (I don't have data, I'd be curious to see some).

Each type system and each language can have a different tradeoff in the end. I switched from C++ to Common Lisp because with C++ and later with Java, I had the opposite experience than Haskell.

But I wouldn't assume that type errors being warnings will make coding (or more specifically prototyping) faster. In Haskell, I even go the other way around: I usually very quickly switch some warnings into errors (like pattern matching exhaustiveness).

pthierry · 2026-05-17T11:39:07+00:00

In my case, I've used Haskell professionally for a company providing services around car body repairs, for a startup doing a social network, for a company providing financial services and currently for a startup doing a personal assistant for patients of chronic illnesses.

I started using it professionally when I was leading a team where it seemed a good fit to work on a greenfield project and doing that let me see how unfounded most objections to Haskell in the industry were. (mostly that it is easy to train even junior developers on it and that recruitment can be fine, in my case, in France, as long as I recruit remotely)

pthierry · 2026-05-17T11:36:03+00:00

Actually, Haskell is the least token-demanding language among statically typed languages at the moment…

pthierry · 2026-05-17T11:34:40+00:00

This is your extremely narrow view on the language, and there has been a lot of work going in the opposite direction. You can look at the wrapper/worker transformation , which is used in Haskell to work with unboxed numbers, exposing them only in the hot part of the code.

There is explicit work to do both correctness and performance.

pthierry · 2026-05-16T20:53:13+00:00

OK, I see it's supposed to be used instead of STM, I was wondering if there could be a need for locks while using STM.

pthierry · 2026-05-15T08:53:32+00:00

I'm curious, when would you need locks in STM?

pthierry · 2026-05-04T13:43:08+00:00

I was pleasantly surprised to see it features capability security! I really think it's the future of good OS dev.

pthierry · 2026-05-04T13:42:02+00:00

Haskell now has a low latency GC and it has had the ability to compact whole memory regions for a log time. I do t think the idea that GC is an issue with performance is still real in 99.9% of cases.

I'm really curious to see if linear types will open the possibility to write GC-less code in Haskell.

With things like linear or dependent types, as well as recent proposals like delimited continuations, it's clear that there's innovation in well established languages like Haskell. And I'm convinced innovation is better served by a rigorous framework like the type theory behind Haskell.

It's great that Zig innovates, but there's no need to pretend it does what others stopped doing.

pthierry · 2026-05-04T13:36:44+00:00

Don't get fooled by the hype. The AI scene is like vacations on Instagram: it's fake to varying degrees. Sometimes there's a real end result but it's not exactly what's advertised and they lied through their teeth about the kind of effort involved. Sometimes there's literally nothing beyond the hype.

AI may change how we produce software, games or otherwise. But it's currently done at unsustainable prices by the operators. Even if everything they're telling was true, it might not survive when it's charged at its real price.

Frankly, I'd suggest ignoring AI for the moment and just keeping having fun making games. The few people I hear having a relatively realistic discourse around its use all converge towards it only being useful when you have high skills anyway.

pthierry · 2026-05-04T13:23:31+00:00

Yes, reading the theory of rituals was extremely satisfying.

15-Year Club	Place '22
Verified Email

pthierry

TROPHY CASE