Hacker News Digest
· 26 ハッカーニュース
OpenAIは次世代モデルAstraを用いて、高次元幾何学から量子複雑性まで、10年以上も未解決だった数学と理論計算機科学の10の重要課題に新たな成果をもたらしました。これらの証明はLeanで形式化され、思考プロセスも公開されています。AIが数学研究にどう関わるかという責任についても、誠実な帰属とコミュニティとの対話を重視する姿勢を表明しています。
人間は「今ここ」に存在することにアレルギー反応を示し、常に何かをしようとする。その逃避衝動から解放され、存在そのものと平穏に向き合うためには、呼吸を単位に「何もしない」状態を許容する練習が必要だ。このシンプルな実践は、不安を和らげ、日常の苦しみを減らす鍵となる。
私はC言語で記述されたWASTEという推論エンジンを開発しました。これにより、2.78兆パラメータを持つKimi K3モデルを、64GB RAMの一般的なMacBook Pro上で実行可能にしました。モデルの重みの大部分をNVMeストレージから直接ストリーミングする仕組みにより、膨大なメモリ容量がなくても、完全版のモデルをローカルで動かすことが現実となりました。
私は、AI 時代に対応した新しい可視化言語 Flint を紹介します。この言語は、自然言語で記述された指示から自動的に高品質なチャートを生成することを目的としています。従来の複雑なコード記述を不要にし、データ分析の民主化を推進する Microsoft の新プロジェクトです。
Mark と Christine がビデオ通話でチーム全員に 7% の人員削減を告げる。プロジェクトの成功にもかかわらず、マクロ経済の状況から事業を縮小せざるを得ない。代替案として、2 週間分のトークンと ThriveFlow と提携した悲嘆カウンセリングのプロンプトを提供する。
AI は数分で動作するプロトタイプを生成できますが、スケーラビリティやセキュリティを備えた本番環境向けの製品を作るのは依然として人間の役割です。コーディングの機械的な作業は自動化されましたが、システム設計や判断力を要する難問は残っています。基礎的な Computer Science の知識を深め、AI をその知識を強化するツールとして活用するエンジニアこそが、これからの時代を生き残ります。
AI の進化により、私は家族のために睡眠管理やフィットネス、ジャズ学習などのパーソナルなアプリを数週間で開発できるようになった。スケーラビリティや広告を必要とせず、自分の生活に完全に最適化されたツールを構築するコストと難易度が劇的に低下した。これにより、App Store には存在しない、自分だけの文脈を理解するソフトウェアが新たな基準になりつつある。
私は RamenHaus というウェブサイトを立ち上げ、これまで 114 杯のラーメンを撮影して紹介してきました。Lauren の Rotating Sandwiches や Naive Yearly にインスパイアされたこのプロジェクトでは、最新のエントリーからインデックスまで自由に閲覧できます。Cookie も JavaScript も使わず、純粋にラーメンを楽しむためのシンプルな空間です。
BMW は 2026 年 7 月、顧客が既に購入した車両の Control Display に『Spider-Man: Brand New Day』の広告を配信した。これは 70 以上の市場で展開され、同社幹部が過去に車内を「プライベート空間」として広告を否定していたことと矛盾している。この動きは、以前に撤廃されたヒーターシート課金など、販売後の機能課金への批判を再燃させた。
純粋な H2O でも同位体の組成が異なれば氷点も変わります。そこで国際的に VSMOW という標準水が定められ、温度計の校正に不可欠な存在となりました。この希少な VSMOW は5ml で159ドル、換算すると1ガロンで12万ドルという驚異的な価格になります。
Mac Studio に 25 Gbps のネットワークを接続するため、高価な公式アダプターではなく、安価なサーバー用 OCP 2 NIC と Thunderbolt 3 変換基板を組み合わせて使用しました。初期テストでは過熱問題が発生しましたが、Noctua のファンと 3D プリントしたダクトを自作して冷却し、安定した 20 Gbps 以上のスループットを実現しました。
Macy's の旗艦店の角に位置する小さな建物が、100 年以上にわたる広告看板の撤去により再び姿を現しました。この建物は 1900 年代初頭の Macy's と Siegel-Cooper の激しい小売競争の象徴であり、現在は Kaufman Realty が所有しています。歴史的な建造物が現代の都市景観に再び溶け込む瞬間を捉えました。
私は 20 年間の科学ジャーナリストとして、AI の推論能力の急激な変化に混乱しています。OpenAI の LRM が数学問題を解決する一方で、Apple や Santa Fe Institute の研究は、その「思考の連鎖」が単なるショートカットや意味のないトークルに過ぎない可能性を示唆しています。AI は正解を出しながらも、そのプロセスが人間の推論と根本的に異なるという矛盾に直面しています。
Servo 0.4.0 をリリースし、6 月には記録的な 558 件のコミットを達成しました。SharedWorker や新しい DOM API を含む Web プラットフォーム機能の追加、SpiderMonkey のセキュリティアップデート、そして lichess.org などの実サイトでのレイアウト改善を実現しました。また、C API を通じた埋め込みの容易化や、テキスト選択機能の実装など、…
NAS 市場は、ユーザーのコントロールを損なうコスト削減とエコシステムのロックインへとシフトしている。x86 ハードウェアへの LPDDR RAM の実装、ネットワーク性能の停滞、および Synology や QNAP によるドライブ制限など、10 の具体的な変化が、かつてのモジュラー性と長期使用性を脅かしている。
Go Collections ワーキンググループは、Go 1.28 向けに標準ライブラリへ一般的なコレクションデータ構造を追加する提案を発表しました。この取り組みでは、hash.Map や ordered.Map、set.Set などの新しい型を導入し、既存のスライスやマップの柔軟性を維持しつつ、ジェネリクスとイテレータを活用した直感的な API を提供します。これにより、開発者はより効率的で保…
私は Albert Camus の不条理哲学と、Jean-Paul Sartre との決定的な対立を振り返る。歴史の必然性を否定し、革命ではなく人間性の尊厳を守る反逆を提唱した私の思想が、共産主義者である Sartre との決裂へとどう導いたかを語る。
開発チームにとって、開発ツールやビルドシステム、QA 環境の障害は本番システム停止と同じくらい深刻です。コードがコンパイルできなければ新機能もバグ修正も進みません。製造業の生産ライン停止と同様に、開発パイプラインの障害を最優先で解決すべきだと主張します。
Red Bull は長年、学術研究に資金を提供し、エナジードリンクとアルコールの混合を安全とする結論を導き出してきました。この調査は、Red Bull 関与の研究の 95% がリスクを否定する一方、独立した研究の 80% は危険性を示していることを明らかにしました。同社はこれらの研究を利用して、世界各国での年齢制限や警告ラベルの導入を阻止し、政策形成に大きな影響を与え続けています。
私は Apache DataFusion を使って、10GB の RAM だけで 10 億エッジ規模のグラフアルゴリズムを実装しました。ディスクへのオフロードとバッチ処理を組み合わせることで、NetworkX や Igraph には不可能な大規模計算をノートパソコンで実現しました。Apache Spark や GraphFrames ではなく、軽量な環境でも PageRank や弱連結成分の解析…
Manifest では LLM Router を廃止しました。7000 人のユーザーを対象とした運用経験から、プロンプトだけで複雑さを判断するのは困難だと分かりました。コスト削減にはキャッシュの方が効果的であり、モデルを切り替えると一貫性が損なわれ、予測不能なコストが発生します。多くのケースでは、信頼できる単一モデルに専念するのが最善策です。
Solid Queue 1.6.0 では、スレッドプールではなく Fiber を活用した新しい実行モードが追加されました。Async を基盤とするこの機能により、単一のスレッド上で多数の Fiber を並列処理できるようになり、LLM 呼び出しなどの I/O 密集型タスクの効率が劇的に向上します。設定ではスレッド数ではなく Fiber 数を指定し、Rails の Fiber 隔離設定を有効にする…
私は、分野を問わず偉大な仕事をするための共通のレシピを提案する。まず、自分の得意分野で深く興味を持てるテーマを選び、その分野の最前線まで知識を深める。次に、誰もが見落としている隙間を見つけ、人々が無視するアウトライヤーなアイデアを大胆に追求する。好奇心と情熱が、単なる勤勉さ以上の原動力になる。
18 年の歴史を持つ G'MIC がついにバージョン 4.0 をリリースしました。GIMP や Krita などの編集ソフトで利用可能な G'MIC-Qt プラグインには、644 種類以上のフィルターが搭載され、新しい表現が可能になりました。今後は新機能の追加よりも、フレームワークの安定性とパフォーマンス向上に注力し、デジタルアーティストの創作活動をより強力にサポートしていきます。
EUは8月2日より、本物と見紛うAI生成コンテンツへのラベル表示を義務化する。画像、音声、テキストが対象で、デジタル透かしを付与する。個人利用や明らかな芸術作品は除外される。違反企業は売上の3%以下の罰金を科される可能性がある。
Agentic AI の台頭により、LLM 推論はメモリ帯域制約の新たな領域へ移行しています。本稿では、AMD Instinct MI450 の新ハードウェア機能を活用し、Attention Decode 処理を最適化する Gluon Kernel の設計手法を紹介します。TDM や Workgroup Clusters の活用により、HBM 帯域の 85% を達成する早期成果を解説します。