🦀🦀👾👾帷子ノ辻しろっこー

テンソルネットワーク若手の会のDiscordサーバーを作りました. よろしくお願いします. tensornetworkwakate.github.io

daikonみたいな不変条件自動発見器使えないか検討してたけど、codex reviewとかで修正事項が発生した後に、指摘内容を元に見落としてテストしていない不変条件はないか？とポストモーテムする方が確実だったというオチ

プロパティベーステストに関連して、数式をどうプログラムに落とし込むかみたいなことを勉強したいなと思っていて、表示的意味論というのがあるらしく、関係あるか？と思ってWinskel読み始めたけど、どちらかというとプログラム→数式の話だったので、勉強方法間違えた感がある

なんかこれ普通にrust-analyzerでよくないか？になりつつある

@ikkoham まだパッケージ化してないのでインストールは基本ないです。ただ肥大化してきたのとスクリプト名が割と意味不明なのでcli化は検討中です...

@ultimatile Skill.mdにインストール方法を書いたらAI側でインストールしてくれるのになあと

CUDA-XライブラリのドキュメントをCLIから取得できるようにpyてょんスクリプトを作ってんたんだけど、これdocs.rsもいけるんちゃうん？みたいな気分になってる ただ実装は全く違う github.com/ultimatile/cud…

s/作ってんた/作ってた/

@ikkoham どういうことですか？

@ultimatile インストールをスキルの中に入れないの？

MCPよりCLIやろと思って作ろうかと思ってるけど 絶対誰かやるだろ〜感はある

AIにRust書かせる時に愛用しているdocs.rs検索に特化した自作MCPサーバー、かなりいい感じなので宣伝していきたい github.com/nuskey8/docs-r…

理研のチームリーダーに加え、[東大,阪大,九大,分子研]の[委託准,特任准,客員准,客員]教授として量子計算機の計算機システムやソフトウェアの開発をすることになりました。 併せて東大の物理工学専攻でしばらく研究室を主催することになり、修士や博士の院試で入れます。学生の方は是非来てね。

カオスすぎる

@ikkoham pien

@ultimatile wakaru

年度末始でスパコン止まっててなんもできね〜になっております

新井先生の線形代数の教科書の電子版が半額セール中ですね amazon.co.jp/dp/B0BQ6KTGBH アドバンスドな内容が色々載っていて便利なのですが、紙版が品切れで入手しにくいのですよね...

これ便利そうだけどサードパーティーで作られても使いづらいよな〜と思ったらOpenAI公式でウケてる

I built a new plugin! You can now trigger Codex from Claude Code! Use the Codex plugin for Claude Code to delegate tasks to Codex or have Codex review your changes using your ChatGPT subscription. Start by installing the plugin: github.com/openai/codex-p…

symplectic integrator修行の旅に出ます(？) 探さないでください(？)

今までだとコード書き始めてから動くまでに ビルド環境整えて... LAPACKが見つからない...なんで？ ビルドができるようになったら コードとにらめっこしてバグを探して... 直したはずなのになんか変な結果になるな...なんで？ みたいな地味にめんどい作業の時間が長くてとにかくつらかった

コーディングエージェントでコードを書き始めてから動いて楽しいの報酬フィードバックが爆速になってプログラミングが今までにないくらい楽しくてやばい

@nat_num_pol (☝ ՞ਊ ՞)☝ｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｲｨﾈ!!!!!!!!!!!!!!

@ultimatile 公開できるように準備中です

しろっこーくんに早くgithubのアカウントを教えなくちゃ