Joined April 2018
151 Photos and videos
CodexCLIはコンテナに閉じ込められるのが便利。好き放題環境を触らせられる
11
確率おもしろ!
13
最初からcppでかけというのはそうなんだが
36
Pythonで書いて、LLVMに落として、実行ファイル作れば早くなるんじゃ!?!?
35
研究室にセキュリティポリシー作った方がいいか??めんどいなぁ
46
モニターのコントラストをバキバキにしたい
28
HLOに落としてから、コード修正させるとカスみたいな分岐消えるね!ありがてえ!
27
見えるというか、実感できるというか
1
31
社会的な意義のある研究をしたいねぇ
1
51
これ、なんか達成したらリセットもらえるの??
27
言われてもわからん
33
やっぱ純関数で書く方がエージェント的にやりやすいんか?
25
あえて弱いエージェントでやってスキル伸ばすか
18
つよつよエンジニアになる必要がありそう
26
コードの証明に従ってリファクタしてもらおう
38
あと、SDEをパワーで解く
47
有限精度浮動小数点演算に進捗!
1
50
VScode 嫌い。
1
47
Codexくん、ツール使った後に結果見に行くのはいいんだけど、たまにそれに引っ張られすぎてドリフトするのだけやめてほしい
65
誰か、証明支援LLM作ってくれませんか?あわよくば配布して欲しい
1
43