quantized-cube

データサイエンティストのような何か

[quantized-cube @quantized_cube]

幾分ましになったので、ブログにも書いた
https://t.co/ZvYjY6hxJN

[quantized-cube @quantized_cube]

OpenAIの件で数学界隈はかなり盛り上がってるようですね

[quantized-cube @quantized_cube]

拼音発音確認アプリ、全くコード見てないけどいい感じになってきたのではなかろうか
https://t.co/87tpqcTd2H
日本語がダサいのは直したいw

[Dolphin7473 @Dolphin7473]

ひええ
> 「OpenAI の論文は正しい．もっと短く，人間にわかりやすくできるので今書いている．このアイディアでほかの関連問題も解ける．我々は今まで30年間間違った方向を向いていた．」
https://t.co/FfYqkmjOQr

[quantized-cube @quantized_cube]

https://t.co/Igr6o3bLpy

[Thariq @trq212]

We're adding support for AGENTS.md to Claude Code.

Starting today in version 2.1.277, if there is no CLAUDE.md in a folder, Claude will check for and use AGENTS.md.

You can toggle this behavior in /config.

[quantized-cube @quantized_cube]

こっち
https://t.co/H6M4Fg3P94

[quantized-cube @quantized_cube]

あれ、リポストって別のタブ？に行くのか

[quantized-cube @quantized_cube]

semgrep が面白そう

[quantized-cube @quantized_cube]

最近ブログを移行した
もうちょっと整えたいけどまあ最低限はできてるはず
https://t.co/I5GWp1nseu

[quantized-cube @quantized_cube]

最近直ってた
とはいえリスト追加はやっぱりやりにくい

[quantized-cube @quantized_cube]

AmazonのリストがぐちゃぐちゃになってるなにこれなんでこんなくそUIにしたんだ

[quantized-cube @quantized_cube]

ABC順でいい感じになるように名前つけてんのにそれを破壊しに来るとかふざけてる

[uehaj @uehaj]

Jevのキラーアプリ、「意味で探す grep」を作った。

semgrep -e "顧客が怒っている" と打つと、"angry" も「怒」も含まない行まで拾ってきます。

正規表現の代わりに、TypeSafe AI の Jev（System One モデル）に 1 行ずつ「この行は○○の意味に合うか」を yes/no 確率で答えさせる。Jevの特性を活かして30 行をまとめて 1 リクエスト、200 行のログが 1 秒弱で返ります。依存ゼロ、Node 1 ファイル。

grepに準じるオプション体系。

・-e A -e B で OR、-a で AND、-v で AND NOT
・-r で再帰、-l でファイル名だけ、-A/-B/-C で前後の行、--color
・確率の閾値は --level loose / strict で調整

ベクトル検索と何が違うかというと、否定検索もできるし、話題の近さではなく「命題が成り立つか」を見るところです。「返金してほしい」と「返金処理が完了しました」は埋め込みではほぼ同じ距離ですが、「顧客が返金を求めている」という意味で引くと 0.98 と 0.10 に分かれます。だから AND や NOT がそのままブール演算として効きます。「返金の話だが要求ではない行」なども 1 コマンドで検索できます。

問合せは「意味」でおこなうので、多言語検索が普通に可能。日本語と英語の区別もフランス語もロシア語も、その混在文書からも検索できます。仏・露・独・西・中・韓14行を4言語（日・英・仏・露）の意味クエリで検証した���果、取りこぼしも誤爆もゼロで、どの言語で意味を書いても同様に機能します。

以下で試せます。
npx @uehaj/semgrep -e "ネットワーク障害" app.log

GitHub: https://t.co/4ynBSTU2JI

#Jev #TypeSafe #grep #ClaudeCode

[quantized-cube @quantized_cube]

数学の文章だったら1文字でも分からないところがあったら引っかかるんだけど、仕事の文章だとあーなんとなくそういうことね、でスルーしちゃうのよくないな

[数理ちゃん @yohaku121244]

87年間未解決だったヤコビアン予想が、AIのFableが発見した反例によって否定的に解決されました！

この予想は代数幾何学の名��Hartshorneにも、未解決問題として演習に掲げられていた問題です。
しかも、その反例は人間の手でも検証できるほど簡潔です。まさかこんな形で決着するとは驚きですね！

[quantized-cube @quantized_cube]

だいぶ昔に作ったアプリをちょっとリファクタリング+αした
https://t.co/fduSSJjTUC

[quantized-cube @quantized_cube]

KTOK発見
https://t.co/lwjirmNkAM

[quantized-cube @quantized_cube]

拡散モデルは高級な言い訳つき最小2乗法
https://t.co/bkpLZtg2ub

[quantized-cube @quantized_cube]

1社目の同期発見

DA・DS出身3名のキャリア変遷とその裏側ーAI時代に自分の価値を出すヒントを得るー

https://t.co/R2pwVWC5zu

#DCT_findy