KOBA789 Profile Banner
KOBA789 Profile
KOBA789

@KOBA789

8,691
Followers
1,552
Following
3,382
Media
296,731
Statuses

計算機が好き。人工衛星作ってお給料もらってます。 YouTube: Discord:

Japan
Joined July 2009
Don't wanna be here? Send us removal request.
Pinned Tweet
@KOBA789
KOBA789
7 months
🦀🎍初心者必見Rust入門コラボ🎍🦀 宮乃やみ( @miyanoyami83 )さんにRustを教えます。正月休み最終日、ここで食わず嫌いを直したい。 ライフタイムとかゆーても、わかれば自明ですからね。質問コメントも大歓迎です! 📅🕢 1/8 19:30〜 #ch789
Tweet media one
0
83
306
@KOBA789
KOBA789
8 months
ニコニコプレミアム値上げの件、嫁に話しました。 俺に嫁はいませんでした。 途端に泣き崩れる俺。
29
4K
23K
@KOBA789
KOBA789
1 month
最悪な辞書登録
Tweet media one
7
2K
18K
@KOBA789
KOBA789
6 years
なぜ人間は空港を間違えてしまうのか。その謎を解くために我々は南米アマゾンへと飛びたかったが空港を間違えた
2
5K
9K
@KOBA789
KOBA789
2 years
世界的な半導体不足を受け、半導体よりも正確さで劣る「やや導体」や「ほぼ導体」の活用を模索する動きが広がっています
17
1K
5K
@KOBA789
KOBA789
2 years
ソフトウェア開発やってる人なら、開発環境と本番環境はできるだけ近づけたほう開発しやすいってのは常識だと思うんですけど、ここで大きな問題があって、宇宙空間は地上にないんですよね
2
451
2K
@KOBA789
KOBA789
3 years
「技術的には可能です」は意図しない方向に話が動くので「できはするけど不幸です」と言いがち
3
528
2K
@KOBA789
KOBA789
2 years
デジタルデータはコピーしても劣化しないと言われるが、人間は JPEG を再圧縮する
1
368
1K
@KOBA789
KOBA789
2 years
WebGL + Rust + WASM でスケーラブルな文字描画を実装することに成功した!(GW の進捗)
1
211
1K
@KOBA789
KOBA789
2 years
プログラミングにおいて printf は無料だが、電子工作において計測機器はバカ高いという話をこの前会社の人としたのを思い出した
0
301
1K
@KOBA789
KOBA789
3 years
こちら「作って学ぶRDBMSのしくみ」の目次になります。よろしくお願いします
Tweet media one
2
323
1K
@KOBA789
KOBA789
2 years
これから Starlink 買う人向けの忠告ですが、ベランダ程度の視界ではロクに繋がりません
6
467
1K
@KOBA789
KOBA789
1 year
通信プロトコル用語としての「Cookie」が「渡されたら次回持参するやつ」という意味になった経緯ってなんなんだ。クッキーは貰ったら食べるべきだろどう考えても
4
276
1K
@KOBA789
KOBA789
2 years
クッソ忙しいときって、反動で専門外の勉強したくなりませんか
6
122
1K
@KOBA789
KOBA789
1 year
なんかソフトウェアエンジニアはリモートワークで当たり前みたいな空気ですが、実は割とオフィス行きたいって人いませんか。理不尽な理由で強制はされたくないってのはまったくその通りだけど、オフィスで仕事したい人の肩身が狭くなりつつある気がする
12
189
973
@KOBA789
KOBA789
2 years
JAVA_HOME 設定する度にタマホームの CM のノリで「ジャバホォォォォォォォォォォォム!!!」って叫ぶ声が脳内で再生される
6
173
927
@KOBA789
KOBA789
3 years
この10年で学んだこと、いかなる技術でもはじめはおもちゃなのでそれを軽んじてはならず、とはいえ打率は低いのでよりたくさんのおもちゃで遊べる態勢を作っておくのが生存戦略としてよい、ということですね
0
234
922
@KOBA789
KOBA789
5 years
7pay は残高の所有者という概念をなくし、あらゆる人の資産を自由に使える世界を切り拓いた
2
407
881
@KOBA789
KOBA789
7 months
macOS アップデートしていい?
Sonoma
50
Sonomama
99
4
225
873
@KOBA789
KOBA789
2 years
なんで人工衛星開発で OS やら VM やらの技術が必要なんですかという疑問にお答えしておくと、打ち上げた後にもアップデートをしたい(これがほんとの On The Air)が、軌道上で文鎮になるとどうにもならんのでどうにか安全にやりたくて、Fault Isolation といえば OS や VM ですよねという感じです
2
208
830
@KOBA789
KOBA789
4 years
Type-C がうっかり Type-A に刺さっちまってショートして電源が落ちるの、適当な Bad USB よりもよっぽど Bad USB すぎる
2
343
751
@KOBA789
KOBA789
3 years
printf デバッグ、適当に "#############" とか "=============" とか出しがち(目立つので)
2
114
753
@KOBA789
KOBA789
2 years
新しい CPU を買いました
Tweet media one
33
94
735
@KOBA789
KOBA789
1 year
Tweet media one
1
137
736
@KOBA789
KOBA789
3 years
“それによって得る売上よりも、掛かるコスト、すなわちCPUの追加やメモリの追加などのコストのほうが、大幅に上回るんですよ” この視点がある人とその分析を経営に反映できる人が揃ってたのは幸運だな / “「この会社は詰んでます。潰れました」で気づいた“恥ずかしさ” DeN…”
0
260
742
@KOBA789
KOBA789
2 years
金銭的負債は取り立てられますけど、技術的負債はプロジェクトがポシャればチャラなんで、ビジネスが当たるかどうかわからんうちは積極的に借り入れてダメなら踏み倒しというのが賢いと思う。軌道に乗り始めたらサボらずに返済していかないと即座にジリ貧ですが
1
148
734
@KOBA789
KOBA789
2 years
複雑な GUI はバグるしメンテコスト高いしマニュアル整備等でユーザーサポートも大変なので、それをサービスのコアにするのは大変な覚悟が必要なことだと思っていて、できるだけ小さい実装・ショボい GUI でユーザーの課題を解決できないものかとサボる方向で知恵を絞ってしまうのが普通だと思う
2
142
726
@KOBA789
KOBA789
6 years
サマータイム導入の影響を受けるコンピュータが省庁や一部の企業のものだけだと思ってないか? JST に触れてるコンピュータ全部やぞ、全部。お隣の国や地球の裏側の国にあるコンピュータにも影響あるんやぞ。なんならオリンピックに海外から来る選手や観客のスマートフォン一台一台も対象やぞ
0
758
712
@KOBA789
KOBA789
3 months
ドリルを買いに来た客が欲しいものは穴ではなくマキタ!!!!!
Tweet media one
2
135
720
@KOBA789
KOBA789
2 years
世の中には超マイナーな API や超マイナーなデバイスを中途半端にハックして放り投げたコードを GitHub に置きっぱなしにしてくれている人というのがいて、そうしたコードは(主に私などの)役に立ってるんですよ
1
144
704
@KOBA789
KOBA789
2 years
世界は既にプログラミングが好きな人間だけではプログラマの需要を満たせないほどになっているという事実
3
123
696
@KOBA789
KOBA789
2 years
Google、この規模で落ちたのにすぐに戻ってくるの、どういう弾力してんの
3
85
694
@KOBA789
KOBA789
7 years
オタクコイン、オタク向けだっつってんのに Twitter へのリンクはなく、Facebook へのリンクしかないし、俺の思ってるオタクとは違うかあるいはフェイク野郎かという感じになってきた
3
529
618
@KOBA789
KOBA789
5 years
東京の外ではじゃんじゃか氾濫しているので、東京が助かっているのは治水に死ぬほどコストをかけた(かけられた)から、という事実がわかってきた……
1
385
636
@KOBA789
KOBA789
5 years
// TODO: というのは日本語で「凍土」の意味で、その箇所の編集は凍結されており、修正の見込みはないという印です
0
259
607
@KOBA789
KOBA789
7 months
毎年の私の新年の目標みたいやつは、「〇〇をする」というようなタスクリスト形式ではなく、「〇〇と△△で悩んだときには△△を優先する」といったような判断基準の形式を採用しています。半年くらいで妥当性の振り返りは必要ですが、目標未達で腐ったりすることもなく続けやすく、おすすめです
1
105
620
@KOBA789
KOBA789
10 months
非公式 ISUCON 練習プラットフォーム 「ISUNARABE」 アルファ版リリースしました! 現在は12予選の問題が遊べるようになっています。 👇詳しくはこちらの Discord サーバーで #isucon #isunarabe
Tweet media one
0
112
590
@KOBA789
KOBA789
4 years
よく調べてるな。だが残念ながら俺は大学を卒業していない
Tweet media one
4
62
568
@KOBA789
KOBA789
3 years
これは、何 “さくらインターネット秘伝のたこ焼きレシピ” / “GitHub - sakura-cooking/takoyaki: さくらインターネット秘伝のたこ焼きレシピ”
1
294
556
@KOBA789
KOBA789
3 years
バズってる技術しか知らないがばっかりに、自らのワークロード・組織に不相応なアーキテクチャを導入してしまうという不幸、ありがち。バズっている技術は Twitter で油を売っていれば自然と目に入るが、そうでないたくさんの技術は自発的に学ばないと存在すら知らないままなので
0
133
547
@KOBA789
KOBA789
3 years
分散システムの議論って必ず「まずは分散させるな」「それでも分散させなきゃならない理由は何だ」という話から始まるべきと思ってて、全然キラキラしてないけど一番大事なのはそこだよなっていう
1
126
525
@KOBA789
KOBA789
8 months
誰か私と一緒に人工衛星の管制システム作らん? React とかで
6
86
515
@KOBA789
KOBA789
2 years
このキットをキースイッチ・キーキャップ無しで2000円(送料別)で売るとしたら欲しい人どのくらいいます? ファームウェアを組込み Rust で開発するためのガイド(Windows/macOS/Linux をサポート予定)が付属し、迷わずに組込み Rust に入門できる、というのがウリです。 回答はツリーで⬇️
Tweet media one
12
136
499
@KOBA789
KOBA789
2 years
docker-compose の梱包感は異常
1
84
499
@KOBA789
KOBA789
2 years
最近アホほど忙しかった理由の答え合わせです “東京大学の中須賀船瀬研究室および株式会社アークエッジスペースと共同運用を開始します” / “ソニーの超小型人工衛星『EYE』が軌道上での通信確立に成功”
3
97
487
@KOBA789
KOBA789
2 years
Undo/Redo, コピペ, 範囲選択などの当たり前の機能がめっちゃ実装面倒なのは自作 GUI 勢には常識
3
79
465
@KOBA789
KOBA789
1 year
現状、Rust の習熟速度に一番影響を与えるのはシステムプログラミングの素養の有無で、日本語でこれを学べる開かれた機会はおよそいくらかの大学の学部に限られており、独学でやるのはかなりしんどいという事情は確かにある。英語でいいなら OSS のコードとかが使えるんだけど、日本語話者なのでな
1
75
452
@KOBA789
KOBA789
2 years
地上と人工衛星で通信するためのプロトコルがあるんですが、これのプロトコルスタックを Rust で実装したい人とかがいたらぜひ助けてほしいといった状態
1
187
448
@KOBA789
KOBA789
3 years
有事の際にロクに情報技術を活用できない国だということがわかってしまったと思うんですが、これって普通に国防上の懸念になりませんか
3
135
450
@KOBA789
KOBA789
3 years
ノープラン無職、当然すごい勢いで金が溶けていくけど、同じだけの金をかけてできる他のことと比べてもかなり楽しい部類だと思う
0
79
438
@KOBA789
KOBA789
3 years
ゴールデンウィークは WEB+DB PRESS Vol.122 を買って Rust で RDBMS を作ろう!
1
128
433
@KOBA789
KOBA789
8 months
OBS はマジで C++ 魔神が気合で書いてしまったオーパーツになりつつあり、クリエイティブなツールとのインターフェースがどうにも希薄で、職人芸的なワークフローが蔓延っている
1
74
429
@KOBA789
KOBA789
6 months
今や低レイヤ界隈では Rust が大人気だけれど、既に理解のある人にとっては使い方の察しがつくので便利である一方、これから学ぼうって人はC言語から順を追ったほうが結局素直というジレンマがある。Rust で始めると初手 unsafe Rust で詰むというか知識のブートストラップに失敗する。
2
93
419
@KOBA789
KOBA789
2 years
ネットワークは現実の泥臭い事情がたくさんあるので理論より実践が大事だし死に覚えゲーという気がしてて、VPN とかが絡んだめんどくさいトポロジーを組んで行きと帰りの経路が別になって一部の FW に弾かれて頭抱えたり、TCP が途中から詰まる現象見て MTU を調整したりすることで強くなれる
1
92
412
@KOBA789
KOBA789
2 years
性能稼ぐためにマルチスレッドにしましょう→スレッドセーフにするならケチらずコピーするのが簡単ですね→malloc まみれでシングルスレッドより遅くなりました→じゃあ参照カウントしましょう→atomic 命令重くてロクに速くなりません なぜなのか
6
84
414
@KOBA789
KOBA789
8 months
ちなみにこれは人工衛星の搭載ソフトウェアの開発ツールの画面(表は React と TypeScript で作られてて、裏側は Rust)
Tweet media one
0
61
404
@KOBA789
KOBA789
2 years
Rust 初心者あるあるなんですけど、他人のコード読んで「なるほどこれなら私にも書けそう」と思っていざ書いてみると全然コンパイル通らないというのがあります。コード書くより先に矛盾のない構造の見当をつけるのが大事なんですが、コードだけ読んでもその勘は育たなくて難しい
4
62
372
@KOBA789
KOBA789
1 year
「半導体の物理法則や CPU の設計を知ってコードを書いているのではないのと同様に、LLM によってコードを理解せずにソフトウェアを作れるようになるだろう」という説を見ると、半導体の物理法則や CPU の設計を気にしながらコードを書かねばならない私のような仕事は結局残るんだろうなと思ったりする
0
97
362
@KOBA789
KOBA789
7 years
凍結解除ウィザードで示された当該ツイートです。これはマジで文字列の単純な部分一致で弾いてるでしょ
Tweet media one
2
511
343
@KOBA789
KOBA789
2 years
アバター売ってそう
Tweet media one
2
110
359
@KOBA789
KOBA789
2 years
C10K 問題懐かしすぎる。今だから言えることだが、お前のサービスのユーザーは1万人もいない
1
64
352
@KOBA789
KOBA789
3 years
雑なコードがあとになって開発の足を引っ張るのは技術的負債ではなく怠慢的負債とか呼べばいいし、能力不足でイケてないコードを書いてしまったのは無能的負債とか呼べばいいんじゃないか
1
80
350
@KOBA789
KOBA789
3 years
ようやく言えるようになってラクになった。一緒に人工衛星を開発してくれる人を募集しています。詳しい情報はまた追々出ますが、今でも個別で聞いてもらえれば多少話せますのでぜひ
3
73
346
@KOBA789
KOBA789
3 years
今でこそ人工衛星開発に携わるソフトウェアエンジニアは数が少ないしあまり露出もしないから珍しく感じられるかもしれないけれど、ソフトウェア技術が貢献できる部分は本当に多いので、宇宙産業で活躍するソフトウェアエンジニアという姿をもっとありふれたものにしていきたいという気持ちはあります
0
58
349
@KOBA789
KOBA789
2 years
Rust が速いというより(それもあるが)、速さを優先したコードを書いても読めるコードにできるほど記述力が高い、というのが正しいよな(これが Zero Cost Abstractions です)
2
54
344
@KOBA789
KOBA789
2 years
JavaScript(ECMAScript)の怖いところ、既存のウェブを破壊しないまま進化を進めようという執念と、実際に考え抜いてそれを実現してしまうみなさんの粘り強さと賢さくらいしかないよ
0
48
338
@KOBA789
KOBA789
3 years
半年前の私のふざけた発表が文字起こしされました。改めて読んでみると自分が如何にむちゃくちゃなことを言っていたかよくわかりますね / “小学生時代に秋月電子で買った300個の電磁リレー 半導体以外でも作れる自作CPU ”
3
115
337
@KOBA789
KOBA789
3 years
つまり、私はコンピュータが好きだったのではなく、その実は未熟なものや未知なものが好きなだけであり、当時たまたまコンピュータ技術がそういうフェーズにあったから興味を持ったというだけで、これから先のコンピュータ技術には興味を持てないのではないか、ということ
0
72
327
@KOBA789
KOBA789
3 years
docker とかいうやつ、気合いでいろいろなものを隠蔽しているけれど、トラブったときはエグいところが全部出てくるので初心者殺しだと思う。特に Docker for Mac は黒魔術がすぎる
0
46
314
@KOBA789
KOBA789
2 years
【📢 @mizchi さんとペアプロ 🦀】 フロントエンドエンジニアが Rust & WASM に手を出すと Rust のエグいところが急に出てきてなんもわからんになりがちです。 というわけで @mizchi さんとペアプロしながらその辺を解説します! 📅🕗 5/7(今日) 20:00〜 #ch789
Tweet media one
1
71
318
@KOBA789
KOBA789
2 years
DynamoDB の価値は「できることしかやらない」という割り切った設計もあるけど、「それでも使えるユースケースがそこそこある」という発見だと思うんだよな。普通こんなに不便な DBMS が活用例ナシで出てきても見向きもされないと思うけど、Amazon 社内での活用という後ろ盾で一定の説得力が出てる
1
40
313
@KOBA789
KOBA789
3 years
ビジネスの視点では1週間かけて O(n log n) のアルゴリズムを実装するより1日で O(n^2) のアルゴリズム実装して出荷しちゃった方が儲かることはあるわけですが、だからといって O(n^2) で割り切る胆力だけを鍛えたオトナになるよりは1日で O(n log n) な実装をできるソフトウェアエンジニアになりたい
0
49
309
@KOBA789
KOBA789
2 years
よく勘違いされていますが、Rust はメモリリークの防止を保証しません "memory leaks are memory safe in Rust"  / “なぜRustはメモリ安全なのかをC言語のコードと考える - Qiita”
1
71
307
@KOBA789
KOBA789
1 year
いかに技術的な側面だけで筋のいい技術選定をしていても、読めないプロダクト名と2行しかない README では利用者も開発者も増えないし、誰も使っていない言語で書かれていたりしたら尚のことである。README をキラキラさせて人を集めるのはかなり重要な生存戦略だ
0
65
299
@KOBA789
KOBA789
2 years
驚くほど情報量のない謎ダイアログ出た
Tweet media one
1
57
294
@KOBA789
KOBA789
2 years
Rust for Linux が話題ですが、弊社では cargo が思ってもみない使われ方をしており C や C++ で書かれた既存の資産を Rust が丸呑みしていっております
0
38
290
@KOBA789
KOBA789
2 years
大規模システム作り方、「やった方がいいと思うことに優先順位をつけて出来るだけやる」「前例を探すだけ���は答えの見つからない難しい問題に対して腰を据えて向き合う」「苦しくても諦めずに取り組み続けて学びを得て成長する」です
0
53
292
@KOBA789
KOBA789
4 years
これが、こう。活線でショートさせたくないので適当なハブな失礼しますが、これでシールド(GND)と VBUS が導通するんですよ
Tweet media one
Tweet media two
Tweet media three
0
190
285
@KOBA789
KOBA789
2 years
2022年に Linux でハードウェアの性能を活かし切るには拡張オプション付きでシステムコールを呼んだり新しいシステムコールを呼んだりしてユーザーランドでも複雑なスケジューリングロジックを実装しなければならないといった雰囲気で、ここらへんを言語ランタイムで面倒見てくれるのが Go なんだよな
1
45
289
@KOBA789
KOBA789
3 years
マジで詳しい人の講義、「え、それほんとにうまくいくんですか」みたいな質問すると、ちゃんと「大変です」って答えてくれるので信用できる
0
29
283
@KOBA789
KOBA789
3 years
作って学ぶ RDBMS のしくみ、書きました。みんな大好き Rust を使って解説してます
@wdpress
WEB+DB PRESS編集部
3 years
WEB+DB PRESS Vol.122、どこよりも早い表紙画像です! 今号はWeb技術総整理、はじめてのDjango、作って学ぶRDBMSのしくみを大特集!4月24日発売です! #wdpress
Tweet media one
0
51
161
0
91
275
@KOBA789
KOBA789
2 years
「Rust のコンパイルエラーは親切だから言うとおりに直せばなんとかなる」ってのは8割くらい本当なんですが2割くらいは通用しなくて、それは大局的な設計がそもそも Rust のルールに合ってないというケースです。しかもそういうときは細かい修正を積み重ねた上で詰んでちゃぶ台返しを食らいます
0
83
274
@KOBA789
KOBA789
1 year
README に画像を貼り、ロゴを中央揃えにするだけで急に Star が増える世界なんですよ
0
32
273
@KOBA789
KOBA789
1 year
初めて再帰関数を書いた時や、コードとデータが同じメモリ空間にあると知った時は本当に世界が輝いて見えた
0
38
275
@KOBA789
KOBA789
2 years
JavaScript に死んでもらっては困る人たちが文字通り世界中に、しかもとんでもない密度で存在している。だからとにかくできる限りの延命措置を講じられてきた。世界中の莫大なリソースによって延命されるという信頼感が、さらに JavaScript への依存者を増やした。共依存によって世界はひとつになった
2
60
270
@KOBA789
KOBA789
3 years
趣味での開発、だいたい実現可能なことがわかると飽きてしまうのだけれど、それはつまり実現可能性のあるパスが既に明らかになってるということで、仕事ではそのパスに沿って金貰いながら作業するだけで成果になる
0
52
267
@KOBA789
KOBA789
7 months
◤🖥️Z80 & Rust🦀◢ 約半世紀前の傑作CPU "Z80" を知っていますか? 今回は2023年の技術を存分に使ってズルをして、Rustで書いたコードをZ80で動かします。動くまで、あるいは私が倒れるまでやります。覚悟してくださいね。 この年末はZ80で遊ぼう! 📅 12/29 20:00〜 #ch789
0
94
266
@KOBA789
KOBA789
2 years
Rust を使う案件を掴むのではなく、目の前の案件に Rust をねじ込む覚悟が大事
0
36
251
@KOBA789
KOBA789
7 months
C言語とかの低レイヤの言語書いたことなくて普段はスクリプト言語ばかりだけど Rust 書けるようになりたいですっていう配信者の方いたらお声がけください。ヒープとスタックの話から所有権・ライフタイムや String と &str の違いを完全に理解するコラボ配信しましょう。
1
53
256