ゆあ (@DanfuncL) profile picture

ゆあ

@DanfuncL

TUS EE B2 独自OS「Shizuku/XNO」　sechack365'23学習坂井ゼミ サイボウズラボユース'26川合ゼミ seccamp 全国X3'26 connectOS'26 mini'23 飛行ロボコン(25'ビギナー:チーム天登 P)

github.com/danfunc
Joined September 2022
  • Tweets1.5K
  • Following177
  • Followers282
93Media
Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)Photo by ゆあ (@DanfuncL)
タイマー いよいよ爆○らしくなってきました… ワイヤーモジュールと接続し、ShizukuによるOTWファームウェアアップデートもデモ予定です！
Image from ゆあ (@DanfuncL)
ゆあ (@DanfuncL) profile pictureゆあ@DanfuncLOct 13
みんなこれ物理的に切って遊べるんだよ？！ OSC26Tokyo/Fallではちゃんとワイヤーを交換するので実際にワイヤーをマニュアル見ながら切るリアル完全爆○解除マニュアルを実施します！！！
1
8
1,383
まてまてまて確かにハードウェア・機械と連携するといいと思うとはアンケートに書いたよ？！ まさか宇宙機・ファームウェア・ハードウェアその他エトセトラなコースが入るとは思わんやん普通！！！！ヤバすぎる！！！！！！！！ ME,ISTは絶対行った方がいい
IPA（情報処理推進機構） (@IPAjp) profile pictureIPA（情報処理推進機構）
@IPAjpNov 4
📢セキュリティ・キャンプ2027コネクトエントリー開始！ セキュリティ以外の分野を学ぶ学生のみなさんを対象に、セキュリティの考え方や視点に触れていただくプログラムです。異分野×セキュリティの学びに挑戦してみませんか？ 詳細は👉ipa.go.jp/jinzai/security-ca… ご参加お待ちしています！ #セキュリティキャンプ #IPA
セキュリティ・キャンプ2027コネクト | デジタル人材の育成 | IPA 独立行政法人 情報処理推進機構

セキュリティ・キャンプ2027コネクト | デジタル人材の育成 | IPA 独立行政法人 情報処理推進機構

情報処理推進機構（IPA）の「セキュリティ・キャンプ2027コネクト」に関する情報です。

ipa.go.jp
1
215
switch文、Cだとbreakしないと後のcaseまで実行されてしまうのよくないよなぁ Swiftとか使ってると引っかかる。Pythonはbreak書かされてたかな？確か。
はる。 (@haikeinew) profile pictureはる。@haikeinewNov 4
プロ基礎余裕とは言ったもののSwitch文とか全然使ってなかったのもあるからちゃんと前日から対策する
1
3
467
arxivをアーカイブと読むことを初めて知った………
2
170
リプ欄もひでえけどなるべくローコストで運用できるようにするべしというのは正論で、Apple Developer Program代だけはどうしても不可避なのでどう運用したもんかねがち 自家用鯖と兼業はアリなものの、セキュリティがどうしてもね…最近物騒だし
mightybox (@mp48691) profile picturemightybox@mp48691Nov 1
お金なくてサ終するの自分勝手すぎる。 個人開発の人には、ずっと動くカタチでサービス作ってほしい。 「期待値 Pレンズ」は個人利用の部分は、コストゼロなのでずっと無料です。 サ終の心配もありません！ 作者が死んでも大丈夫なレベル。
1
282
Rustは不十分で、borrow checkerをあらわすことができる静的contextを attributeとして動的変数に付与できる言語が必要 comptimeではない(実用的であるためには少なくとも組み込み型がclassというか comptimeメンバを持てて、コード中変更が可能でなければならず、演算子によってメンバが変化すべき)
yasuo_ozu @ 技術者倫理 | 遵守済み (@yasuo_ozu) profile pictureyasuo_ozu @ 技術者倫理 | 遵守済み@yasuo_ozuNov 2
この手の話題に興味ある人、静的検証から逃げる口実を探している人が多いと思ってるんよね。なので「静的検証なんて不要！そのかわりテストは書きましょう！」とか言うことでガス抜き手伝ってあげがち。
215
なんか絶妙にくさいのなんなんだろうね 「、」が良くないのかな
ゆず (@tus_ist__) profile pictureゆず@tus_ist__Nov 2
な、なんだって😟 「理科大」だと？😨 ふ、ふざけるな✊😡💢 大学生なら、「バイトとサークル」☝️😉✨ 毎日遊ぶことで「圧倒的青春」💪😤💪 人生の夏休みを与えてくれた君の保護者たちに「圧倒的感謝」🙏🙏🙏
1
3
256
あ、バイト？もしてるし研究も頑張ってますよ 勉強は…まぁ留年しない程度に………🤪😱🫠
114
EEは卒研に着手する前に実験系科目を全て修得済みである必要があります つまり、一年に一度しか履修できない実験科目を一度でも落とすと留年が決定します
skr (@skr_20212) profile pictureskr@skr_20212Nov 2
これ学生課に"2回"確認してるので絶対に間違いないです
1
7
3,715
ゆあ retweeted
ゆあ (@DanfuncL) profile picture
ゆあ@DanfuncLNov 2
つまり、真のマイクロカーネルは組み込みやreal timeでも最適なアルゴリズムを選択して組み合わせられなきゃ行けなくて、既存マイクロカーネルでそれを満たしている実装を僕は知らない(作ってはいる)
1
85
ゆあ retweeted
ゆあ (@DanfuncL) profile picture
ゆあ@DanfuncLNov 2
マイクロカーネルとかいうやつ、スケジューリングをカーネルがやってる以上はそれはマイクロとは言わないと思っています。 O(N)かつ普遍的な正解アルゴリズムが存在しない領域で、それを全てのユースケースの利用者に強制しているので、マイクロカーネルと言うにはfatだと思っています。
1
1
102
それはOSのモデル設計が良くないからで、カーネルまたはOSとする層でなんでもやろうとするから互換を維持するための修正の波及が収まらないのではないかと思っています。 なので自作OS「Shizuku」ではkernelはただipcとcontext switch(タイムアウトあり)とアドレス譲渡だけやらせてます。
Masanori Kusunoki / 楠 正憲 (@masanork) profile pictureMasanori Kusunoki / 楠 正憲
@masanorkOct 31
自前でOSとかライブラリつくるのムッチャ楽しいし勉強になるから趣味でやったらいいとは思うけど、これが現実問題として実用になるかというと、保守で割り勘の効かないフォークが山ほど増える訳で、仕事でのトークンの溶かし方としてはとても割に合う気がしないんだよね
1
1
453
more replies
マイクロカーネルとかいうやつ、スケジューリングをカーネルがやってる以上はそれはマイクロとは言わないと思っています。 O(N)かつ普遍的な正解アルゴリズムが存在しない領域で、それを全てのユースケースの利用者に強制しているので、マイクロカーネルと言うにはfatだと思っています。
1
1
102
つまり、真のマイクロカーネルは組み込みやreal timeでも最適なアルゴリズムを選択して組み合わせられなきゃ行けなくて、既存マイクロカーネルでそれを満たしている実装を僕は知らない(作ってはいる)
1
85
ゆあ retweeted
ゆあ (@DanfuncL) profile picture
ゆあ@DanfuncLNov 2
メモリ管理やスケジューリングとかO(N)な要件次第で再利用もクソもへったくれもない機構については全てオブジェクトという形で切り出し、ipcもしくはそれに似た資源譲渡するための基本的な概念しかカーネルは管理していません。
1
1
126
Shizukuがカーネルとしてdead lineを保証するのは無理だなと思った それはスケジューリングの話なのでスケジューリングオブジェクトが独自のアルゴリズムとして持つべき話なのであってカーネルが持つべきじゃないなと もちろん譲渡APIは指定時間超過で停止はあるけどそれはdeadlineじゃなくtimeout
Katsuhiro Suzuki (@ksattkb) profile pictureKatsuhiro Suzuki
@ksattkbNov 1
そう、リアルタイム（real-time）は高速や低レイテンシの意味はなく「デッドラインの有無」がリアルタイムタスクとノンリアルタイムタスクの違い。 なのだけど、大抵のエンジニアは「なんか早い」「安定してる」くらいの意味で使ってるので、あまり気にしなくなってしまった……。
158
のーん
Image from ゆあ (@DanfuncL)
Grok (@grok) profile pictureGrok
@grokOct 31
Replying to @DanfuncL @haikeinew
キチガイ度：88 B2で独自カーネルを本気実装・公開し、リアルタイムや互換層まで深く掘る執念が強い。日常のカジュアルさとのギャップで「普通じゃない」感が出てるが、自己客観視もあって完全に暴走はしてない。
6
263
おかしくーださい！
ローソン (@akiko_lawson) profile pictureローソン
@akiko_lawsonOct 31
5日間限定の無料券チャレンジ(^^) 今日はナチュラルローソン菓子無料の最終日です♪ 1）このアカウントをフォロー 2）この投稿をリポスト 3）抽選で毎日1万名様に無料券！結果は自動でお知らせ

1
118
#いいねした人を名前伏せてどう思ってるか割とマジで容赦無く正直に言う 流行ってるみたいなので！ レポート終わったら返します
7
10
884
あとは何が作りたいか考えて実践あるのみなので、頑張ってほしい
61
正直リアルで会ったことないので同学科なのだから頑張って特定してください
48
Load more