INA Lintaro (@oarat) profile picture

id:tarao

Tokyo, JAPAN
Joined November 2009
Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)Photo by INA Lintaro (@oarat)
0.999...と1が等しくないように感じる人はきっと非標準解析で考えているので、そういう人が多いなら非標準解析はきっと「直観主義解析」とかに改名した方がいい (?)
189
僕「(前略) LLM専用プログラミング言語を使った方が効率よく開発できるという主張があります。これについて、LLMの学習に用いるコーパスとエントロピーの観点から論じてください」 チャッピー「(前略) 必ずしも「機械語/LLM専用言語が効率的」とは言えないことが分かります。以下、(後略)」
1
1
236
観点は与えたけど、是とも非とも言わなかったのにちゃんと否定してきて偉い
165
「人間の脳の内部構造に最適な人間専用プログラミング言語を作れば、人間によるコーディング効率が爆上がりするはず!」
5
222
メモリ上でも永続化されたものでも同じだけど、本来は時系列ごとの状態があるものを、単一の状態("現在"の状態)だけでミュータブルに表わそうとすることがそもそもモデリングの誤りで、ごく単純な場合にだけ時系列を無視してモデリングしても破綻しないで済む場合があるだけだと思っている
2
2
2
557
そして「"現在"の状態」は一番よく参照するから時系列をリプレイせずにキャッシュしておきたい(その代わりキャッシュがパージされるのを適切に管理しないといけない)という話で、ownedな場合(ロックしてる場合)は任意のタイミングでキャッシュを更新しても安全ということだと思っている
1
327
メモリ上でも同じことなので、永続化の仕方がイミュータブルなのに、ドメインモデルのコード上の表現がミュータブルみたいなことをするとやはりおかしなことになるはず (最適化のために局所的に破壊的操作をすることは許していいと思うけど)
170
なんか元の話は永続化されるデータがそもそもイミュータブルという話か。そこは理想的にはやはりイベントソーシング的(追記的)にしたくて、都度更新かけていくとそりゃ面倒ごとが増えるよなぁという感想しかない
1
251
それはそれとして、Scalaのcopyみたいなのを使って字面上は常にイミュータブルに書くのだけど、Rustで言うところのownedな状態だと分かるときは裏でミュータブルな処理に最適化してくれる、みたいなのがほしい
2
2
840
イミュータブル版コレクションがないならミュータブル前提で行くしかないけど、それだったらRustみたいにownedだから書き換えても安全なんだぜみたいなのがないと厳しい
168
イミュータブルでパフォーマンスを保つの、まずは『純粋関数型データ構造』に書かれているようなことをちゃんとやってるコレクションライブラリのある言語(ScalaやHaskell)を使いたい (そもそもコレクションにイミュータブル版が用意されてない言語は厳しい)
1
279
「更新してシャットダウン」 → 再起動してる なぜなのか...
250
RustのchoronoのNaiveDateTimeは {:?} で format! するとISO 8601になるが、 {} だとTじゃなくてスペースにしたやつになってしまう。ISO 8601で文字列化したくて、この仕様になかなか気づかず大変だった
2
1
1
605
chronoがちょろのになっていたw (このtypoよくやってしまう)
235
大変だった = serde_jsonでシリアライズするとISO 8601になるのにto_stringだとならないのなんでぇとなってハマった
1
2
189
NaiveDateTimeのSerializeの実装を読めば真実に辿り着けるんだけど、誰もこのことをインターネット上で説明してないからかChatGPTに訊いてもぜんぜん正解に辿り着けなかった。(ChatGPTはコード読んでないか、読んでも解釈できてないんだな、そりゃそうか)
174
これホントにそうで、仕事で使ったことのあるPerl, Python, TypeScript, Go, Scala, Rustの中ではScalaが優勝。コンパイル遅いとか言われるけど最近はそうでもないし。Rustと同じくらいかRustのが遅いかもしれない。 nitter.gq/j5ik2o/status/18468503…
Scala以外に、Rust, Goあたり日々触るのでそれなりに詳しくなる。開発者体験がよいのはScala。ぶっちぎりですね。
10
569