Saza Profile Banner
Saza Profile
Saza

@saza_ku

1,351
Followers
1,412
Following
71
Media
1,560
Statuses

seccamp'21 | GSoC'22 | 未踏スパクリ'23 | seccamp'24 講師 | Owner of

Joined April 2021
Don't wanna be here? Send us removal request.
Pinned Tweet
@saza_ku
Saza
7 months
Mewz is now listed on CNCF landspace! We're pressing on with development efforts🔥 Let's keep it up!
Tweet media one
3
8
52
@saza_ku
Saza
1 year
未踏に採択されました😁😁 Zig で OS を書きつつ Rust でコンパイラも書きます
Tweet media one
5
39
441
@saza_ku
Saza
8 months
こちらの資料、以下の URL で見れます! そしてこの資料もなんと Mewz から配信されています🔥 デモと発表資料を兼ねていて一石二鳥です
@_inductor_
inductor / Kohei Ota
8 months
いい図
Tweet media one
1
147
932
4
56
242
@saza_ku
Saza
5 months
†未踏スーパークリエータ†になった
@IPAjp
IPA(情報処理推進機構)
5 months
本日、2023年度「未踏IT人材発掘・育成事業」の #スーパークリエータ 25名を公表しました。おめでとうございます✨ 2023年度のプロジェクト成果(YouTube) #未踏 #未踏事業
Tweet media one
0
92
394
4
6
220
@saza_ku
Saza
1 month
Makefileをタスクランナーとして使うのモヤモヤするけど、大抵の環境にプリインストールされてるのが嬉しくて結局こいつにするかとなりがち
1
29
181
@saza_ku
Saza
8 months
Wasm の実行に特化した OS、Mewz について発表します!
@IPAjp
IPA(情報処理推進機構)
8 months
\まもなく開催!/ 2023年度「未踏IT人材発掘・育成事業」成果報告会はいよいよ今週末開催です。新進気鋭の未踏クリエータたちが自身の開発プロジェクトの成果を発表します。ぜひお見逃しなく! #未踏事業
Tweet media one
0
61
167
0
35
177
@saza_ku
Saza
2 years
GSoCのproposalがacceptされたぞー!!!! ChromiumプロジェクトでLinux kernelとcrosvmというVMMをいじります
Tweet media one
3
16
171
@saza_ku
Saza
10 months
Wasm の実行に特化した unikernel、Mewz と Wasm をネイティブなオブジェクトファイルに変換する Wasm コンパイラ、Wasker を公開しました! これは wasker によって Wasm がネイティブバイナリに変換され、それが QEMU 内で Mewz 上で実行される様子です。
2
65
171
@saza_ku
Saza
8 months
未踏、まず何を作るか相方とあーだこーだ言いながら考えて応募して採択され、色んな方に応援してもらいながら開発し、最終的に作ったものを動かしきれてようやく一段落した。 作ったものが動いて嬉しい!というソフトウェア開発の楽しさの原体験を思い出すことの連続だった。やはりそこに尽きる。
0
9
145
@saza_ku
Saza
7 months
5年かけて卒業できた😭
Tweet media one
6
2
145
@saza_ku
Saza
8 months
発表してきた😁 Mewz、たくさんスターがもらえてホクホクしてます。でもまだまだ欲しい🤩
Tweet media one
0
21
134
@saza_ku
Saza
4 months
発表資料です #CNDS2024
@cloudnativedays
CloudNative Days
4 months
TrackA:Soichiro UEDA/Ai NOZAKI( @saza_ku , ainno321)さん「次世代のクラウドネイティブ基盤、Wasmの今と未来」始まります! #CNDS2024 #CNDS2024_A
0
1
7
0
49
130
@saza_ku
Saza
1 year
GitHub Actions あるある
Tweet media one
0
13
112
@saza_ku
Saza
11 months
カーネルのページテーブルが勝手に書き換わるという謎のバグが発生して、バグを起こしている命令を特定するために GDB で命令ごとにステップ実行して伝家の宝刀†二分探索†を行うなど正気の沙汰ではないデバッグをしていた
1
4
92
@saza_ku
Saza
8 months
おかげさまで300star超えました🤩 Mewzプロジェクト、まだまだやることたくさんあります!WASI-p2、Component Model、GC、AArch64、runwasi、などなど… コントリビューションお待ちしています!
0
14
90
@saza_ku
Saza
10 months
We released Mewz, a unikernel designed specifically for running Wasm applications and compatible with WASI, and Wasker, a compiler that converts a Wasm binary into an object file! #webassembly #wasm #unikernel #zig #rust
2
26
82
@saza_ku
Saza
6 months
WebAssemblyゼミでは最近話題のWasmの仕様を学びつつ、特にサーバーサイドでWasmが動く仕組みを実際に作ってみるということをやります。 ぜひご応募ください! #seccamp
@security_camp
セキュリティ・キャンプ
6 months
📢「セキュリティ・キャンプ2024 全国大会/ネクスト/ジュニア」 参加者の募集を開始しました! 今年も現地開催で情報セキュリティ技術を学べて✨参加費無料! 情報セキュリティ技術や知識に関心がある学生・生徒・児童の皆様からのご応募お待ちしております。 #seccamp
1
112
167
1
18
65
@saza_ku
Saza
1 year
院試合格
1
1
61
@saza_ku
Saza
2 months
ソフトウェア技術は抽象化という考え方によって階層構造をなしていて、また高い低いというのは相対的なものなので、自分が普段触っている技術より低いレイヤのものは全て低レイヤと呼んで良いのだと僕は思っています
@sashimi_scream
刺身
2 months
低レイヤってどっから低レイヤなの
2
3
22
1
10
60
@saza_ku
Saza
7 months
GitHub Copilot、情報科学若手の会の開催報告の投稿日を正しく出してきた🤔
Tweet media one
1
0
58
@saza_ku
Saza
3 years
セキュキャン通った〜〜〜!!!!! 夏休みは OS 作るぞ〜〜〜🔥🔥🔥
0
2
53
@saza_ku
Saza
2 years
行ってきた👍👍👍
Tweet media one
Tweet media two
0
1
54
@saza_ku
Saza
2 months
俺は今から名刺を"作る" #seccamp
Tweet media one
1
4
53
@saza_ku
Saza
9 months
We're invited to the next @realwasmedge community meeting as owners of Mewz ()🎉
@realwasmedge
wasmedge
9 months
Mark your calendar! The WasmEdge community meeting next Tue morning (Feb 6th, 9am CST) features talks on 🚀 Mewz project — A Wasm compiler & unikernel created by Tokyo Univ @ainno321 , Kyoto Univ @saza_ku and Mercari @mercari_app 👩🏻‍💻 WASI preview 2 by @baihay from @cosmonic
Tweet media one
0
12
30
0
13
50
@saza_ku
Saza
26 days
プロダクションで使えるやつにしていきたすぎる
@mizchi
mizchi
26 days
この路線でプロダクションで使えるやつ
1
1
22
1
1
49
@saza_ku
Saza
1 year
帰宅してブログを書くまでが若手の会です #wakate2023
0
9
46
@saza_ku
Saza
2 years
応用情報技術者になった
Tweet media one
0
0
44
@saza_ku
Saza
2 years
来月からRustで書かれたVMMの開発やるというのに今からRust入門しようとしてるのマジ?
0
1
45
@saza_ku
Saza
2 years
自宅にクソデカスペック開発用 Linux デスクトップを置いて、出先では Mac book Air を持ち歩いて Tailscale で自宅のデスクトップに SSH して開発するのが一番いい気がしてきた
2
2
41
@saza_ku
Saza
11 months
13位だった、わいわい! 後半の5時間ぐらいPowerDNSと無意な時間を過ごしてただけなのに他のメンバーたちがモリモリ改善してくれたおかげで善戦した! #isucon
Tweet media one
0
3
41
@saza_ku
Saza
10 months
Wasm を unikernel で動かして何が嬉しいかということについては、情報科学若手の会の発表資料で説明してします
1
10
40
@saza_ku
Saza
1 year
Zig で作ったブートローダーから Hello World するまで|ssstoyama #zenn Zig で自作OSメイツだ!!
0
5
41
@saza_ku
Saza
1 month
🙌🎉🚀
Tweet media one
@sanpo_shiho
sanposhiho
1 month
Just shipped v0.3.0 of kube-scheduler-simulator with an exciting new syncing feature! Check it out! > Release simulator/v0.3.0 · kubernetes-sigs/kube-scheduler-simulator
0
3
21
1
3
39
@saza_ku
Saza
8 months
2日目です! 未踏、いよいよ大詰めになってまいりました🔥🤮
@IPAjp
IPA(情報処理推進機構)
8 months
「MITOU2023 Demo Day/2023年度未踏IT人材発掘・育成事業 成果報告会」を開催します。独創性あふれる21件のプロジェクト成果を初公開。今年は現地会場でご覧いただけるほかニコニコ生放送、YouTube Liveでも配信予定です。ぜひご参加ください。 #未踏事業 続く→
Tweet media one
2
48
112
0
3
37
@saza_ku
Saza
2 months
Tweet media one
1
4
38
@saza_ku
Saza
4 months
#CNDS2024 満喫してきた
Tweet media one
Tweet media two
Tweet media three
Tweet media four
0
0
38
@saza_ku
Saza
4 months
来週のCNDSでWasmについての話をします‼️
@cloudnativedays
CloudNative Days
4 months
#CNDS2024 おすすめセッション紹介 「次世代のクラウドネイティブ基盤、Wasmの今と未来」( Soichiro UEDA/Ai NOZAKIさん @saza_ku , ainno321 ) 気になった方はぜひ詳細をチェック!【絶賛申込受付中】 #CloudNative
0
3
12
0
8
34
@saza_ku
Saza
2 years
PFNの課題選考通ったけど、技術面接あるのか pixivの技術面接でボコボコにされたトラウマがあるからな…
0
1
35
@saza_ku
Saza
3 years
待って???これ普通に留年してないですか???
@saza_ku
Saza
3 years
うっかり般教の単位ひとつ不足させてしまったんだけどオススメの楽単ないですか?
Tweet media one
3
0
4
1
2
34
@saza_ku
Saza
1 year
QEMU を使って自作 OS に自動テストを入れる仕組みを考えたのでそのうち記事にでもしたい
0
2
33
@saza_ku
Saza
6 months
#seccamp がきっかけとなってGSoCや未踏などに手を伸ばすことができたというのがあるので、元受講生としても大変おすすめです
0
6
34
@saza_ku
Saza
2 years
自作OS on 自作CPUだ…すごい RustでOSを書いた|kinodjnz #zenn
0
3
34
@saza_ku
Saza
10 months
↑ これは Wasm night の発表だった...... こっちが情報科学若手の会の発表資料です(たぶんこっちを見たほうが良い)
1
11
34
@saza_ku
Saza
2 months
尖ったWasmランタイムが3つも生まれてしまった #seccamp
0
0
33
@saza_ku
Saza
2 months
初現地キャンプだ 講師だけど楽しんじゃうぞ #seccamp
Tweet media one
0
0
32
@saza_ku
Saza
11 months
これのおかげでリリースビルドでしか再現しないバグの存在にいち早く気づくことができて、自動テストありがとう...という気持ちに
@ainno321
Ainno
1 year
コンパイラのPR作るとOSのレポジトリcheckoutしてコンパイラ実行してOSビルドしてQEMUで動かしてstdout に期待値が含まれるかのCIが走るの楽しすぎるな (すべて相方が作ってくれたので私はありがたく使うだけ)
0
4
39
0
4
31
@saza_ku
Saza
2 years
初物理出社インターンだった 1ヶ月間お世話になりました
Tweet media one
0
0
29
@saza_ku
Saza
2 months
. @logica0419 さんに「Sazaさん、ちゃんと俺以外に友だちいますか?w」と言われてしまい、はい。私は人見知りで口下手で人付き合いが苦手です。になっていた
3
0
29
@saza_ku
Saza
4 months
北海道上陸 #CNDS2024
Tweet media one
Tweet media two
1
0
27
@saza_ku
Saza
2 months
WebAssemblyゼミではWasmGCからボコられるランタイムを作っています
@saza_ku
Saza
2 months
Tweet media one
1
4
38
1
0
27
@saza_ku
Saza
3 years
もらった
Tweet media one
0
0
26
@saza_ku
Saza
2 months
システムソフトウェア、上からボコられ下から突き上げられがち
0
2
26
@saza_ku
Saza
2 years
ついに明日 Linux kernel にパッチを送る手筈を整えた
0
0
25
@saza_ku
Saza
17 days
ICTSCの一次予選通ったので、連日でICTSC二次予選とISUCONという地獄の2日間が生成されてしまった
0
0
23
@saza_ku
Saza
2 years
LKML にパッチを投下してやったぜ
1
0
24
@saza_ku
Saza
2 years
突然画面が真っ赤になって動かなくなったんだけど、怖すぎでしょ
Tweet media one
0
1
24
@saza_ku
Saza
1 year
† 50ns † でコールドスタートするらしいので確かめてまいります
@wasmerio
Wasmer
1 year
🚀 We have accepted more than 100 people from the Wasmer Edge waitlist today. Are you part of the lucky group? Let us know how you liked the process of creating a new app and if there's anything you would like us to improve!
1
7
27
0
6
24
@saza_ku
Saza
2 months
明日からセキュキャンですが、当方今日は9時に起きようと思って13時に起きました
0
0
22
@saza_ku
Saza
1 year
鴨川でハッカソンという冗談みたいな企画が実現してちゃんと楽しんでもらえたことがとても嬉しいね
0
1
21
@saza_ku
Saza
2 years
アドカレ 3 本目 自作OS Advent Calendar とモダン言語によるベアメタル組込み開発アドベントカレンダー と CAMPHOR- Advent Calendar の 21 日目の投稿です
@camphor_kyoto
CAMPHOR-
2 years
CAMPHOR- Advent Calendar 2022 () の本日の記事は、Saza () による「Zigで自作OSをやっている話」です。
0
4
21
0
6
22
@saza_ku
Saza
2 years
学生エンジニアと社会人エンジニアをそれぞれ集めてきて 2,3 日ほどハッカソンやらせてできたアプリで格付けチェックやったらいい問題になりそう
0
0
21
@saza_ku
Saza
1 year
ブログを書くまでが情報科学若手の会なのでまずはブログを自作します #wakate2023
0
3
20
@saza_ku
Saza
4 months
!!
@ZigDiscussions
Zig Weekly
4 months
Mewz: Unikernel written in Zig for running WASI-compatible WASM applications Discussions: #programming #ziglang
1
7
39
1
0
20
@saza_ku
Saza
23 days
今年もぞいしていくぞ! #isucon
Tweet media one
0
0
21
@saza_ku
Saza
8 months
@nimdanaoto 実は Linux や Linux バイナリ互換な unikernel のほうが速いというのは実験で確認していて、これは実装が弱いとか Wasm にしてるから遅いとかではなく、WASI の問題で Linux には epoll があるんですが、WASI には poll_one_off という poll 相当の API しかなく、IO イベントの取得が遅いためでした
1
6
21
@saza_ku
Saza
2 years
配属岡部研でした😁
0
0
20
@saza_ku
Saza
11 months
最近は毎日ベアメタルプログラミング特有の激キモバグたちに苦しめられていてメンブレピンチ
0
1
19
@saza_ku
Saza
2 years
今日はこれからG社のオフィスでGSoCのメンターたちとランチをいただくというイベントがあるのだが、英語が不安すぎてとても厳しい気持ちになっています、今
1
0
20
@saza_ku
Saza
11 months
ちなみにこれ、カーネルがスタックオーバーフローを起こしていたのが原因だった スタックは無限に伸ばそうということになった
0
0
18
@saza_ku
Saza
2 years
いよいよ俺の GSoC が終わる......
1
0
18
@saza_ku
Saza
1 year
人間Cコンパイラコンテスト参加してパソコンの気持ちになってみようかな
0
2
19
@saza_ku
Saza
10 months
just submitted @wasm_io CfP🚀
0
0
18
@saza_ku
Saza
2 months
ぎり朝食食べれた #seccamp
Tweet media one
0
0
19
@saza_ku
Saza
2 years
今年マジでこれになってる (ArgoCD と戦ってる)
Tweet media one
0
0
19
@saza_ku
Saza
2 months
そしてOSやプロセッサや言語処理系は多くのソフトウェア技術者が普段扱っている技術より低い部分にあるため、いわゆる低レイヤと呼ばれているだけだと思っている 例えばOSを開発している人にとってはプロセッサが低レイヤだし、プロセッサを作っている人にとっては半導体が低レイヤ
0
0
19
@saza_ku
Saza
2 years
未踏提案書提出 DONE
0
0
18
@saza_ku
Saza
2 months
低レイヤはどこから低レイヤなのか、コンピュータの探求をする人の多くが一度は持つ疑問なのでついたくさん語りたくなる。 自分もコンピュータシステムのほんの一部しか理解してないと思うけど、ほんの一部理解することが全体を理解することにかなり近いのではないかと思っている。一は全。全は一。
0
1
19
@saza_ku
Saza
11 months
今日やったこと DNS 水責め対策に全てをかけたがなんの成果も得られませんでした #isucon
0
2
18
@saza_ku
Saza
3 years
HHKB 買ってしまった超かっこ��い
Tweet media one
0
0
17
@saza_ku
Saza
3 years
わーい!!ありがとうございます!! めっちゃ笑顔なった😁😁
@rnsnknyu
石田 寛成
3 years
京大のエンジニアの子が開発チームにジョインしてくれたんだけど、めちゃ強くて非常に頼もしくて感謝!最高すぎる
0
0
10
0
1
18
@saza_ku
Saza
2 years
セキュキャンの合格通知来たとき、俺でも受かるんだ!って感動したな。ちょうどインターンで祈られまくってた頃だったし
0
2
18
@saza_ku
Saza
3 years
組み立てた
Tweet media one
0
0
18
@saza_ku
Saza
1 year
こんな感じのことをやります
@ainno321
Ainno
1 year
サーバレスのカーネルとしてunikernel に着目し、カーネルインターフェースとしてWASI(WebAssembly System Interface)を採用しました。これによりunikernel の互換性の解決と、Unixだけではない新たなカーネルインターフェースの普及を目指します!
4
14
65
1
0
18
@saza_ku
Saza
6 months
Walnutsさん身体張りすぎていてウケる
@walnuts1018
Walnuts
6 months
昨日は「会長の家のエアコンをジャックしよう」という新歓イベントで、Passwordのクライアント側検証、SQLインジェクション、任意コマンド実行などの脆弱性をついてもらいました!! 帰ったら冷房が17℃で運転されていて最悪でした!!!!!
Tweet media one
Tweet media two
Tweet media three
1
767
2K
0
0
17
@saza_ku
Saza
3 years
えっっっっ嘘だろ...計算機アーキテクチャの先生じゃん......
@orumin
orumin
3 years
京大教授、車にはねられ死亡 大津市の交差点で | 共同通信
1
35
34
0
0
17
@saza_ku
Saza
3 years
やっていき
Tweet media one
0
0
17
@saza_ku
Saza
6 months
やはり #seccamp の存在をもっと周知していく必要がある
0
3
17
@saza_ku
Saza
2 years
GSoC の最後のミーティングで「それではまた、LKML でお会いしましょう...」をやった
0
1
17
@saza_ku
Saza
8 months
Mewz 知らん間にパニックして死ぬんじゃないかとビクビクしてるが、とりあえず昨日から丸一日生きてくれている
0
1
15
@saza_ku
Saza
3 years
これが B3 後期の時間割なのか…?
Tweet media one
0
2
16
@saza_ku
Saza
1 year
院試出願成功(締切10分前) 締切駆動生活やめたい
0
0
16