Cj.bc_sd
@cj-bc-sd.bsky.social
Mainly write C# (Unity) in job.
github.com/Cj-bc
misskey.io/@Cj_bc_sd
misskey.resonite.love/@Cj_bc_sd
twitter.com/cj_bc_sd
github.com/Cj-bc
misskey.io/@Cj_bc_sd
misskey.resonite.love/@Cj_bc_sd
twitter.com/cj_bc_sd
Reposted by Cj.bc_sd
ふわふわ宇宙探査、宇宙のどこかにある"名取さなが国民的人気キャラクターになっている惑星"で大量生産されたグッズを命を懸けて盗み、みなさんにお配りしている……という噂
November 17, 2025 at 10:02 AM
ふわふわ宇宙探査、宇宙のどこかにある"名取さなが国民的人気キャラクターになっている惑星"で大量生産されたグッズを命を懸けて盗み、みなさんにお配りしている……という噂
本格的にcloudflareやられてないか？？？大丈夫？？？
November 18, 2025 at 1:00 PM
本格的にcloudflareやられてないか？？？大丈夫？？？
ん？まってcloudflare側が落ちてたりする？？challenge.cloudflare.comに接続できなかった今
November 18, 2025 at 12:26 PM
ん？まってcloudflare側が落ちてたりする？？challenge.cloudflare.comに接続できなかった今
"The LLM is like the CPU and its context window is like the RAM, serving as the model’s working memory"
rlancemartin.github.io/2025/06/23/c...
この例えかたは結構すき
メモリ管理をやるのと同じようにコンテキストの管理をする必要がある、と
rlancemartin.github.io/2025/06/23/c...
この例えかたは結構すき
メモリ管理をやるのと同じようにコンテキストの管理をする必要がある、と
Context Engineering for Agents
Patterns for managing agent context.
rlancemartin.github.io
July 3, 2025 at 12:20 AM
"The LLM is like the CPU and its context window is like the RAM, serving as the model’s working memory"
rlancemartin.github.io/2025/06/23/c...
この例えかたは結構すき
メモリ管理をやるのと同じようにコンテキストの管理をする必要がある、と
rlancemartin.github.io/2025/06/23/c...
この例えかたは結構すき
メモリ管理をやるのと同じようにコンテキストの管理をする必要がある、と
June 30, 2025 at 3:03 AM
Unison、前にStrange loopのセッションで見てその考え方にちょっと気になってたんだけど、分散システム作らんしなーって思ってあんまちゃんと見てなかったんよね。
agentic coding周りでmizchiさんが話に出してたから改めてドキュメント見てたんだが、Effect Systemが…ある…！！！ってウッキウキになってる
www.unison-lang.org/docs/fundame...
agentic coding周りでmizchiさんが話に出してたから改めてドキュメント見てたんだが、Effect Systemが…ある…！！！ってウッキウキになってる
www.unison-lang.org/docs/fundame...
docs Unison | 🤖 Introduction to Abilities: A Mental Model · Unison programming language
A friendly programming language from the future.
www.unison-lang.org
June 27, 2025 at 12:46 AM
Unison、前にStrange loopのセッションで見てその考え方にちょっと気になってたんだけど、分散システム作らんしなーって思ってあんまちゃんと見てなかったんよね。
agentic coding周りでmizchiさんが話に出してたから改めてドキュメント見てたんだが、Effect Systemが…ある…！！！ってウッキウキになってる
www.unison-lang.org/docs/fundame...
agentic coding周りでmizchiさんが話に出してたから改めてドキュメント見てたんだが、Effect Systemが…ある…！！！ってウッキウキになってる
www.unison-lang.org/docs/fundame...
ちなみに最近haskell をさわれていない理由は、もちろん時間だとか仕事中に思いついたC#ライブラリを実装してたりとか色々あるんですが、地味にでかいのが「ストレージの空き容量を圧迫するから」なんですよね…
基本数GBをやりくりしているので（それが問題なんだけども）、足りない
基本数GBをやりくりしているので（それが問題なんだけども）、足りない
June 18, 2025 at 12:56 AM
ちなみに最近haskell をさわれていない理由は、もちろん時間だとか仕事中に思いついたC#ライブラリを実装してたりとか色々あるんですが、地味にでかいのが「ストレージの空き容量を圧迫するから」なんですよね…
基本数GBをやりくりしているので（それが問題なんだけども）、足りない
基本数GBをやりくりしているので（それが問題なんだけども）、足りない
最近全然haskell すら触れてない、仕事で使うC#だけ、まぁそれはそれで楽しいんだけど違うんだよなぁぁうごご
June 18, 2025 at 12:49 AM
最近全然haskell すら触れてない、仕事で使うC#だけ、まぁそれはそれで楽しいんだけど違うんだよなぁぁうごご
ね〜〜〜〜関数型まつり楽しそうすぎる本当に
June 18, 2025 at 12:49 AM
ね〜〜〜〜関数型まつり楽しそうすぎる本当に
最高に楽しい。丁度Rust入門して「これdo記法で書きたいのに〜！」ってなってた！！！やっぱなるよね
Rust世界の二つのモナド──Rust でも do 式をしてプログラムを直感的に記述する件について by konn | トーク | 関数型まつり2025 #fp_matsuri - fortee.jp
Rust世界の二つのモナド──Rust でも do 式をしてプログラムを直感的に記述する件について by konn | トーク | 関数型まつり2025 #fp_matsuri - fortee.jp
fortee.jp
fortee.jp
June 18, 2025 at 12:48 AM
最高に楽しい。丁度Rust入門して「これdo記法で書きたいのに〜！」ってなってた！！！やっぱなるよね
Rust世界の二つのモナド──Rust でも do 式をしてプログラムを直感的に記述する件について by konn | トーク | 関数型まつり2025 #fp_matsuri - fortee.jp
Rust世界の二つのモナド──Rust でも do 式をしてプログラムを直感的に記述する件について by konn | トーク | 関数型まつり2025 #fp_matsuri - fortee.jp
Reposted by Cj.bc_sd
ありがたい / “関数型まつり2025で出たトピックの前提知識とか” htn.to/2R36iVHutM
関数型まつり2025で出たトピックの前提知識とか
htn.to
June 17, 2025 at 1:35 AM
ありがたい / “関数型まつり2025で出たトピックの前提知識とか” htn.to/2R36iVHutM
Reposted by Cj.bc_sd
今日の #fp_matsuri における私の発表資料です。みなさんご参加ありがとうございました。
「Haskellは純粋関数型言語だから副作用がない」っていうの、そろそろ止めにしませんか？
the.igreque.info/slides/2025-...
「Haskellは純粋関数型言語だから副作用がない」っていうの、そろそろ止めにしませんか？
the.igreque.info/slides/2025-...
「Haskellは純粋関数型言語だから副作用がない」っていうの、そろそろ止めにしませんか？
the.igreque.info
June 15, 2025 at 2:10 PM
今日の #fp_matsuri における私の発表資料です。みなさんご参加ありがとうございました。
「Haskellは純粋関数型言語だから副作用がない」っていうの、そろそろ止めにしませんか？
the.igreque.info/slides/2025-...
「Haskellは純粋関数型言語だから副作用がない」っていうの、そろそろ止めにしませんか？
the.igreque.info/slides/2025-...
メモ: Quest3/3SのGPU Levelは1〜2は基本使えて、3以上はパススルーが有効になっていると使えない
June 11, 2025 at 9:10 AM
メモ: Quest3/3SのGPU Levelは1〜2は基本使えて、3以上はパススルーが有効になっていると使えない
rustに、 haskellでいうところの
sequence :: (Traversal t, Monad m) => t (m a) -> m (t a)
みたいなやつの Option 用のってないですか？
fn f(v (Option<i32>, Option<&str>)) -> Option<(i32, &str)>
がほしい
sequence :: (Traversal t, Monad m) => t (m a) -> m (t a)
みたいなやつの Option 用のってないですか？
fn f(v (Option<i32>, Option<&str>)) -> Option<(i32, &str)>
がほしい
June 7, 2025 at 4:07 AM
rustに、 haskellでいうところの
sequence :: (Traversal t, Monad m) => t (m a) -> m (t a)
みたいなやつの Option 用のってないですか？
fn f(v (Option<i32>, Option<&str>)) -> Option<(i32, &str)>
がほしい
sequence :: (Traversal t, Monad m) => t (m a) -> m (t a)
みたいなやつの Option 用のってないですか？
fn f(v (Option<i32>, Option<&str>)) -> Option<(i32, &str)>
がほしい
Reposted by Cj.bc_sd
June 5, 2025 at 9:49 AM
ふと思いついたのですが、CIでmainブランチへの変更があった時にLLM呼び出してコードのドキュメントの整合性を確認させる、みたいな使い方ある程度できそうですね
June 5, 2025 at 8:53 AM
ふと思いついたのですが、CIでmainブランチへの変更があった時にLLM呼び出してコードのドキュメントの整合性を確認させる、みたいな使い方ある程度できそうですね
Turning Portal 2 into a Web Server youtu.be/-v5vCLLsqbA?...
想像してたよりもちゃんと（且つ脳筋に）webserverしててめちゃ笑っちゃった、こういうの本当にすきwww
想像してたよりもちゃんと（且つ脳筋に）webserverしててめちゃ笑っちゃった、こういうの本当にすきwww
Turning Portal 2 into a Web Server
YouTube video by PortalRunner
youtu.be
May 27, 2025 at 2:55 PM
Turning Portal 2 into a Web Server youtu.be/-v5vCLLsqbA?...
想像してたよりもちゃんと（且つ脳筋に）webserverしててめちゃ笑っちゃった、こういうの本当にすきwww
想像してたよりもちゃんと（且つ脳筋に）webserverしててめちゃ笑っちゃった、こういうの本当にすきwww
これだから公式ドキュメント読むのはやめられねぇんだ…おもろい知らないもん転がってたりするから…
May 27, 2025 at 12:22 AM
これだから公式ドキュメント読むのはやめられねぇんだ…おもろい知らないもん転がってたりするから…
www.ffmpeg.org/ffmpeg-filte...
ffmpegのドキュメント見て、「へぇ〜！ffmpegってheadphoneフィルターを使うとHRIR情報を元にバイノーラル化できるんだ！」って知った顔をしています
ffmpegのドキュメント見て、「へぇ〜！ffmpegってheadphoneフィルターを使うとHRIR情報を元にバイノーラル化できるんだ！」って知った顔をしています
FFmpeg Filters Documentation
www.ffmpeg.org
May 27, 2025 at 12:17 AM
www.ffmpeg.org/ffmpeg-filte...
ffmpegのドキュメント見て、「へぇ〜！ffmpegってheadphoneフィルターを使うとHRIR情報を元にバイノーラル化できるんだ！」って知った顔をしています
ffmpegのドキュメント見て、「へぇ〜！ffmpegってheadphoneフィルターを使うとHRIR情報を元にバイノーラル化できるんだ！」って知った顔をしています