折登 樹

[折登 樹 @MatchaChoco010]

作ったものなどスレ

[論計舎 @ronkeisha_info]

レンズと鏡だけで、あらゆる計算ができる。

薄レンズと平面鏡による2次元レイトレーシングがチューリング完全と判明。光学計算の万能性に3次元が必要か——Reifら1994の未解決問題を解決。鏡がなければ行列式1の2×2行列に過ぎないが、鏡を足すと万能になる。

https://t.co/1rURZy75se
#計算論 #生成AI
https://t.co/fXaGXJyVoa

[麦 ⌇Baku @_baku89]

Snapping rectangle corners to each other in #Glisp Canvas, and they stay linked as you edit

[麦 ⌇Baku @_baku89]

me drawing a Kanizsa triangle parametrically in #Glisp Canvas

[麦 ⌇Baku @_baku89]

#Glisp Canvasを（ひとまず）リリースしました　6年前からずっと頭の中で渦巻いていた機能のイメージがようやく取り出せて、とてもスッキリしている　関数型言語の構文木をinteraction substrateに宣言的なグラフィックツールをつくったら最高じゃない？っていう

[折登 樹 @MatchaChoco010]

AIエージェントに任せる開発についての現状での感想雑メモ。
https://t.co/LyegTl139W

[折登 樹 @MatchaChoco010]

LLMがプログラムを出力することをコンパイラが機械語を出すことに例える論法について思うことを雑にメモ。
https://t.co/HOFamqMUd8

[折登 樹 @MatchaChoco010]

@LiJiacheng14 同じ報告は受けていて特にMacの端末で壊れているという報告を受けています。しかし私はMacの端末を持ち合わせていないので再現環境を持ち合わせておらず修正が難しい状況です。これはただの技術デモであって壊れて困る製品のページとかでもないので修正をする予定はありません。申し訳ない。

[折登 樹 @MatchaChoco010]

せっかくなのでOrigin Trialを申し込んでGitHub Pagesでデモページとして公開してみた。ChromeでGPUがちゃんとしている端末で開くと動くかも。AndroidのChromeとかだとGPUの描画負荷で厳しいかも。

HTML-in-CanvasとWebGPUのデモページとして楽しんでもらえれば。
https://t.co/b2QjwWgDdB

[折登 樹 @MatchaChoco010]

HTML-in-CanvasとWebGPUを使ってDiscordのAIボットのダッシュボードを無駄にカッコよくするやつ、もう少しコーディングエージェントに詰めさせて演出を載せまくってもらったらこんな具合になった。さすがにうるさすぎる気もするが。。。Webブラウザでこのくらい派手なGUIが動くのは面白いわね。

[折登 樹 @MatchaChoco010]

ゆるゆるシェーダー交流会に参加してます〜！

[ukonpower @ore_ukonpower]

【ゆるゆるシェーダー交流会#2】
本日！！ 13:00から開場です！
https://t.co/dM3E1XAcPF
#ゆるシェーダー会

[折登 樹 @MatchaChoco010]

HTML-in-CanvasとWebGPUを使ってDiscordのAIボットのダッシュボードを無駄にカッコよくするやつ、もう少しコーディングエージェントに詰めさせて演出を載せまくってもらったらこんな具合になった。さすがにうるさすぎる気もするが。。。Webブラウザでこのくらい派手なGUIが動くのは面白いわね。

[折登 樹 @MatchaChoco010]

ChromeがバージョンアップしてからWindowsのChromeでデモページが壊れていたので修正しました〜。やたらめったに重たいエフェクトを盛りまくってるので、そこそこに強いGPUを積んでないと重たいと思われます。

[折登 樹 @MatchaChoco010]

せっかくなのでOrigin Trialを申し込んでGitHub Pagesでデモページとして公開してみた。ChromeでGPUがちゃんとしている端末で開くと動くかも。AndroidのChromeとかだとGPUの描画負荷で厳しいかも。

HTML-in-CanvasとWebGPUのデモページとして楽しんでもらえれば。
https://t.co/b2QjwWgDdB

[Seb ⚛️ ThisWeekInReact.com @sebastienlorber]

👀 Chrome 157 is out - HTML-in-Canvas is stable 🎉

Just update your browser, no flag needed anymore to unlock the new creative experiences

https://t.co/Rg2zoNeox3

[Matt @matt_dz]

Formalizing PTX in Lean to Prove GPU Kernel Correctness
https://t.co/kDA2911agg
https://t.co/WW2GwZ4Ak9
by Luk Koska, Tom Koska, @BenKoska; @SfTensor 2026

[Ben Koska @BenKoska]

We formalized PTX in Lean so that we can formally prove GPU kernels correct.

This way, we can be confident that the kernels our agents wrote are correct, without ever needing to read them. 🧵

[Preetish Kakkar @preeteesh]

Excited to announce that my new book, Neural Rendering in Action, is coming next month!

It's the first book dedicated entirely to exploring how neural techniques can be applied across different rendering workflows.

Preorder here -https://t.co/7kJNb7DgZ8

[折登 樹 @MatchaChoco010]

こういう謎の自然言語の言い換えは本来の操作をわかりにくくしているだけだと思うのだけど、こういう言い換えのことをわかりやすく説明する手段だとAIは認識している節があるよね。

[折登 樹 @MatchaChoco010]

うーん、「サーバーの/hoge/のエンドポイントにPOSTメソッドでbodyに○○のデータを含めてリクエストを投げる」というような具体的な手続きは そのままそう書けばよいのに、なんで「受け入れ口に○○を渡す」みたいな謎の表現をAIはするんだろうなあ。

[折登 樹 @MatchaChoco010]

技術的な特定の手続きを行うことを示すならその手続きをそのまま書く方がよっぽどわかりやすいのに、なんでわざわざそれが具体的にどういう操作なのか解釈し直さなければいけない謎の自然言語の説明にしてしまうのか。

[折登 樹 @MatchaChoco010]

うーん、Naniteの魅力のメッシュをバーチャルにストリーミングできる感が薄くなるからこのthreejsのやつをNaniteとは呼んで良いのか微妙だわね。AIの要約によればメッシュレットレンダリングではあるしハイブリッドラスタライザとかも入ってはいるらしいが、NaniteとはLODの選択方法が違うらしいので。

[折登 樹 @MatchaChoco010]

このthree.jsのやつはやはりVertexShader内で別バッファの頂点属性をインスタンス番号とかに合わせて読み出すことで実現しているっぽい？ただしこちらはトポロジを気にしないようにコストを許容してtriangle-list形式でindex形式ではないっぽい。
https://t.co/XQVWEdcHgV

[折登 樹 @MatchaChoco010]

先のthree.jsのメッシュレットの実装ではglTFなどを読み込んだ後に、そのBufferGeometryをMeshletDrawingPipelineが変換してメッシュレットを作るらしい。実行前の事前ビルドではなく実行時にメッシュレットを作るから複雑なNanite用メッシュレット生成は避けたということかしら。

[折登 樹 @MatchaChoco010]

どうせやるなら素直にMeshShaderを使っても良いのではと思ったけど、そういえばWebGPUはまだMeshShaderがなかったんでしたね……。

[なが @nagakagachi]

MeshShaderではないけれど似たようなことを頂点シェーダで試しました.

プロシージャル枝葉は同規模でトポロジ揃えてIndexBuffer共通, VertexBuffer内にバリエーション別オフセットして頂点シェーダで読み取りすることでDrawをマージしながら別の頂点データを読んで描画します.
(IndexBuffer共有しているのは頂点再計算減らしたかったため)

[折登 樹 @MatchaChoco010]

なぜそういう実装なのかはわからないとAIは言っているが、AI曰くNanite的にするには階層的なMeshletのクラスターを作る必要があり、さらにそのクラスタ選択もGPU階層捜査とか実装が必要だからだろうしとのことで。Nanite用Meshletを事前ビルドで構築する必要があることを嫌ったのかな？