pasmophobia

🦀

[pasmophobia @pasmophobia_dev]

https://t.co/qzotCunvPq

[pasmophobia @pasmophobia_dev]

Tech Circle Expo #9 に登壇しました！
https://t.co/ZCzC4yPXAr

[pasmophobia @pasmophobia_dev]

こんにちはネットワーク局です僕らは技術力高いです

[かお文字くん🍣🍊 @kaomojikun__]

@bbbminimum_25B AI時代だからなのか、JIZIにそういう部門が存在してるからなのかはわからないけど…

[pasmophobia @pasmophobia_dev]

Tech Circle Expo #9 に登壇しました！
https://t.co/ZCzC4yPXAr

[pasmophobia @pasmophobia_dev]

LLM 時代だからか、ソシュールの二元論の重み付きグラフ的な世界観がしっくりくる

[pasmophobia @pasmophobia_dev]

Embedding ってソシュール感がある

[pasmophobia @pasmophobia_dev]

Jev、semanticsを上手く与えないといけないよなと思ってる

[pasmophobia @pasmophobia_dev]

憲法三原則は本当に素晴らしいと思ってるから全世界に広げていくべき

[pasmophobia @pasmophobia_dev]

特に政治言語が難しすぎると思ってるし、二院制も多くの国���にとって難しい。官僚の言葉遣いも憲法の言葉遣いもダメ

[pasmophobia @pasmophobia_dev]

- 天皇制を廃止して共和政に移行
- 憲法の三原則を改正不能にする
- 政治言語を平易化する
- デジタル民主主義
みたいな政党が欲しい。政治を政治家の手から国民に取り戻す感じ

[pasmophobia @pasmophobia_dev]

先行研究あるっぽい

[pasmophobia @pasmophobia_dev]

ユーザー指示を形式的な言語で書いて、AIエージェントの推論を定理証明支援系でハーネスしつつ、ユーザー指示とかファイル読み込みをAlgebric Effectで��現すればハルシネーションなくせそうという妄想

[Masaki Haga @silasolla]

Go には sqlc があったり Rust には SQLx があったり (これらは ORM ではないはずだが筋のよい技術だと思われ)

[pasmophobia @pasmophobia_dev]

型安全性もSQL直書きの利点も得られる

[pasmophobia @pasmophobia_dev]

typed SQLで���分じゃねと思う
ORMは無駄にクラス増やしてくるし融通も効かないイメージがあるから薄い型を導出してくれるだけでいい

[Haruki Yano / Haruma-K @harumak_11]

スロップ負債、という記事
https://t.co/BPGH7OzDpV

・従来の技術的負債とは、開発期限に間に合わせるために意図的な妥協をすることで生じるもの
・一方でスロップ負債は、誰も中身を理解していないAIコードを、テストが通ったからという理由だけで取り込むことで生じる
・AIが生成した���ードは一見すると正常に動くが、設計されたものではなく、確率的にそれらしい単語を予測したにすぎない

・従来の技術的負債は人間が意図的に意思決定した結果なので、gitの履歴などからその判断理由を後からたどることができる
・スロップ負債は意思決定を欠いたまま作られるため、変数名やエラー処理のパターンがファイルごとに脈絡なく選ばれている
・一貫性を強制する設計者が存在しないため、同じ課題に対して全く異なる方法で実装されたコードが混在するようになる

・スロップ負債の本質は、コードの量が多すぎる点ではなく、コード全体の整合性が失われている点にある
・技術的負債は線形に増えるが、スロップ負債はAI自身が過去の乱雑なコードを文脈として読み込むため指数関数的に増殖する
・AIはすでに存在する不適切な設計パターンをそのまま学習し、おかしな構造をさらに高速で量産していく
・人間なら途中で疑問を抱いて修正するが、AIは疑問を持たずに間違ったパターンを何度でも自信満々に生成し続ける

・技術的負債はコードの構造をたどればバグを修正できるが、スロップ負債は構造そのものがないため原因の追跡が困難になる
・1つのファイルの中に複数の異なる方針や重複したコードが混在し、誰もその理由を説明できない
・AI生成コードは表面上は非常にきれいに見えるため、全体としての不整合が見落とされやすく、コードレビューでも防げない

・技術的負債は局所的であるため部分的にリファクタリングできるが、スロップ負債はシステム全体に薄く広がっている
・ある箇所を修正している間にも、隣のモジュールから新しい不整合が同じスピードで生み出され続ける
・ある程度の規模に達したスロ��プ負債は、きれいに書き直すのではなく、すべて破棄して人間が設計し直すしかない

・レビューを徹底したり文脈を制限したりする対策は多少の効果しかない
・��ードが生成されるスピードに人間の管理体制が追いついておらず、設計の一貫性を保つための有効なツールも存在しない
・今後は多くの開発チームがこの不整合の問題に直面し、予算化されていないシステム全体の書き直しが頻発するようになる

[pasmophobia @pasmophobia_dev]

rust never type 結構あつい

[pasmophobia @pasmophobia_dev]

参議院とは直接関���ないけどAIで行政のオークション形式破綻しそう

[pasmophobia @pasmophobia_dev]

raw SQL から Effect の形式を静的に導出できるといいね

[pasmophobia @pasmophobia_dev]

SQLを隠さない Clean Architecture を考えたい
関数呼び出しじゃなくてSQLをAPIとして使っても副作用の分離っていう目的は達成できる

[pasmophobia @pasmophobia_dev]

@mai_llj どこで注意を払うかを判断し間違えるとバグが生まれるのでそれを言語の意味論に押し上げたRustの価値はでかいと思います。コンパイルするだけでメモリ安全���が保証されるので

[pasmophobia @pasmophobia_dev]

共有リソース���リクエスト内部で閉じてるリソースの区別って厳密なライフタイム管理ないと厳しくないか？

[ちゃんまい @mai_llj]

永続化を任意のDBなりKVSなりでやってる現代のwebアプリケーションに限っていえば、Rustみたいな厳密なライフタイム管理が必要になることはあまりなくて
そもそもリクエストが処理された段階で処理過程で利用されたリソースはfreeされるべきなので