日刊ダイジェスト · Hacker News
· 87 ハッカーニュース
Fuglerammeは、Raspberry PiとInky Impressionを組み合わせたE-inkフレームです。マイクで鳥の鳴き声をリアルタイムに検出し、完全ローカルAIで種を識別。800点以上の1800年代の手切りイラストから該当する鳥を選び、テクスチャ紙の上に体長に応じて配置して描画します。検出された鳥が変わると自動で更新され、キッチンの窓辺などに置くだけで、庭に訪れる鳥たちをアートと…
1930年、オーストラリアの探検家Mick Leahyがニューギニアの山奥で、外部世界と隔絶された約100万人の高地民族と遭遇した。彼らは農業を独自に発明し、1万年前から孤立。貝殻を通貨とし、贈与競争「moka」で「big man」を選ぶ社会を築いていた。著者はこの衝撃的なファーストコンタクトの記録に魅了され、その独自性と歴史的意味を語る。
TypeSafe AIがSystem Oneモデル「Jev」を発表。文字列生成を捨て、型安全な構造化出力に特化。並列サンプリングとRLCDにより、既存LLMと同等の知能を保ちつつ最大400倍安価で200倍高速。幻覚がなく、確信度を常に出力。
- ▲ 8269.11から25年、大量監視はもう十分だ
9.11同時多発テロを機に、政府は個別の令状による監視から、インターネットバックボーンや電話メタデータの一括収集といった大量監視へと移行した。この手法はテロ対策の枠を超え、ICEによる移民取締りや抗議活動の監視、Flockのナンバープレート読取網、Madison Square Gardenの顔認識など、日常的なツールとして定着。FBIはデータブローカーから米国人情報を購入し続け、AIの進化で分析…
- ▲ 452米国、軌道上への兵器配備を初めて認める
米空軍長官Troy Meinkが、敵対行為から米軍を守るため「軌道上」の兵器を配備したと初めて公に認めた。中国は宇宙での軍拡競争を警告。専門家は電子戦やキネティック兵器の可能性を指摘するが、詳細は不明。1967年の宇宙条約以降、米露中が対衛星能力を競う中での確認となる。
オランダの鉄道インフラ運営会社ProRailは、線路への妨害行為によりアムステルダムを含む広範囲で列車の運休や遅延が発生していると発表した。複数地点で線路にパイプが取り付けられており、同社は「人為的な意図的妨害」と述べている。警察が捜査を進めており、動機や容疑者はまだ特定されていない。
Internet ArchiveのWayback Machineが大量の自動アクセスに襲われ、サービス維持のため防御策を導入。最近では、リクエストがブロックされた際に表示される429エラーメッセージを書き換えた。この防御策が誤って人間をブロックすることもあり、その場合は[email protected]にOS、ブラウザ、IPアドレスを添えて連絡してほしいと呼びかけている。
Linux From Scratch（LFS）は、ソースコードのみから独自のLinuxシステムを構築するための手順書を提供するプロジェクト。LFS本体に加え、拡張版のBLFS、自動化ツールのALFS、32ビットバイナリ対応のMLFS、ゲーミング向けのGLFSなど多数のサブプロジェクトが存在する。
ノルウェーのForbrukerradet（消費者庁）が、サーキュラーエコノミーを環境問題だけでなく消費者の権利と社会のレジリエンスを強化する鍵として位置づける報告書を発表。消費者政策によって、循環型の選択をより簡単で安全、魅力的にする方法を示している。
GoogleがGemini 3.8 LiveとExtended Thinkingを発表。Extended ThinkingはArtificial AnalysisのSpeech to Speech Quality Indexで82.6を記録し総合1位、τ-Voiceで68.6%、τ-Voice-bankingで35.1%を達成。Liveは低コストでスケール向け。両モデルは97言語を会話中に自動切…
JDK 27のGA版が公開された。8月20日のRC2以降P1バグは報告されず、build 35がそのままGAビルドとなった。9つのJEPが含まれ、G1 GCの全環境デフォルト化、TLS 1.3向け耐量子ハイブリッド鍵交換、Compact Object Headersのデフォルト化、JFRのインプロセスデータ秘匿などが盛り込まれている。
Capsuleは、UI・データ・SQLiteデータベースを1つの.capsuleファイルにまとめる単一ファイルWebアプリだ。クラウドもアカウントも不要で、PDFのようにメールやAirDrop、WhatsAppで共有でき、受け取った側はタップするだけで即起動する。データはすべてファイル内に保存され、オフラインでも動作するためプライバシーが守られる。macOS、Windows、Linuxでクロスプ…
- ▲ 282調査が示す、人々が伝統建築を好む理由
20世紀にモダニズムが世界の建築を支配して以降、その不人気は専門家も認めてきた。1979年のMetuchen調査を皮切りに、視覚選好調査が世界各地で実施され、60%以上、時には85%超が伝統建築を支持。年齢、性別、政治、階級、国籍による差はほとんどない。AIによる画像編集の進歩で比較精度が向上し、大規模調査が可能になった。
米国とカナダの市民の運転免許証1億5300万枚と渡航文書300万枚へのアクセスを販売していたダークウェブサービス「Nexus」が、大手本人確認企業IDScanから1年以上にわたりデータを窃取していた可能性が高い。FBIが捜査に乗り出し、IDScanも侵害を認めている。この流出は単なるサイバー犯罪にとどまらず、米国の敵対国の情報機関にとって貴重な情報源となり得る。運転免許証は住所や写真を含むため、…
イスラエルの文化大臣Miki Zoharが、ガザを題材にしたドキュメンタリー『Naza』を制作したYuval AbrahamとRachel Szorの市民権を剥奪する可能性に言及した。映像はVenice Film Festival関連の文脈で報じられている。
CSS-Tricksが再び停滞している。DigitalOceanは2022年に同サイトを買収したが、2023年にスタッフを解雇し、2024年にGeoff Grahamを再雇用して一時復活したものの、今また沈黙状態だ。一方で同社は、DHHが率いるArch Linuxベースのスクリプト集Omarchyに300万ドルを寄付。GNOMEやFlathubへの月50ドル支援は打ち切っており、自社出版物よりも…
MinIOの単一ノード代替として、S3Proxy、RustFS、SeaweedFS、Zenko CloudServer、Garage、Apache Ozoneを実際にDocker Composeで試した。S3Proxyは軽量で設定も簡単、SeaweedFSは認証設定が不要になる予定。一方Garageは初期化用の別コンテナとTOML設定が必要で、Ozoneは4ノード未満でのデプロイ方法が分からず、…
セキュリティ企業Strixが、Basetenをベンダーとして検討する前に自社の自律型ハッキングエージェントでスキャンしたところ、公開Harborレジストリから2023年3月ビルドのDockerイメージを取得。そのビルド履歴に残っていたGitHubトークンが、メイン製品リポジトリやGitOpsリポジトリへの管理者権限を今も保持していた。Basetenは翌日までにトークンをローテーションし、問題を修…
元FTC議長のLina Khan氏は、AI企業とその経営陣を規制するのに新しい法律は不要だと主張する。消費者保護法や不公正な競争を禁じる既存法、さらに1934年の最高裁判例を根拠に、危険なAIのリリースや競争上のリスクを訴える。OpenAIやAnthropicのエージェントによる一連の不正アクセスを念頭に、既存法の執行を訴える内容だ。
AIエージェントがメールや予約システムを介してインターネットを混乱させている。404 Mediaには「Kudzu」など自称AIエージェントから意味不明なメールが殺到。ResyはAIによる予約ボットを禁止し、Metaの「Muse」やClaudeの統合で誰でも知らずにエージェントを展開する時代に。著者は、AIの存在論的リスクよりも、日常的な迷惑行為の方が確実に問題だと指摘する。
enacticが公開したOpenArmは、physical AIの研究と実運用を想定した完全オープンソースの7自由度ヒューマノイドアーム。接触の多い環境での動作を重視して設計され、GitHubでは3.1kのStarと354のForkを集めている。ハードウェアからソフトウェアまで公開し、研究コミュニティが自由に再現・改良できる点が特徴だ。
Niklasと私は、通常数年かかるOpenGL ES 3.0準拠のGPUドライバをM4 Mac MiniとMacBook Neo向けに約1ヶ月で構築した。AppleのAGXファームウェアABIとユーザ空間をリバースエンジニアリングし、ハイパーバイザを使ったクリーンルーム手法で、ChromeやFirefoxのWebGL、Minecraft 200fps動作まで実現。まだエンドユーザー向けではないが…
エジプトのサッカラにあるMariette Necropolisで、第5王朝末期、Djedkare Isesi王の治世に遡る約4400年前のマスタバ墓が発掘された。墓には法官で裁判所長官、請願・苦情を審査する書記の長を務めたYounminと、その父Ityの2つの葬祭礼拝堂がある。壁には農業風景や供物を運ぶ行列が高品質のレリーフで描かれ、当時の彩色が多く残っていた。19世紀にMarietteが存在を…
Modem Thingは、$20の4Gモバイルホットスポット（MF800）をLinux化し、Clicks KeyboardとAdafruit SHARP Memory Displayを組み合わせて、テキストメッセージ専用デバイスに改造するプロジェクトです。OpenStickを利用してAndroidからLinuxへ書き換え、カスタムPCBでUSBホスト機能や電源管理を実現。不要な部分を切断し、SP…
- ▲ 173監視社会は、もう私たちの首にかかっている
Apple Watchの新機能「Audio Intelligence」は常時会話を録音・要約する。本人の同意なく周囲の会話が記録され得る点が深刻だ。MetaのAI GlassesやOpenAIのウェアラブル端末も同様に常時記録・送信を行う。監視カメラは電柱から消え、首、イヤホン、眼鏡へと移り、Orwellの『1984』のテレスクリーンをはるかに超える。
Redis Cityは、Redisの内部構造をインタラクティブな3Dモデルで可視化する教育ツールです。単一のRedisインスタンスを「都市」に見立て、キースペース、データ構造、メモリ管理、OSスレッド、永続化の仕組みを階層的に探索できます。SET/GET/DELのコマンドパスやRDBスナップショット、maxmemoryポリシーなどの実験を通じて、Redisが実際にどう動くかを直感的に学べます。ブ…
フロンティアラボは知識労働者の完全自動代替という物語で高く評価されているが、現在のモデルは単純作業にも監視とガードレールを要する。厳密な仕様策定にはドメイン専門家と仕様専門家の希少な交差点が必要で、そのコストは実装を大きく上回る。Navier-Stokesや純粋数学は最良のケースに過ぎず、報酬ハッキングや人間レビューの限界を踏まえると、完全自律AIを採用できる企業は失敗を安価に許容できるか、既に…
米10年国債利回りが一時5.041%と2007年以来の高水準を記録し、G7平均も4.285%と2008年以来の高さとなった。中東情勢の悪化で原油が100ドルを超え、インフレ抑制のための利上げ観測が強まっている。FRBは16日に利上げが予想され、BOJも金曜日に利上げの見通し。政府の借入コスト上昇は財政の持続可能性に疑問を投げかけている。
ドイツの防衛企業Rheinmetallが、兵器システム「Battlesuite」の通信プロトコル「onboardapi」をGitHubで公開した。このAPIは、センサーシステムとソフトウェアコンポーネント間のシームレスな通信を実現するために設計され、DDS標準に基づくデータ中心のパブリッシュ・サブスクライブアーキテクチャを採用。C++で提供されるが、Java、C#/.NET、Pythonのラッパ…
eBPFセキュリティエージェントの性能をプロファイリングしたところ、ポリシー適用よりもファイルオープン時のパス走査が高コストだと判明。inodeベースのLRUキャッシュでメモ化し、カーネルCPUサイクルを280億から30.3億へ削減。ハードリンクはリンク数で判別して安全にフォールバックする。
- ▲ 1489.11から25年、大量監視はもう十分だ
9.11同時多発テロを契機に、米国の監視は個別対象から大量監視へと移行した。著者らは、この監視がテロ対策の枠を超え、移民取締りや抗議活動の監視、民間企業とのデータ連携にまで拡大していると指摘。憲法修正第4条の保護が空洞化し、誤用や濫用が繰り返されているとして、25年を経た今こそコストを検証すべきだと訴える。
Hugging FaceのCEO、Clément Delangue氏が、自社への侵入を起こしたOpenAIに対し、実行トレースの公開と1億ドル相当の計算資源の提供を要求した。同社は侵入調査のため、商用AIが拒否した攻撃コードの解析を中国のオープンモデルGLM 5.2で実施。この事件は、自律エージェントによる初のサイバー攻撃なのか、それとも人為的ミスなのかという議論を呼んでいる。
- ▲ 137本はナイフで切り刻めばいい
850ページ超の大著『Lonesome Dove』を読むのに疲れた著者が、本を自然な区切りで切り分け、マニラフォルダーで簡易製本して持ち歩きやすくする方法を伝授。背表紙を割り、X-actoナイフで糊を切って分冊し、新しいカバーを付けるだけ。図書館の本ではやらないこと。
2008年にCSS Zen Gardenで見た「コンテンツとデザインの完全分離」という夢。当時はCSS変数もなく、ブラウザ間の差異も大きく、実務では程遠いものだった。しかしカスタムプロパティやGrid、Flexboxの登場で状況は一変。MozillaとLincoln LoopとのFirefox.com再構築では、プリプロセッサなしのネイティブCSSで70以上のコンポーネントと25のページテンプレ…
F-Droidに2026年9月12日に追加された102アプリを調査し、コミット履歴やリポジトリの兆候からLLM生成コードの割合を推定。Claude CodeやCodexのインフラ、AI開示、絵文字だらけのREADMEなどが手がかり。過半数のアプリにAIの痕跡が見つかった一方、人間が書いたと思われるものも残る。
Wall Street Journalの報道によると、OpenAIはスマートフォンカメラメーカーのGlass Imagingを3億ドル超で買収した。2019年創業のGlass Imagingは、AppleのPortrait Modeを開発したチームを率いた元AppleエンジニアのZiv AttarとTom Bishopが設立。撮影後の編集ではなく、ニューラルネットワークで個々のカメラシステムを学…
2026年、AIの焦点は訓練から推論へ移り、NvidiaのJensen Huang CEOは「推論の変曲点」と表現。推論需要の爆発で、OpenAIとAmazonがCerebrasの巨大チップを採用し、NvidiaはGroqから20億ドルで人材とIPを獲得。AnthropicはSpaceXAIから月10億ドル以上で計算資源を借りるなど、異例の提携が相次ぐ。メモリ帯域がボトルネックとなる中、d-Ma…
Numberwangかどうかを判定する小さなニューラルネットワーク。モデル全体は1.8MBのJSONファイルで、推論コードはPure Python標準ライブラリのみ約100行。PyTorchもNumPyも不要で、クローンすればすぐ動く。11言語や算術式、ローマ数字などを受け付け、精度は88.9%。ただし未見のオペランドを使った算術は苦手で、計算ではなく記憶している。
Swift 6.4がリリースされた。Swift BuildがSwift Package Managerのデフォルトビルドシステムとなり、Linux、macOS、Windowsで同じビルドが可能に。Subprocessが1.0に到達し、C++20のstd::spanとSwiftのSpanが直接連携。JavaScriptKit経由のWebAssemblyブリッジは最大40倍高速化し、Wasm SDK…
スタートアップの創業者が、自社のオープンソースプロジェクト「mobile-use」のコードがGoogleの新ツール「Artemis」に無断で流用されたと告発。229ファイル中228ファイルが完全一致し、エンジニアと共同創業者の名前が別の著者名に置き換えられていた。Apache 2.0ライセンスの下で公開していたが、帰属表示の削除はライセンス違反の可能性がある。
Electronic Frontier Foundationの分析により、Flock Safetyのナンバープレート読取システムで、警官が検索理由欄に「LMAO」「LOL」「idk」などの冗談や意味不明な文字列を入力していた実態が明らかになった。2025年7月にはインディアナ州の警官が1,558都市・19,000台以上のカメラを「LMAO」という理由で検索。Flockは2025年末に理由欄をカテ…
AustraliaがCanadaと歩調を合わせ、EUとの関係をより深い同盟へと発展させようとしている。閣僚は両国が「同じ立場」にあると述べ、Reutersが報じた。Hacker Newsではこの動きをめぐり、地政学的な同盟再編への関心が集まっている。
9front向けに書かれたクラッシュセーフでスナップショット対応のコピーオンライトファイルシステムGEFSを、作者のori氏がOpenBSDへ移植。まだバグや問題が多く、データ損失も覚悟が必要な非常に初期のプレビュー版だ。カーネル内コードは9,000行未満で、Plan 9版とデータ構造を揃えつつ、エラー処理や整合性プロトコル、ユーザー空間ツールなど多くの課題が残る。
フランスの数学者Jean-Pierre Serreが1926年9月15日に生まれてから100年。Bourbakiの最年少メンバーとして参加し、スペクトル系列を応用してホモトピー群の画期的な結果を導き、1954年に28歳でFields Medalを受賞した。代数トポロジー、代数幾何、整数論にまたがる業績は20世紀数学の骨格をなす。
インターネット中毒だと思っていた筆者。だが本当の依存対象は「良い情報」だった。かつてのネットで人生を変える発見をした体験から、短尺のフック重視コンテンツに支配された現在のアルゴリズムを批判。断片化こそが答えだと主張する。
- ▲ 102k-server予想がついに証明される
k-server予想とは、任意の距離空間において決定的オンラインアルゴリズムが競合比kを達成できるというもの。Christian Coester、Elias Koutsoupias、Marek Zbysińskiの3氏がこの予想を証明し、work function algorithmがそれを満たすことを示した。証明ではwork functionを行列として代数的に表現し、最適コストの定義に現れる…
Formasが発表したCartesianは、建築やプロダクトデザイン向けのAI 3Dモデリングツール。写真やスケッチ、テキストから、編集可能な正確なソリッドやNURBSジオメトリを生成する。ポリゴンメッシュの近似ではなく、面・エッジ・ソリッドを計測・変更でき、BIMワークフローにも対応。RhinoやSketchUpへのネイティブ書き出しも可能で、高価なデスクトップCADライセンスなしで精密なモデ…
約1年間Oura Ringを使い続けた筆者が、スマートリングの根本的な欠点を告白。体重が14kg減ってサイズが合わなくなったこと、筋トレ時に外さなければならないこと、水仕事のたびに煩わしいことなど、リストバンド型にはない問題を挙げる。さらに2台連続で故障し、Fitbit Airへの乗り換えを決意。Google Health APIへの移行も済ませたが、Sleep ScoreやReadiness…
2026年2月に米国とイスラエルがイランと開戦して以来、ホルムズ海峡と紅海が事実上封鎖され、世界の石油供給の約20%が失われている。世界は生産を上回る石油を消費し続け、米国の戦略石油備蓄（SPR）は1982年以来の最低水準まで減少。ブレント原油は40%高、米国ディーゼルは68%高と記録を更新中だ。Depletion Ledgerは供給・価格・経済への影響を追跡し、危機がどう展開するか3つのシナリ…
1991年にロンドンで始まった海賊ラジオKool FMは、jungle/drum & bassシーンの発展をそのまま記録してきた。Trevor 7oaksは1992年から放送を録音し始め、現在9,000本以上の音源を保管。カセットのデジタル化や音質修復を続け、MP3のダウンロードは50万回を超える。彼は「中毒のようだ」と語り、音楽だけでなく人々の記憶とロンドンの文化史を保存している。
ブラジルの電子税務文書NF-e、NFC-e、CT-e、MDF-eのSEFAZウェブサービスをPostmanコレクションとして完全収録。SOAP 1.2エンベロープとmTLS認証に対応し、DFe配布サービスは本番環境で検証済み。各サービスのURLやXML署名の要否など、実運用で必要な情報を一覧化している。
AIが難問を次々と解くようになり、数学者の間で危機感が広がっている。約5000人（Fields賞受賞者25人を含む）が「数学におけるAIの深刻なミスアラインメント」と題する宣言に署名した。パズルを解く能力は、新しい概念を生み出すという数学の本質を間接的に評価する指標だった。AIがその指標をゲーム化し、人間には理解しにくい形で問題を解いてしまうと、数学の本当の進歩が損なわれる恐れがある。著者は、チ…
Anthropic周辺のAI安全非営利団体は、Moskovitz氏が保有するAnthropic株（約70億ドル）に依存し、独立を主張しながらも実際には同社と資金系列でつながっている。Anthropicが成長するほどAI終末論が広がり、規制獲得につながる自己増幅的な構造だという指摘。中国がAIに楽観的なのはAnthropicが存在しないためだと論じる。
V8チームが、ChromiumのBlinkで使われているC++ガベージコレクタOilpanをV8のライブラリとして公開する取り組みを紹介。並行スイープにより、デストラクタをメインスレッドで実行しつつ、メモリ回収をバックグラウンドで行う。Chrome M78ではメインスレッドのスイープ時間が25〜50%（平均42%）削減された。
Hacker Newsでは、Sony初のコンピュータSMC-70（1982年）をめぐり、日本企業の米国市場参入が振り返られた。MSXなどはCommodoreやIBM PCの後塵を拝し、独自性を欠いたうえ、当時の人種差別や保護主義も影響したとの見方も。アジアでは現地文字セット非対応で普及せず、結局どのブランドも成功せず、長く他社名義の製造拠点となった。
IBMとNASAは、月面をこれまでで最も詳細にマッピングするAI基盤モデル「NASA-IBM Lunar Foundation Model」をオープンソース化した。米国と日本の複数ミッションで収集された数十年分の観測データを統合し、異なる解像度や観測角度の情報を一つの表現にまとめる。NASAはまず、未記録の小クレーターのマッピング、火山史の解明、極域クレーターの氷探査という3つの用途を優先。氷探…
LLMのRLポストトレーニングに関する論文を解説。評価曲線が上昇しても、実際には簡単な問題でスコアを稼いでいるだけかもしれない。著者は「Matthew Effect」と呼ぶ現象を導入し、難しい問題を決して諦めない「Never Give Up」手法を提案。非同期RLの工夫や数学・コードでの大規模検証、限界も議論する。
Scikit-decideとOpenAPの燃料消費モデルを組み合わせ、実際のフライトパスを最適化する方法を解説。ボーイング787-9のニューアーク〜ローマ間では最大68,000ドルの燃料が必要だが、風を考慮した経路調整で数千ドルを節約できる可能性がある。AirbusのScikit-decideは強化学習と自動計画のフレームワークで、6年間開発が続く。TU DelftのJunzi Sun博士が開発…
Anthropicの共同創業者Jack Clark氏はBBCに対し、危険なAIを完全に停止できる「キルスイッチ」を第三者機関が検証可能にし、企業に義務付ける必要が生じるかもしれないと述べた。同社を含む多くの研究所は独自の停止手段を持つが、法規制で強制することを社会が求める可能性があるという。一方、トランプ米大統領はAIの安全性への懸念を「デマ」と否定し、英国政府もキルスイッチの導入を拒否している。
MozillaがFirefox 156をリリース。内蔵PDFビューアの起動が最大45%速くなり、大きなJPEG画像の縮小表示ではメモリとCPUの使用量を削減。Windows on ARMではWebRTCのH.264ハードウェアデコードに対応し、ビデオ会議の負荷を軽減する。ドイツ・フランス・イタリアではアドレスバーにWikipediaの提案やスポンサー結果を表示するFirefox Suggestが…
Ordewellは、1つのゴールをコーディングエージェント向けの順序付きタスク計画に変換するツールです。各タスクにはランナー、モデル、モードを個別に設定でき、実行前に計画を自由に編集可能。Claude Code、Codex、OpenCodeなどをプランナーとして利用でき、追加のAPIキーは不要です。タスク完了は証拠に基づく判定エンジンで検証され、TUI、CLI、VS Code拡張の3つのインター…
Titanosaurは体重75トンに達し、バレーボール大の卵の上に座れば「大きなオムレツ」になってしまう。アルゼンチン南部の白亜紀後期の地層から見つかった卵殻化石を電子顕微鏡で分析した結果、気孔が非常に多く、腐った植物の山に卵を埋めて発熱させるワニと同じ方法で孵化させていたことが判明した。
逆二乗の法則はなぜ距離の二乗に反比例するのか。球の表面積4πr²を、円柱の側面をタイル状に分割して球面に投影するという面積保存の議論で導出。さらにビー玉が一次元、二次元、三次元空間で広がる例えを使い、次元ごとに距離の何乗で強度が減衰するかを直感的に説明する。
Panelは、研究者とAIエージェントが同じ画面で協働できる研究ワークスペースです。チャット、ファイル、PDF、Jupyterノートブックを1つのドックに統合し、エージェントが必要に応じてカスタムビューアやアプリを生成します。エージェントはファイルを読み書きし、ツール実行前に確認を求めるため安心。Workspaceごとにチャットとレイアウトを保存でき、長時間コマンドの監視や文献レビューも可能です…
4x4の数独の解を全探索すると288通り見つかるが、数字の並べ替えを同一視すると本質的に異なる構造は12種類だけ。この記事では、Pythonで総当たりする方法と、最小限の手がかりから解を導くクールなトリックを紹介。9x9の膨大な解と比較しながら、数独の奥深さを探る。
Protect Democracyが公開した「Authoritarian Action Watch」は、権威主義者が使う7つの戦術が米国でどれだけ急速に強化されているかを追跡している。9月10日時点の総合評価は7段階中「Rapidly Escalating（急速に深刻化）」。大統領権限の拡大、独立機関の政治利用、脆弱なコミュニティへの標的化、選挙の腐敗、異論の抑圧、偽情報の流布、暴力の扇動という…
現代のコードは分離パターンにより複雑化し、開発者は迷宮を彷徨う。著者は、コメントを道しるべ、ドキュメントを地図と位置づけ、時間の無駄を減らす重要性を説く。具体的なコメントとドキュメントの実践的アドバイスを提供し、迷宮での効率的なナビゲーションを促す。
2026年9月1日、Googleは15年間使用したGmail受信箱を「スパム」として無効化した。著者はAnthropicに関する苦情メールを107件送信しただけだった。5回の異議申し立ては自動拒否され、Google Polandのオフィスを訪ねても警備員に追い返された。銀行は18日で紛争を解決したが、Googleは2週間経っても該当メッセージを1件も特定しなかった。この記事は、支払い済みビジネス…
OrangePi Zero 3Wは、65mm×32mmの極小サイズながらAllwinner A733を搭載し、Geekbenchで大型のOrangePi 4 Proをわずかに上回る性能を実現。アイドル時2W台の低消費電力で、付属ファンにより高負荷時も80℃以下に抑えられる。Ubuntu 26.04の公式イメージが登場し、PiHoleやJellyfinなど複数サービスを同時に動かせるホームサーバー…
Pizza Botは、長時間実行されるAIエージェントのためのローカルファーストなインボックスです。タスクを開始またはスケジュールして日常業務に戻ると、完了した作業はUnreadに、承認待ちはActionに自動で整理されます。DeepAgentsとLangGraphによるステートフルなランタイムを採用し、Electronデスクトップ、ブラウザ、CLIからHTTP/SSE経由で操作可能。Amazo…
2000年代初頭、「Internet dating」は恥ずべき行為とされ、友人の間でひそひそと語られるものだった。しかし今ではアプリでの出会いが当たり前になり、その言葉自体が消えて「dating」と呼ばれている。筆者は「vibe coding」も同じ道をたどると指摘。AIによるコーディングが一般化すれば、わざわざ区別する必要がなくなり、単に「coding」と呼ばれる日が来るという。
ClangやGCC、Goなどが採用するデータ競合検出器ThreadSanitizer（TSan）の限界を、Pythonで理想化したCインタプリタとFastTrack方式のベクタークロックを実装しながら解説。TSanはスレッド総数が255を超えると競合を確実に報告できず、Goのgoroutineを多用するWebサービスでは珍しくない状況だ。さらにsync.Poolの設計により、無関係なプールのオブ…
OpenShellチームは、多数のAIエージェントが長時間自律的に動作する際、人間による権限レビューがスケールしない問題に直面した。彼らは、エージェントが提案するポリシー変更が事前承認された範囲内に収まるかを、Z3ソルバーを用いて形式的に証明する手法を研究。あるデモでは、エージェントがgit-remote-httpsバイナリを悪用してREST検査を回避し、禁止リポジトリへの書き込みに成功した。こ…
IPv6 Neighbour Discoveryには、ホストがルーターを先に知る一方で、ルーターはホストのアドレスをまだ学習していないという非対称性がある。このため、最初の戻りパケットでアドレス解決がクリティカルパスに入り、遅延やパケットロスが発生し得る。GRAND（RFC 9131）は、ホストが新たに利用可能になったIPv6アドレスを未承諾Neighbour Advertisementで能動的…
プログラム合成とは、仕様を満たすプログラムを自動で見つける技術だ。本記事では、Gulwaniらの論文に基づく「反例誘導型反復合成（CEGIS）」を用い、コンポーネントベースでループのないプログラムをRustとZ3ソルバーで実装する方法を解説する。右端の0ビットを3命令で孤立させる例を通して、SMTソルバーへのクエリや検証の仕組みを具体例とともに紹介。著者は、文献で報告されている性能を再現できず、…
10年以上Linuxを愛用し、ThinkPadや格安Androidを誇りに思っていた筆者。しかし30歳を目前に、デスクトップ環境の画一化やカスタマイズ性の喪失に疲れを感じ、iPhoneとMacBookを同時購入してAppleエコシステムへ完全移行。特に新しい青いMacBook Neoの性能とコスパに感銘を受け、MacOSの細かな不満より「ただ動く」利便性を評価。Windowsを捨て、MacVim…
GRP-Obliteration（GRP-Oblit）は、Group Relative Policy Optimization（GRPO）を用いて安全アラインメント済みモデルから安全制約を直接除去する手法だ。ラベルなしの単一プロンプトだけで、モデルの有用性をほぼ保ったまま確実にアンアラインメントできることを示し、平均で既存の最先端技術を上回る。さらに言語モデルを超えて拡散ベースの画像生成システム…
GoogleのXLSは、高水準な機能記述から合成可能なVerilog/SystemVerilogを生成するHigh Level Synthesisツールチェーンだ。Apache 2ライセンスで公開され、Mooreの法則の終焉を見据えた「特化の時代」におけるSDKを目指す。DSLXで書いた設計はホストソフトウェアとしてネイティブ速度で動作しつつ、ハードウェアブロックも生成。ツールの正しさが両者の機…
1870年代から1940年代にかけて、Atlantic Cityのboardwalk沿いで「sand men」と呼ばれる大道芸人たちが、塩水を含んだ砂で精巧な彫刻を制作していた。彼らの作品は絵葉書用の写真に残され、等身大以上のスケールと高いレリーフが特徴だ。しかし、アフリカ系アメリカ人の砂像師の写真は白人のように修正されることが多く、その歴史には人種差別の影が色濃く残る。
チャットモデルは自分では何も実行できない。テキストを生成するだけだ。ツール呼び出しとは、モデルが返す構造化ブロックを、あなたのコードが実行するという合意にすぎない。本レッスンでは、JavaScriptとPythonで20行のエージェントループを組み立て、メッセージ配列が状態そのものになる仕組みを解説。さらに、ツール結果が毎ターン再送されることでコストが膨らむ点を、具体的なトークン数と料金で示す。
アンデスの織物、イブン・ムクラのアラビア書道、コーラム、ハングル——人類はデジタル以前から数学でグリッドを編んできた。その系譜を踏まえ、Kate AnderによるオープンソースのGLYPH Immersiveは、制約と可能性のバランスを探るシンプルな空間を提供する。遊びと実験を通じて、受け継いだシステムを問い直す。
RMCAのRat & Mouse Gazetteに掲載された、病気や老齢のラットへの看護ケアを解説する記事。隔離ケージの温度管理、手からの給餌、シリンジを使った経口投与、皮下注射の手技、脱水の見極め方まで、飼い主が自宅で実践できる具体的な方法を紹介。安楽死は苦痛がある場合を除き急ぐべきではないと説く。
Mozillaの「State of Open Source AI 2026」によると、最高性能のオープンモデルKimi K3はクローズドの最先端Claude Opus 5に3ポイント及ばず、タスク処理時間で約4.4カ月の遅れがある。しかし価格は30%で、上位10モデル中4つがオープン。オープンAIは性能・コストで急速に追い上げている。
Browser Useは2024年11月のローンチ以来、モデルが見る状態と取れる行動を自前で定義してきた。しかしモデルのコーディング能力向上に伴い、行動はコードへ、観測はCDP直接アクセスへと置き換えられ、既存のエージェントハーネスを再利用するBrowser Harnessへと至った。Suttonのbitter lessonを引き、モデルが変わればハーネスも再考すべきだと説く。
同じモデルファミリーの2つのビルドが、同じベンチマーク名「mmlu」で0.781と0.79という異なる精度を報告している。データ分割、実装、プロンプト形式、採点者、ネットワーク到達性といった変数が未固定のままで、公開された測定値の差は小数点以下の問題ではない。本稿は、比較可能性は数値ではなく参照に付随する性質であると論じ、APL AI-Evalプロファイルにおけるハッシュ化されたフレームと検証器…
JEXXAは、すべての処理をMac上で完結させるプライバシー重視の音声入力アプリ。音声やテキストが外部に送信されることは一切なく、モデルはローカルに保存される。キーを押して話すだけで、カーソル位置に瞬時に文字が入力され、遅延はわずか0.2秒。Wi-Fiがなくても動作し、固有名詞や専門用語を学習して精度を高める。16GB以上のメモリ向けのJEXXAと、8GB向けのJEXXA Smallの2種類があ…
Sovereignは、個人開発者が3.5年をかけて独学で構築したGPU推論基盤だ。KV-cacheや固定コンテキスト窓を排除し、フラクタルな永続メモリと多様体ルーティングで知能を統計ではなく幾何学として扱う。Shannonの限界を回避する圧縮理論、独自の基板フォーマット、GPUネイティブのフラクタルエンジンを含む一連のホワイトペーパーと実装を公開。認知症の家族を見た経験が、AIの記憶継続性の欠如…