FORCETLQ(Estquilia)
2d
碇シンジが出てきてガッキーに逃げんなと詰められるドラマです
🔔 This profile hasn't been claimed yet. If this is your Nostr profile, you can claim it.
Edit
碇シンジが出てきてガッキーに逃げんなと詰められるドラマです
当然数学的構造は同じだけどね。代数閉包と不定冠詞の話が定期的にXに出てくるから思い出した
フランス語、英語より総称にしっかり冠詞を使う傾向にあるんだけど、そのせいで同値類とか同一視できる対象への印象が若干英語と違ったりするんだろうか?
見るコンテンツの言語、英仏中で95%くらいだからインスタの広告で「外国人学生のための進学説明会」みたいなのが振り仮名付きででてきてしまった。留学生だと思われている
ダッシュ、普通にllm以前から使われてるけど打ちづらいからtypst以外の環境であんま自分から使わないかも
個人とアイデンティティが紐付いているの結構違和感あって、文脈の交差で考えるべきだと思っているからそういう意味でも早くpublicな分散idシステムほしい
FORCETLQのXのアカウント、結局音楽と数学とかが混ざっちゃったから、やっぱアイデンティティはきちんと分離するべきだなあ
アハ体験黒マスク需要が謎すぎる
最近Ufoliumをおすすめしてくれる人が多いんだけど、一緒におすすめされている人を見てみると流石に高校生でMakkyo Existsとかalg-dを日常的に見ている人は少ないのだなあという
ミューズリーめっちゃ美味しいから買うと一気に食べちゃう
草
xより喋る