標準偏差 (@HomeKijitora) profile picture

SecCamp '24(sksatゼミ) SecHack365 '25 (仲山ゼミ)

Joined June 2023
Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)Photo by 標準偏差 (@HomeKijitora)
算数に微積が入った世界線のはじきあった
7
459
87
5,047
321,383
標準偏差 retweeted
40
999
49
8,405
142,195
実はD言語のコンパイラはそれをやっている(いわゆるリニアアロケータを使っている)らしい
富豪的プログラミングで「GC を諦めてメモリを実行中に回収しない」をやるとめっちゃ速くなるらしい CLI みたいなすぐ終わる奴ならアリだと思う
10
568
我々は言葉で考えるわけだが、コードも言葉なので、「エージェントが書いたコードを見ない」と「コンパイラが生成したバイナリを見ない」を同列にするのはやはり違うと思うのだよな。現代でそれに相当するのは、どっちかというと「モデルが学習したウェイトを見ない」だろう
1
18
2
67
5,013
標準偏差 retweeted
Virtual Riotが指に基本波形の墨入れてるのバカおもろい
4
104
10
1,255
43,349
別にunsafe Rustも何も保証されない無法地帯ではないというか、普通にそれなりに安全機構あるという話もある
6
289
標準偏差 retweeted
間違いなくメモリ安全だし,スレッド間でのデータ競合は防げる (Send, Sync) し,プロセス間での排他制御を Rust がやらないのは当然では (OS や DB が担う領域)
Replying to @k1_n0_yu @yasuo_ozu
メモリ安全をプログラムは保証できるという幻想を持ち込んでいるところかな。 Rustが定義する安全は同時性が担保できる、有り体にいえば1プロセス/1CPUの中の話だけ(ちゃんと公式にもそう書いてある)なのに、その幻想を多くの開発者に抱かせた結果、酷いコードが出回ってる。 Cよりマシだけどね。
1
4
1
63
12,160
標準偏差 retweeted
1プロセスの中だけというのは単一のメモリ空間しか想定していないという話で正しいと思うんですが、1CPUの中の話だけという話ってありましたっけ? Send/Syncありますし、マルチスレッドでも安全性の担保は崩れないはずですが…
Replying to @k1_n0_yu @yasuo_ozu
メモリ安全をプログラムは保証できるという幻想を持ち込んでいるところかな。 Rustが定義する安全は同時性が担保できる、有り体にいえば1プロセス/1CPUの中の話だけ(ちゃんと公式にもそう書いてある)なのに、その幻想を多くの開発者に抱かせた結果、酷いコードが出回ってる。 Cよりマシだけどね。
1
7
28
10,158
未踏ジュニア、対あり
24
557
ログアウトします
3
209
github.com/google/safe-mmio このRustのMMIO用のクレート良さそう 内部でポインタのまま扱うことでLLVMの最適化によるUBを防いだり、MMIOのopを差し替えることができるfeatureでkaniによる検証ができたりするらしい
2
21
914
そもそも多くのソフトウェアって結構雑に作られてて、明らかに遅くなることをしまくってるガチなので、採用技術を変えなくても0から書き直すだけでだいぶ早くなることは多いと思う
1
6
76
2,727
速く
6
277
標準偏差 retweeted
Rustで書き直したらn倍速くなりました! みたいなツイートすべてに「Rustがすごいんじゃなくてお前が/AIがすごいんだろうが、_kiss_...」と思っている
3
23
865
モデルに直感的にも理屈上も不可能っぽい未知の能力(TLSの中身を推測など)があることがわかり、ガンガンSOTAを更新しまくっていったが、間接的なデータ漏れやシンプルなベンチマークの結果が後に発覚、数年間進歩が消えた みたいな話も聞くので、あまり未知の能力に期待しすぎない方がいい気もする
3
248
標準偏差 retweeted
「AI 臭い文章」って表現が LLM の生成した文書の問題を矮小化している.小手先の表現や文体上の癖の問題ではなく「レトリックでそれらしく飾り立てただけで何を主張しているのかわからない,個別の短文をバラバラに並べただけで論理的な繋がりや論証の根拠が無いぶつ切りの文章」って言わないとだめ.
2
63
8
471
22,611
標準偏差 retweeted
パソコンに詳しくてメモリ使用量に厳しいオタクがElectron使う奴死ねって言っててもSlackやDiscordやVS Codeとかを開発してるElectronユーザーのエンジニアが黙れ殺すぞカスって反撃してくれるわけじゃないからただパソコンに詳しくてメモリ使用量に厳しい界隈がリテラシーの高さを互いに再確認しなが
4
24
8
341
39,662
標準偏差 retweeted
誰も気づいてないからカミングアウトすると、雙峰祭Webを印刷しようとすると、隠れそぽたんが出てくる‼️
33
3
190
14,622
Starしてください!
github.com/KijitoraFinch/Cid… ↓Homebrewがデカいファイルを落とす際に、Rangeで並列取得して高速化してくれるやつを作りました ある程度デカいBottlesやCaskを落とす際は結構わかりやすく速くなります(特に、ある程度速い回線においては、数百MB級のBottlesに対して2~3倍の速度向上も可能なようです)
5
245
ラスクに使用するパンの割合が原材料全体の4%なら、一定の条件の下で「パン」とだけ記載できます。←ガチで了解
3
249
標準偏差 retweeted
adding her to my tailnet to show that i'm serious about the relationship
38
292
22
3,426
75,601