keno
@keno_ss
Followers
1,291
Following
2,743
Media
392
Statuses
70,011
keno, a small sawagani/The opinions stated here are my own, not those of my company./❤️ math, 松村の次元論, coffee, Emacs, Lisp, Rust, Splatoon, MtG/インターネット雑用係
Joined October 2012
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
seokjin
• 521486 Tweets
LINGORM LAYS STAX THAILAND
• 194265 Tweets
Nebraska
• 152112 Tweets
ホームラン
• 116820 Tweets
DAOUOFFROAD in MACAU
• 63028 Tweets
大雨特別警報
• 43785 Tweets
ロッキン
• 41827 Tweets
能登半島
• 30741 Tweets
Ice with FOURTH
• 20013 Tweets
レイジョ
• 18904 Tweets
FEED Y x UPPOOM
• 18554 Tweets
JAM 3RD FANCON
• 14284 Tweets
Pinned Tweet
Twitter (X) からは謎の不可視 BAN を受けました。今後このアカウントは Like/RT only となります。
bluesky と misskey に kenoss@ で登録しています。
3
0
20
常人がプログラミングを上達する指針10選
1. 良い命名をしろ
2. 95% 以上自明なコードを書け
3. 良い命名をしろ (嘘を付くな)
4. レビューしてもらうこと
5. 良い命名をしろ (驚き最小の原則)
6. リファクタリング可能な状態を保ちリファクタリングしろ
7. 良い命名を
8. 破綻したら捨ててやり直せ
9.
5
218
1K
これは現弊社に限らず所属した全ての会社での話だけど、会社が施策の真の理由と意図を明らかにしない (加えて嘘をついているケースもよくある) というの、個人的には一番精神にくる。
1
79
328
TeX とか C++ みたいなエラーと呼べないエラーを見続けた結果人は「読めるエラー旨い！もぐもぐ！」「ちゃんとしたエラーを出さなきゃ」という気持ちになるんや
1
42
248
それは嘘で、単に勘違いや間違いをフランクさを出しつつ指摘するのを 1 word でできてしまう便利語だからですね。(ソースは俺。)
どちらかというと、自分に対して使うときは「筆が滑ったから見なかったことにしてテヘペロ」、他人に使うときは「筆が滑ったんでしょ？ なんも見なかったよ」という感じ。
理系用語の「ウソ」、単なる間違いと言うんじゃなくて、「よく考えたり勉強しているなら出てこない間違いで、このような間違いは勉強不足なお前の落ち度であり、作為的な『嘘』と同じぐらい憎むべき発言だ」っていう非難の意味が多少は含まれてると思うんだけどそんなことないのかな
4
11
45
2
41
228
- Git で管理できる
- 生殺与奪の権を他人に握らせるな!! (表示がおかしかったり改善したいと思うなど必要とあらば下層に降りることができる。)
- Reproducible
- コピペで意図しない事が起きない
あたり？
2
43
187
マジレスすると、数学科は職業訓練所じゃなくて、得られるのは(あんまり適切な言葉がないのでアレだけど)ロジカルシンキングみたいな基礎スキルのみを常人の5億倍にするって感じだから、何かピンときた場合以外、特に手に職をつけたい場合は高専とかの工学部とか方が良いと思いますね。
3
48
178
これ最初の方見て反論しようと思ったけど的外れな内容が多すぎるのでやめた。
型についてだけ述べておくと、「我々が期待するレベルに至っていない」という感覚が共有されていないと思う。
2
37
179
デバッガを使うのが一番効率的な典型演習問題集が…欲しいです… (ほとんど printf デバッグとエスパーデバッグで解決してしまうのでデバッガで効率的に拾えるケースを逃している)
4
45
166
なるほど頭いいな
鍵RT
「3次回転行列から回転軸を取り出すには、固有値が1の固有ベクトルを取り出せばいいから単位行列を引いてクラメルの公式を使えばいい」と言っても理解して貰えないものと思っていた。
1
30
138
(ML に関する話としては) 「何が良いコードか」が SWE と研究筋の人たちで根本的に違う価値観を持ってる気がするんですよね。Python に対する好き嫌いが間逆なアレ。
1
37
141
平日ぼく「へぇ、こういうのもあるのか」
休日ぼく「自明だよ自明！」
どうして…
1
26
119
webpack 難しすんぎ。
なんでみんなこれを平然とやってのけているんだ？ n個の機能や拡張それぞれの解説はあるけどそれらを組み合わせると破滅するんだが…
4
26
116
JSON Lines の良くない (?) 点としては .jsonl 派と .ndjson 派がいること…と思ったら 放棄されとるやん。もう全部 .jsonl でよろしい？
はてなブログに投稿しました
構造化ログのフォーマット logfmt vs JSON lines - methaneのブログ
#はてなブログ
0
29
171
3
26
105
.zip の件、これを TLD に入れる判断は evil だと思うものの、「.zip はマナー違反！これからは .tar.gz や .tar.xz を使おう！」を流行らせるみたいな裏の意図があるのかもしれないなと思った。(多分違う。)
1
17
102
まぁしかし Python が流行ると困るのと同様に C++ が流行るのは (絶対に足を撃ち抜かない超サイヤ人とは違う) 自分の様な凡人には厳しいので、迷惑にならない範囲で Rust 推しはしていかないといけない…
1
16
95
「言語やフレームワーク比較のフェアなベンチマークとは何か？素人がやるベンチマークのほとんどがアンフェアである。それに自覚的になるべきである。」の記事が欲しい 2024
「Juliaのコミュニテイの中で」とは言ってませんし、Juliaでのみとも言ってません。忠実な移植にとどまらず各言語で「それぐらいはするだろ」ぐらいの変更・改善は施して議論して欲しいです。
2
1
15
1
29
84
全従業員に誠実な経営陣 (個人レベルではあり得るかもしれないが) なんていないんじゃないか？という予想があり、できるだけ善性を信じたいみたいなのをデフォルトにしてるとかなり渋い顔になってしまう…
1
25
72
Golang も Rust もそれぞれの選択の上に成り立っている良い言語なんだけれども、「Golang は冗長じゃない」とかいう嘘を言わないで欲しいという気持ち。
1
10
72
これは文脈を把握してないただの呟きですが、型を書きたくないというのがわかんないんだよな。いや C++ の型は書きたくないが。Rust の型とか最低限のドキュメントと validation であって、「これをサボりたいのか？」みたいな顔になる。
1
14
65
> 結果、気難しいスペシャリストを束ねてビジネスを遂行する立場になるのだが、「人間性」みたいなぼんやりしたスキルは外からは判断しづらい。
わかりみがふかい… 自分も自分の給与は口八丁に対して支払われていて、コード書けるのは福利厚生と思ってるからな…
1
8
67
ポケモンじゃないんだから「まずお気に入りの test suite と formatter と静的解析ツールを選んでね」は現代の言語としては初学者にはキツイよね、という記事を書きかけのまま5億年の時が過ぎた…
0
14
64
これわかりやすすぎだろ... 神か?
1
10
59
uname からダウンロードすべきバイナリ引きたいので全人類 aarch64 を使ってくれよな〜頼むよ〜 target triple も aarch64-linux-gnu なんだしさ〜
みたいなポエム issue を特定の OSS に対して立てるべきか5億年迷っている
そもそも CPU アーキテク���ャ名としては Aarch64 が正式で arm64 は俗称。（GNU が勝手に arm64 として refer している）
なのでビルドのスイッチに使うときはビルドスクリプトの書き手次第でどっちも使われ得る。
1
17
43
1
18
58
> 「整った環境で作られる際には問題なかったのかもしれませんが、温度も変わり日差しも差し込む現場には合いません」
これをクレームと呼んでいるので多分分かり合えない…
2
8
55
SWE は「不意に壊れず、壊れても特定や修復が容易で、継続的に意図通りに動く」のを好み、研究者は「アイデアを早く実現できる、思考の邪魔をしない」のを好む。
1
12
54
輪読会や論文読み会はあれはあれで大変勉強になるんだけど準備が重くて普通の本には適さない気がしており、今は「各自読んでくる + 疑問に思ったところを書いておく + Discord で集まってそれをネタに好き勝手話す」をやっている。今は詳解システムパフォーマンス読んでるけど、良いですよ。
「勉強会」って勉強するためのものじゃないですか。
現状多くのコミュニティが「勉強したことを発表する」場所になってるんですよね。ほかにパターン無いかな？と思いついたのが、「誰かの疑問をみんなで一緒に解決する」場所でも良いのかなと。
11
87
630
1
9
54
メモリ安全性の要請って「最低限突然 SEGV してびっくりさせたる！しないでね」であって、「メモリ安全性だから安心！」ではないんだよなぁ (みつを)
1
4
52
系統的な CS 教育を受けると幅広い知識をプリインスコした状態で実問題に当たれるが、そうでない身としては「なんか面白そう」「カッコイイ」くらいの興味ある問題をひたすら深掘るのが最適みたいなとこある。
1
9
52
現職も楽しくやってるけど, 平成も終わるので
#twitter
転職
純粋に技術で勝負することが求められる仕事・ポジションがあり, チャレンジさせてあげてもいいよ, というお話があれば.
3
26
49
本日これから CEDEC で発表する「組織的に Game x AI を 推進していくための方法論 〜『逆転オセロニア』の AI の一歩先へ 〜」の講演資料です. 文字見づらい方など, こちらで確認していただければ！
#CEDEC
#CEDEC2019
#DeNA_AI
0
30
48
子供は残酷で、弱い奴がチーム内にいると勝てないので (程度の差はあれ) 虐められます。
サッカーの授業での設定目標は「サッカーのゲームで勝てるようになること」ではなくて「ボールの扱いができるようになる」や「サッカーという競技に触れる」である、という話です
本当に小学校の授業ではサッカーの試合に勝たなければならないという教育がされていたのですか？
1
3
17
1
11
43
Rust でも「お前！」と言いたくなるコードがあるし Rust で書くのか新規コードを書くのどちらが楽しい要因なのかは分離しかねるが、言語起因で「お前！」なことは激減するのは間違いないのでそのうちガンにも効くようになる。
0
2
45
OSS にバグの原因調べてここが悪いって報告したけど MWE 出さないと絶対にパッチ当てねぇ！って言われて覚えました。(当時数学科の学生で趣味で独学してただけなので厳しい世界だなとおもった。)
問題の報告・原因の究明のために再現する最小構成を探って伝えようみたいなこと、意外と知らなければ知らないよなー。「情報が不足していたらどうにもならないので、できるだけ多くの情報を出すのは報告者の義務、その上で早期の解決のために最小構成を探るのがマナー」という話をインターン生にした。
1
31
116
0
6
41
「僕は自分のお賃金は口八丁に対しては支払われていると思っており、コーディングは福利厚生」ってずっと言ってる。
めちゃくちゃ書けるスペシャリストは別として、ジェネラリストは「望むものを最高のタイミングで提供する」のが価値みたいなところある。(それを実現するのにコード筋力は必要だが。)
そう思う。今朝読んだ日立製作所フェローの方の記事でも「急速に上流に行かざるを得ない状況になる」みたいな事が書かれててそうだなと。一方でコーディングをやり込む人の価値も相対的に上がるはずなので、これは楽しい世界になりそうだなと思う。
1
35
140
1
5
40
標準ツールが決まってないのが問題ではなく、(世の中で使われている割に) ツールチェインへのリソース投下量が少ない (結果的にあんまり使いやすいツールがない) のが問題。
Pythonへの批判として標準ツールが決まってなくてカオスというのがあるけど、ちょっと待ってほしい。
このカオスさってLinuxの自由さとリンクしてるというか、開発者の求めてるものではなかったのかなぁと。
用途に応じたツールを選択できる良さってあるんじゃないの？
1
41
254
1
8
40
あなたが初学者なら何も考えずに clone() しまくって良い。clone() のコスト、どういう場面で参照を使いたい/使うべきか、使う場合に負債になりにくいのはどのくらいまでかの感覚を掴んでからもう一度やり直したり修正したりすれば良い。
1
9
38
確証はないんだけど、試験機に本物のペイロード搭載するって博打をしたのは JAXA ではなく別組織 (特に財務省方面?) なのでは？ (常識的に考えてロケット開発主体が主導的にそんな判断をするはずがない。)
2
5
36
パワーユーザーを近くに置け。 とか Twitter で話を振ると優しい人たちが答えてくれます。Rust 使ってる会社に就職するのもオススメ。
1
3
36
C++ で無駄な find_if とか見ると「golang の人が問題にしてたのはこれかぁ〜」と思うけど、悪いのは C++ であって抽象化じゃないんだよな。
(いやマジで読みにくいので for 文で書き直したい…)
1
6
35
数学科卒のソフトウェアエンジニアですが読めるけど読みたくないよめんどくさいので。
あと数学やってる人たちの多くは抽象をそのまま扱うわけではなく、その裏側には確固とした具体例を持ちつつ高速に往復してるよ。ちゃんとした数学書にはたくさんの例が載ってるよ。(工学系のやつは知らない。)
1
5
35
こっちの記事も概ね同意できるし、ちゃんと現実と折り合いをつけようとしていて好感が持てる。
0
8
33
コミさん、給与面は800万で妥協して大きいプロダクトとデータ持ってるところに行くという選択をしたのだと思ってた。
0
2
33
「Python で機械学習やらせろ」
「っ...!!」
「リサーチャーの人っていつもそうですよね...!! 実運用時の推論のこと何だと思ってるんですか!?」
こうですか? (´・ω・`)
1
7
32
『「動的型付けでテストで防ぐ」も「強い型を付けて証明付ける」も2023年現在ではプロダクション用途で使うには両極端で、妥当なレベルで型をつけてその分他のことにリソースを使おうぜ』派
1
6
32
Python は100行以上のプログラムに使うなって言ってもみんなぽこじゃか基盤的なところに入れるじゃん… Type hint はせめてもの妥協点だよ… (Python の type hint がそこまで嬉しいかはともかく、「本当に最低限」のドキュメントを強制させられる。)
1
4
32
x ぶつかる可能性を考えなくていい
o ぶつかる可能性はめちゃくちゃ低いのでぶつかったときのエラーハンドリングは簡素でも良い
タイトルで煽るまではいいけど本文でちゃんと煽りタイトルですって申告して訂正してほしい。
0
7
29
「それは hogehoge の補題を使えば自明だと思うんだが…？」
「流石ですわお兄様！」
「俺はワーキングメモリが人より少なくてな。圏論を使った一般論を用いないと人並み以下の数学力しか発揮できない。しかしこの大学の院試ではそのような能力は数学力としては評価されないんだ」
0
11
31
レイオフされてない人がレイオフされたいかどうかを発言するのもレイオフされてダメージを負っている人からしたらセカンドレイプ的になってしまいそうで、思ってても発言しないのが吉。
2
5
29
速度が必要なわけでも所有権で遊ぶわけでもなく、ただただ使いやすい書きやすいからというのが自分の理由ですね。(もちろんその中には速度が必要なケースもあるけど。)
2
11
30
@hiroko_TB
予防司法の専門家が合法であると判断したものが後に司法で違法だと判断された場合、「予防司法の専門家ですら判断を誤る法律に従うことを一般市民に強いている」と立法不作為を問うことはできますか？
1
10
28
ソフトウェア、aarch64 Linux では動いて欲しい気持ちはあるけどこれもまた CI 環境がないからどうやっても Tier2 的なものになるねんな… (しかも人口少ないので企業がやってる OSS とかでは優先度低い)
1
8
28
まず最初に CI でビルドと cargo fmt と clippy とテストを強制しろ。(興味があれば just はいいぞ！僕はターミナルで cargo watch してる。)
1
2
27
たまに問題やドメイン自体が難しすぎるケースがあるけど、そういうのは「3%」だから気にしなくていいし常人はそういうのやらない。(95% じゃなくて 97% って言えばよかった)
1
2
27
新しいプログラミング言語に手を出す理由なんて自由で、「楽しそうだから」でも「かっこよさそうだから」でも「Python に疲れたから」でもいいでしょ。
0
6
26
某「カジュアル面談しませんか？」
ぼく「体が複数あったら行ってみたいし興味あるけど今すぐ転職ってわけでもないけど最近の転職って事前のコネ作りしておいてその気になった瞬間にみたいなところあるしお互いそれを理解しているなら聞いてみたいけどやっぱ時間もらうの申し訳ないので…」
大体これ
2
0
26
押し付け合いという局所最適の良い例っぽい。自治体は (単純化すると) 予算固定で、自分のところでゴミを捨てられるとその自治体のコスト増なので受け入れたくない。処理量に応じて国が費用負担なら少なくともこの点は解決するはず。(移送に伴う燃料やポイ捨ての清掃費分若干特。)
「ゴミは持ち帰ろう」って正直意味わからないんだよなぁ。自宅にブラックホールを持っているわけでもないんだから結局行政が処分することになる。なんでどうせ行政が処分するゴミをわざわざ自宅に持ち帰らないといけないのか。街角に十分なキャパのゴミ箱を置けばそれでいいじゃない。
56
621
3K
1
9
24
「ドキュメントには種類がある。現行コードと Git の履歴のみが信頼できる。コメントは気合で保守しろ。コアチームの口伝でどうにかならなくなったときは破棄して作り直した方が幸せだ」あたりがここ数年の学び (´・ω・`)
1
2
25
僕はソフトスキル付けておちんぎん爆上げしたいけど, マネジメントはしたくないです... (正直)
黙っといてもプロダクトや会社のことになると早口になるオタクだしなぁ. (オタクではないが.)
1
2
24
TypeScript を静的型付け言語の基準と思って静的型付けはあまり役に立たないと喧伝する人もいそうだし、C++ をコンパイル言語の基準と思ってコンパイルエラーは難しいからインタプリタ言語の方が楽と主張する人もいそう。#色々な人
一昔前ではJavaの型システムのみを前提として静的型検査について言及される事がしばしば見られましたが、昨今ではTypeScriptで初めて静的型検査に触れた方も多くいらっしゃるようで、TypeScriptの型システムのみを前提に静的型検査全体について語ってしまう事象が見受けられますね。致し方ない事ですが
0
22
95
0
5
25
> JVM と Erlang VM だと前者がグローバルGCで後者がプロセス毎GC という違いがあるので、細かいメッセージを大量にやりとりしてかつリアルタイム性能が重視されるなら後者って差異はある
へぇ (´・ω・`)
#fpc2019japan
1
6
25
無意識云々はさておきフラットな組織構造だと会社として価値を創造していくという観点においてかなり低めの限界があるというのはすごく感じますね. 僕らが本当に欲しいのはそれではなく, 心理的安全性なんよ. 「フラットな組織構造」という文句は組織が小さいときに相関があるものでしかない.
0
5
23
「容疑者は定職についていないようでずっと家にいて」
(僕もだ…)
「いつもラフな格好で背広とかは見たことない」
(僕もだ…)
「いつも独りで人と会うところは見たことがない」
(僕もだ…)
0
7
23