Hideyuki Tanaka

新しいライブラリ作った！ prpr: Rust 向けのシンプルで高速な Parser generator｜Hideyuki Tanaka zenn.dev/tanakh/articles/prp… #zenn

Dependent Typeまじで強いな（今更感）

重要な変数がbox化されとるだけで局所的に十数倍遅くなるんで、トータルで数倍遅くなるとかそんな感じやが、実行時間食ってるところを注意深く書けば速いLeanコードは書ける･･･けどRustの性能予測の楽さになれたワイにはキツい･･･。

Leanを普通のプログラミング言語として使おうとしてるんやが、あんま性能出んな～って感じなんすけど、unbox最適化が効くような形にすればCとRustと比肩する感じになるけど、どうすればそうなるかはコード上には現れないし、バックエンドも改良がまさに進んでるみたいだから、そこを詰める意味もない･･･。Haskellで最速目指してた時のつらさがよみがえってくるな･･･。

6.1 Sol に書いてもらったグダグダの設計のPoCをOpus5.5に直してもらったら嘘のようにきれいな設計になって草(´･_･`)

どうも現状の大手AIさんが商品として売ってるモデルの知能にはどっかに天井があるみたいで、それ以下のタスクならするするやってくれるんだが、そこ超えてるとめちゃくちゃ時間かかった上に思ったものができないって言う雰囲気なんだよな。そこをそこ水準以下のタスクにまで砕いてやればまあスルスルって感じにはなるし、そういうタスク砕きをまだワイがやらないといかん。んで、そこの水準が正直わからんし、ﾗｲﾝﾅｯﾌﾟもいろいろだから試行錯誤が大変不毛な感じはする。しかし、一昔前の変なハックよりはずいぶんまっとうな話か。(´･_･`)

AppleはどうしてもMacBookにタッチパネルを搭載したくないから、ファンクションキーをタッチパネルにするなんて言う謎なことをやったりしてたんじゃないの？

なんでAppleは今更MacBookにタッチパネルを搭載する意義に気づいたの？(´･_･`)

インターネッツにコードが少ない言語はAIは苦手！という主張によれば、毎週何千万行もLean4のコード書かされて自分自身でどんどんコードを増やしてるから、今やAIが一番得意な言語はLean4かもしれんな（適当）

AIさんってなんでRustのプロジェクトだとtarget/以下に作業ファイル置きたがるんだ。そのファイルcargo cleanで消えるよ。