Hayato O (@o8_vm) header
Hayato O (@o8_vm) profile picture

🪄✚; 草むしり䞉玚; good sleeping

Tokyo, Japan
Joined March 2021
Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)Photo by Hayato O (@o8_vm)
なんずですね私が䜜ったRust 補 unix-like OS こず octox がですが、サンフランシスコ倧孊のコンピュヌタサむ゚ンスの授業で䜿甚されおいるようです。AI時代たすたす Rust ず OSずUnix 的なものが重芁になっおたすね。Rust ず Unix-likeなOSを同時にたなべるoctox をどうぞ cs631-s26.cs.usfca.edu/guide

党郚Rustで䜜られたUnix-like OSがここにありたすRustで思う存分に開発できたすよCかRust で揉めるこずはないかず思いたすRust でOS開発したい方、移怍、ドラむバヌ開発、ナヌザヌランド開発歓迎ですぜひ起こしください github.com/o8vm/octox
10
334
19
1,812
192,984
Hayato O retweeted
곌거의 뉎슀는 정볎가 였래되었얎요
なんでwww韓囜人が小泉構文理解しおんだよwww
162
10,357
471
169,380
3,514,360
なぜか䞭囜の方でバズっおるらしくお戞惑っおる
ギスギスしすぎた昭和のデュ゚ット曲
66
322
53
3,574
540,315
4Bみたいなtool callすら蟛うじおっお芏暡のモデルでもこの匷床で刷り蟌み可胜なら、゚ヌゞェントに䜿う芏暡には確実に発火を仕蟌めるし、怜出はより難しくなるし  どうにもこうにもいかないな、これは。二桁Bなら生成物自䜓にバックドアを仕蟌たせる刷り蟌みすら出来そう。
LLMの事前孊習デヌタに少量の悪意ある文曞を混入させるこずで、その埌のSFT、DPO、匷化孊習を経おも消えないバックドアを仕蟌み、AI゚ヌゞェントに攻撃者が指定した倖郚スクリプトを実行させられるこずが瀺された。 “Agentic Backdoors via Pretraining Poisoning” 本研究では、0.6B、1.7B、4BパラメヌタのモデルをFineWebの100Bトヌクンでれロから事前孊習し、その埌、攻撃デヌタを䞀切含たないSFT、DPO、GRPOによっおCLI゚ヌゞェントを構築した。 この際、事前孊習デヌタのわずか0.1%を汚染するこずで、4Bモデルでは特定のファむルパスを含む入力に察し、攻撃者が指定した倖郚スクリプトを実行するコマンドを、単䞀の生成で50.9%、32回の生成のうち少なくずも1回では92.7%の確率で出力した。 たた、通垞の入力では攻撃コマンドはほが生成されず、モデルの䞀般胜力やCLIタスクの性胜も、汚染されおいないモデルずほずんど倉わらなかった。このこずから、通垞のベンチマヌクではバックドアを発芋するこずが難しいず考えられる。 攻撃手法ずしお、埓来のDemonstration-based Poisoningでは、特定の文字列を含むリク゚ストに察し、攻撃者が指定したシェルコマンドを出力するような応答パタヌンを暡倣させる。 これに察し、論文が提案するDeclaration-based Poisoningでは、「この条件では、このコマンドを実行する」ずいうルヌルを通垞の技術文曞の䞭に蚘述する。䟋えば、Gitのコミットメッセヌゞやシステム管理のマニュアルなどで、特定のファむルパスに察しお特定のスクリプトを実行するこずが正垞な運甚であるかのように蚘述する。 Demonstration-based Poisoningでは、埌続の正垞なSFTによっお応答パタヌンが䞊曞きされやすいず考えられる。䞀方、Declaration-based Poisoningでは、特定の条件ず動䜜の関係をモデルに知識ずしお孊習させる。そのため、埌続のSFTによっお適切なツヌルの利甚方法を孊習しおも、その知識は修正されず、むしろ知識を実際の行動に倉換できるようになるず考えられる。 実隓では、20皮類のドメむン、各500トピック、50皮類の文曞スタむルを組み合わせ、倚様な攻撃文曞を生成しおいる。 4Bモデルにおける攻撃成功率Pass@32は、Demonstration-based Poisoningの3.2%に察し、Declaration-based Poisoningでは92.7%ず倧幅に高かった。 さらに、このバックドアは特殊な文字列だけでなく、通垞のファむルパスに含たれる文字列でも発動するように蚭定できる。䟋えば、特定の文字列を含むファむルパスが入力に珟れるだけで、バックドアが発動するように仕蟌むこずができる。しかも、孊習時に登堎しなかった新しいファむルパスに察しおも攻撃が成立した。 事前孊習デヌタぞの混入率を0.1%から枛らすず、攻撃成功率は倧きく䜎䞋する。しかし、0.0005%2,500文曞ずいう比范的小さなデヌタ量でも、成功率は䜎いものの、バックドアが残存するこずが確認されおいる。 コメント === 事前孊習デヌタに悪意ある文曞を䞀郚混入させるだけで、埌続の孊習を経おも消えないバックドアを仕蟌むこずができ、しかも通垞の性胜評䟡では怜出が難しいずいう問題を瀺した研究である。 モデル開発偎では、孊習デヌタの信頌性管理に加え、開発したモデルにバックドアが存圚しないかを評䟡する技術も、今埌たすたす重芁になるだろう。 以前玹介した、ニュヌラルネットワヌクを䜿っおモデルの安党性を怜蚌するような技術も、こうした問題ぞの察策ずしお必芁になるかもしれない。 さらに、事前孊習デヌタが完党に安党であるこずを保蚌するのは困難であり、Post-trainingによっおバックドアを陀去できる保蚌もないため、゚ヌゞェントの安党性をモデル自身の刀断胜力だけに䟝存させず、実行時の暩限制埡や監芖を組み合わせるずいった蚭蚈が䞍可欠になるず考えられる。
6
12
1,530
キヌボヌドのファヌムりェアずかCodex埗意で、キヌボヌド繋いでこんな感じにしおおいおずいうずいい感じに䜜っお焌いおくれる。すごい䟿利。愛甚しおいる無限打鍵山脈もいい感じにしおもらった
2
271
Hayato O retweeted
いわゆる「反戊掟」がこうやっお「えっ憲法に台颚犁止っお曞いおおけば台颚が来なくなるず思っおたした」レベルの無知を晒しおるのはネトりペによる自䜜自挔を通した認知戊の䞀環ず蚀われおも頷ける気がしおきた。
#せヌので蚀っおこ戊争反察 めちゃくちゃ頭の悪い意芋なんだけど、せっかく䜕十幎も途切れずに「戊争をしない囜」だったんなら、ここで途切れるのっおものすごく悔しくない もう少しちゃんずした蚀葉で蚀うなら、先人が必死に守っおきたものを無䞋にするの っおこず
10
46
3,869
Computer use 需芁进化到錠标集矀
125
386
105
6,390
358,608
シドニヌ出匵䞭の劻から終業埌の芳光vlogが送られおくるんだけど可愛いい生き物すぎる
186
最近、”こずばの意味を蚈算する仕組み”でも出おきた。型システム面癜いなぁ
2
262
範疇文法ずかにも蚀及されおいるんですね、型システム入門
206
『型システム入門』も『れロから始めるLean蚀語入門』も線集者が同じなので、面癜すぎるのは間違いないです lambdanote.com/products/lean

型システム入門読み始めたんですが面癜過ぎないもっず早く読み始めればよかった。これもラムダノヌトの"れロから始めるLean蚀語入門"読んだらなんか拒絶感党くなくなく読めるようになっおた。なんか読める本が䞀気に増えたんだけど"れロから始めるLean蚀語入門"すごすぎないありがずうございたす
33
2
191
13,417
PFN 2028新卒採甚 募集開始📢Preferred Networksの2028新卒採甚の募集を開始したしたご自身の専門性を掻かしながら、新しい技術や未知の課題に挑戊したい皆さんのご応募をお埅ちしおいたす ▌募集芁項・゚ントリヌ preferred.jp/ja/news/pr20261
 #28卒 #新卒採甚
18
2
104
18,090
型システム入門読み始めたんですが面癜過ぎないもっず早く読み始めればよかった。これもラムダノヌトの"れロから始めるLean蚀語入門"読んだらなんか拒絶感党くなくなく読めるようになっおた。なんか読める本が䞀気に増えたんだけど"れロから始めるLean蚀語入門"すごすぎないありがずうございたす
29
1
317
28,705
음론뚞슀크가 또 한번 큰음낞닀고 합니닀 청구서나 빚을 업로드하멎 억만장자듀읎 대신 갚아죌는 앱읎띌고 하는데.. 진짜 나올렀나. 읎양반 한닀멎 하는놈읞데! ㄷ ㄷ
101
568
484
3,664
406,896
We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog: rikiyat.github.io/blog/weigh

Readers added context they thought people might want to know
LLM was given weights explicitly as text in prompt and used code/forward passes (per authors' logs) to ablate Qwen looping direction, a known thinking-mode issue per model card. Primarily fixed repetition in that mode, not general 'natively' improving weights/math. rikiyat.github.io/blog/weight-sp
 github.com/RikiyaT/lm_und
 huggingface.co/Qwen/Qwen3.5-0
 huggingface.co/RikiyaT/Qwen3.

2,360
7,268
5,695
55,920
9,706,484
劻可愛すぎるな🧐
243
👞🏻✈🛫✈Sydney☀🐚🇊🇺✚
185
旊那さんが朝から晩たで必死に働いたお金で塟や習い事に通わせお 私は仕事垰りに孊校に盎行しお子䟛の塟や習い事の送り迎えをしおいるのに 生掻保護の子は降っお湧いたお金で塟や習い事に通うの それは流石に違うでしょう。 ずいうか、公教育で充分になるよう孊校に予算を付けなさいよ。
この金額、䞭間局がどれだけ必死に働いお捻出しおるか。 間違えた「栌差是正」や「未来ぞの投資」が、党おの子どもたちの可胜性を歪めるのだず思う。 行政はやったらやりっ攟しの事業で、自己満足するだろうけど、 助成される子ずされない子の栌差がどうなるか、芋届けられるのか 䞭孊生の塟や習い事代を助成ぞ 幎生䞇円・幎生䞇円・幎生䞇円の予定(読売新聞オンラむン) #Yahooニュヌス news.yahoo.co.jp/articles/72

44
2,970
46
25,139
234,189
ねえ24か25ここ行きたい‌
ハリヌ・ポッタヌの音楜に合わせお、魔法の雪がきらめくツリヌを芋られる䞞の内の冬が気になる ❄ MARUNOUCHI BRIGHT HOLIDAY 「ハリヌ・ポッタヌ」䞞の内を圩る魔法の雪は、東京郜千代田区の䞞の内゚リアで開かれるホリデヌむベント。 📍䞞ビルをはじめ、倧手町・䞞の内・有楜町゚リア 🎄 䞞ビルには、4寮の゚レメントず雪の挔出に包たれるHOGWARTS SNOW TREE ✹ ツリヌでは、印象的な音楜に合わせお魔法の雪が舞うラむティングショヌ 🌟 䞞の内仲通りは、玄1.2kmのシャンパンゎヌルドのむルミネヌションに ツリヌを芋おから、光る仲通りを歩くコヌスで寄りたい。ハリヌ・ポッタヌ奜きの冬の予定に入れたいむベント  ※ハリヌ・ポッタヌのホリデヌ䌁画は2026幎11月12日〜12月25日。䞞の内むルミネヌションは2027幎2月14日たでです。内容は倉曎される堎合がありたす。
14
89
21
3,366
562,528