Masaki Haga

プログラミング言語や人に優しい技術・ツールがすき．今は 💻🌐 の仕事をしています．修士 (帰納法回し学) で，計算機科学と数理論理学と Standard ML のファンです．Nominal Sets 完全理解したい．奇を衒わない．DevOps に関心があります．🔑:

[Masaki Haga @silasolla]

これでプログラミングには困らないな

[Masaki Haga @silasolla]

@nomorepython 嬉ﾁｨ...！🤓

[Masaki Haga @silasolla]

Gemini に文章を書かせると主観的な修飾語や hype を盛り込みまくり指摘すると「流石ァ！」みたいにヨイショしてくる．Claude は比較的知識に誠実ではあるが，これは A だ．B だから A ということ．そういうわけで A だと言える… みたいな一生同じことを言い直している政治家インタビュー構文になる．

[柞刈湯葉（いすかり・ゆば） @yubais]

免許更新に行くたびに「わが県は事故死者数が全国ワースト何位です」という講習をされるので「しかし！人口で割ると～？」と思っている

[Masaki Haga @silasolla]

https://t.co/nk7L2ASzik

[Masaki Haga @silasolla]

命綱なしで東京タワーの建設やってた鳶職の写真を見てヒェっとなるが，これが本当の「ノンハーネスエンジニアリング」か．現代は職人ではなくシステムが落ちると．

[Masaki Haga @silasolla]

@SibainuHakuseki https://t.co/CTzuJVV7Wx

[Masaki Haga @silasolla]

@Coxpore なにを

[Masaki Haga @silasolla]

AI に丸投げすることを良しとする風潮に対して無駄にキレ散らかしてる非生産的なキモ＝オタクになっており早く何とかしないといけない．というわけで内省モードに．

[Masaki Haga @silasolla]

タガメサイダー，たしかに香りは良いのだが，べつにタガメでなくても良いのではという感じはする．あと過食部が少ない．本当に美味いのは，カイコのサナギをボイルしたやつ．(シルク採るときの殺生を無駄にしないスタイル)

[Masaki Haga @silasolla]

@goto_math ホワイトリストインターネットくん

[Masaki Haga @silasolla]

リストってスパム防止で短時間に入れられる上限あるのか

[はぴだんぶい【公式】 @hapidanbui]

みんな「蒸したてのほっかほか〜 」

[Masaki Haga @silasolla]

@nomorepython 575

[Masaki Haga @silasolla]

@cordx56 自分が死んだ後の https://t.co/XNC0YHB7Cp ドメインも誰にも引き取られず詐欺サイトのリンクになるのかなとか考えています

[Masaki Haga @silasolla]

@ro1dev 明日から戦争始まって海の向こうから核弾頭ミサイル撃ち込まれたら死ぬしば

[Masaki Haga @silasolla]

@Kory__3 もっと概要を追えれば良いなら
> Sequent calculi for induction and infinite descent
https://t.co/4hQMso8Cpv

[Masaki Haga @silasolla]

@Kory__3 > Sequent calculus proof systems for inductive definitions
https://t.co/pTljcF8EB4

[Masaki Haga @silasolla]

「人間だって完璧な検証は無理なんだから AI に丸投げで良い」ってのは極端な話で「完璧なシステムを作れ」なんて誰も言っていない．どうせいつかバグるからと品質への投資を放棄するのは，どうせいつか車に轢かれるかもしれないからと，目を閉じて赤信号を平気で渡るのと同じ．

[Masaki Haga @silasolla]

UI や機能調整なら「不完全でもさっさと作って改善する」で問題ないが，厄介なのは顧客に良い顔をしたい事業側のインセンティブが極端に働いて，取り返しのつかない障害を生む領域までその論理を持ち込むことです．そんなのアジャイルでも何でもなくて無責任な立場ゆえに利己的に振る舞っているだけ．

[Masaki Haga @silasolla]

結局のところ，自分が言いたかったことはここに尽きるかしら．後先を考えず一発芸で乗り切る仕事は昔からあって，それなりに賢くて安い AI の出現によって，そういった無責任さが強く可視化されたのだろう．煽られる危機感の正体もその土俵での競争に過ぎない．