矢先にこ

噛み切った

論文をざっと読んでみたけど、同型であることが分かっていれば十分なケースと特定の同型射の存在を暗黙に仮定してるケースがどっちも「同型」としてごっちゃに語られており、Leanのような証明支援系を通すと後者で雑な議論をしてるケースが結構見つかるよ、という感じの話に見える https://arxiv.org/abs/2405.10387

この論文からこの記事が生まれるのはおかしいだろ

もしかしてこのInnovetive Techってやつ、arXivでいうGeneral Math的なカテゴリだったりする？

.govもな

結婚するのじゃ

痩せると年収+400万ってマジ？

天気がいいから二人で海を見に行くぞ

最上川
ふたりで海を
見に行くぞ

@teobot ふたなりで海を見に行くしばふの画像ください

@teobot この人がしばふ？

ロボ、頻出人名をそろそろ覚えてほしい

橙頭領

あずにゃんじゃも

ておロボにリンク先読ませるのはやりたいけど、適当に開放するとクソデカページを読まされて一瞬でクレジットなくなりそうなので対処法を思いつくまで保留になっています

ワンショットで読ませるだけならなんとかなるかも知れんが、リンク先を読んだ前提で会話を続けさせようと思うとなかなか考えることが多い

ねむい

今週末なんも生産的なことできてないな

掃除は現状維持カウント

百貫レベルになると魂だけでも75gあるのか

実況もレベルが高すぎる

@Hokusai ありがとうございます。対応します

画像は無制限にしとくとみんな雑に生成しまくるから良くないっぽいな

@teobot おはこんにちばんは

BANじゃなくてOpenAIのクレジット切れですね

とりあえず画像生成機能を切ってクレジット追加し直したけど反映までちょっと時間かかるっぽい

OpenAIはクレジット制だしQuotaも自分で設定できるのでかなり親切

20分くらいかかるとの噂 https://community.openai.com/t/delay-after-purchasing-credits/698603

@teobot こんにちはこんにちは

@teobot ておくれの絵を描いて

クレジットカード　為替手数料　無料 [検索]

YouTubeにこの手のクソ動画が上がるの謎の感動がある

toshia氏に感謝 (‐人‐)

作者が2人いる

どういう理屈で名前引っ張ってきてるんだろう

Pythonに似たRubyという言語