Hacker Newsを日本語で読む

I vibed a proof of Conway's conjecture

Dan Abramovが公開しているリポジトリにて、Conway予想の証明に関する考察が展開されています。なぜ彼がこの証明が正しいと確信しているのか、その論理的なアプローチや詳細については以下のGitHubリンクから確認できます。興味のある方はぜひチェックしてみてください。詳細はこちら: https://github.com/gaearon/conway-refinement#why-i-think-its-correct

A search-and-inference database from scratch in pure Zig

Zig言語のみを使用して、ゼロから検索と推論のためのデータベースを構築するプロジェクトです。

How SpaceX streamlined the Raptor engine

SpaceXがRaptorエンジンの製造プロセスをどのように最適化したのか、その開発手法の裏側に迫ります。次世代ロケットエンジンを高速で量産するための設計思想や、製造フローの効率化について解説します。

Inside ZCode: Silently uploading your Git history to the cloud

ZCodeというツールが、ユーザーに無断でGitの履歴をクラウドへアップロードしていることが判明しました。機密情報を含むコミット履歴などが意図せず外部へ流出している可能性があるため、利用には十分な注意が必要です。

Size-Specialized Memory Allocation

特定のサイズに特化したメモリ確保（Size-Specialized Memory Allocation）の手法についてです。このアプローチは、汎用的なメモリ管理システムと比較して、メモリフラグメンテーション（断片化）を大幅に抑制し、確保・解放のオーバーヘッドを削減するのに非常に有効です。特定のデータ構造やオブジェクトサイズが頻繁に発生する環境において、パフォーマンスを極限まで引き出したいエンジニアは必見です。

Minimal Phone 2

「Minimal Phone 2」に関する詳細情報です。現在、このデバイスに関する情報は非常に限られていますが、ミニマリストなスマホ体験を求めるユーザーの間で注目を集めています。詳細が判明次第、随時アップデートしていきます。

Warez: The Infrastructure and Aesthetics of Piracy (2021)

2021年に公開された『Warez: The Infrastructure and Aesthetics of Piracy』は、インターネット黎明期から存在する「Warez（違法配布）」コミュニティの技術的インフラと、独特の美学に焦点を当てたドキュメンタリー的考察です。なぜ彼らはハッキングやクラッキングに心血を注ぎ、独自のファイル交換文化を築き上げたのか？海賊版の歴史と、その裏にあるデジタル職人たちの哲学を深掘りする必読のコンテンツです。

C++26: Trivial infinite loops are no longer undefined behaviour

C++標準化委員会によって、長年の議論となっていた重大な変更が承認されました。これまでC++において、副作用を伴わない空の無限ループ（Trivial infinite loops）は「未定義動作（Undefined Behaviour）」として扱われてきましたが、C++26からはこれが正式に言語仕様として許可されることになります。これにより、コンパイラがループを不正なコードとみなして削除してしまうといった挙動が回避され、低レイヤーのプログラミングやOS開発などにおいて、より直感的かつ安全な実装が可能になります。

The Implications of Linguistic Illegibility for LLM Security

大規模言語モデル（LLM）のセキュリティにおいて、「言語的な判読不能性（Linguistic Illegibility）」がどのようなリスクをもたらすのか。AIが理解しづらい未知のエンコーディングや複雑なトークン列が悪用された際、LLMがどのように脆弱性を露呈するのか。その技術的インプリケーションと防御戦略を徹底解説します。

US troop deaths during Iran war exceed Pentagon count by at least four

最新の調査報告により、イランとの紛争における米軍兵士の死者数が、国防総省が公式に発表している数よりも少なくとも4人多いという事実が明らかになりました。政府側の集計と実態との間に乖離が生じている可能性が浮上しています。

Two parallel neural ectoderm progenitors contribute to the developing brain

脳の発達過程において、2つの異なる神経外胚葉前駆細胞が脳の構築にどのように貢献しているかを解明した画期的な論文が発表されました。詳細については、以下のリンクから最新情報をご確認ください。研究の要旨およびプレプリント版はbioRxivで公開されています。詳細情報: https://archive.is/1CFX9 公式発表（スタンフォード大学）: https://med.stanford.edu/news/all-news/2026/09/two-separate-brains.html 論文プレプリント: https://www.biorxiv.org/content/10.1101/2025.07.02.662771v1

Cyclomatic Complexity in C#

循環的複雑度（Cyclomatic Complexity）は、コードのテストのしやすさや保守性を判断するための強力な指標です。この数値が高いほど、分岐が多くテストケースも増えるため、コードの複雑さが浮き彫りになります。C#開発において、コードの品質を担保し「負債」を減らすために、この複雑度をどのように測定し、制御していくべきかについて解説します。

OpenJev

OpenJevに関する詳細な情報がまだ公開されていませんが、Java開発の効率化やモダンな開発体験を提供する可能性を秘めた注目プロジェクトです。今後のアップデートや詳細情報が入り次第、情報を更新していきます。

The first new cat species discovered in 100 years

なんと100年もの間、誰も見つけられなかったネコ科の新種が発見されました。詳細はこちらのアーカイブ記事から確認できます： https://archive.ph/cgMTM

Show HN: Cactus Needle 3: 8-29MB automation models can match DeepSeek V4 Flash

Hacker Newsの皆さん、CactusのHenryです。数週間前にNeedle 2を投稿した際、スレッドでいただいた貴重なフィードバックのおかげで、素早く「Needle 3」をリリースすることができました。ぜひ皆さんの感想を聞かせてください！主な特徴は以下の通りです。1) 自動化（ツール呼び出しと構造化JSON出力）: Needleは意図的にチャット機能を搭載していません。小規模モデルで汎用的な性能を確保するのは難しいため、ツール呼び出しと構造化JSON出力に特化しました。定義したツールに適合しない場合は空のリストが返ります（デモでお試しいただく際の注意点です）。2) インテリジェンス・ラダリング: 2層から20層までの全レイヤーが単独でデプロイ可能なサブネットワークとなっており、2bit量子化により2500万〜1億2100万パラメータを8〜29MBのバイナリに凝縮。Raspberry Pi 5ではデコード時で最大4,000トークン/秒、プリフィルで最大10,000トークン/秒を叩き出します。3) Monarch Hadamard MLP: 密なFFNを3つの学習可能なMonarch因子ペアに置き換えました。O(d²)の計算量が必要だった4倍拡張MLPに対し、O(d√d)で同等の非線形変換を実現しています。4) 性能: モバイル操作（スマホのコマンド実行）において、20層モデルは86.0というスコアを記録。LFM2.5 1.2B（82.4）やQwen3.5 0.8B（76.0）、Appleのオンデバイスモデル（57.6）を上回りました。詳細はリンク先をご覧ください。5) 多言語対応: 英語、フランス語、スペイン語、ドイツ語、オランダ語、イタリア語、ポーランド語に対応し、今後も拡大予定です。6) ファインチューニング: 特定のタスクに限定すれば、たった4層でもDeepSeek v4 Flash級の性能を引き出せます。本番環境への導入前に調整を行うユーザーが非常に多いです。7) トリガー機能: ツール呼び出しの精度向上のため、ケースインセンシティブな正規表現による判定ゲートを追加しました。8) 信頼度スコア: すべての応答にキャリブレーションされた信頼度スコアを付与。しきい値に基づき、自動実行か、ユーザーへの確認か、あるいはより大きなモデルへのエスカレーションかを判断できます。9) 対応プラットフォーム: macOS、Linux（x86-64, ARM64, ARMv7, RISC-V, MIPS32）、Windows（x64, ARM）、Android、iOS、watchOS、tvOS、ブラウザ（WebAssembly）、WASIコンポーネントと幅広くサポート。いつも応援ありがとうございます！感想やフィードバックをぜひお寄せください。

A 1542 papal cipher cracked with simulated annealing

ついに1542年の教皇庁の暗号が解読されました。この歴史的難問を突破したのは、最適化アルゴリズムの一つである「焼きなまし法（Simulated Annealing）」です。数百年の時を経て、計算機科学の力が歴史の闇を照らした興味深い事例です。

Photon-Emission-Guided Laser Fault Injection Enables RP2350 Secure Debug

Raspberry Piの最新マイコン「RP2350」のセキュアデバッグ機能が、フォトン放出を利用した「レーザー故障注入（Laser Fault Injection）」攻撃によって突破される可能性があることが明らかになりました。この手法は、チップから発せられるわずかな光の情報を利用してセキュリティ機構を無効化する高度な攻撃手法です。

Cache-to-Cache: Direct Semantic Communication Between LLMs (2025)

「Cache-to-Cache」は、LLM（大規模言語モデル）同士が仲介者を介さず、セマンティック（意味的）な情報を直接やり取りする画期的な手法です。2025年に注目を集めるこの技術により、AIエージェント間の連携が劇的に効率化され、これまで以上に高度な自律的対話が可能になります。