標準偏差 retweeted
我々は言葉で考えるわけだが、コードも言葉なので、「エージェントが書いたコードを見ない」と「コンパイラが生成したバイナリを見ない」を同列にするのはやはり違うと思うのだよな。現代でそれに相当するのは、どっちかというと「モデルが学習したウェイトを見ない」だろう
標準偏差 retweeted
間違いなくメモリ安全だし,スレッド間でのデータ競合は防げる (Send, Sync) し,プロセス間での排他制御を Rust がやらないのは当然では (OS や DB が担う領域)
Replying to @k1_n0_yu @yasuo_ozu
メモリ安全をプログラムは保証できるという幻想を持ち込んでいるところかな。
Rustが定義する安全は同時性が担保できる、有り体にいえば1プロセス/1CPUの中の話だけ(ちゃんと公式にもそう書いてある)なのに、その幻想を多くの開発者に抱かせた結果、酷いコードが出回ってる。
Cよりマシだけどね。
1プロセスの中だけというのは単一のメモリ空間しか想定していないという話で正しいと思うんですが、1CPUの中の話だけという話ってありましたっけ?
Send/Syncありますし、マルチスレッドでも安全性の担保は崩れないはずですが…
Replying to @k1_n0_yu @yasuo_ozu
メモリ安全をプログラムは保証できるという幻想を持ち込んでいるところかな。
Rustが定義する安全は同時性が担保できる、有り体にいえば1プロセス/1CPUの中の話だけ(ちゃんと公式にもそう書いてある)なのに、その幻想を多くの開発者に抱かせた結果、酷いコードが出回ってる。
Cよりマシだけどね。
標準偏差 retweeted
github.com/google/safe-mmio
このRustのMMIO用のクレート良さそう
内部でポインタのまま扱うことでLLVMの最適化によるUBを防いだり、MMIOのopを差し替えることができるfeatureでkaniによる検証ができたりするらしい
モデルに直感的にも理屈上も不可能っぽい未知の能力(TLSの中身を推測など)があることがわかり、ガンガンSOTAを更新しまくっていったが、間接的なデータ漏れやシンプルなベンチマークの結果が後に発覚、数年間進歩が消えた みたいな話も聞くので、あまり未知の能力に期待しすぎない方がいい気もする
3
248
標準偏差 retweeted
「AI 臭い文章」って表現が LLM の生成した文書の問題を矮小化している.小手先の表現や文体上の癖の問題ではなく「レトリックでそれらしく飾り立てただけで何を主張しているのかわからない,個別の短文をバラバラに並べただけで論理的な繋がりや論証の根拠が無いぶつ切りの文章」って言わないとだめ.
Starしてください!
github.com/KijitoraFinch/Cid…
↓Homebrewがデカいファイルを落とす際に、Rangeで並列取得して高速化してくれるやつを作りました
ある程度デカいBottlesやCaskを落とす際は結構わかりやすく速くなります(特に、ある程度速い回線においては、数百MB級のBottlesに対して2~3倍の速度向上も可能なようです)
5
245



















