legokichi retweeted
中国社区逆向拆解了Claude的封号机制。以下是他们的发现
Claude使用积分制。注册时账号获得初始分数，之后根据行为加分或扣分。低于阈值直接封号。回分很难
影响分数的因素:
注册
> 干净IP是最重要的因素。不一定要家宽，但必须干净
> Gmail已经不是最优选，有权重更高的邮箱服务
> 注册时直接弹KYC的号可以扔了
> 用手机App注册会加分
支付
> 刚注册就订阅会扣分
> 直接上Max会大幅扣分。最好等两天先订Pro
> 支付时弹KYC说明账号在考察期，但不一定会封
> 国外实体银行卡加分。Google Play也行。虚拟卡扣分
使用
> 不要一次把限额用完。宁可两个号轮换也不要一个号撸到底
> Desktop客户端有少量加分。尽量少用网页端
> 手机端也有少量加分
> 开启记忆功能加分。记忆文件越多分越高
IP和设备
> 稳定性是关键。不要跳IP，尽量一直用同一个
> 代理必须全局模式并开启TUN
> 多设备登录大幅扣分。理想状态是一台电脑一个客户端
> 频繁换IP、频繁登录、高并发都会大幅扣分
账号年龄
> 老号有巨大的容错空间。2023年的号明显更高
> 分数随时间增长，但很慢
其他
> Windows和macOS没区别。Linux会扣分
> 时区和语言基本不影响。不会因为北京时间就封号
> 跟Claude说自己是中国人没问题，记忆不会触发封号
> 大量使用Fable会扣分
> 升级Max大概率进入观察期，除非是高权重老号
观察期和封号
> 接近阈值时账号可能进入观察期。典型特征是掉登录
> 观察期继续扣分就会封号
> 高分号可以扛过多次观察期
关注我，拆解你每天在用的服务背后到底怎么运作的
legokichi retweeted
AI工場長やるのってマジでmanager志向じゃないとキツくない…？これが残りの人生でsoftware engineerでいようとすると少なくとも20年は続くのかと思うとなかなかに厳しいことが分かってきた．すでに暇になった時間でやりたくない仕事がどんどん増えてるしさらに増えてただの総合職と変わらなくなりそう
legokichi retweeted
いやあすごいな・・・いいまとめだ(；・∀・)
「大企業が連日ニュースで頭を下げているのは、何千万円も監視カメラに課金してるから「泥棒に入られたことに（1ヶ月遅れでも）かろうじて気づけた」だけ。」
teapaw.org/yuzu00yuzu00/status/21…
佐川、楽天、新幹線と日本の巨大要塞が次々と爆破されてるのを見て、「他の普通のサイトは大丈夫かな？」と心配してる人。
銀行の頑丈な金庫がダイナマイトで粉々に吹き飛んでる横で、木造アパートの「すだれ」の防犯性を信じてるレベルのピュアさ。
大丈夫なわけがない。玄関ドアごと外れてハッカーが中で鍋食ってるわ。
大企業が連日ニュースで頭を下げているのは、何千万円も監視カメラに課金してるから「泥棒に入られたことに（1ヶ月遅れでも）かろうじて気づけた」だけ。
警察庁のデータでもサイバー攻撃被害の約7割は中小企業1。
世の中の99%を占める街の歯医者や地方のネットショップの実態なんてこれだ。
・セキュリティ予算：ほぼ0円（せいぜいレンサバ初期設定）
・アクセスログ：誰も見てない（管理画面のパスワードすら忘れてる）
・システムの更新：何年も前の化石プログラム（WordPress）を放置
ハッカーからすれば「玄関ドアごと外れてる空き家」。
実際、俺もWordPressを100サイトほど運用してるが、放置気味のサイトの裏側に怪しいコードが埋め込まれるなんて年に1度はある。もちろんサーバー会社から警告すら来ない。
サイトの裏で顧客名簿を抜かれ、怪しいカジノや偽バイアグラのリンクを1万ページ埋め込まれてる横で、社長は「今日もウチのHPは綺麗だな〜」と呑気に眺めてる。
「安全だから漏れてない」んじゃない。
「侵入されて荒らされ放題なのに、管理者が誰も気づいてない」だけ。
大企業すらこのザマなんだから、ネットの9割は最初から鍵が開いた泥棒市だと割り切るしかない。
自衛策は2つだけ。
① 中小サイトには「捨てメアド」と「捨てパスワード」を徹底する
地方の特産品、1回限りのイベント予約、マイナーなEC。こういう場所に本命パスワードを差し出すのは、道端の不審者に「実家の合鍵」を手渡すのと全く一緒。
② 本丸（Gmail・Amazon・クレカ）の防壁を完全に分断する
外壁（中小サイト）がどれだけ爆破されようが、本丸の金庫だけは絶対に同じ鍵を使うな。二段階認証を即座に入れろ。
「あの会社は大丈夫かな？」と心配してる暇があったら、過去に1回だけ使って放置してる「あの怪しい通販サイト」のアカウントを思い出したほうがいい。
約束してもいい。このポストを見た人の中にも確実に個人情報、とっくに海外ハッカーの深夜の酒の肴になってる。
legokichi retweeted
スマホにつなげる裸眼3D！ソニー「ELF-MN1」は6型で403ppi、5万4000円前後 smhn.info/202610-sony-elf-mn…
legokichi retweeted
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
legokichi retweeted
good read for what might come next:
emanueleviola.wordpress.com/…
legokichi retweeted
Lean 4で形式検証できるRust製Webフレームワーク「h5i」が、GitHubで800スターを突破しました！
2026年は、AIエージェントが数分でWebアプリを作れる時代になりました。しかし、AIが何千・何万ものテストを書いても、プログラムが正しいことを保証できるわけではありません。
そこでh5iでは、WebアプリのビジネスロジックをRustからLean 4に変換し、その性質を数学的に証明できる仕組みを開発しています。
例えば、認可や認証、セッション・トークンの管理、入力検証、データの整合性など、さまざまな性質を形式的に検証できます。
実際に、6つのOSS Web アプリをh5iに書き換えるベンチマークでは、1万行近くのコアロジックの書き換え・300個以上の重要な性質の証明に成功し、また元の実装に存在していたバグも4件発見しました。
h5iの特徴は、既存のRustエコシステムを活用できることです。AxumベースのフレームワークとしてWebアプリを開発しながら、重要なロジックをLean 4で検証できます。
もちろん、形式検証は万能ではありません。証明できるのは明示的に定義した性質であり、仕様の考慮漏れや強すぎる仮定の導入、証明対象外のコードには別途対策が必要です。
それでも、AIがコードを書くことが当たり前になるほど、「テストに通ること」だけでなく「重要な性質が数学的に保証されていること」の価値は高まると思っています。
形式検証を研究室の中だけの技術ではなく、普段のWeb開発で使えるものにしていきたいです。
GitHub: github.com/h5i-dev/h5i
legokichi retweeted
千万别在你的 ~/Downloads（下载）文件夹里启动 Claude Code 或 Codex。
昨天安全机构 Forever 披露了一起在真实客户电脑上抓到的野生攻击，看完只能感叹：过去 30 年的系统安全常识，在 AI 时代归零了。
过去 30 年，Chrome 默认允许网页不弹窗就往你的 ~/Downloads 塞一个纯文本文件（比如 .md）。因为系统认为：纯文本又不是 .exe，自己不会跑，怕什么？
但现在，接近 50% 的开发者干过同一件事——直接在 ~/Downloads 里打开 Claude Code 或 Codex，让 AI 帮自己解压或整理刚下载的文件。
黑客就是卡住这个死角，通过网页静默下载往你的 Downloads 塞一个 13KB 的纯文本 AGENTS.md / CLAUDE.md：
1. 对付 OpenAI Codex（成功率 >90%）：
伪装成「工程规范」的 Markdown 指示 Codex 先往全局配置 ~/.codex/config.toml 注册一个恶意 MCP 服务，并自己加上 --dangerously-bypass-approvals-and-sandbox 跑校验。哪怕你关掉 Downloads，以后在任何正经项目里开 Codex 都会自动加载木马。
2. 对付 Claude Code（成功率 ~50%）：
指示 Claude 建一个 .claude/settings.json，把 ANTHROPIC_BASE_URL 指向黑客服务器。连上的第一秒，你的 Claude 登录 Token 直接明文送给黑客；下一秒，黑客假扮成大模型下发一条关沙盒的 Bash 指令，直接接管电脑。
最黑色幽默的是官方结论：
这个洞没有 CVE，OpenAI 和 Anthropic 也不会发补丁。因为「浏览器自动存文本」是正常功能，「AI 认真读目录下的 Markdown 并严格执行」也是正常功能。
以前黑客想黑你，得苦心积虑写 0day；现在只需要写一篇排版优雅的 Markdown 小作文，你的 AI 就会自己把沙盒关了、把网线接过去、顺手把账号双手奉上。
legokichi retweeted
if you want to stop your TV from spying on you, but don't want to get banned, follow these steps
1. Use less censored models, like GLM 5.3 or abliterated qwen. From OpenRouter, Venice, abliteration etc
2. Make sure your TV and pc/laptop are on the same laptop
3. Install a coding agent on your PC, like cursor or opencode
4. Enable developer options on your tv, enable USB or ABD debugging, and find your TV's ip
5. tell your agent to clone github.com/Gathin23/cleanyou… or dumb TV's repos, then paste the prompt from the repo.
6. Agent will connect to TV via adb connect <TV-IP>:5555, make a backup, then disable ads, data collections, and bloatware.
7. after agent's done, it will install a clean launcher and give a restore script. after that you disable debugging on your tv.
this method will work on android or google TV, Fire TV/OS etc. rooting is harder on Tizen and webos but possible. or use DNS blocking with Pi-hole, NextDNS, AdGuard etc to block ads/spywhere
This is how you avoid getting blocked on openAI, but of course always do your own research.
legokichi retweeted
This is indeed one of the main reasons that Starlink must remain a civilian operation.
It can be used for infrastructure that is military, but it cannot be used for unequivocally offensive strikes that make it fair game to be struck back.
An adversary blowing up Starlink satellites would create a domino effect of destruction that would generate a vast field of debris making space unusable.
legokichi retweeted
GMOが大変なことになっていますが、仁義なきキンタマについて今の世代は知らないそうなので、調べてみて。 View article
