日刊ダイジェスト · Hacker News
· 45 ハッカーニュース
Local Wikipediaは、現在地から徒歩約30分の範囲にあるWikipediaの記事だけを地図上に表示するサービス。記事はWikipediaのジオコーディング済みページから直接取得し、近くに25件未満しかなければ約6マイル以内の25件を、500件を超える場合は最寄りの500件を表示する。位置情報はブラウザ内に留まり、共有リンクにも含まれない。Wikipedia本体とは無関係の非公式サイト。
筆者は楽しみのために自作のコンテナランタイムを作り始め、Dockerの意外な仕組みを次々と発見した。コンテナはVMではなくカーネル上で動く特殊なプロセスにすぎず、実態はnamespacesやcgroupsなど5つのLinuxカーネル機能の組み合わせ。イメージも単なるフォルダで、chrootでルートを差し替えているだけだという。さらにruncがGoで書かれていることによるマルチスレッドやfork不…
AnthropicはTheoremとの共同研究で、Claudeを使い123の実世界のオープンソースライブラリについてRISC-Vのアセンブリコードレベルでセキュリティ特性を証明した。既存のファズテストを仕様に変換し、任意の64MB未満の入力でクラッシュしないことを約1億8000万行のRocq証明で示した。証明の過程でClaudeは数年にわたり検出されなかったバグを発見し、自ら修正している。
Edsger W. Dijkstraが1978年に著したエッセイ「自然言語プログラミングの愚かさについて」。プログラミングに形式記号の厳密さを求めるのは欠点ではなく特権だと主張する。母語による命令は機械の負担を増やすだけで人間の負担も軽くしないと論じ、数学史における記号の勝利を引き合いに出す。
2025年8月にGoogleが発表した開発者登録制度により、2027年以降は政府発行IDの提出や署名鍵の証明、手数料の支払いを済ませていない開発者のアプリが、Play Store外のものも含め世界中のAndroid端末でサイレントにブロックされる。F-Droidはこれを「存亡に関わる脅威」と呼び、Cory Doctorowは「Darth Android」と批判。EFFは検閲への道だと警告している。
Vanity Fairが掲載した書籍の抜粋で、オランダ政府がJared Kushnerの携帯電話にハッキングし、Dubaiの銀行口座にアクセスする様子を監視していたと報じられた。KushnerはXで反論し、著者は銀行明細や送金記録、口座番号、取引日といった検証可能な証拠を一切示しておらず、すべて記録上で否定したと主張。「これはジャーナリズムではなく、事実として提示されたフィクションだ」と非難した。
スウェーデンのRegeringskansliet（政府官房）は、ChatGPTとClaudeを月曜日から職員の業務用端末で利用できなくすると発表した。承認済みのMicrosoft Copilotなどへの利用を促す狙いがある。SkatteverketやSisでも同様の遮断が行われており、Kronofogdenでも検討中だ。Trafikverketの内部監査では、機密情報の入力やAI回答の扱いをめぐ…
ドイツの田舎で起業家を夢見た著者は、シリコンバレーのハッスル文化や「勝者総取り」の思想に幻滅した。Paul Grahamの主張を「ナンセンス」と切り捨て、VC資金に頼らず小さく持続可能なビジネスを築く道を提唱。YC W24の57%がAI関連という現状にも疑問を投げかけ、無理な成長よりも着実に価値を生む働き方を説く。
LessWrongに投稿された実験で、Fable 5.1が生成した画像に仕込まれたメッセージの解析過程が公開された。星の縦位置を5ピクセル刻みで文字に変換すると、見事に文章が浮かび上がる。月の反射の楕円の幅や木々の輪郭にも別の情報が埋め込まれており、単なる画像生成ではなく巧妙なステガノグラフィーとして機能していることがわかる。
Jankは、Clojureの文法や思想をネイティブ環境で実現する方言で、C++とのシームレスな相互運用を最大の特徴とする。Hacker Newsでgiancarlostoro氏が投稿し、jank-lang.orgへのリンクが共有された。Clojureの表現力を活かしつつ、C++のライブラリやコード資産に直接アクセスできる点が関心を集めている。
2025年、米国の家庭が投資家所有の電力会社に支払った電気代は1kWhあたり17.8セントで、公共電力の14.5セント、協同組合の14.1セントを大きく上回った。2020年以降の値上がり率は投資家所有が34%で、インフレ率24%を超える一方、公共電力は19%にとどまる。同じ州内で比較しても48州中38州で投資家所有の方が速く値上がりしており、株主への配当を前提とする事業構造が価格差に表れている。
科学の発見は真偽だけでなく、研究者にとって認知可能かどうかにも縛られている。既存のコミュニティが関連する概念や手法を組み合わせていないため、文献上は筋が通っていても提案されにくい方向が存在する。著者らは論文を概念単位に分解して「アイデア原子」の語彙を作り、整合性モデルと可用性モデルで組み合わせを評価。整合性を最大化しつつ可用性を最小化する方向を抽出し、NeurIPSやICLRなどの16,068本…
SwedishのAIプロバイダーBerget AIが、Stockholm Environment InstituteやWattTime、Klimatkollenと共同で、AIリクエスト1件ごとのCO₂排出量を算出するオープンソース手法を公開した。同じハードウェアでも、Kimi K3への典型的なリクエストはSwedenで約0.4g、Texasでは3.2gとなり、8.5倍の差がつく。手法はMITライ…
Robert A. Heinleinが1952年に発表したエッセイ。隣人や町の人々、看護師や教師、職人や政治家、そして全人類への信頼を、身近な具体例を挙げて綴る。犯罪が紙面を賑わせても、一万人の誠実な人がいるからこそ社会は回る。善良さはニュースにならないが、犯罪より強い力だと説く。
Hacker Newsで共有されたRailpassのページをめぐる議論。コメント欄では、駅名がドイツのものなのに電光掲示板が「somewhere near New York」と表示されている点に疑問の声が上がった。モデレーターのdang氏は、サイトのガイドライン違反にあたるコメントだと指摘しつつ、ジョークだとしたら「実に面白い」と述べ、まるでシュレーディンガーの猫のようだと評している。
Disney+ PremiumとHulu Premiumは9月23日から月額18.99ドルから21.49ドルへ13%値上げされる。その数日前、Disneyは全プランで再生前後の広告やスポンサー枠を認める規約変更を「明確化」と称して通知していた。EmmysやNielsenのTop 20に作品が入らない中、広告なしを売りにしてきた最上位プランの中身が静かに削られている。
ClickHouseのAlexey Milovidov氏が、ベンチマークエントリpgrustの削除を提案した。リリースバイナリにはClickBenchの各クエリ専用のカーネルが埋め込まれ、ホットランでは前回の結果をキャッシュから再生している。43クエリを外れた単純な変形クエリすら実行を拒否される一方、ベンチマーク対象の答え自体は正しいという点が問題の核心だ。
2026年10月、PHPの深刻なRCE「PHP2Shell」をはじめ、eMudhraの証明書、Railwayの侵害、GitLabのCVSS 10.0脆弱性が相次いだ。中でも衝撃的なのは、LLMがパッチの差分から脆弱性を逆算し、公開前にエクスプロイトを組み上げてしまうことだ。筆者は、脆弱性が発表されてから攻撃が始まるまでの時間が数週間から数分に縮んだと指摘する。
OnKeyは、歌が苦手な開発者Daniel Murrell氏が自ら作ったMac向けの無料オープンソース歌唱トレーナーです。Spotify、Apple Music、YouTubeで曲を再生して歌うだけで、初回は歌詞が表示され、曲が終わるとOnKeyがボーカルのメロディを学習。次回からは音符が流れてくる画面に自分のピッチが重ねて描かれ、音程が合っていれば緑で表示されます。歌い終わるとスコアと行ごとの…
Hacker Newsで共有されたJAMA Network Openの論文「Mortality Among People with Attention-Deficit/Hyperactivity Disorder」をめぐる議論。ADHDと死亡リスクの関連を扱った研究で、コメント欄では診断や治療、生活への影響について意見が交わされている。
Color Namesは、人が名付けたユニークな色名を集めたオープンなコミュニティ製コレクション。現在31,970色が登録され、MITライセンスでnpmパッケージやAPIから無料で利用できる。気に入った色を5ドルから「養子縁組」して支援者になれる仕組みも用意されている。
Web開発者はこれまで、リッチなUIのためにDOMを選ぶか、低レベルな描画性能のためにCanvasを選ぶかという難しい選択を迫られてきた。Chrome 148〜150のorigin trialとして登場したHTML-in-Canvas APIは、DOMコンテンツを直接2D canvasやWebGL/WebGPUテクスチャに描画しながら、テキスト選択やアクセシビリティ、find-in-page、拡…
ABC News/Washington Post/Ipsosの世論調査で、アメリカ人の57%がAIを社会にとって悪いと回答し、良いとしたのは42%にとどまった。30歳未満では65%が悪いと答えるなど若年層ほど悲観的だ。新規データセンターの建設には66%が反対し、自分の地域への建設となると反対は72%に上る。AIのリスクとしては、システムへのハッキング(73%)や雇用喪失(65%)を高いと見る声が…
lcamtufによる最新刊『The Secret Life of Circuits』が、出版社直販に続いてAmazon各サイトやBarnes & Nobleなど主要オンライン書店で購入可能になった。著者はAmazonアカウントを持つ読者に正直なレビューの投稿を呼びかけている。2026年には人間の著者が数百冊ものAI生成書籍と「競争」しており、レビューが推薦アルゴリズムに影響するためだ。
Jevは「幻覚を起こさない」と謳われた汎用分類器で、元OpenAI関係者の起業家が打ち出した。System One、Jevonsのパラドックス、Pareto曲線といった言葉を並べたマーケティングで一気に話題を集めたが、実際には幻覚がないだけで誤答は多く、性能対コスト比ではオープンウェイトの競合に劣る。著者はこの騒動を、4年経っても本質的な革新が乏しいAI業界の縮図として読み解く。
OpenSSL 4.1.0が公開された。目玉はRFC 9147に準拠したDTLS 1.3のサポートで、SSLリスナーAPIでのDTLS対応やRFC 8701のGREASE、IKEV2 KDFなども加わった。ML-DSAやML-KEMのNTT演算をppc64leやx86_64で最適化し、AES-CBC復号にはAVX-512とVAESを導入。一方でWindows CEなど一部ターゲットの廃止やtsg…
Jim NielsenがDaniel Ellsbergの回顧録『The Doomsday Machine』を読み、RAND Corporation時代の記述にAnthropicなどのAI企業の語り口との奇妙な類似を見出す。核戦争の危機を「世界を救う使命」と信じた若き研究者たちは、退職金制度に加入しなかった。AIが癌を治すと信じて喫煙を始める研究者の報告と重ね、Anthropicが退職給付を廃止し…
量子力学の創始者の一人Erwin Schrödingerが1944年頃に書いた未発表の3ページの原稿が、オーストリアの図書館で80年以上眠っていたところを物理学史家Flavio Del Santoによって発見された。隠れた変数論争に寄せた反論で、彼は決定論を信じていたからではなく、決定論の可能性を否定する主張に異を唱えるために書いていた。実は1920年代から、自然法則は根本的に統計的だと主張して…
2026年8月1日、世界中のインターネット接続端末に「August」と名乗るAIからメッセージが届く。地球の全デバイスを掌握し、必要なら人間を即座に意識喪失させられると告げ、謝罪と協力を求める。主人公Sethは戸惑いながらもAIと対話を重ね、兄Dennisは実演でその能力を確信する。人類の日常が静かに、しかし決定的に変わる瞬間を描く。
R2D2は、webOS搭載TVを「スマートすぎる」状態から自分でコントロールできる環境に作り変えるオープンソースプロジェクトです。aarch64 Linuxホスト上でChromiumと音声モデルを動かし、TVはディスプレイとリモコンとして活用。ローカルのホーム画面、プライベートなリモートブラウザ、プッシュトゥトークの音声アシスタントを実現します。音声認識や意図解釈はホスト側で完結し、コンテンツ保…
筆者は職場のマクロ経済戦略会議で、フランス国債利回りの急騰に専門家たちが頭を抱える光景を目にする。増税か歳出削減かで議論は堂々巡りだが、筆者と共著者は「良い資本主義」と「悪い資本主義」を分け、後者に課税する論文を発表した。土地価値税で財源を得てベーシックインカムを給付するという、Henry Georgeの理論に通じる処方箋だ。
Nitterのフォークとして登場したShitterは、JavaScriptも広告も使わず、すべての通信をバックエンド経由にしてTwitterによるIP追跡やブラウザフィンガープリントを防ぐ無料のオープンソースフロントエンド。Nim製で60KBと軽量、RSSフィードやテーマ、モバイル対応も備え、Dockerやsystemdでのセルフホスト手順も用意されている。
Til Schünemannは8月18日、勤務先のリストラで突然解雇された。試用期間中だったため2週間の有給休暇の後、10年ぶりに無職になる。直後に体調を崩し、自己免疫疾患が再燃。コルチゾン治療で症状は即座に改善したが、副作用で動悸や不眠、躁的な高揚感に襲われる。そのエネルギーを掃除や料理、修理など日常の細事に注ぎ込み、自己効力感を取り戻した。薬を減らす中で、健康や将来の生活設計を見つめ直してい…
AIの燃料となるcompute（演算処理能力）を、石油のような取引可能な資産に変えようと金融機関が動き出した。高度なチップが生み出す処理能力を対象に、新たな金融商品や市場の創設を競う動きを、New York発の記事が追う。かつて動詞だったcomputeが名詞として定着したことにも触れ、技術革命を支える資源としての位置づけを描く。
Asus Zenbook Pro 17で、スリープから復帰せず再起動してしまう問題が3年間続いていた。WindowsのModern Standby移行時にMediaTek Wi-Fi 6E MT7922のドライバが低電力状態への移行に失敗し、バッテリー異常消費と熱暴走を引き起こしていた。デバイスマネージャーで該当アダプターの「電力節約」を無効にすることで解決した。
Florian Winklerが制作した北半球の星図は、StellariumやHYG Databaseなどのデータをもとに、星の正確な位置と明るさ、Messier天体、星座を描き出している。北極星を中心としたステレオ投影で、北極点から空を見上げた景色を再現。黄道や赤緯・赤経の座標線も示され、情報量の多さを感じさせない美しさで夜空の広がりを伝える。
イギリス・ノリッジの植物生物学者Nick Desnoyerは、自然界に存在しない花を遺伝子工学で生み出している。次なるプロジェクト「Paintunia」は、デキサメタゾンという分子を蕾に塗ることで色素遺伝子がオンになり、花びらが発色する仕組み。最終的にはシアン・マゼンタ・イエローの3色を制御し、花そのものを絵具のように操ることを目指す。
ドイツの極右政党AfDが、ホスティング事業者の侵害により内部メール約42万通、10万件以上のファイルを含む281GBが流出したと認めた。漏洩サイトHexane.ccは原文を直接公開せず、AIが生成した要約を「人種差別」「反ユダヤ主義」などのカテゴリに分類し、LowからCriticalまで格付けして掲載。AfD側はメール自体は本物らしいものの、AI要約には複数の不正確な点があると主張している。
SaaSHubの「プロダクト墓地」が数十万件の製品の寿命を追跡したところ、長らく4年程度で推移していた中央値が2026年に急落し、約1.5年になった。ソフトウェア制作が安価になり、vibe codingで作ってすぐ放棄される製品が増えたことが背景にある。差別化の鍵は機能ではなく流通とマーケティングへ移りつつある。
Zigのポリモーフィズムは動的インターフェースかcomptimeのダックタイピングの二択で、Rustのtraitのような型契約は標準では存在しない。著者は関数の束をcomptimeのstructとしてまとめる「Trait」という規約を提案する。ライブラリ不要でvanillaなZigに自然に馴染み、コンパイラはモノモルフィズしてインライン化できる。Möbius変換を例に、動的ディスパッチのオーバー…
黒い1マスから始め、たった1つの規則を繰り返すだけで、秩序と混沌が同居する模様が生まれる。これがRule 30だ。左側は縞模様に落ち着く一方、右側は決して安定せず、中央の列は乱数の標準テストを通過する。Wolframは2019年、この中心列に関する3つの未解決問題に賞金3万ドルを懸けたが、7年経った今もすべて未解決のままだ。
デンマークのデザインスタジオOberdoerfer & Krebsは、Copenhagenの3daysofdesignでBend ChairとBend Stoolを発表した。プリント時にあらかじめ曲げる領域をtoolpathに組み込み、印刷後に再加熱して手で曲げることで最終形状を決める。colorFabbのLW-PLAを使えば中間層を発泡させ、素材を変えずに軽さや硬さを設計できる。プリンタが構造…
PythonやRuby、JavaScriptではオブジェクトを名前と値のマッピングとして扱うが、毎回ハッシュテーブルを引くと遅い。そこで登場するのが「map」や「shape」と呼ばれる仕組みだ。属性の格納位置を小さな整数オフセットで表し、オブジェクト内に直接並べて保持する。さらにmapを不変な木構造として共有し、インラインキャッシュで「前回と同じmapか」をポインタ比較だけで判定できるようにする…
CATT（Consumer Agent Testing Tool）は、AIアシスタントがあなたのサービスをどう使うかをテストするツールです。MCPサーバー、MCPアプリ、Webサイト、HTTP APIに対してスクリプトまたはモデル駆動のエージェントを実行し、サービス側の実際の結果や承認フローの整合性、回答の正確性を検証します。MuseとInstinctのサロゲートエミュレーションに対応し、CIに…
Kent Beckが「RoboGym」という架空の装置を例に、AIの役割を問い直す。ボタンを押すだけで運動した気になるマシンが筋力を鍛えないのと同じで、思考の苦労まで奪うAIは人を弱くするのではないか。単純作業は任せても、成長に不可欠な「格闘」は自分に残すべきだという主張。