_ko1

The husband of @yotii23.

[_ko1 @_ko1]

え、湯浅先生？　なんで今？　お元気で何より…

[書泉ブックタワーコンピュータ書【営業時間11:00~20:00】 @shosen_bt_pc]

10/26新刊『#研鑽コンパイラ』#オーム社 （9784274235597）#湯淺太一 著 ◆「#プログラミング」棚にて展開中！コンピュータサイエンスの基幹をなすコンパイラ処理系の仕組みについて、形式言語理論の厳密な基礎から現代の実行環境で求められる最適化技術までを体系的に説明したテキストです！！

[_ko1 @_ko1]

@yamaz なるほど、特定の対象を狙うんじゃなくて空いてるところを探す

[SHIFT EVOLVE @shiftevolve_jp]

＼SHIFTのDevRelです🦖／

11/5（木） SHIFT EVOLVE 『プログラミングが好きな、すべてのエンジニアへ』

SHIFTの技術顧問川口耕介氏（@kohsukekawa）による対談企画。

お相手は川口氏が自ら選出！アメリカで最先端の技術を開発し活躍してきた彼が思う、日本のITの未来とは。

今回は、Rubyコミッターとして世界的に知られるSTORES株式会社 フェローの笹田耕一氏（@koichisasada）をゲストにお迎えします。

Rubyの処理速度を劇的に向上させた仮想マシンYARVを開発し、世界中の開発者を支え続ける笹田氏と、継続的インテグレーションツールJenkinsを開発し、ソフトウェア開発の現場に革命を起こした川口耕介氏。

世界のソフトウェア開発現場に絶大な影響を与えてきたお二人が、AI時代におけるOSSとエンジニアの未来について語り合います。経済合理性を超えてなぜ私たちは創り続けるのか、エンジニアの本質に迫ります。

リアルタイム配信では、アーカイブに残らないオフレコトークもございますので、ご予定の合う方はぜひリアルタイムでご視聴ください！
#SHIFT_EVOLVE 🔽
https://t.co/zW5VKt2tKQ

[_ko1 @_ko1]

@miura1729 作る人が少ないからじゃない？　レアはありがたい。

[_ko1 @_ko1]

Twitter 見てると思想信条の自由があまりに蔑ろになっている感じがする

[_ko1 @_ko1]

ゆるふわ自然言語仕様に対して、厳密な意味をつけて、ここは矛盾します、みたいなシステムは、今だと何を使うんだろ。
Claude code に相談してると、とくに何もバックエンドの証明系を付けなくても仕様の穴をついてくるから、気にしないでいいのかな...。

[_ko1 @_ko1]

AIがやったのでわかりません、ってのに対する反応は、今どんな感じなんだろうな。去年からアンケートとってたら変わりそう

[_ko1 @_ko1]

串カツ田中に初めていったけど、回転ずし（くら寿司）より結構高かった。まぁ、お酒飲んだのもあるだろうけど。

[_ko1 @_ko1]

組み合わせしやすいコンポーネントとは、つまり関数んだろうか？

[_ko1 @_ko1]

いいミドルウェアをナイスミドルというのはきっと何か違う

[_ko1 @_ko1]

レジスタ読んだ時に思った批判がされているのを見る。こう言うテーマならせめて更衣室とか書かないほうが良かったのでは…

[_ko1 @_ko1]

記憶からゼルガディスってスッと出てきてびっくりした　最近は人の名前全然覚えられないのに…

[_ko1 @_ko1]

ゼルガディスのミックスジュースは分離できないって話を思い出す

[_ko1 @_ko1]

例えば spinel が省略している機能は、プロセスにアタッチしてデバッグ用メソッドに置き換える機能であり、99.9…% のケースで不要な機能。そう言うのを削ぎ落とすと無駄がなくて速い。DHH が Rust にみたいな話もそう言うのを含んでいる。

[_ko1 @_ko1]

まぁつまりフレームスタックアクセスを抽象化、標準化したCが欲しい。今更Cかと怒られそうだけど。llvmのスタックマップがもうちょっと頑張ってくれれば…

[_ko1 @_ko1]

Exploit point 用意すればいくらでもなんでもできるやろ、という気がしないでも

[_ko1 @_ko1]

きっと次に来るにはそう言うのもできるやつ、で、現代ではJIT屋さんが超頑張ってるやつ。言語が作れるのであれば、それがやりやすい言語が来そうな気はするなぁ
その言語の deopt だけじゃなくて deopt しやすい言語処理系を作りやすい言語。

[_ko1 @_ko1]

AI によるscratch からの開発プログラムは ai そのまんまじゃんと批判されるんだろうか

[るー @ru__ru__ru__ru]

中2の次男と話していて、ちょっと衝撃だったこと。

学校の制作課題では、みんな当たり前のようにAIを使うらしい。
当然できる子とできない子に差が出る。

で、「できない子」がどういう子かというと、AIのポン出しをそのまま使う子。

「あいつAIそのままじゃん」
が、ネガティブな表現になってるんだって。

もうそこなんだなぁ。
AIネイティブの世代なんだと改めて感じた。