I see an ∞-category lurking here
3 karma · joined December 25, 2025
disclaimer: it's not like I'm pro- prediction markets as if it is world peace
This maintainer <https://github.com/somew1nd> is shady as hell.
It looks like the profile is a recent Chinese graduate, who have been working on a "challenge cup" <https://www.tiaozhanbei.net> robot project not very long ago.
Personally, I know that lot to appropriate stuff for themselves without blinking an eye. Believe me when I say I know.
Also, the OP seem to have been heavily downvoted, which I believe have been fudged.
Reporting this twit to his manager may be the right way to go.
I actually enjoy python and astral tools a lot, but I think you are grasping for air here.
(And then a U-turn where anyone that doesn't wear a mask [even for participating volleyball matches or flute concerts] is an enemy of the state. And if you are a disabled elderly and lockdown yourself, refusing the state-mandated tests, you are an enemy of the state. And they knock down your apartment doors to gas your cats and dogs.)
I really hope the red necks tearing down the procedural system of justice, as well as the left network hosts that got bedazzeled just after a trip to china know what they're asking for. Beware the wishes you make.
Edit: I'm a little weary to find there is convenient import but not export functionalities. I manually copied the conversation into a markdown file <https://gist.github.com/Gravifer/1051580562150ce7751146be0c9...>
Éléments de géométrie linguistique (no, not a thing)
[如何评价 Litex 语言？ - 知乎](https://www.zhihu.com/question/1965786839827854197)