中村 晃一@Idein 積極採用中!@9_tiesOct 18自分のAIをiOSアプリ化しているんだけども、他アプリ(ブラウザ、ターミナル、カレンダー、メーラー、健康管理etc)との連携を無理にさせるより、同機能をアプリ内に作ってしまう方が早く体験もよく、いつのまにスーパーアプリ化して1日のほとんどの時間をそのアプリで過ごす様になった。14529
中村 晃一@Idein 積極採用中!@9_tiesOct 11なんだか面白そうな結果が出た。 EIR=私のAIが作ったRust相当の型システムがあったり証明付き前提条件を付与できるグラフIR 安いモデルで顕著に性能差が出てる。なんでそうなるか調べ中。(実際のコード確認中だがグラフなので解読が難しい…)中村 晃一@Idein 積極採用中!@9_tiesOct 10AIでプログラミング言語がどうなるかという話だけど、処理系の立場だと今のようなものより、アノテーション付き依存グラフ等で最初から渡してもらった方が最適化や安全性の解析が上手くできて嬉しいという話がある。人間が書かない前提になる場合、もっと処理系に優しい表現が出て来ても良いかも。1371.4K
中村 晃一@Idein 積極採用中!@9_tiesOct 10AIでプログラミング言語がどうなるかという話だけど、処理系の立場だと今のようなものより、アノテーション付き依存グラフ等で最初から渡してもらった方が最適化や安全性の解析が上手くできて嬉しいという話がある。人間が書かない前提になる場合、もっと処理系に優しい表現が出て来ても良いかも。
中村 晃一@Idein 積極採用中!@9_tiesOct 10というか適当な言語でプログラムを書かせた場合と、直接中間表現を書かせた場合でどちらが(性能や安全性において)優れているか比較すれば良い1404
中村 晃一@Idein 積極採用中!@9_tiesOct 10AIでプログラミング言語がどうなるかという話だけど、処理系の立場だと今のようなものより、アノテーション付き依存グラフ等で最初から渡してもらった方が最適化や安全性の解析が上手くできて嬉しいという話がある。人間が書かない前提になる場合、もっと処理系に優しい表現が出て来ても良いかも。131.8K
