phi16

うれいにしか見えない、それはそう

We’re excited to announce that Order of the Sinking Star will be available on @Nintendo #Switch2 later this year! 🎮 Watch our new Overview Trailer where @Jonathan_Blow reveals more details about the characters, worlds, and story! 🎬 Join us > bit.ly/m/SinkingStarG…

おはなしをした☀️

現在制作中の新作アバターのデザインラフです！ こよらぼ初のちびキャラ、 名前は「がぶちぃ」です！🐰 大きなうさ耳ともこもこ感、 ちょっと凶暴なうさぎさんです！ #Gabuchi3D

私がそう見ているという話であってそういうことが言われているわけではない

昔見た L0 を空間で微分して L1 もどきを作ることについての動画が偶然やっと見つかった youtube.com/watch?v=rIX-Rs…

どうせ何某の問題だから何某が解決しないとどうしようもないのかもしれないけど

そういえば最近ぶいちゃの動画読み込みが 360p になってしまう問題ってどこかに解決あるのかしら (というか known issue だろうか)　配信だと大丈夫みたいだけど

@Kory__3 ですねえ　なのでZFC矛盾判定プログラムがどれだけ小さい状態数で書けるかというshort-codingみたいなことが発生していそうで面白いです

@phi16_ 亀レスなんですけど、十分な状態数があると ZFC (+α) からの矛盾をしらみつぶしに探索するチューリングマシンが作れて、それを BB(n) ステップまで走らせてみることで（この計算列は ZFC に埋め込めるから）ZFC が矛盾しないことを ZFC 内で結論付けられてしまうので、そうなりそうじゃないですか？

そんなことになるんだ

！

n年越しのリベンジ成功　いい時代になりました

今日は一日中頭使わない日だったので良い休憩になった気がする

知らん…

さすがになんかもうちょっとあるじゃろ

えぇ…