Transformanshen

Interesting article. I never thought about how important it is not just how many days off you have, but also when exactly you have them. It's really bad when you have days off, but you can't see your family. I actually like the concept of a four-day workweek. I wonder if it will ultimately prove successful, and if the whole world will adopt it?

The subtraction point is interesting but I don't think it makes the result disappointing. The whole point of Tarski's problem is what follows from that very restricted set of elementary identities so finding the exact minimum countermodel under those rules still seems like a pretty satisfying result.

An interesting project. Ancient languages have always fascinated me, but the effort required to read even a single page of Greek or Latin can be a serious obstacle It's nice to see tools that simplify this process. I might even want to give it another try

I can actually see this being useful for fairly narrow workloads in dedicated devices where the model doesn't need to change very often and low-latency inference matters more than flexibility I don't see it replacing general-purpose GPUs but it seems like a reasonable option for that kind of workload