ChillHaven𝕏

대한민국 축구 국대 감독아, 이 사건 기억하지? 아 그냥 기억하냐고 묻기만 하는 거야. 다른 뜻 없어. < 자책골 넣은 콜롬비아 선수 총격 사망 사건> 1994년 미국 월드컵 당시 자책골을 기록한 콜롬비아 축구 국가대표팀 수비수 안드레스 에스코바르(Andrés Escobar)가 1994년 7월 2일 고향 메데인의 한 나이트클럽 주차장에서 괴한의 총격에 피살된 사건입니다. 사건의 주요 내용과 배경은 다음과 같습니다. •자책골 발생: 미국과의 조별리그 2차전에서 에스코바르가 기록한 자책골로 인해 콜롬비아는 1-2로 패배했고, 강력한 우승 후보로 꼽혔음에도 조별리그에서 탈락했습니다. •피살 사건: 귀국한 에스코바르는 7월 2일 메데인의 한 술집을 찾았다가 3인조 괴한과 시비가 붙었습니다. 범인들은 그의 자책골을 조롱하며 권총 6발을 발사했고, 에스코바르는 병원으로 이송되었으나 27세의 나이로 사망했습니다.

516

116

ChillHaven𝕏

@kreia

18 days ago

독하다독해

아스피날

@sonsarang3814

19 days ago

■하이닉스가 삼전을 꺾은 이유 마누라까지 바꿨기 때문이다.

651

107

136K

184

ChillHaven𝕏

@kreia

19 days ago

@zsdcxa13 구리산도 절취하는 마당에 메가팟 상용화에는 물리적 보안 체계가 필요하겠네요 고가의 인프라일테니

190

kreia retweeted

Bilaal- BD investing

@bdinvestingg

2 months ago

When your CEO looks like this…you go all in $AMD

128

153

210

338K

kreia retweeted

AYi

@AYi_AInotes

2 months ago

Damn，Redis创始人用一个C文件，干翻了大厂烧几十亿的GPU集群。 Antirez，那个写出Redis的传奇黑客，昨天开源了ds4。一个专门为DeepSeek V4 Flash写的原生推理引擎，只有几千行C代码。它做到了一件很多人都觉得不可能的事：把拥有1M上下文窗口、能跑完整coding agent循环的准前沿模型，完整跑在一台普通的128GB MacBook Pro上。 YC CEO Garry Tan看完直接转发，只说了一句话： “正在下载… 1M上下文+可用的coding agent能力，全在一台128GB MacBook上，这太疯狂了🤯” 这已经不是一个普通的量化项目那么简单了铁汁们，属于顶级黑客用极致的系统工程，把闭源实验室烧几十亿才能玩的东西，压到了每个人的笔记本里。他的三个黑客级操作，每一个都颠覆了行业常识： 1. 不对称2-bit量化：只对MoE里占90%体积的专家部分做2-bit压缩，所有关键路径保持全精度。质量损失极小，Antirez本人亲测“coding agent工作良好，能可靠调用工具”。 2. 把KV Cache扔到SSD：很多人都觉得KV Cache必须放内存，1M上下文会直接炸掉128GB内存。他直接把KV Cache搬到了苹果的高速SSD上，用磁盘当扩展内存，彻底突破了硬件天花板。 3. 纯Metal原生优化：没有任何多余的封装，没有通用框架的开销，所有代码只为Apple Silicon写，只为DeepSeek V4 Flash写。实测性能：M3 Max 128GB上稳定27 tok/s。不算快，但对本地跑agent循环来说，完全够用了。你不用再给OpenAI付API费，不用再担心数据泄露，不用再忍受网络延迟。所有的AI能力，完完全全在你自己的电脑里。卧槽，这才是真正的革命，过去AI的权力攥在少数几家大厂手里，他们有GPU集群，定价格，甚至说删就删。现在，一个黑客用几千行C代码，就把这个权力还给了每一个开发者。开源AI真的是不可阻挡的，大厂烧几十亿训练出来的模型，只要权重一开源，全世界的黑客就会用你想象不到的方式，把它优化到每一个能跑的设备上。今天是MacBook，明天是手机，后天是手表，太让人兴奋了！ 2026年5月9日，AI终于从云端的神坛，落到了每个人的笔记本里。或许这一天，会被写进历史！

107

582

561K

kreia retweeted

미네르바의올빼미

@mad20130301

2 months ago

뇌과학자 앤드류 휴버맨 인터뷰. 어른 뇌도 자란다는 이야기였는데, 끝까지 듣고 나니 핵심이 좀 의외였다. 결국 중요한 건 집중을 해야 한다는 건데.. 집중할 때 뇌가 자라는 게 아니라, 자는 동안 자란다는 거다. 집중은 그저 흠집을 내는 작업이고, 그 흠집이 새 회로로 메워지는 건 잠 속에서라고. 근육이 자는 동안 붙는 것과 꼭 같은 원리. 우리는 책상 앞에 앉아있던 시간을 공부량이라 부른다. 그런데 그게 절반짜리였던 거다. 나머지 절반은 잠에서 진행되고 있었는데, 정작 잠을 줄여 책상 시간을 늘리는 방식으로 살아왔다. 옆에서 보면 분명 나보다 덜 보는 것 같은데, 결정적인 순간에 더 잘 읽어내는 사람들이 있었다. 머리가 좋은 게 아니라 회복을 잘했던 건지도 모르겠다. 열심히 읽고 보는데 실력이 느는지 모르겠다면 계속 봐야지.. 더 많이 봐야지.. 그러면서 한가지가 더 필요한 거지.. 충분한 휴식. 계속 보되, 잘 잘 것.

mad20130301's tweet photo. 뇌과학자 앤드류 휴버맨 인터뷰. 어른 뇌도 자란다는 이야기였는데, 끝까지 듣고 나니 핵심이 좀 의외였다.

결국 중요한 건 집중을 해야 한다는 건데.. 집중할 때 뇌가 자라는 게 아니라, 자는 동안 자란다는 거다. 집중은 그저 흠집을 내는 작업이고, 그 흠집이 새 회로로 메워지는 건 잠 속에서라고. 근육이 자는 동안 붙는 것과 꼭 같은 원리.

우리는 책상 앞에 앉아있던 시간을 공부량이라 부른다. 그런데 그게 절반짜리였던 거다. 나머지 절반은 잠에서 진행되고 있었는데, 정작 잠을 줄여 책상 시간을 늘리는 방식으로 살아왔다.

옆에서 보면 분명 나보다 덜 보는 것 같은데, 결정적인 순간에 더 잘 읽어내는 사람들이 있었다. 머리가 좋은 게 아니라 회복을 잘했던 건지도 모르겠다.

열심히 읽고 보는데 실력이 느는지 모르겠다면 계속 봐야지.. 더 많이 봐야지.. 그러면서 한가지가 더 필요한 거지.. 충분한 휴식.

계속 보되, 잘 잘 것.

741

232

337

44K

kreia retweeted

크롱

@Krongggggg

2 months ago

Osmani 이분은 워낙 구글에서 유명한분이라... 더말해봤자 입아프고... 구글에서 검증된 스킬이니 킵해놨다가 무조건 써보시길 추천드림. 이 repo가 재밌는 건 에이전트를 더 똑똑하게 만드는게 아니고 매번 같은 실수를 안 하게 운영하는 쪽에 베팅한 부분임. https://t.co/muqReqKrxp

342

496

15K

kreia retweeted

DeepTechTR 🇹🇷

@DeepTechTR

2 months ago

🚨 forge3d, Python ile yüksek kaliteli 3D geospatial rendering konusunda sessiz sedasız çok önemli bir adım attı. Şimdi GitHub’da 300 star’a ulaştı ve bu rakam, projenin gerçek potansiyelini gösteriyor. Terrain, uydu imagery ve harita verilerini tek seferde, karmaşık ara katmanlar olmadan, doğrudan profesyonel kalitede 3D sahneye dönüştürebiliyorsunuz. Şehir planlamacıları, coğrafi veri analistleri, dijital ikiz geliştiricileri ve görselleştirme uzmanları için oldukça güçlü bir araç hâline geliyor. Veri → sahne geçişini inanılmaz derecede sadeleştiriyor. Milos’un geliştirdiği bu projenin bu kadar hızlı ilgi görmesi tesadüf değil. 🔗 GitHub: https://t.co/OukgNPGGm9 Sizce Python tabanlı bu tür 3D geospatial rendering araçları, mekânsal veri görselleştirmesini ve dijital ikiz projelerini ne ölçüde dönüştürecek? Düşüncelerinizi yorumlara yazın, konuşalım. 🛰️ @milos_gis

kreia retweeted

GitTrend

@GitTrend0x

2 months ago

Hermes 又集体进化了！轻量 Web UI、原生工作空间、实时 Dashboard+Wiki、Meta 反思技能包、Awesome 社区圣经……全网程序员把 Hermes 玩成了下一代 Agent 移动指挥台 + 工作空间 + 灵魂监控舱 + 自我反思大师 + 导航地图： 1️⃣ hermes-webui（https://t.co/EYpeGa1g4w）轻量暗黑 Web UI，浏览器/手机完整聊天 + 实时流 + Mermaid + 语音。 “手机上指挥 Agent”天花板实锤！ 2️⃣ hermes-workspace（https://t.co/IjMwS0zvUn）原生 Web 工作空间：聊天+终端+记忆+技能+子 Agent 一体，一行 curl 搞定。 Agent 指挥中心上线😂 3️⃣ hermes-dashboard（https://t.co/Y3insgftNF）实时监控 + 自动 Wiki，skills/plugins/memory/soul 一键搜索。 “终于能看懂 Agent 灵魂”了！ 4️⃣ super-hermes（https://t.co/6mNuafHzi4） Meta 思考技能包：自己写 prompt + 报告“找到什么+漏掉什么”。 Agent 学会反思盲区，太 meta！ 5️⃣ awesome-hermes-agent（https://t.co/2QVFSb4Dlb） 1.7k+ star 社区圣经，skills/tools/forks 全收录。 Hermes 玩家的“导航地图”实锤！ // 为什么这些新进化体这么炸？这些项目全部已验证公开开放，共同点：全吃 Hermes 底层循环当 DNA，社区再疯狂补 Web UI、工作空间、实时 Dashboard、Meta 反思、Awesome 圣经……生态卷速肉眼可见。

237

329

38K

kreia retweeted

小弟调调

@jaywcjlove

2 months ago

一个人。一艘海军军舰。一个文件。1 万亿个数据库。他独自在 2000 年完成，并永远免费赠予全世界。🤯 认识 D. Richard Hipp 🇺🇸 ▶ 美国开发者，1961 年生于北卡罗来纳。 ▶ 2000 年，他在美军驱逐舰上做承包商。 ▶ 因厌倦需要服务器和繁琐配置的大型数据库，在业余时间开发了 SQLite —— 一个单文件数据库引擎。 ▶ 无服务器、无安装、无配置，只有一个文件。 ▶ 25 年后，每台 iPhone、Android、Mac、Windows 电脑都运行着 SQLite。 ▶ 驱动 Chrome、Firefox、Safari、WhatsApp、iMessage、Skype。 ▶ 运行在特斯拉汽车和商用飞机上。🚀 ▶ 全球活跃 SQLite 数据库超过 1 万亿个。 ▶ 他把全部代码放入公共领域，永远零版税。 ▶ 万亿美元级公司使用他的代码，他一分钱都没收过。 ▶ 至今仍与 3 人小团队全职维护。 ▶ 承诺至少支持和更新至 2050 年。 ▶ 无 VC、无收购、无聚光灯，只有代码。你手机上的每个 App 都在运行他隐形的杰作。大多数工程师为名声而造，他为永恒而造。数据库 GOAT。🐐

266

149

42K

kreia retweeted

Owen Lewis

@is_OwenLewis

2 months ago

This is actually huge news. Well on the way to more easily dealing with radiation in space. Korean scientists just created an ultra-thin radiation shield: thinner than a human hair, stretchy like rubber, and highly effective against both electromagnetic waves and neutron radiation. The new composite material blends carbon nanotubes (for blocking electromagnetic waves and conducting heat/electricity) with boron nitride nanotubes (excellent neutron absorbers). Even at minimal thickness, it blocks 99.999% of electromagnetic waves and cuts neutron radiation by ~72%. The material is extremely lightweight, flexible (stretches to double its length), and easily 3D-printable into custom shapes (honeycomb patterns boost shielding performance by an extra 15%). And, it performs well across a variety of extreme temperatures and environments. Lead researcher Joo Yong-ho explained: “This material represents a completely new concept in shielding technology — it is as thin as tape and as flexible as rubber, yet simultaneously blocks both electromagnetic waves and radiation.” Perfect for protecting satellites, spacecraft electronics, nuclear propulsion systems, and astronauts without adding much mass. It could also find uses here on Earth in medical devices, semiconductors, and terrestrial nuclear applications. 📸 Korea Institute of Science and Technology Source: https://t.co/fEKjcEnX0p

is_OwenLewis's tweet photo. This is actually huge news. Well on the way to more easily dealing with radiation in space.

Korean scientists just created an ultra-thin radiation shield: thinner than a human hair, stretchy like rubber, and highly effective against both electromagnetic waves and neutron radiation.

The new composite material blends carbon nanotubes (for blocking electromagnetic waves and conducting heat/electricity) with boron nitride nanotubes (excellent neutron absorbers). Even at minimal thickness, it blocks 99.999% of electromagnetic waves and cuts neutron radiation by ~72%.

The material is extremely lightweight, flexible (stretches to double its length), and easily 3D-printable into custom shapes (honeycomb patterns boost shielding performance by an extra 15%). And, it performs well across a variety of extreme temperatures and environments.

Lead researcher Joo Yong-ho explained: “This material represents a completely new concept in shielding technology — it is as thin as tape and as flexible as rubber, yet simultaneously blocks both electromagnetic waves and radiation.”

Perfect for protecting satellites, spacecraft electronics, nuclear propulsion systems, and astronauts without adding much mass. It could also find uses here on Earth in medical devices, semiconductors, and terrestrial nuclear applications.

📸 Korea Institute of Science and Technology

Source: https://t.co/fEKjcEnX0p

107

413

669

69K

kreia retweeted

Nyx Foundation

@NyxFoundation

2 months ago

【お知らせ】コードではなく「仕様書」からバグを見つける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・コメント・試用報告、どれでも構いません。ぜひ反応いただけると嬉しいです。

NyxFoundation's tweet photo. 【お知らせ】

コードではなく「仕様書」からバグを見つける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・コメント・試用報告、どれでも構いません。ぜひ反応いただけると嬉しいです。

400

726K

kreia retweeted

Claude

@claudeai

2 months ago

New for financial services: ready-to-run Claude agent templates for building pitches, conducting valuation reviews, closing the books at month-end, and more. Install them as plugins in Cowork and Claude Code, or use our cookbooks to run them in production as Managed Agents.