Hacker Newsを日本語で読む

Show HN: Computable – Buy, sell, and redeem GPU for the exact weeks you want

私たちはComputableです。私たちはこれまでJump TradingやCoinbaseで長年トレーディングインフラの構築に携わってきました。その知見から見ると、現在のコンピューティングリソース市場は、2000年以前のエネルギー市場のような状況です。すべてが個別の相対取引で行われ、市場価格が不透明な上に、転売もできません。同じH100であっても借り手によって価格が2倍も開き、一度24ヶ月のリース契約を結べば、二度と手放すこともできません。 そこで私たちは、GPUノードを「カレンダーの週単位」で取引できる市場を構築しました。このプラットフォームで実現できる、他では真似できない3つの機能を紹介します。 - 必要な週だけピンポイントで購入：10月の最後の2週間だけ3ノードが必要なら、その分だけを支払って終了。6ヶ月〜24ヶ月もの長期契約に縛られる必要はなく、柔軟性のためのプレミアム料金もかかりません。 - 余った分は即座に売却：予定が変更になった場合、使わない週は現金化可能です。すべてのポジションに常に市場価格を表示しているため、いつでも売却が可能です。 - 未来のGPUを先物買い：1月分のリソースを7月のうちに固定価格で予約可能。H100の価格が40％急騰する前に、将来の実行コストを確定させることができます。 現在、最初のオークションを https://market.getcomputable.com で開催中です。8月から1月末までのノードブロックを取り扱っており、入札期限は7月31日です。入札はシークレット形式で、必要なノード数、期間、希望価格を指定します。決済終了後、すべてのクリアリングプライスを公開します。これは、GPUの週単位の価値が誰にも分からない現状において、市場の透明性を高めたいと考えているからです。 クリアリングの仕組み（パッキング問題として設計するのが楽しかったです！）など、気になることがあれば何でもコメント欄で答えます！

France's Anssi Will Block PQC-Free Products from Certification Starting 2027

フランスの国家情報システムセキュリティ庁（ANSSI）が、セキュリティ基準を大幅に強化します。2027年以降、耐量子計算機暗号（PQC: Post-Quantum Cryptography）に対応していない製品は、同国の認証を受けられなくなることが発表されました。量子コンピュータの脅威を見据えた、極めて重要なセキュリティ要件のアップデートとなります。

Show HN: A self-running space economy SIM in Rust and Bevy

以前から温めていた「シミュレーション経済」への興味と、大好きな宇宙テーマを掛け合わせて、こんなものを作ってみました。これはスクリプトに縛られない、完全自律型のスペース経済シミュレーターです。数百もの自律的な宇宙船が、それぞれのプランナーに従って行動します。最適な交易ルートを追い求めたり、配送契約をこなしたり、燃料補給や造船所での改修、あるいは乗組員の士気が下がる前の休息など、それぞれが独自の判断で動いています。市場は供給に基づいた価格変動に加え、不足時には急騰する乗数も適用されます。勢力ごとの課税や補助金、住民の移住、さらには破産したステーションが放置されて朽ちていく様子まで再現しました。最初はElixir/Phoenixで試作しましたが、Windows上のBEAMスケジューラーでパフォーマンスに苦戦したため、Claudeの力を借りてエンジンをRustで全面的に書き直しました。シミュレーションの中核は純粋な同期処理かつIOフリー（独自のhecs ECSを使用）で、Bevyクライアントに直接ライブラリとして組み込んでいます。シミュレーションとレンダラーでワールドを共有しているため、マーシャリングはゼロです。宇宙船のAIは世界状態に基づくGOAPプランナーを採用しており、飛行中に良い選択肢が見つかればリアルタイムで計画を修正します。現状は485エージェントでp50が10〜20ms/tick程度ですが、ゆくゆくは10万エージェントを目指せる設計です。単一のネイティブバイナリでSQLiteを内包しており、ランタイム依存関係もありません。現在はあくまでサンドボックスであり「ゲーム」と呼べる段階ではありませんが、シミュレーション基盤としてはかなり良い仕上がりだと思います。興味がある方はぜひフォークして活用してください。ちなみに、この開発の多くはClaudeとのペアプロで行いました。このワークフローについても興味があればぜひ聞いてください！

Roblox Officially Supports GrapheneOS

ついに嬉しいニュースです。Robloxが公式にGrapheneOSをサポートしました。プライバシー重視のユーザーも、これで安心してRobloxの世界を楽しめますね。

Show HN: Read the Tape – Wordle for daytrading, five blind S&P 500 charts a day

「Read the Tape」は、毎日提示される5つのS&P 500チャートの動きを予測する、トレーダーのためのゲームです。プレイヤーは自身の予測に対する確信度（低・中・高）を選択し、チャートが上昇するか下落するかをコールします。提示されるのは1日分のチャートですが、その結果は5日後に判明します。成績は「モンキー・インデックス」と比較されます。これは11回のランダムなコインフリップを低確信度で予測した場合のスコアで、ゲームの勝敗を明確にする基準となっています。公開から2週間が経過し、興味深いデータが集まってきました。プレイヤーは「株は上がる」という傾向があるにもかかわらず、天井を予測したがる傾向があります。これまでに公開された70チャートのうち60%は最終的に上昇していますが、プレイヤーの下落予測が的中したのはわずか31%でした。詳細な統計レポートは https://readthetape.cc/notes/tape-report-1 から確認できます。皆さんのフィードバックやご意見をお待ちしています！

My USB Drive Has a Hidden Encrypted Vault

手持ちのUSBメモリ内に、誰にも見られない秘密の暗号化領域を作成する方法を紹介します。重要なデータを物理的に隔離して安全に保護したいエンジニアやガジェット好きには必見のテクニックです。

PCjs Machines

PCjs Machinesは、IBM PCをはじめとする往年のレトロなコンピュータをブラウザ上で完璧に再現するエミュレータ・プラットフォームです。プラグイン不要、JavaScriptのみで動作するため、かつてのMS-DOS環境や往年の名機をWebブラウザから手軽に呼び出し、当時の雰囲気やソフトウェアの挙動を追体験することができます。レトロPCマニアやコンピュータ史に興味があるエンジニアにとって必見のプロジェクトです。

Show HN: Justif – Knuth-Plass justification and microtypography for the web

Justifは、WebページのテキストをTeXレベルの美しい両端揃え（ジャスティフィケーション）に引き上げる、手軽なJavaScriptライブラリです。インストールは一行の<script>タグを追加するだけ。標準的なテキスト表示やアクセシビリティは維持され、JavaScriptが無効な環境ではブラウザ標準のレンダリングにフォールバックされます。私がJustifを作った理由は、両端揃えの美しいレイアウトが大好きだからです。綺麗に整ったテキストは読みやすく、心地よい体験をもたらします。一方で、適当な両端揃えは単語間に不格好な隙間を生み出し、逆に読みづらさを助長してしまいます。最近のブラウザは両端揃えの処理が向上しましたが[0][1]、依然として最適とは言い難い「貪欲法（Greedy Algorithm）」に頼っており、私が求めるTeXやInDesignレベルの品質には届いていません。`text-wrap: pretty`もありますが、万能薬とは言えないことはデモをご覧いただければ一目瞭然です。また、Justifにはブラウザ間のレイアウトの差異を吸収できるというメリットもあります。Blink（Chrome）、Gecko（Firefox）、WebKit（Safari）はそれぞれ両端揃えのアルゴリズムが異なるため、通常は閲覧環境によって見た目が変わってしまいます。ぜひデモを触ってみて、何かおかしな挙動がないか試してみてください。API設計の改善案も歓迎ですので、ご意見をいただけると嬉しいです。詳細はREADMEをご覧ください：https://github.com/lyallcooper/justif 0: https://cloudfour.com/thinks/justified-text-better-than-expected/ 1: https://owickstrom.github.io/the-proportional-web/

Qwen-Image-3.0: Rich Content, Authentic Details, Deep Knowledge

Qwen-Image-3.0がついに登場しました。この最新モデルは、よりリッチなコンテンツ生成能力、細部まで妥協しない圧倒的な描画精度、そして高度な専門知識を融合させています。画像処理とマルチモーダルAIの境界を押し広げる、注目のアップグレードです。

Apple Private Cloud Compute SoC 3 audit reports

AppleのPrivate Cloud Compute（PCC）におけるSoC 3のセキュリティ監査レポートが公開されました。PCCのアーキテクチャやクラウド環境でのセキュリティ対策に関心があるエンジニアは必見の内容です。

Laguna S 2.1

Laguna S 2.1がリリースされました。今回のアップデートでさらに使いやすさが向上しています。

'VPNs are lawful technical tools,' says EU Court in landmark copyright ruling

EU司法裁判所が、VPN技術の正当性を支持する歴史的な判断を示しました。今回の判決により、VPNは著作権法においても『合法な技術ツール』であると改めて位置づけられた形です。このニュースは、プライバシー保護とインターネットの自由を重視するエンジニアやユーザーにとって非常に重要なマイルストーンとなるでしょう。

Gemini last models: temperature, top_p, and top_k are deprecated and ignored

Geminiの最新モデルにおいて、パラメータであるtemperature、top_p、およびtop_kが非推奨となり、設定しても無視される仕様に変更されました。該当モデルを利用している方は、コード側の設定を見直す必要があります。

The Birth of Prolog (1996)

1996年に公開された「The Birth of Prolog」は、現代の論理プログラミング言語の祖であるPrologがどのようにして生まれたのか、その開発背景と歴史的経緯を紐解く貴重なドキュメントです。AI研究や形式言語理論に興味があるエンジニアにとって、プログラミング言語の原点を知るための必読文献といえます。

Apple defeats liability for not scanning iCloud for CSAM

Appleは、iCloud上のCSAM（児童性的虐待素材）をスキャンしなかったことに対する法的責任を問われていた訴訟において、勝訴しました。今回の判決は、プラットフォーム側の責任範囲や、プライバシーとセキュリティのバランスという技術業界にとって非常に重要な議論に一石を投じる形となりました。

Jack Dorsey launches Buzz to combine team chat, AI agents and Git hosting

Twitterの創業者Jack Dorsey氏が、新たなプロジェクト「Buzz」を公開しました。これは、チームでのコミュニケーション、AIエージェントの活用、そしてGitリポジトリのホスティングを一つのプラットフォームに集約しようという意欲的な試みです。詳細は以下のリンクからチェックしてみてください。Xでの公式発表: https://x.com/jack/status/2079605800998146171 (またはこちら: https://xcancel.com/jack/status/2079605800998146171)。公式サイトはこちら: https://buzz.xyz/

An Engineer's Guide to USB Type-C [pdf]

USB Type-Cの規格や動作原理、そして回路設計における注意点を網羅したエンジニア向けの技術ガイドです。複雑なType-Cの仕様を深く理解するための決定版といえる資料になります。

Recreating the math behind the first stealth aircraft

世界初のステルス戦闘機として知られるF-117 ナイトホーク。その独特の形状を決定づけた伝説的な数学的アルゴリズムと、ステルス性能を生み出す計算技術について深掘りします。航空工学の歴史を変えた「ファセット（多面体）」技術の秘密を紐解いてみましょう。