黎

Howdy ex. blockchain

[黎 @re1_sys]

こんばんは^_^

[不条理 @Zp3Ov]

稼ぐ事が目的の事業主は病む。稼いだ先に目的がある事業主はしぶとい

[GIGAZINE(ギガジン) @gigazine]

速い呼吸法と音楽を組み合わせることで幻覚剤が引き起こす変性意識状態(ASC)に似た体験ができる(2025)

[黎 @re1_sys]

@Tora_Kizu ありがとう！
おお！そうなんですね^_^

[黎 @re1_sys]

18歳なった
今年はこれモットー
https://t.co/xZUnAz2dd5

[黎 @re1_sys]

@fuga_135 thx

[黎 @re1_sys]

ai slop

[コンサルマン＠FlowX | コンサル転職エージェント @mr_grayhair]

AI時代において、「FDE（Forward Deployed Engineer）」という職種が注目されているけど、非エンジニアのコンサルキャリアが見るべきは「DS（Deployment Strategist）」

FDEは「現場で動くソリューションを実装する人」。技術で価値を証明する役割。
一方DSは「企業価値そのものを設計する人」。戦略策定→施策設計→変革リードを担う。非エンジニアのコンサルが戦うべきはDS側。

[教祖そら @kyousosora3]

稼ぎ方についていちいち良し悪しを指摘してるやつ大抵貧乏人なのおもろいな
お前はクリーンかどうかよりもまず金ないことを気にしろよw
たまにいるガチの金持ちについてはまだそのフェーズに行けないのですんませんとしか思わんけど

[ْ @tera_topi0619]

SNSで売れない人は「教育しよう」としますが、教育は距離を作るばかり

一方”洗脳”を目指すと距離は消えます。この動きが出来ているときにファンができます

SNSとプロダクトローンチは洗脳ゲームと思いなさい

そもそも”教育”というワードは烏滸がましい上から目線で、詰めが甘く横柄な印象あります

[Anthropic @AnthropicAI]

The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.

The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.

Access to all other Claude models is not affected.

We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.

Read our full statement: https://t.co/bwn0sximKZ

[Claude @claudeai]

Introducing Claude Fable 5: a Mythos-class model that we’ve made safe for general use.

Its capabilities exceed those of any model we’ve ever made generally available.

[刘醒 @xingxingli45573]

又挖到一个好东西，叫 Taste Skill，GitHub 上已经拿了 20.3k Star。

简单来说，装上它之后，AI 生成的前端界面会好看很多。布局、字体、动效、留白，各方面都有明显提升，整体看起来有高级感。

它提供了好几个设计方向可以选，比如通用高级感、极简风格、粗野主义，还有一个专门用来改造老项目的审计修复技能，适合给已有页面做升级。

另外还有个图片技能挺有意思，可以先让 AI 生成网页或移动端的设计稿，然后再交给编程工具去实现，相当于把设计和开发拆成了两步走。

它还提供了三个可调参数，分别控制布局的实验程度、动画的丰富度和信息密度，可以根据自己的需求灵活调整，不会把你锁死在某一种风格里。

如果你经常用 AI 来构建前端应用，又受够了那种千篇一律的模板页面，可以装一个试试，效果确实不错。

传送门：https://t.co/Z0BERdH3eN

[GitHub @github]

We are investigating unauthorized access to GitHub’s internal repositories. While we currently have no evidence of impact to customer information stored outside of GitHub’s internal repositories (such as our customers’ enterprises, organizations, and repositories), we are closely monitoring our infrastructure for follow-on activity.

[チャエン | デジライズ CEO《重要AIニュースを毎日最速で発信⚡️》 @masahirochaen]

【朗報】Claude Codeが「/goal」追加

完了条件を一行書けば、Claudeが達成まで自走。
もう、「続けて」の連打が不要に。auto mode併用で完全放置も可能。

・完了条件を1行で指定
・毎ターンHaikuが達成判定
・未達なら理由付きで継続
・「Ralph loop」内蔵化

[ollama @ollama]

Ollama now supports Codex app!

To try it, update to the latest Ollama 0.24, and run:

ollama launch codex-app

Select an open model to use with Codex app!
🧵

[Nyx Foundation @NyxFoundation]

【お知らせ】

コードではなく「仕様書」からバグを見つけるAIセキュリティ監査ツールを、本日OSS公開しました。

名前はSPECA。Specification-to-Checklist Agentic Auditing Framework の略です。

SPECAは、「仕様駆動（Specification-driven）」で高信頼性ソフトウェアを監査するための、AIエージェント型セキュリティ監査フレームワークです。

従来のコード駆動型ツールとは、根本的に異なるアプローチを取っています。

自然言語で書かれた仕様、たとえば EIP やコンセンサス仕様書などから、まず 明示的な型付きセキュリティプロパティ（Invariant / Precondition / Postcondition / Assumption） を抽出します。

次に、それらを STRIDE + CWE Top 25 に基づく脅威モデルで整理します。

そのうえで、各実装に対して proof-attempt reasoning、つまり「このプロパティが成立することを証明してみろ」と構造的に問いかけることで、仕様と実装のギャップを検出します。

これにより、次の3つの価値を提供します。

- 仕様レベルでしか表現できない脆弱性: コードパターンだけでは拾えない、仕様由来のバグを検出できる

- 複数実装間の横断比較: 同じプロパティ辞書で、複数の実装を一律に評価できる

- 偽陽性の原因分析: 根拠を完全にトレースし、偽陽性を根本原因ごとに分解できる

「これまでの実績」

SPECAは、これまで以下のような対象で実際に脆弱性を発見してきました。

・Intmax ZK実装
・SP1 zkVM実装
・Ethereumクライアント実装20件以上
・その他多数の DeFi プロトコル / OSSプロジェクト

直近の Sherlock Ethereum Fusaka 監査コンテストデータを用いた再実験では、既知の脆弱性15件すべてを検出し、さらに 追加バグ4件を独立に発見しました。

RepoAudit C/C++ ベンチマークでも、他のバグ発見AIと比較して最高水準の精度を維持しつつ、12件の新規候補バグを報告しています。

「なぜ今、全部OSS公開するのか？」

SPECAの核心である以下の要素を、すべて公開しています。

- プロンプト: AIエージェントのハルシネーションを徹底的に抑えるproof-attemptプロンプト設計

- 再帰的自己改善: 偽陽性を削減しながら H/M/L リコールを維持する 3-gate audit-reviewループ
（Dead Code / Trust Boundary / Scope）

- ハーネス: 並列化、リジューム、予算制御、circuit breakerまで完備した 再利用可能なPythonオーケストレータ

- 解釈可能性: 全ステップのログ・出力をJSONで構造化し、監査可能・解釈可能にした設計

バグバウンティのスコープやルールをそのまま BUG_BOUNTY_SCOPE.json として読み込み、実践的な脆弱性だけを抽出する設計です。

Claude Code CLI + MCPサーバーで動作し、Go / Rust / Nim / TypeScript / C などマルチ言語に対応しています。GitHub Actionsで全フェーズを自動実行できます。

公開の決め手はシンプルです。

エンタープライズのセキュリティ部門でも、ClaudeやOpenAIを活用したセキュリティツールを導入する選択肢が現実的になってきました。

その今なら、SPECAをオープンに公開しても、ただ攻撃に悪用されるのを指をくわえて見ているだけではない。防御側・ホワイトハッカー側が先に活用できる環境を作れると判断しました。

攻撃者より先に、ホワイトハッカーが現実システムのバグを見つけ、報告し、修正につなげられる世界を作りたい。

「Call for white-hat hackers」

ホワイトハッカーの皆さん、どうかこのSPECAを使ってください。

悪意あるハッカーより先に、バグバウンティ対象の現実システムの脆弱性を発見しきって、報告し、修正に導いてください。

あるいは、これをベースに、より高度なバグ発見システムを構築する研究・開発の土台にしてください。

プロンプトも、ループも、ハーネスも、JSONログも、全部MITライセンスで公開しています。好きなだけ改造・拡張・フォークしてください。

「使い方」

repoをcloneして、次のコマンドを実行するだけです。

uv run python3 scripts/run_phase.py --target 04 --workers 4 --max-concurrent 64

コマンド一つで即座に動かせます。

BUG_BOUNTY_SCOPE.json と TARGET_INFO.json を用意するだけで、新しいターゲットの監査を開始できます。

GitHub: https://t.co/raP8RZDP57

READMEと全ソースコードを読めば、すぐに動かせます。

セキュリティ界隈の皆さんと一緒に、仕様から始まる本物の監査文化を次のステージに押し上げたいと思っています。

ご意見・改善案・バグ報告・コラボレーションも大歓迎です。RT・コメント・試用報告、どれでも構いません。ぜひ反応いただけると嬉しいです。

[Polymarket Money @PolymarketMoney]

Today's AI recap:

[Claude @claudeai]

We’ve agreed to a partnership with @SpaceX that will substantially increase our compute capacity.

This, along with our other recent compute deals, means that we’ve been able to increase our usage limits for Claude Code and the Claude API.

[watak @watakplusphi]

Sol Hack3rsをHisa(@hisa_hack3rs)含む3人で立ち上げて、今日(5/4)で丸々1年経ちました。(投稿は8月)

公認会計士勉強を辞め、Cryptoの浅い知識で業界の右も左も分からない中、Hisaが開いたSolanaのイベントで残りの2人と出会いました。

間違いなく、人生を変えた出会いでした。
今でも仲良くやっています。

若者が作る世界観を、引き続きよろしくお願いします!!!!