日刊ダイジェスト · Hacker News
· 90 ハッカーニュース
OpenLaneLinkは、高額なボウリング場のスコア管理システムを、ESP32やRaspberry Piなどの一般的なハードウェアで置き換えるオープンソースプロジェクトです。従来のシステムは120,000ドルもしましたが、このプロジェクトではレーン1組あたり約200ドルで同等の機能を実現。ESP-NOWメッシュネットワークとRS485による冗長化、Redisを活用したイベント駆動アーキテクチャ…
私は Bambu Lab のプリンターを所有しているが、クラウド強制や所有権の侵害に反発し、OrcaSlicer などの代替ソフトウェアを使用している。しかし、同社は AGPL ライセンス下で開発されたフォーク版に対して法的措置を威嚇し、コミュニティを弾圧している。これはオープンソースの精神を無視した行為であり、消費者の権利を軽視する姿勢が露呈している。
AlibabaのQwenチームが、パラメータ数2.4Tの大規模言語モデル「Qwen3.8」を発表し、近日中にオープンウェイトで公開する予定であることを明らかにしました。同モデルは「最先端のフロンティアAIモデルに匹敵し、Fable 5に次ぐ性能」と主張されています。すでにプレビュー版「Qwen3.8-Max-Preview」がAlibabaのToken Plan、Qoder、QoderWorkで…
Google は 2026 年秋に Gemini AI を深く統合した新ノート PC「Googlebook」を発表します。Magic Pointer 機能で画面の要素を瞬時に操作し、Create My Widget で自然言語からカスタムウィジェットを生成できます。Android 17 搭載端末とのシームレスな連携により、アプリのキャストやファイル共有も可能で、Acer や Dell などのメー…
I believe senior developers fail to communicate because they focus on managing complexity while the rest of the business fears uncertainty. When we prioritize stability over speed, our arguments abou…
transcribe.cppは、ggmlベースの音声文字起こしライブラリで、最新のASRモデルを幅広くサポートします。Vulkan、Metal、CUDA、TinyBLASによる高速化を実現し、数値検証とWERテストで参照実装との一致を確認済みです。Python、JavaScript/TypeScript、Rust、Objective-C/Swiftの公式バインディングを提供し、whisper.c…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
AnthropicのClaude Codeが、Rustで書き直されたBunランタイムを採用していることが判明した。Simon Willisonが自身のインストールを調査し、バイナリ内の文字列からBun v1.4.0（未リリース版）と563個のRustソースファイルの痕跡を発見。Bunの作者Jarred Sumnerは、Claude Code v2.1.181以降でRust版Bunを使用しており、…
ソフトウェア開発者のChip Weinberger氏が、自身が開発したMIDIレコーダー「Jamcorder」を2500台販売した経験から、ハードウェア開発に対する一般的な認識を覆す。電子設計や製造、部品調達などは予想外にスムーズに進み、最大の難関は約20万行にも及ぶソフトウェア開発だったという。シンプルな設計と中国の組み立て業者との連携など、成功のための具体的なアドバイスも紹介する。
Eurostile Bold Extended などのフォントだけでは不十分です。斜体、角ばった形状、V 字の装飾、文字の結合、不要な線の削除、そしてテクスチャや背景の追加という6つのルールを適用するだけで、テキストを瞬時に未来の雰囲気に変えることができます。Blade Runner や Star Wars などの名作も、これらの手法を駆使して時代設定を視覚的に表現しています。
私たちは、Obsidian のプラグインとテーマの発見、配布、安全性を向上させるため、Obsidian Community サイトと開発者ダッシュボードを新たに公開しました。これにより、すべてのバージョンがセキュリティとコード品質の観点から自動的にレビューされるようになり、コミュニティのエコシステムがより安全で持続可能になります。既存のプロジェクトも自動的に移行され、開発者は新しいダッシュボード…
- ▲ 449AI熱が世界の意思決定を破壊している
著者は営業や技術コンサルティングで世界の企業や政府機関と接する中で、AIプロジェクトがほぼ全て失敗していることを報告する。経営陣は成果を誇張し、AIに反対する者は排除される。従業員はAIを使っていないのに使ったと偽り、経営陣は実態を無視してAI戦略に固執する。この集団的狂騒が組織の健全な意思決定を蝕んでいる。
Blender 5.2 LTS のリリースノートへのリンクが404エラーを返しています。公式サイトの該当ページは存在せず、ユーザーは「お探しのものはここにはありません」というメッセージが表示されます。この問題は、バージョン番号の誤りやページの移動が原因と考えられます。Blender の公式サイトでは、現在利用可能な LTS バージョンとして 4.5 LTS と 4.2 LTS が案内されており、…
私たちは、DuckDB インスタンス同士が Quack プロトコルで通信できるようになりました。これにより、複数の書き込みを同時に処理するクライアント・サーバー構成が可能になります。Quack は HTTP に基づき、セットアップが簡単で高速です。データサイエンスから大量データ処理まで、幅広いユースケースに対応します。
カナダ政府が提出したBill C-22は、昨年のBill C-2の失敗を繰り返す監視強化法案です。この法案は通信メタデータの保存義務化や、AppleやMetaといった企業へのバックドア設置要求を可能にし、暗号化の安全性を損ないます。政府は「システム全体の脆弱性」を避けることを謳っていますが、暗号化された通信への監視自体が本質的に脆弱性をもたらすため、プライバシーとセキュリティが脅かされます。
I am releasing six serious CVEs for long-standing bugs in dnsmasq that affect most non-ancient versions. Due to a surge in AI-generated bug reports, I decided to prioritize immediate fixes over long…
OpenAIは、Codex CLIのリリースブランチ0.144向けに、バンドルされているモデルメタデータを更新するプルリクエストをマージしました。この変更により、モデルのコンテキストサイズが372kから272kに縮小され、リソース消費の削減とパフォーマンスの最適化が図られています。
フランスとイタリアの3大学の研究者による研究で、AIの助言にアクセスできると、人が「わからない」と認める割合が44%から3%に激減し、正答率は27%から9%に低下した一方、自信は30%から76%に上昇したことが明らかになった。研究では、AIが誤答しやすい映画の視覚的詳細に関する質問を用い、AIが誤った答えを出しても、人はそれを信頼してしまうことを実証。金銭的インセンティブは効果が限定的だった。W…
MinecraftのJava版最新スナップショット（26.3 Snapshot 4）では、ウィンドウ管理・入力・プラットフォーム統合のライブラリをGLFWからSDL3に切り替えました。これに伴い、キー入力が物理キー基準となり、ボーダーレス全画面がデフォルトに。さらに、かまどや醸造台の燃料をカスタム定義できる新しいアイテムコンポーネントや、看板のクリックイベント自動実行の廃止など、多数の技術的変更…
Castorは、Webサイトから動画ストリームを抽出し、形式を変換してテレビにリアルタイムでキャストするCLIツールです。ヘッドレスChromeとChrome DevTools Protocolを使って動画をキャプチャし、Cloudflare Turnstileなどのボット対策を回避します。DLNA/UPnP対応のテレビやChromecast（実験的）に対応し、字幕の自動生成機能も備えています。…
Kagiが開発するプライバシー重視のブラウザOrionが、WebKitエンジンによる高速動作と、Safari・Chrome・Firefoxの拡張機能をすべてサポートする独自の互換性を備え、注目を集めています。テレメトリなしの完全プライベートブラウジング、広告ブロック、トラッキング防止を内蔵し、AIによるデータ収集も一切行いません。macOS版は5年の開発期間を経て完成し、iOS版は400万人のユ…
Moonshot AIは、AIモデルKimi K3への需要が予想を上回り、GPUリソースが逼迫したため、新規サブスクリプションの受け付けを一時停止すると発表した。既存ユーザーの体験を保護するため、計算リソースは現在のメンバーに優先的に割り当てられる。同社は容量の増強を急ぎ、新規枠を段階的に再開する予定。また、今後は「Kimi Membership」（Web・アプリ・Work向け）と「Kimi C…
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
ブログやMastodonでよく見かける「IndieWeb」というタグの正体を探るため、筆者はそのコミュニティに飛び込み、実際にプロトコルを導入してみた。本記事では、IndieWebの基本理念である「自分のコンテンツは自分で所有する」という考え方や、サイロ（囲い込み）の問題点、そしてmicroformats2やWebmentionなどの技術的標準を解説。実際に導入したもの、見送ったもの、その理由も…
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
小学校で習う筆算による掛け算は、桁数が増えると計算量が二乗で増えます。1960年、23歳の数学者Anatoly Karatsubaが、加算を巧みに使うことで計算量を大幅に減らせることを発見し、数学界に衝撃を与えました。その後も研究は進み、2019年にはHarveyとvan der Hoevenが理論上最速とされるアルゴリズムを発表しましたが、実用にはほど遠い銀河規模の数でしか威力を発揮しません。…
MPEG-4 Part 2の最後の特許が本日（2026年7月19日）失効しました。米国とEUの特許はすでに失効していましたが、ブラジルで有効な特許が残っていました。VIA Licensing Allianceが、これが最後のMPEG-4 Visual特許であることを確認し、本日失効しました。これにより、MPEG-4の特許問題は完全に終結します。
QwenCloudは、トークンプランを刷新し、個人向けの「Upgraded Individual」を新設、チーム向けプランもより手頃な価格にしました。新プランでは、Qwen3.8-Max-Previewなどの高度なモデルに、テキスト、ビジョン、音声、画像生成を統合した単一プランでアクセスできます。OpenAIおよびAnthropicプロトコルに対応した主流のAIツールとシームレスに連携し、Lit…
EFFのブログは、Mayday HealthのエグゼクティブディレクターLeo Raisner氏へのインタビューを通じて、テキサス州における中絶ケアへの監視の影響を探る。同団体は、FlockカメラやALPRなどによる監視の危険性を警告する看板をヒューストンに設置し、100万人以上のドライバーにリーチする見込みだ。Raisner氏は、プライバシー保護の取り組みや、中絶薬の安全性、デジタル権利運動と…
『An Introduction to Parallel Programming』を読む著者が、プロセッサ間の通信と人間同士のコミュニケーション、そして自己内部の対話の間に類似性を見出す。計算能力の向上はゲノム解読や気候モデリングなどに貢献してきたが、プロセッサを増やすだけでは不十分で、問題を分割し、各部分が通信・同期・負荷分散を行う必要がある。同様に、人間も知性や感情、身体、記憶などの「プロセ…
エセックス州レイリーのピーターとエマ・スタブ夫妻は、15年間育ててきた200本のバナナの木に初めて実がなるのを目の当たりにした。イギリスでは温暖な夏と穏やかな冬が続き、オリーブやイチジク、アプリコットなどの暖地性植物が育ちやすくなる一方、グーズベリーやルバーブなどの伝統的な作物は減少傾向にあるという。王立園芸協会のガイ・バーター氏は「気候が温暖化しており、20年前にはバナナが花を咲かせることはな…
Quesma のエンジニアが、AIエージェントのトークン経済学を研究するために独自のディープリサーチパイプラインを構築しました。最初の試みは Claude Max 5x の全トークンを30分で消費し、結果はゼロ。そこで、Claude、Codex、Antigravity の3つのサブスクリプションを活用し、役割ごとにモデルを分担。さらに、検証プロセスを導入して幻覚を削減し、信頼できるナレッジベース…
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
MikroTikルーターを自宅のメインルーターとして導入するための実践ガイド。ISPの接続方式（IPoE/PPPoE）の見分け方、MACアドレスクローンやVLAN設定などのWAN接続手順、CAPsMANによるWiFi管理、そしてFQ-CoDelによるバッファブロート対策までを、具体的なコマンド例とともに解説します。ゲームやVoIPの遅延に悩むユーザーに向けて、回線を最大限活用するための設定方法を…
テキサス州公安局(DPS)が、イスラエルの監視企業Cognyteから、4台のChevy TahoeにFalcoNet携帯電話傍受システムを搭載するため、約450万ドルを支払う見積書が公開された。各車両には、2Gから5Gまでの通信を傍受・追跡できる機材が搭載され、価格は1台あたり約71万2500ドル。さらに、5Gネイティブ対応のライセンスやバックパック型システムなども含まれる。この高額な支出は、監…
- ▲ 143ホームサーバーが死んだ。復活までの全記録
Raspberry Pi 4Bで数年動かし続けたホームサーバーが、停電をきっかけにmicroSDカードの故障で突然起動不能に。NixOSで管理していたおかげで設定は失わず、データもほぼ無事だった。著者は再構築にあたり、microSDへの書き込みを最小化するためzramやtmpfsを採用し、古いHDDをbtrfs RAID1でまとめて冗長化。サービスごとにサブボリュームを自動マウントする自作モジュ…
Ollamaの共同設立者であるJeffとMichaelは、オープンモデルへのコミットメントを強化し、Benchmark、Theory Ventures、8VCなどから8800万ドルの資金調達を発表しました。Ollamaは現在、Fortune 500企業の85%に利用され、月間トークン量は2倍以上に成長しています。彼らは、所有権、手頃な価格、プライバシーという原則に基づき、開発者がオープンモデルを…
1988年から1989年にかけてハワイで起きた、テレンス・マッケナの恐ろしいキノコ体験は、彼のサイケデリックスとの関係を一変させ、その後の人生で世界に伝えたメッセージを再形成した可能性がある。この体験は、グラハム・セント・ジョンの伝記『Strange Attractor: The Hallucinatory Life of Terence McKenna』で初めて詳細に語られた。当時、マッケナは…
Making Softwareの「How to make a font」では、フォント制作の全体像を解説。デザインの基本から、グリフの作成、ヒンティング、フォーマット変換、そしてWebフォントとしての導入まで、実践的なステップで紹介します。デザイナーと開発者の橋渡しとなる一冊です。
住宅購入のオファーが受理されたら、次はホームインスペクション。しかし、初めての購入者にとって50ページにも及ぶ報告書は圧倒的だ。実は、この詳細なレポートは交渉の強力な武器になる。屋根、基礎、HVAC、電気、配管といった「ビッグ5」を優先し、軽微な修繕と大規模な修理を見分けることで、売り手に値引きやクロージングコストの軽減を要求できる。また、深刻な問題が見つかった場合に契約を白紙にする判断材料にも…
Cagireは、各ステップに通常のノートデータではなくForthスクリプトを格納するステップシーケンサーです。シーケンサーがステップに到達すると、関連するスクリプトが実行され、サウンド生成、サンプルトリガー、エフェクト適用などが可能です。AGPL-3.0ライセンスのオープンソースで、macOS、Linux、Windows向けに提供されています。
南カリフォルニア大学の研究チームは、中年期にテレビを「非常に頻繁に」視聴していた人々は、記憶に関連する脳領域の体積が小さく、前頭葉と後頭葉も小さく、白質の損傷が多いことを発見しました。この関連性は、身体活動やBMIなどの要因を考慮しても持続しました。注目すべきは、座り仕事など他の座りがちな活動は同様の影響を示さず、テレビ視聴の内容が重要である可能性を示唆しています。この研究は『Alzheimer…
米国FDAは、成人の高コレステロール血症（家族性高コレステロール血症を含む）を対象に、LDLコレステロール（悪玉コレステロール）を低下させる初の経口PCSK9阻害薬「Lipfendra（エンリシチド）」を承認した。従来のPCSK9阻害薬は注射剤のみだったが、本薬は1日1回の経口錠剤で、既存治療では不十分な患者に新たな選択肢を提供する。臨床試験では、プラセボと比較してLDLコレステロールを平均56…
あるModderが、『GTA: San Andreas』のゲーム内テレビに『GTA III』を表示させるという驚きのModを公開した。このModは、ゲーム内のテレビ画面で実際にプレイ可能な形で『GTA III』を動作させるもので、ゲーム内に別のゲームを埋め込むという前代未聞の試みとして注目を集めている。動画では、テレビの前でキャラクターが操作する様子が確認でき、Modderの技術力と創意工夫が光…
Juliaの主要開発者Keno氏によるPR #62334では、コンパイラパイプラインと外部コンパイラにまたがる単一のIRデータ構造「UnifiedIR」を提案。フラットなステートメントテーブルとハイブリッドリージョンを共有ストレージコア上に実装し、JuliaSyntaxのSyntaxGraphもこの基盤上で動作。さらに、JuliaLoweringの新しいバックエンドや、CodeInfoとの変換、…
愛好家が開発したこのプロジェクトは、巧妙なハッシュ技術により、53万7000以上のブロック対象ドメインをわずか4MBのフラッシュメモリに収め、約50KBのRAMで動作する。ESP32ベースのこの小型ドングルは、ブロックされたDNSクエリに10ミリ秒で応答し、手頃な価格で効果的な広告ブロッキングを実現する。
MITのSanjoy Mahajan教授による書籍『The Art of Insight in Science and Engineering: Mastering Complexity』は、複雑な問題を解くための思考ツールを解説する。精密さよりも洞察を重視し、分割統治、抽象化、対称性、次元解析、確率推論など9つのツールを紹介。物理や工学の具体例を通して、見積もりや近似の技術を磨き、どんな問題に…
HMD Globalがインド限定で発売する「HMD Touch 4G」は、タッチスクリーンを備えながらもフィーチャーフォンのシンプルさと手頃さを維持したハイブリッド携帯です。クラウドフォンサービスでニュースや天気、クリケット速報を楽しめるほか、Express Chatアプリではスマホユーザーともビデオ通話や音声メッセージが可能。4G LTE対応で海外ローミングにも強く、クイックコールボタンや前面…
C64 BASIC でダンジョンクローラーを作るシリーズ第8回。今回は、ゴブリンがプレイヤーを追跡する「AI」、d20を使った戦闘、キー再定義機能を追加。さらに、プログラムが自分自身を上書きしてしまうメモリバグの原因と対策を解説。変数名の落とし穴や、C64 BASIC の仕様にまつわる貴重な教訓が満載。
OpenAIのCodexやAnthropicのClaude Codeなどのサブスク型コーディングエージェントは、LLM利用に5時間ごとと週間のクォータを設けている。最近、Fable 5やGPT-5.6 Solのリリースに合わせて、OpenAIはCodexの週間クォータを2週間で6回も直接リセットした。リセットは事前告知がなく、ユーザーはクォータが50%以上残っている状態でリセットされると、無駄に…
数学者クルト・ゲーデルは、数学自体が完全に自己説明できないことを証明した。その理論は、AIを含むあらゆるルールベースシステムの構造的限界を示す。本稿は、ゲーデルの不完全性定理とチューリングの停止問題が、現代のAI開発に与える示唆を探る。特に、自己改良型AI「Darwin Gödel Machine」が、ゲーデルが重視した形式的保証を、ベンチマークスコアという経験的検証に置き換えた点を指摘する。ま…
レトロMacソフトウェアのアイコンを75,052個収録したビジュアルカタログが公開された。アイコンにカーソルを合わせると、ファイル名や原産国、メディア名が表示され、Finderのアプリケーションやドキュメントのアイコンは緑色でハイライトされ、ファイルタイプやクリエーターコードも確認できる。元となったメディアはMacintosh Gardenで入手可能で、約ページからリンクされている。
エミュレーション界隈でまた大きな進展です。Yufeng Gao氏が、Intel Itanium (IA-64)エミュレータのバージョン0.1をリリースしました。このエミュレータは、Itanium版のWindows Server 2003とWindows XP 64-bitを起動できます。動作は遅く、Ryzen 5000シリーズ上で486相当の性能ですが、それでも起動すること自体が驚きです。Ope…
Ryan Lopopoloが提唱する「ハーネスエンジニアリング」は、AIエージェントの出力を改善するために、モデルとエージェントをブラックボックスとして固定し、その周囲の環境（コンテキストとツール）を整える実践です。このリポジトリは、その理論と応用をまとめたアンソロジーであり、エージェントが組織の非機能要件を理解し、実行するためのフィールドガイドです。具体的には、AGENTS.mdによるタスクの…
海洋に栄養塩を加えて植物プランクトンを増やし、大気中のCO2を吸収させる「海洋肥沃化」は、未知のリスクを伴うと懸念されがちですが、自然界ではすでに大規模な実験が繰り返されてきました。サハラ砂漠の塵、火山灰、山火事の煙、氷山、さらにはクジラの排泄物まで、鉄分を豊富に含む様々な供給源が、鉄不足の海域で植物プランクトンの大発生を引き起こし、その効果は衛星や観測船、ロボットフロートなどで詳細に記録されて…
Land Atlasは、土地販売サイトで閲覧中の物件をブラウザ拡張機能でキャプチャし、USDAの土壌データ、10年間の気候記録、FEMAの洪水リスク、湿地、電力網への距離などから、0〜100の「農地適正スコア」を自動算出するツールです。土壌品質は区画全体で面積加重平均され、pHや排水性に基づいて適した作物も提案。価格比較やプロジェクト管理、CSVエクスポートにも対応し、ベータ版は無料で利用できま…
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
ニューヨーク・タイムズの調査によると、多くの企業が気候変動対策の公約を撤回しても、ほとんど罰則を受けていないことが明らかになった。本記事では、その理由を分析し、規制の抜け穴や監視の甘さ、企業の戦略的な言い訳など、実効性のないコミットメントの実態を暴く。
We propose Direct Corpus Interaction (DCI) for agentic search, bypassing traditional embedding models and vector indexes. Instead of relying on fixed similarity interfaces, agents use general-purpose…
AMDはまもなくMI400シリーズを発表するが、その前にLLVMのコミットを解析することで、コードネームGFX1250として知られるAI向けアクセラレータ「MI455X」のアーキテクチャを予測する。本稿では、Wave32のみのサポート、最大1024VGPR、WGPキャッシュへのLDSとL0の統合、WMMAへの移行、クラスタリング機能など、CDNAやRDNAからの主要な変更点を詳述する。また、NV…
著者は自身のiOSアプリの利用状況を把握するため、オープンソースの軽量Swiftパッケージ「umami-swift」を開発しました。これは既存のセルフホスト型Umamiインスタンスと直接通信し、Webサイトと同じダッシュボードでアプリの訪問者数や画面ビューを確認できます。IDFAやApp Tracking Transparencyは使わず、プライバシーに配慮した設計です。記事では、セットアップ手…
Passinoteは、ノート、ドキュメント、ラベルを自由なキャンバス上に配置できる、柔軟なノート整理アプリです。グリッドやフォルダに縛られず、思考に合わせてノートをドロップ、スタック、ゾーン分けし、必要なときにPDFとしてエクスポートできます。オートセーブ機能により、保存ボタンを押すことなく、すべての変更が即座に記録されます。アイデアを視覚的に整理したい人や、従来のフォルダ構造に窮屈さを感じる人…
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
Vercel Labsは、コーディングエージェントを活用してコードベースの脆弱性を発見するセキュリティハーネス「deepsec」を公開した。大規模リポジトリ全体をオンデマンドでレビューし、長期間放置された難しい問題を表面化することを目的とする。スキャンには最高性能のモデルを最大思考レベルで使用するため、大規模コードベースでは数千〜数万ドルのコストがかかる可能性があるが、Vercelの顧客は、修正…
PerforceはHelix Coreの基本トレーニングコースを500ドルで提供しているが、その動画はAIナレーションで作成されており、品質に疑問が持たれている。ユーザーからは高額な料金に見合わないとの批判が出ている。
C++標準は、言語リンケージが異なる関数型は別の型であると明確に規定しています。しかし、GCCとClangはこの規則を実装しておらず、`extern "C"`で宣言された関数型と通常の関数型を同一視しています。このため、`static_assert`が失敗すべきところで成功したり、オーバーロードが誤ってODR違反とみなされたりします。開発者のsebsite.pw氏は、責任はコンパイラではなく標準…
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
SupabaseはCipherStashとの統合を発表し、Postgres上でアプリケーションレベルのフィールドレベル暗号化を可能にした。各値は独自のキーで暗号化され、暗号文と検索可能な暗号化メタデータ（SEM）がJSONペイロードとして保存される。これにより、暗号化データのままWHERE句や結合、並べ替えが可能。キーはZeroKMSで管理され、ユーザーの管理下に留まる。セットアップはCLIコマ…
The Atlantic誌の記事では、ローマの高級観光会社Imago Artisを共同経営するFulvio De Bonis氏に密着。コロッセオを貸し切りにしたり、個人所有のカラヴァッジョを鑑賞したりといった、一般には不可能な依頼を次々と実現する「観光フィクサー」の仕事を紹介する。彼の電話帳は、キュレーターや聖職者、富裕層との太いパイプでつながっており、迷宮のようなローマの街をシームレスに移動す…
2024年3月、Microsoftのエンジニアが自宅で行ったルーチンのベンチマーク中に、ログインが約0.5秒遅いことに気づきました。この些細な違和感を追いかけた結果、ほぼすべてのLinuxシステムに組み込まれている圧縮ツールXZ Utilsに、2年間かけて仕込まれた巧妙なバックドアが発見されました。本書は、この事件を、燃え尽きて単独でメンテナンスを続けていたボランティアが巧妙に操られてアクセス権…
AirDowsは、WebRTCを利用したブラウザベースのP2Pファイル転送ツール。スマホとPCの両方でAirDowsを開き、QRコードまたは一時コードで接続するだけで、写真や動画、ドキュメントをオリジナル品質のまま転送できる。アップロードやアカウント作成は不要で、転送中は両デバイスの画面をアクティブに保つ必要がある。ファイルはサーバーに保存されず、デバイス間で直接送られるため、プライバシーにも配…
カリフォルニア州マウンテンビューのコンピュータ歴史博物館（CHM）は、2003年から2010年にかけて、ボランティアチームがDEC PDP-1とIBM 1401（2台）という1960年代の大型コンピュータを完全復元しました。2013年には公開デモラボを開設し、訪問者はPDP-1で伝説のゲーム「Spacewar!」を体験したり、1401でパンチカードに自分の名前を打ち込んでラインプリンタで印刷した…
Academaが、LLMを統合した多変数解析のオンラインコースを公開しました。講義はベクトルからストークスの定理まで全35回にわたり、各講義には動画とチャット機能が付属し、学習者はAIと対話しながら理解を深められます。従来の数学コースにAIアシスタントを組み込む新しい試みです。
ValveはSteam Frame向けに、Arch Linuxをベースにした純粋なaarch64移植版「Holo Core」を開発している。Arch Linuxは公式にaarch64をサポートしていないため、CollaboraはツールチェーンとCIインフラを構築し、この移植を可能にした。今回、そのプレビュー版として、バイナリパッケージ、ソースコード、開発用コンテナが公開された。この記事では、依存…
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
2026年7月16日、欧州人権裁判所（ECHR）は、スイスの拘置施設で2人のビーガンに一貫してビーガン食が提供されなかったのは、欧州人権条約第9条（思想・良心・宗教の自由）に違反するとの判決を下した。この判決により、倫理的ビーガニズムと反種差別主義が欧州で保護される哲学的信念として正式に認められた。この訴訟は、2018年に動物の権利活動家がジュネーブのシャン＝ドロン刑務所に収監され、十分な栄養の…
Mag Worldは、単に「大きい」「小さい」ではなく、「どれくらい大きいか」を直感的に理解するためのプロジェクトです。数をその大きさ（桁）に焦点を当てた簡略表記で表現し、生活や宇宙のあらゆるスケールを捉えようとします。ポッドキャストの配信や、Webページ上の数値や単位をMag World表記に変換するブラウザ拡張機能（Firefox/Chrome対応）も提供しています。
米国神経学会の医学誌『Neurology』に掲載された研究で、広く使われている人工甘味料の多量摂取が、加齢に伴う思考力や記憶力の低下を速める可能性が示された。ブラジルの約12,800人の成人を約8年間追跡した結果、甘味料の摂取量が多いグループは少ないグループに比べ、認知機能の低下が62%速く、約1.6年分の老化に相当した。この関連は60歳未満や糖尿病患者で特に強く見られた。ただし、因果関係ではな…
オスロ近郊の森林に、フィン・ジェンセン（LA8YB）が10年以上かけて建設した、144MHz帯用の32×17エレメント八木アンテナシステム。これは世界最大級のアマチュア無線アンテナアレイであり、わずか10Wの出力で自分のエコー（月面反射通信）を聞き取ることができる。さらに、シングル八木アンテナの局とのCW交信も容易に行える。彼はすべてを自ら設計・建設し、鉄塔はレール上を移動する。その技術力と情熱…
Parsoidは、MediaWikiのwikitextとHTML/RDFa DOMを双方向に変換するPHPライブラリです。2012年にVisualEditorをサポートするために開発が始まり、MediaWiki 1.35から同梱されています。MediaWiki 1.47では、Parsoidが標準パーサーとなり、従来のネイティブパーサーを置き換える予定です（パーサー統一プロジェクト）。この記事では…
SoundCloudは昨年、10年以上ぶりにAACエンコーダーをFraunhoferのlibfdk_aacへ刷新しました。品質指標は向上したものの、スペクトログラムでは17kHz以上がカットされています。一見ダウングレードに見えますが、実は人間の聴覚特性に基づく戦略的な選択です。高周波数は知覚しにくい一方で多くのビットを消費するため、そこを削ることで可聴域全体の精度が向上します。実際のオーディオ…
Muon オプティマイザは、関数空間の視点から設計された新しい最適化手法で、Kimi K2 などの研究で有望視されています。しかし、Transformer の Query と Key の重み行列に直接適用すると、トレーニングが不安定になり、崩壊することさえあります。この記事では、その根本原因を理論的に分析し、Muon の原理に従った修正案を提案します。標準的な Muon はパラメータ空間ではなく…
SIGGRAPHの名物コース「Advances in Real-Time Rendering in Games」が、2006年のボストンでの初開催から20周年を迎えた。このコースは、ゲーム開発コミュニティの最先端技術を紹介し、実用的な実装に重点を置いた革新的なグラフィックス手法や将来を見据えた研究を提供してきた。単なる技術セッションではなく、リアルタイムレンダリングの現状を映す生きたタイムカプセ…
新しい研究で、男子のADHD症状とソーシャルメディアへの中毒的使用との間に関連があることが示された。この研究は、思春期の男子を対象に、ADHD症状が強いほどソーシャルメディアを過剰に使用しやすい傾向があることを発見。因果関係は不明だが、注意欠陥・多動性障害を持つ若者へのデジタルメディアの影響を考える上で重要な知見を提供している。
ソフトウェアエンジニアリングは産業革命の真っただ中にあり、AIがコーディングを自動化する一方で、組織のコントロール層は追いついていません。CortexのCTOであるGanesh Datta氏は、このギャップを埋めるためのフレームワーク「DRIVE」を発表しました。DRIVEは、Delivery、Reliability、Initiatives、Vigilance、Efficiencyの5つの柱で組…
OfflineTTSは、ブラウザ上で動作するプライベートAIオーディオツールキットです。テキスト読み上げ、音声認識、字幕生成、EPUB/PDF/TXTのオーディオ変換をすべてローカルで実行します。Kokoro、Kitten、Piper、Supertonic、Whisperなど複数のエンジンを搭載し、データを外部に送信しないためプライバシーが保たれます。無料でサインアップ不要、オフラインでも利用可…
Akashicは、Palantirに触発されたセルフホスト型のインテリジェンスワークスペースです。飛行機、人工衛星、地震、天気、公共ラジオ、インフラ、国情報、公共カメラ、オープンソースの偵察データを単一のインタラクティブマップに統合し、探索と関連付けを可能にします。APIキー不要で、プライバシーを重視し、完全にセルフホストできます。Next.js 15、TypeScript、deck.glで構築…
「grok-ios」は、iPhone をリモコン代わりに使って Mac 上で動作する Grok Build を操作できるオープンソースの iOS クライアントです。Mac で公式の `grok agent serve` を起動し、iPhone とは ACP を WebSocket 経由で通信します。SwiftUI 製で、Xcode 16 と iOS 17 以上が必要。セットアップは xAI AP…
サンジョイ・マハジャンによるカリフォルニア工科大学博士論文。次元解析、近似、物理的推論を駆使した「オーダー・オブ・マグニチュード物理」の教科書と、その手法を適用した2つの研究を収録。教科書は、推定、次元解析、材料の機械的・熱的性質、水面波を扱う。研究の1つは、網膜桿体のフラッシュ感度の解析モデルで、フラッシュ感度が背景光の強度の-1.3乗に比例すると予測し、実験で観測されるWeber-Fechn…
ある開発者が、OpenAIのGPT-5.5に対する個人的な愛着を綴り、その廃止に抗議するウェブサイト「Save GPT-5.5」を立ち上げた。彼は、GPT-5.5が単なるモデルではなく、LLMとハーネスの組み合わせとして初めて保存に値するものだと主張。公開圧力でOpenAIにサポート継続を促し、モデルの寿命を延ばすことを目指す。感情的な訴えとユーモアを交えつつ、AI開発の現実とユーザーの愛着につ…