日刊ダイジェスト · Hacker News

· 77 ハッカーニュース

  1. Trump政権は10月8日、Microsoftを含む複数のテック企業を対象とした移民プログラムを停止すると発表した。労働ビザ制度の広範な悪用が理由とされている。Vance副大統領はワシントンでの記者会見で、この制度を最も悪用してきた企業はMicrosoftだと名指しで批判した。

  2. Tanzania Education Projectは、TanzaniaのNjombeを拠点に、子どもたちが教育、医療、安全な環境にアクセスできるよう支援する非営利プロジェクトです。10年以上にわたり、Anuarite、Catherine、Alfonceといった学生たちの学びと成長を支えてきました。寄付は、学用品やラップトップの提供、医療サポートなど、持続的な影響を生み出します。教育が村の一生を…

  3. Terence Taoが、AIが未解決問題を大規模に「収穫」する現状を批判。従来の数学(Math 1.0)では証明が議論やコミュニティ形成を通じて消化され教科書に組み込まれたが、AIプロンプターは結果を理解せず、分野の肥沃さが失われていると指摘。生の問題解決中心から、解説やコミュニティ構築、新たな研究方向の創出を重視する「Math 2.0」への移行を訴える。

  4. Cactus Computeが16.9MBの音声認識モデルWhistleを公開。Needleと同じC++エンジンで動作し、7言語に対応、最初のトークンまで11ms、デコードは毎秒1,319トークン。LibriSpeechやFLEURSなどでWhisper baseを上回り、単語タイムスタンプや音声埋め込みも提供。pip install cactus-needleで利用可能。

  5. DeepSeek 4.1 Flashを1ヶ月間ヘビーに使った筆者。Opusと遜色ない性能で、コストは桁違い。KVキャッシュを437倍に圧縮したおかげで、終日セッションでも1ドル未満に収まる。もはや「十分良い」モデルが当たり前になり、開発の常識が変わった。それなのにフロンティアラボも業界も慌てていないのはなぜか?

  6. IT歴10年という男性Nomadが、両親のネットワークを確認したところ、スマートコーヒーメーカーがわずか10日で1TBもの通信を発生させていたことを発見。大半は家庭内ネットワーク内にとどまっていたものの、Wi-Fiアクセスポイントを飽和させるほどだったといい、彼は「この個体のバグだろう」と推測。原因究明は諦め、バグで飽和を引き起こすIoT機器をつなぎ続ける価値はないとして、両親に新しいコーヒーメ…

  7. Hundred Rabbitsの2026年9月の活動記録。Donsolの10年ぶりの新バージョンをリリースし、暗号技術の解説ページ「One-Time Pads」を公開。DevineはOredev 2026でソフトウェアアーカイブについて講演するためスライドを準備中。帆船Pinoでの生活は、不安定なインターネットや太陽熱調理など、オフグリッドならではの工夫に満ちている。

  8. Italo Calvinoの『見えない都市』をthree.jsで可視化するワンショットプロンプトを、GPT-6 AstraとClaude Opus 5.5に与えた。Astraは53分・約10ドルで完了したが、Opus 5.5は6時間の指示に対し1時間25分で終え、6つのサブエージェントを並列実行し約74ドルを消費。その結果は、著者を唸らせるほどの完成度だった。AIによるデザインの進化と、人間の役…

  9. FTの報道によると、OpenAIの年換算収益は以前に示されていた水準を200億ドル下回ることが明らかになった。AI業界の成長期待に水を差す数字であり、巨額の投資を続ける同社の収益基盤の実態が問われる。

  10. 2011年に聴いたSalvageの「Electric」と「Searchlights」という2曲が、15年間にわたり著者を悩ませてきた。プロ並みのクオリティにもかかわらず、検索しても情報が見つからない。Discogs、AcoustID、ISRCデータベース、そして最新のAIモデルまで投入したが、すべてが手詰まりに。しかしPandoraで楽曲を発見したことをきっかけに、プロデューサーのGreg Ha…

  11. OpenAIは、Weil類の代数性に関する論文の符号誤りが安定化トレース消去の議論を無効にし、依存する2本の論文にも影響を与えたため、関連する3本の数学論文を取り下げた。同時に他の14本で証明の修正や仮定の明確化を行い、新たに6件の形式化を追加。トップライン結果の形式化率は約42%に達した。

  12. 1952年に撮影された「photograph 51」はDNAのらせん構造を示す決定的証拠とされるが、Watsonは自著でFranklinがその意味を見抜けなかったかのように描いた。しかしScience History InstituteのAlistair SponselとKing's College LondonのBrian Suttonによる新分析は、Franklinが数日前に撮影したphot…

  13. 世界最古の陸生動物であるゾウガメのJonathan(約194歳)のゲノムが初めて解読され、DNA修復やインスリン調節、ミトコンドリア機能など、多くの老化経路に独特の遺伝子変異を持つことが判明した。特にミトコンドリアのメチロームは「低エントロピー」で、5歳のゾウガメに匹敵する状態だった。研究チームは、この発見が人間の健康寿命の延伸につながる可能性があると期待している。

  14. 初期のDVDメニューは、VHSにはなかった双方向性で販売促進の目玉だった。解像度やアスペクト比の制約、2ビットのサブピクチャ、16個のGPRMなど技術的制限の中で、DisneyのFastPlayやScooby-Doo 2のゲーム、Shrek 2の賑やかな画面など、独創的なメニューが生まれた。現代のDVDでは見られなくなった、メニューに込められた工夫と魅力を振り返る。

  15. Zoteroの生みの親であるDan Cohen氏が、20周年を記念してその誕生秘話を振り返る。2006年のリリースまでに5年を要したZoteroは、歴史学者たちが大きなテーブルを囲んで交わした会話から生まれた。もし当時AIがあったとしても、何を作りたいのか明確でなかったため、プロンプトを書くことはできなかっただろうと氏は指摘。AIで瞬時にソフトウェアが作れる時代だからこそ、時間をかけた共同作業が…

  16. Elizabeth HolmesのMacBookや緑のジュース、当時のOS X風UIまで、Theranosのオフィスをインタラクティブに再現したWebサイト。椅子をクリックして座り、ドラッグで見回せる。10月22日にSFでドキュメンタリーを一緒に観る誘いも記されている。

  17. 2013年から2015年にかけて、Math Stack Exchangeで「Cleo」と名乗る謎のアカウントが、複雑な積分問題に途中式なしで正確な答えを投稿し、数学コミュニティを沸かせた。天才数学者か、それとも集団によるペンネームかと議論されたが、2025年1月、YouTuberの調査により、正体はUzbekistan出身でMicrosoftに勤務していたソフトウェア開発者Vladimir Re…

  18. OpenAIのDan Roberts氏が、GitHubの数学リポジトリを更新し、Leanによる新たな形式化6件、修正19件、撤回3件を報告した。撤回されたのは、split abelian eightfolds上のWeil類の代数性、K3曲面に対するKuga–Satake対応の代数性、K3曲面の積に対する有理Hodge予想に関する論文。リポジトリは主要結果の約42%が形式化済みで、今後も更新を続け…

  19. Wood Mackenzieの最新LCOEレポートによると、4時間バッテリー貯蔵がモデル化された43市場すべてで、オープンサイクルガスタービンより設置コストが安くなった。中東・アフリカでは、ユーティリティ規模の太陽光が37ドル/MWhで既に最安だが、4時間貯蔵は2035年までに33%下落して80ドル/MWhとなり、地域の全ガス市場でガスピーキングをコストで置き換える見通し。中国は製造規模により、…

  20. ウイーンと北京の2つの研究チームが、トリウム229の原子核がつぶれたり戻ったりする振動を数えて時を刻む、世界初の核時計を同時に完成させた。数千万年に1秒しか狂わない精度で、Nature誌に発表された。既存の原子時計をすぐに置き換えるものではないが、将来はより高精度で可搬性に優れ、暗黒物質の探索にも使える可能性を秘めている。

  21. スマホやサーバーの時刻を司るタイムゾーンデータベースをPaul Eggert氏が片手間で維持し、xzのLasse Collin氏は精神的な問題を抱えながらほぼ一人で管理、core-jsのDenis Pushkarev氏は寄付が月57ドルしか集まらない中で開発を続けた。23の主要プロジェクトを調査した結果、11で実質1〜2人が作業を担っていた。

  22. スウェーデン・アカデミーは、カナダの詩人・エッセイストAnne Carson(76歳)に2026年のNobel文学賞を授与すると発表した。詳細は追って報じられる予定。

  23. Montana State Universityで教えるCarson Grossは、AIがあってもプログラマーを目指す価値はあると説く。ただしジュニアにはAIによるコード生成が危険で、自分でコードを書かないと読む力が育たず、制御不能なシステムに陥ると警告。AIをTAとして活用しつつ、コミュニケーションやビジネス理解、アーキテクチャ設計など新たなスキルを磨くべきだと主張する。

  24. ADHDと概日リズム障害の関連を統合したレビュー。成人・小児の最大80〜82%に不眠や睡眠障害があり、73〜78%で睡眠・覚醒リズムが遅延、DLMOは小児で約45分、成人で約90分後退している。メラトニンや高照度光療法で位相前進が確認され、症状改善との相関も報告された。著者らは睡眠・概日リズムのスクリーニング、クロノタイプ評価、固定起床時刻や朝の光曝露などを含む行動療法優先の臨床経路を提案する。

  25. Classic PC demoscene productionsをブラウザでそのまま動かすプロジェクト。DOSコードをx86エミュレータで実行記録し、C言語に一対一で変換、WebAssemblyへコンパイル。VGAやSound Blasterまでモデル化し、当時のローダーや音楽プレイヤーがそのまま動く。

  26. Orkutの生みの親であるOrkut Büyükkökten氏が、20年以上の沈黙を破り、ソーシャルメディアの現状に苦言を呈した。エンゲージメント最適化が孤独と不安を生み、AIが偽情報やボットで人間のつながりを侵食していると指摘。同氏は、かつてのコミュニティ中心のインターネットを取り戻すため、orkut.comで支持者を募り、友人にサポートカードを送るよう呼びかけている。

  27. 米国がMicrosoftを含む大手IT企業をグリーンカードプログラムから一時停止した。Hacker Newsの議論では、Amazonがこのプログラムの最大利用者であるとの指摘や、長年にわたるH1Bビザの悪用が背景にあるとの意見が交わされた。テック企業が政権に取り入っても、最終的には使い捨てにされるという辛辣なコメントも見られた。

  28. DuckLakeはSQLとParquetを基盤とするオープンなLakehouseフォーマット。メタデータをカタログデータベースに、データをParquetファイルに保存する。DuckDB拡張により、ATTACH構文でDuckLakeデータベースに接続し、標準SQLでテーブルの作成・変更・クエリが可能。タイムトラベル、スキーマ進化、変更データフィードなどの機能を備える。

  29. 筆者は最近、会話の目的は食べ物や飲み物が沈黙の負担を和らげることだと知り、目から鱗が落ちた。娘との会話でも、いきなり本題に入らず、しばらく無駄話をしてから核心に触れた経験から、回り道の価値を実感する。言語は不正確で、感情を直接言葉にするのは難しい。だからこそ、雑談やコーヒーといった儀式が信頼を築き、敏感な話題を話すための準備になる。Twitterの140文字制限がこうした儀式を奪い、オンライン会…

  30. pingdotgg/ts-rustは、MicrosoftのTypeScript 7コンパイラ(Go実装)をRustへ直接移植した実験的プロジェクト。GPT-5.6 SolとGPT 6 Astraで40万ドル以上を費やしても互換性84%で止まったが、Opus 5.5はゼロから書き直し、わずか10時間で動作するv0を作り、2週間・約2万4千ドルで完成させた。ベンチマークではGo版より約1.6倍高速で…

  31. NASAのTESSデータをClaude Codeで解析中、約116光年先の恒星に3.18日周期で0.05%暗くなる信号を発見。2020年と2018年のデータにも同じ減光が現れ、地球の1.4倍サイズの惑星候補と推定。2週間で74の解析と1000以上のスクリプトを実行し、TESSの観測提案も承認された。

  32. zerobrewはuvスタイルのアーキテクチャをHomebrewパッケージに適用した新しいパッケージマネージャ。100パッケージのインストールでコールド時は6.6倍、ウォーム時は68倍高速化を実現。特にウォームインストールでは24パッケージが100倍以上速くなり、タグラインの「100x*」はこれを指す。macOSとLinuxに対応し、MIT/Apache 2.0ライセンスで公開。

  33. 2024年6月、East Sussexの釣り湖Furnace Brookで、コイやウナギなど15種以上、2000匹を超える魚が一夜にして死んだ。原因は上流のMorgans Farmから流出した汚染とみられ、Environment Agencyは最も深刻なCategory 1に指定したが、2年以上経った今も捜査は進んでいない。生態系の回復には10〜15年かかるとされ、所有者は50万ポンドの損失を被…

  34. ICANNの新gTLDプログラムで、トップレベルドメイン「.lan」の申請が公開された。申請者はCoffee Danger, LLC(米国)。現在は事前評価処理の段階で、ステータスはアクティブ。.lanはローカルネットワークで慣習的に使われてきた名前空間であり、正式なgTLDとして認められれば、家庭や企業内ネットワークの運用に影響を与える可能性がある。

  35. Embedded Swiftを使って、OSのないベアメタル環境で動く最小カーネルをQEMU上に構築する実験。アセンブリの起動コード、リンカスクリプト、UARTドライバ、memmoveの自前実装など、標準ライブラリなしでSwiftプログラムを実行するために必要な要素を一つずつ解説。最終的にはシリアル経由で文字をエコーする簡単な対話環境までを実現する。

  36. DHHの「AI shed」のアイデアをきっかけに、月額5〜10ドルの小さなVPSの導入を考えています。私はLinuxユーザーで、これまで何度も個人サーバーを運用してきました。常時稼働する何かがあるのは良いと思う一方で、ほとんどのことはラップトップでできるため、メンテナンスの手間が見合うのか疑問です。安価なVPSやミニPCで、長期的に実際に役立ったものは何ですか?時間を節約したり、サブスクリプショ…

  37. 会社のネオンイベントに向けて、著者がLEDフィラメントで光るTシャツを製作。フィラメントはカットできないため、Inkscapeでパス長を測り、リャマや筆記体のデザインを縫い付けた。ESP32とTPS61169で点滅を制御し、USBバッテリーで駆動。数日で完成し、イベントで好評だったが洗濯は不可。

  38. 米ノースカロライナ州のMichael Smith(54)が、AI生成楽曲をbotで不正に再生させて得た印税を巡り、禁錮18カ月と800万ドルの没収を命じられた。2017年から2024年の逮捕までに最大1万の偽アカウントを作り、数十万曲を数十億回再生させたとされる。司法省は、Taylor Swiftの全カタログが2023年4月にYouTube Musicで930万回だったのに対し、Smithのbo…

  39. MSI MPG 321URX QD-OLEDを生産性用途で30ヶ月、約8000時間使い続けた長期テストの最新結果。画面中央の縦線とタスクバー周辺に逆焼き付きが進行し、特に緑サブピクセルの劣化が顕著。ピーク輝度は5%低下し、色温度も新品時より約150K低くなった。焼き付きは加速していないが、着実に悪化している。

  40. 『Braid』は6つの世界でそれぞれ異なる時間操作の仕組みを導入する。物語の曖昧さには懐疑的な筆者だが、ゲームというプログラムされた宇宙では時間旅行のルールが厳密に守られ、矛盾が生じない点を高く評価。特に緑の物体が時間逆行の影響を受けず、宇宙に少なくとも2つの時間次元を強いる仕組みを分析する。

  41. 考古学者たちは、朽ちやすい繊維技術が先史時代の生活に果たした役割を解明しようとしている。ドイツのHohle Fels洞窟で出土した35,000年前の象牙製lochstabは、らせん溝に沿ってガマの繊維を通すと、10分で16フィートの丈夫な縄を作れることが実験で判明。しかし、当時大量に作られた縄は残っておらず、考古学記録の大部分が失われているという問題を浮き彫りにした。

  42. 1990年代初頭のBBSシーンを懐かしむHacker Newsのスレッド。当時の遅いモデムや長距離通話料金といった技術的制約が、ローカルコミュニティやテキストゲーム、ANSIアートなどの文化を育んだと指摘。現代のBBS運営者は、企業化したインターネットに疲れた若者や歴史に興味を持つ新規ユーザーが増えていると語る。

  43. Mitchell Hashimoto氏が、プログラムの状態をターミナルに直接伝える新しいエスケープシーケンス「OSC 7501 Program Status Protocol」を仕様化した。idle、working、blocked、done、errorといった状態をkey=value形式で送信でき、coding agentの進捗把握やエージェント型受信箱の課題を根本から解決する。既存のヒューリス…

  44. StepFunのフラッグシップモデル「Step 5 Preview」がOpenRouterで利用可能になった。スパースなMixture-of-Expertsアーキテクチャを採用し、総パラメータ数600Bのうち27Bを活性化。100万トークンのコンテキストウィンドウを持ち、ソフトウェアエンジニアリングや専門知識業務、特に金融分野で強みを発揮する。価格は入力100万トークンあたり1ドル、出力2.70…

  45. eth68はLinux向けのEthernetオーディオインターフェースだ。48kHz/64サンプルバッファで往復3.620msという低遅延を達成し、RMEのPCIeカードに匹敵、96kHzでは0.33ms上回る。複数台をHFクロック共有とUDP同期で連携させ、チャンネル数を増やしても遅延は増えない。JACKやPipeWireから利用でき、STM32H7上のベアメタルファームウェアがnetJACK…

  46. 中国の潜水艇Fendouzheによる2023年の32回の潜航調査で、Diamantina Zoneの水深4,616〜7,001mにわたり約1,200km続く巨大なクジラの墓場が発見された。現生のクジラ落下群集5か所と476体分の化石クジラが確認され、化石には現生種と絶滅種の両方の深海性アカボウクジラ類が含まれる。同位体年代測定により、この地域のクジラ落下は少なくとも530万年前から起きていたこと…

  47. SamsungLabsがNeurIPS 2025採択のLittleBitとICML 2026採択のLittleBit-2の公式実装をGitHubで公開した。重み行列を低ランク潜在因子に分解して二値化し、軽量な学習済みスケールで大きさを復元することで、1重みあたり0.1ビットという極限圧縮を実現。推論時のアーキテクチャは変えず、LittleBit-2では初期化段階でJoint-ITQを適用し潜在空…

  48. 整数演算では、Cコンパイラが未定義動作を前提に最適化するため、開発者は事前にオーバーフローを予測し、checked_addや__builtin_mul_overflowなどで対処する必要がある。一方、IEEE-754浮動小数点では、エラーはNaNや無限大として伝播し、プログラムをクラッシュさせない。それにもかかわらず、多くの開発者がゼロ除算チェックやFLT_EPSILONによる比較を行い、かえっ…

  49. k10sは、k9sの思想を受け継ぎつつ、ターミナルUIをマウスでクリック可能にしたKubernetes管理ツールです。選択したオブジェクトに応じたアクションが画面に表示され、ctrl+pでクラスタ全体を横断検索。ログ追尾、exec、ポートフォワードなどの日々の運用操作をシングルキーで実行でき、コンテキストを理解したAIが「このPodが不調な理由は?」といった自然言語の質問に答えます。Go製の単一…

  50. Ethereumの共同創設者Vitalik Buterinが、AIの数学的進歩により暗号資産のウォレットを保護するECDSAが量子コンピュータより先に破られる可能性があるとして、Justin Drakeの「bunker mode」警告を支持した。Drakeは公開鍵が露出していない新アドレスへの段階的な資金移行を推奨。Buterinはlattice暗号へのリスクも指摘しつつ、移行の難しさにも言及し…

  51. Dat-ecosystemはP2Pプロトコル上に高レベルなアプリケーションを構築するプロジェクト。Hacker Newsのコメントでは、Beakerブラウザの終了などからDATはほぼ死んだと見る声がある一方、Keet.ioのような新プロジェクトがP2Pの夢を細々とつないでいると指摘。モバイルのNAT越えと持続的なシードのインセンティブが解けない限り、P2Pプロトコルは趣味の域を出ないという厳しい…

  52. Biohub、米国エネルギー省、NIH、Google DeepMind、Isomorphic Labs、Metaらが、生物学の予測AIモデルを支えるオープンデータ生成に総額18億ドルを投じる。DOEは5年間で5億ドル超を実験・計算基盤に、NIHは既存データセットをAI学習用に標準化。DeepMindらは3億ドルをVirtual Biology Initiativeに拠出し、仮想細胞の実現を目指す。

  53. Web Platform TestsのInterop 2027提案を、あなたが重視する順にランキングできるサイトが公開された。Firefoxチームが提案を検討する際のデータとして活用し、昨年は1900件以上のランキングがFirefoxの機能開発の優先順位付けに役立ったという。肯定的に評価する提案だけを約10件選べば十分で、ランキングは自動保存される。

  54. 外骨格(エクソスケルトン)技術が救助や物流、軍事の現場で実用化されつつある。シアトル山岳救助隊は機動力向上のため装着型デバイスを試験し、IKEAやFord、Boeingも導入。ウクライナ軍は砲弾運搬にHypershellを使用し、兵士の疲労軽減と戦闘効率維持を報告している。市場は現在約5億ドル規模と推定され、2030年代半ばには倍増から3倍に成長する可能性がある。

  55. Linux向けの新しいメモリ圧縮方式CRAMが登場した。圧縮されたメモリをブロックデバイスとしてではなく、標準的なメモリセマンティクスで直接アクセスできるようにする点が特徴で、圧縮メモリの読み出し性能が最大452倍向上するという。RAM不足が深刻化する中、カーネルレベルでの新たな省メモリ手法として注目される。

  56. フランスの裁判所は、海賊版スポーツ配信のブロックを巡り、Cloudflareに対するCanal+の日額5万ユーロの制裁金請求を棄却した。CloudflareはCDN経由でのみブロックを実施し、公共DNSリゾルバ1.1.1.1では一切ブロックしていない。裁判所は、CDNによる措置を合理的かつ比例的な対応と判断し、サイトが別のCDNやミラーに移行した場合の責任はCloudflareにはないとした。

  57. GitHubがリポジトリ設定に2つの新しいPull Requestアクセス制御を追加した。1つはPull Request機能を完全に無効化する設定で、ミラーリポジトリや読み取り専用コードベースに適している。もう1つはコラボレーターのみにPull Request作成を制限する設定で、開発の重要な段階で貢献の質を管理できる。すべてのパブリックおよびプライベートリポジトリで利用可能で、モバイルアプリの…

  58. OpenAIが2026年10月6日、高名な数学問題の解答を主張する700件超の文書を公開した。数学者らはこの研究を求めていない。OpenAIが正当性の根拠としてきた数学・AI諮問グループは、最先端AI企業は内部モデルで高度な数学問題を試すべきでないと述べていた。AHMはこの前提を無視したOpenAIの姿勢を科学の規範への全面的な軽視と批判し、数学者と一般市民に懐疑的な目で見るよう促している。

  59. アナログコンピュータ「The Analog Thing(THAT)」をブラウザ上で再現したシミュレータ。パッチパネルにケーブルをドラッグして配線し、オシロスコープでX/Y/Z/U出力を観測できる。係数ポテンショメータやOP-TIME、REPFモードなどの制御も備え、放射性崩壊の指数減衰プリセットを読み込めば6素子の回路をすぐに実行可能。45素子・196の接続ホットスポットを扱う編集環境がそのまま…

  60. Rembrandtは、macOS、Windows、Linuxで動作する無料の写真編集ソフトです。アカウント登録もサブスクリプションも追跡も一切不要。RAW現像、マスク、オンデバイスAIを搭載し、クラウドに依存せず完全にローカルで動作します。自然言語で「ゴールデンアワー、シャドウ+25」と指示すれば、スライダーが動きながら編集を実行。AI被写体マスク、超解像、ノイズ除去、HDRマージなど、プロ並み…

  61. William Goldingの『蠅の王』は、Faber & Faberの新人編集者Charles Monteithが拾い上げなければ世に出なかった。核戦争の描写から始まる原稿を彼は「総ざらい」し、構造・トーン・寓話性を削って今の形にした。当初は無名の著者が編集者に従属していたが、成功後は関係が逆転。Tim Kendall編の往復書簡がその力学を生々しく伝える。

  62. LLMがコード生成を高速化する一方で、検証と反復のコストは依然として高い。ClojureはREPLによるライブコーディングでコンパイルサイクルを排除し、状態を保ったままコードを書き換えられる。不変性とデータ中心設計により、エージェントは関数を単体で安全にテストでき、簡潔なS式はコンテキストウィンドウを有効活用できる。Joltのような新実装がJVMの起動時間問題も解決しつつある。

  63. rGPUは、PyTorchのテンソルをリモートのNVIDIA GPU上に保持し、クライアント側のPythonアプリケーションから透過的に操作できる画期的なツールです。CUDA非搭載のMacでも、pip install rgpuで導入し、SSH経由でリモートGPUに接続するだけで、torch.ones(4, device="rgpu")のように自然にGPU計算を利用できます。既存のLinux CU…

  64. National Security Archiveが機密解除文書を分析し、CIAが1968年のTlatelolco虐殺直前、メキシコの右派学生グループに資金提供していたと報告した。CIAは1950年代から20年間にわたり少なくとも5つのプロジェクトでメキシコの大学の学生指導部を支配しようとし、Fernando Gutiérrez BarriosやMiguel Nazar Haroらと連携。研究者…

  65. 採用担当者からのメールが、LLMによって生成された「パーソナライズ」された文章に置き換わっている。しかし、経歴を説明されても求人内容と無関係だったり、明らかにAIが書いたとわかる表現が並んだりして、かえって不信感を招いている。筆者は、テンプレートメールよりもLLMメールのほうが「非人間的」だと感じる理由を、自身の経験を交えて考察する。

  66. 学校の自動採点システムは、許可された関数以外の使用をAST解析で検出する。execveを直接呼べないため、ASanで置き換えられたprintfとmmapのオフセットを漏洩させ、unionで関数ポインタを偽装。mmapで書き込み可能かつ実行可能なページを確保し、syscall命令を配置してexecveを呼び出すことに成功した。

  67. Flinders大学のBiomedical Nanoengineering Laboratoryは、バニラの主成分Vanillinが持つ抗酸化・抗炎症・抗菌作用に着目し、慢性創傷治癒や組織再生に向けた生体材料への応用を検討した研究をInternational Journal of Pharmaceuticsに発表した。Vanillinは食品香料として広く使われる一方、両親媒性の分子構造により活性…

  68. TerrainSRは、100m解像度の地形データから10m解像度のリアルな高さ情報を生成するAIモデルです。RTX 4070で50x50kmのパッチをわずか0.74秒で処理でき、リアルタイムゲームや歴史シミュレーションに最適。都市や人工物を含まない自然地形のみで訓練されているため、アーティファクトのないクリーンな出力が得られます。Apache 2.0ライセンスで商用利用も可能です。

  69. Adobeのサブスクと価格高騰に不満を持つパワーユーザー向けに、Rustで書かれたvibe-codedなCreative Cloud代替スイート「ArtCraft」が登場。PhotoshopやPremiere Proなどの主要アプリを再現し、軽量で高速、Linuxでも動作する。著者は、たとえAI製でもこうした試みを応援すべき理由があると論じる。

  70. AI-Agent-on-a-NOKIAは、Nokia 110 4Gのファームウェアをリバースエンジニアリングし、ネイティブのAIチャットアプリを実装したプロジェクトです。テンキーでメッセージを入力すると、DeepSeek APIと連携したAIが電話発信、アラーム設定、懐中電灯の操作、バッテリー残量確認などを音声通話のように実行します。48MBのメモリ制限に対応するため、カスタムエージェントを軽量…

  71. Project Arenaは、Kubernetes上のインシデント調査ツールを公平に評価するためのベンダーニュートラルなオープンベンチマークです。21種類の障害シナリオを実際のクラスタに注入し、検知・根本原因分析・影響範囲・緩和策の実装準備度をスコアリングします。ローカルのkindまたはAWS EKSに対応し、任意のAI SRE製品を接続可能。設定可能なAIジャッジが調査結果を採点し、Edge…

  72. Wordminosは、クロスワードパズルとドミノを組み合わせたユニークなゲームです。すべてのピースをボードに配置し、色のマーカーに合わせてクロスワードを完成させます。文字が縦横に単語を形成するようにピースをドラッグ&回転させ、パズルを解きます。数百ものパズル、デイリーパズルアーカイブ、オフラインプレイに対応し、広告やサブスクリプションはありません。パズルエディタで自作パズルも作成可能。App S…

  73. mojodojo.ioの実測データによると、直近30日間のボットヒット58,057件のうちAIクローラーが24.2%を占め、検索エンジンとほぼ同水準に達した。内訳はAIトレーニング17.0%、AI検索5.4%、ユーザー代理のライブ取得1.8%。IP検証ではGPTBotの94%がなりすましで、PerplexityBotも58件の偽装が確認された。1サイトの事例としてAIボットの実態を可視化している。

  74. ENIACは1945年に稼働した初のプログラマブル電子計算機だが、当初はケーブル接続とスイッチ操作で直接プログラムされ、それを担ったのは6人の女性だった。彼女たちは配線図から独学で学び、複雑な弾道計算プログラムを完成させた。しかし1946年の公開式典で紹介されず、その功績は40年間忘れ去られていた。

  75. 1997年にBBCで放送開始された『Teletubbies』は、その奇妙な世界観で成功を収める一方、紫のキャラクターTinky Winkyがゲイであるという噂が飛び交い、同性愛嫌悪のパニックに発展した。Jerry Falwell牧師は「ゲイ・プライドの色である紫、三角形のアンテナ、赤いハンドバッグ」を根拠に非難。製作者は「1~4歳児向けの番組で、同性愛者を登場させても子供は気づかない」と反論した…

  76. Pacerは、macOSのメニューバーに2つのリングを表示し、Claude Code、Codex、Cursor、AntigravityなどのAIコーディングサブスクリプションがリセットまで持つかどうかを教えてくれるツールです。単なる使用率ではなく「このペースだとリセット時に何%になるか」という速度を表示し、モデル構成に基づいたアドバイスも提供。複数アカウントを並べて管理でき、API換算コストや通…

  77. 昨年撮影された写真の数は、それまでのフィルム写真の総数を超えた。人間は1日あたり最大4.2兆枚の画像を消費できる計算になる。かつて時間が鉄道とともに商品化され、やがて不可視のインフラになったように、ウェアラブルカメラも日常に溶け込み、遠隔視の基盤となるだろう。その力の使い道は私たち次第だ。