Re:A pilot project in universal algebra to explore new ways ...
by photonthug on Friday September 27, 2024 @12:01AM
(#41666124)
Yes! It’s rare and really encouraging to see an established giant embracing and extending the new and reaching outwards to other communities rather than doubling down on the old ways, gatekeeping, moat-building, and defending their kingdom. It’s an unusual source for hope and gratitude maybe, given the esoteric subject matter, but it also might be the only one I see this week.
[ Parent
| on HN ]
Re:A pilot project in universal algebra to explore new ways ...
by xanderlewis on Friday September 27, 2024 @07:19AM
(#41669002)
It’s only those with something to prove who do that. He has nothing left to prove. Probably never did; he just genuinely enjoys what he does.