AIサイバーセキュリティは「プルーフ・オブ・ワーク」ではない
最近の関連トピック:『今のサイバーセキュリティは、まるでプルーフ・オブ・ワークだ』 - https://news.ycombinator.com/item?id=47769089 (コメント数198件)
海外掲示板から厳選した技術情報を日本語でお届け
海外の人気投稿を毎日自動翻訳
最近の関連トピック:『今のサイバーセキュリティは、まるでプルーフ・オブ・ワークだ』 - https://news.ycombinator.com/item?id=47769089 (コメント数198件)
Samsung製のテレビがCodexによってハッキングされるという事態が発生しました。
Matlabで書いた資産をPythonの世界で活かしたいと思ったことはありませんか?「Python Package Compiler」を使えば、MatlabのプログラムをそのままPythonパッケージとしてコンパイルし、デプロイすることが可能です。既存のMatlab資産を活用しつつ、Pythonの強力なエコシステムと統合するための画期的なソリューションです。
Claude Codeの利用料が週1,400ドル(約20万円!)にも達していることに気づいたのですが、一体何にトークンが消費されているのか全く把握できていない状態でした。 ccusageのようなツールでモデル別・日別のコスト内訳は見られますが、私が知りたかったのは「どのタスクにどれだけ使っているか」というレベルの分析でした。 そこで開発したのが「CodeBurn」です。Claude Codeがローカル(~/.claude/projects/)に保存しているJSONL形式のセッションログを読み込み、ツールの利用パターンに基づいて各ターンを13種類のカテゴリーに自動分類します(LLMによる分類は行わないため高速です)。 分析の結果、驚くべき事実が判明しました。コストの約56%がツールを使用しない単なるチャットに消費されており、実際のコーディング(ファイルの編集や作成)に使われていたのはわずか21%程度だったのです。 インターフェースにはInk(React for Terminal)を採用し、グラデーション付きの棒グラフやレスポンシブなパネルを備えたインタラクティブなTUIに仕上げました。macOS向けのSwiftBar統合機能も用意しています。 ぜひフィードバックやアイデアをいただけると嬉しいです!
HyperCard上でトランスフォーマーを動かしました。パラメータ数は1,216。マシンは1989年製のMacです。もちろん、学習にはそれなりの時間がかかりました。「MacMind」は、埋め込み表現、位置エンコーディング、セルフアテンション、バックプロパゲーション、勾配降下法を網羅した完全なトランスフォーマーニューラルネットワークです。すべては1987年にAppleがHyperCardに同梱したスクリプト言語「HyperTalk」で実装されています。コードはHyperCardのスクリプトエディタですべて閲覧可能で、ボタンをオプションクリックすれば、数学的なアルゴリズムを直接確認できます。今回取り組んだタスクは、高速フーリエ変換(FFT)の初期段階である「ビット反転置換」の学習です。モデルにはあらかじめ与えられた公式はなく、アテンションと試行錯誤を通じて自律的にパターンの位置を導き出します。学習193ステップ目には、精度が50%、75%、100%の間で振動し始め、まるでボールがボウルの中に転がり落ちるように収束しました。この「知能」を司る1,216個の数値は、HyperCardスタック内の隠しフィールドに保存されます。ファイルを保存して終了し、再び開いてもモデルは学習済みの状態で正しく動作します。System 7からMac OS 9まで、あらゆる環境で動くのが特徴です。物理学専攻だった私にとって、信号処理や量子力学、波形分析の心臓部であるFFTは旧友のような存在です。このプロジェクトを立ち上げたのは、AIが私たちの生活に浸透する今こそ、その実態を正しく理解すべきだと考えたからです。バックプロパゲーションもアテンションも、魔法ではなくただの数学。そして数学は、それがTPUクラスターで動こうが、1989年製の68030(CPU)で動こうが一切関係ないのです。リポジトリには、学習済みスタック(1,000ステップ)、自由にトレーニングできる白紙スタック、そして数学的妥当性を検証するためのPython/NumPy実装版が含まれています。
回路変換、ループ融合(Loop Fusion)、そしてそれらを裏付ける帰納的証明についての技術的議論です。コンパイラの最適化や計算モデルにおける変換アルゴリズムの正当性をいかに論理的に保証するか、その核心に迫ります。
ジョージ・オーウェルの名著『1984年』において、物語のキーアイテムである「自動作文機(小説執筆機)」は、まさに現代のLLMが吐き出すAI生成コンテンツを彷彿とさせます。彼がかつて空想の中で描いた「人間が介在しない無機質な大量生産コンテンツ」の未来は、皮肉にも今、我々の目の前で現実のものとなっています。
世間では「不労所得」という言葉が飛び交い、自動化やスケーラブルな収益モデルばかりが持てはやされていますが、それこそが現代の起業家たちを迷走させる最大の罠かもしれません。何もせずに稼ぎ続けるという幻想を追い求めるあまり、本質的な価値提供や顧客との対話という、泥臭くも最も重要なビジネスの土台がおろそかにされていませんか?「楽して稼ぐ」という呪縛から解き放たれ、エンジニアや起業家としての本来のクリエイティビティを取り戻す時期に来ているのかもしれません。
デューク大学のゲームデザイン教育において、あのキュートでユニークな携帯ゲーム機「Playdate」が革命を起こしています。果たしてこの小さなデバイスが、学生たちのクリエイティビティと開発プロセスにどのような変化をもたらしたのでしょうか?
ゲーテとシラーによる伝説的な風刺詩集『クセニオン(Xenien)』。1896年版の復刻に際し、当時の文壇を震撼させた彼らの鋭い批判精神と、今なお色褪せない毒舌の真髄に迫ります。
NASAのスペースシャトル計画を支え、数々のミッションを遂行した伝説の汎用コンピュータ「IBM AP-101」。その驚異的な信頼性と設計思想に迫る技術資料(PDF)のご紹介です。
Artifactsは、Gitのインターフェースで操作可能な次世代のバージョン管理ストレージです。シンプルかつ強力なアプローチで、バイナリデータや成果物の管理を劇的に効率化します。
やあ!共同創業者のTarunと共に「Kampala」を開発したAlexです。Kampalaは、MITM(中間者攻撃的)プロキシを活用して、脆弱なブラウザ自動化やComputer Useエージェントに頼ることなく、既存のワークフローをエージェント的にリバースエンジニアリングできるツールです。Webサイトはもちろん、モバイルアプリやデスクトップアプリにも対応しています。デモ動画はこちら: https://www.youtube.com/watch?v=z_PeostC-b4 多くの人が、レガシーなダッシュボードやオンプレミス環境で、日々何時間もかけてプラットフォーム間のデータ照合を行っています。現在の自動化手法の主流であるブラウザ自動化やAIエージェントは、壊れやすく、動作が遅く、結果が非決定的なのが悩みでした。私はこれまで7〜8年間、Webのリバースエンジニアリング分野で、スニーカーやチケットの抽選販売、スポーツベッティングのログイン自動化など、手動で統合処理を構築してきました。その経験を通じて、多くの企業をブラウザベースのインフラから直接リクエストを叩くレイヤーへと移行させてきました。私たちの会社Zatannaでは、歯科テック分野で保険関連のダッシュボードやレガシーな管理システムと格闘していました。どんなシステムとも統合できるのが私たちの強みで、そのために開発したツールが現在のKampalaです。既存のMITMプロキシが抱えていた「厳格なアンチボット検知」「不十分なMCP(Model Context Protocol)」「ワークフロー構築の柔軟性不足」という課題を解決しました。Kampalaは、既存のセッション情報やアンチボット用Cookieをそのまま利用できるため、超高速かつ確定的にタスクを自動化します。プロンプトから直接スクリプトやAPIを生成することも、一度ワークフローを手動で実行した後に好みのコーディングエージェントへKampala経由で再現させることも可能です。完成したAPIやスクリプトはエクスポートして実行したり、ホスティングすることも可能です。私たちの考えでは、自動化の未来は「LLMにスクリーンショットを送ること」ではなく「コンピューターが実際に理解しているレイヤー(通信層)を操作すること」にあります。皆さんのフィードバックや質問を楽しみにしています!
生成AIの台頭によってネット上の情報が「嘘」やノイズで溢れかえるようになった今、私たちはどのように技術と向き合い、真実を見極めていくべきなのだろうか。これからの時代を生き抜くための視点を考える。
ライフサイエンス分野の研究を劇的に効率化する「GPT-Rosalind」について。このツールは生物学やバイオインフォマティクスのデータ解析における課題を解決し、研究プロセスの自動化と精度向上を強力にサポートします。現在、先端分野のエンジニアや研究者の間で注目を集めています。
ローカル環境のノートPCでQwen3.6-35B-A3Bを動かしてみたんだけど、驚くことにClaude Opus 4.7よりも圧倒的にクオリティの高いペリカンの絵を描いてくれたよ。ローカルLLMの進化が止まらない!
CloudflareがAIエージェントの構築を強力に支援する、新しい推論レイヤーをリリースしました。エッジ環境での高速な推論処理を可能にし、AIアプリケーションの構築をよりシンプルかつ効率的にします。
HNの皆さん、こんにちは。エージェントがコードを書くのが当たり前になった今、Markdownファイルをレビューする時間が激増していませんか?AIが生成したプランやドキュメントを読み込むことに時間を取られすぎていると感じ、ObsidianやTUI系のツールも試しましたが、どれもしっくりきませんでした。そこで自作したのが「Marky」です。MarkyはMarkdownを読むためだけに特化した、超軽量なデスクトップアプリです。CLIも完備しており、『marky ファイル名』を実行するだけで即座に目的のファイルを開けます。ここ1週間毎日使っていますが、かなり快適です。デモ動画はこちら:https://www.youtube.com/watch?v=nGBxt8uOVjc。今後はClaude CodeやCodexといったAIツールとの統合や、Gitの差分をローカルで手軽に確認できる機能も追加予定です。フィードバックや追加してほしい機能があれば、ぜひ教えてください!
コーディングに特化した強力なAIエージェントモデル「Qwen3.6-35B-A3B」が公開されました。誰でも自由に利用可能です。
カリフォルニア州司法長官が、Amazonが組織的に価格操作を行っていたとする新たな証拠を突きつけました。これまで封印されていた資料が公開されたことで、巨大ECサイトの裏側で行われていた「不当な価格設定」の全貌が明るみに出ています。