日刊ダイジェスト · Hacker News
· 90 ハッカーニュース
私は Bambu Lab のプリンターを所有しているが、クラウド強制や所有権の侵害に反発し、OrcaSlicer などの代替ソフトウェアを使用している。しかし、同社は AGPL ライセンス下で開発されたフォーク版に対して法的措置を威嚇し、コミュニティを弾圧している。これはオープンソースの精神を無視した行為であり、消費者の権利を軽視する姿勢が露呈している。
AWSの推定請求額が突然、通常の数百倍から数兆ドル規模に跳ね上がる事例が報告されている。あるユーザーは通常5ドル未満の請求が17億ドルに、別のユーザーは月1ドル未満が2840億ドルに。AWS側のバグとみられるが、公式の対応はまだ明らかでない。Redditでも同様の報告が相次いでおり、ユーザーの不安が広がっている。
Google は 2026 年秋に Gemini AI を深く統合した新ノート PC「Googlebook」を発表します。Magic Pointer 機能で画面の要素を瞬時に操作し、Create My Widget で自然言語からカスタムウィジェットを生成できます。Android 17 搭載端末とのシームレスな連携により、アプリのキャストやファイル共有も可能で、Acer や Dell などのメー…
Recurse Centerの共同創設者であるNicholas J. Bergson-Shilcock（nicholasjbs）が、Hacker Newsの15周年を記念して感謝の意を表明。2010年にYCで「OkCupid for jobs」を目指すも失敗し、ピボットを繰り返した後、プログラマー向けの自主的なリトリート「Recurse Center」を立ち上げた。HNでのローンチが大きな反響を…
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…
私は OrcaSlicer-bambulab を公開し、Bambu Lab プリンター向けの BambuNetwork 完全サポートを復活させました。これにより、LAN 接続の制限を受けず、インターネット経由で通常の機能や印刷をそのまま利用できるようになります。Windows ユーザーには WSL 2 の設定が必要ですが、Linux では通常のインストールで利用可能です。
Kaiser Permanenteの電話相談・トリアージ担当看護師らが、職場監視の強化により患者へのケア義務が脅かされているとCalMattersに証言。15分を超える通話は管理職から批判され、月次評価に影響するという。KaiserはAIで共感度や声のトーンを評価するツールも試験導入。看護師組合は新契約交渉でAI問題を取り上げる方針。カリフォルニア州議会でも職場AI規制法案が検討されており、同社…
ハーバード大学の研究チームが、地球から48光年離れた赤色矮星を周回する岩石惑星LHS 1140bで、ハビタブルゾーン内の地球型惑星としては初めてとなる大気を検出した。検出されたガスはヘリウムで、生命を直接支えるものではないが、他のガスが存在する可能性もある。この発見は、太陽系外に地球と似た環境の惑星が存在する可能性を示す最も強力な証拠とされ、科学誌『Science』に掲載された。
Eurostile Bold Extended などのフォントだけでは不十分です。斜体、角ばった形状、V 字の装飾、文字の結合、不要な線の削除、そしてテクスチャや背景の追加という6つのルールを適用するだけで、テキストを瞬時に未来の雰囲気に変えることができます。Blade Runner や Star Wars などの名作も、これらの手法を駆使して時代設定を視覚的に表現しています。
Mozillaが2026年7月に発表した報告書「The State of Open Source AI」は、オープンウェイトモデルがクローズドモデルとの性能差を3.3%まで縮め、コーディングでは同等に達したと報告。推論コストは36ヶ月で50分の1に低下し、OpenRouterでルーティングされるトークンの過半数をオープンモデルが占める。一方で、本番環境へのデプロイ成功率はオープンが51%に対しク…
Google DeepMindが主催する「Measuring Progress Toward AGI」ハッカソンで、メタ認知を評価するベンチマーク「MEDLEY-BENCH」がグランプリ（賞金25,000ドル）を受賞した。しかし、2位のチームは、この受賞作が「質・妥当性・明確性・新規性」という審査基準を満たしておらず、データ収集プロセスが不透明で、論文の主張に論理的矛盾があると批判している。受賞…
私たちは、Obsidian のプラグインとテーマの発見、配布、安全性を向上させるため、Obsidian Community サイトと開発者ダッシュボードを新たに公開しました。これにより、すべてのバージョンがセキュリティとコード品質の観点から自動的にレビューされるようになり、コミュニティのエコシステムがより安全で持続可能になります。既存のプロジェクトも自動的に移行され、開発者は新しいダッシュボード…
AppleがOpenAIの従業員数十人に対し法的書簡を送付した。これは、AppleがAI技術を巡る人材獲得競争を激化させる中で、OpenAIの従業員を引き抜こうとする動きの一環とみられる。両社はAI分野で競合関係にあり、この動きは業界内の緊張を高めている。
中国のAIラボMoonshot AIが発表したKimi K3は、2.8兆パラメータを誇る「オープンな3T級モデル」としてDeepSeekの1.6Tモデルから王座を奪った。自己報告ベンチマークではClaude Opus 4.8やGPT-5.5を上回り、価格は$3/百万入力トークンと中国製モデルとしては最高額。しかし、著者のSimon Willison氏は、自身の「ペリカンが自転車に乗るSVG生成」…
私たちは、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…
Julia EvansがDjangoサイトでSQLiteを運用して学んだことを共有。WALモードを有効にしても、ANALYZEを実行していないとFTS5検索が4000行で5秒かかることを発見。また、大量削除時のタイムアウト問題やバックアップ方法（resticとLitestream）についても言及。
Pydanticの開発者が、LLMを使ったプログラミングが「本当に便利で、本当に不安定」という矛盾を抱えている現状を率直に綴る。コードは自動生成されるが、レビューや監督という新たな疲労が生まれ、達成感は減少。同僚のDouwe氏は、AIが生成したPRを毎朝30件レビューし、「その時、私はまだここで何をしているのか」と自問する。著者はこの現象を「人間の報酬関数問題」と名付け、フィードバックループの崩…
Texas Instrumentsが公開した74ページの電子書籍『An Engineer's Guide to USB Type-C』の要約。USB Type-CコネクタとUSB Power Delivery (PD)規格の基本から、データ転送速度と電力レベル、DFP/UFP/DRPなどの役割、リバーシブル設計を可能にするピン配置とその検出方法、USB PDによる電力ネゴシエーション、Displ…
- ▲ 288Zilog Z80、50周年を迎える
1976年7月に発表されたZilog Z80が50周年を迎えた。8ビットマイクロプロセッサとして、初期のパソコンやホビーパソコン、組み込み・産業用途で広く採用され、8080や8085とともに事実上のハードウェア標準を確立。CP/MやMicrosoft BASICの普及にも寄与した。本稿では、開発の経緯をIntel 8008から8080への進化をたどりながら解説し、アーキテクチャの詳細や、著者自身…
問題解決コンサルタントの著者が、人々が問題に対して「解決」以外に取る3つの反応を紹介する。それは「問題を押しのける（他へ転嫁する）」「問題を温存する」「新たな問題を昇格させる」だ。それぞれの実例と、組織における「部分最適」の罠、問題の存在に依存する人々の存在、そして問題解決が終わらないという幻想について、Clay ShirkyやKevin Kelly、Jerry Weinbergらの言葉を交えて…
ローマ時代の建造物はなぜ2000年近くも現存するのか。その秘密は、火山灰と石灰によるポゾラン反応だけではなかった。新たな研究によると、大気中の二酸化炭素がコンクリート内部で炭酸カルシウム（カルサイト）を形成し、ひび割れを自己修復する「炭酸化」が長期的な耐久性に大きく寄与しているという。研究者らは、ハドリアヌス帝の別荘にある1900年前の共同トイレの床下から採取したコンクリートを分析。この発見は、…
Pebble復活プロジェクトの最新アップデート。Time 2の量産は23,000台以上に達し、予約注文の80%以上を発送済み。7月末には全色出荷予定で、在庫販売も開始。ソフトウェア面では、バッテリー持続時間の改善（Pebble 2 Duoで中央値30日超）、タッチスクリーンやスピーカーなどの新API、Index 01機能のモバイルアプリ統合などが進行中。ハードウェア不具合には保証外でも無償交換で…
低空ドローン撮影の難しさを回避する方法として、カメラを搭載したRCカー（シネマローバー）の製作記録。マサチューセッツのBMIサプライズで約50ドルで購入した正体不明のRCシャーシに、Movi M10ジンバルをマウント。CNC加工による剛性の高いマウント製作、アイスレーシング用のTPU製フェンダー、DeWaltバッテリーを2本直列にした電源など、低重心化と防雪対策を重視した設計が詳細に語られる。
雑踏の中での会話では、注意を切り替える際に脳がどのように音声を処理しているのかが、EEGを用いた研究で明らかになった。参加者が2つの競合する音声ストリームに注意を向けたり切り替えたりする間の神経活動を測定したところ、新しい音声への注意の切り替えは、以前の音声への注意の解放が完了する前に始まることが判明。この非対称なプロセスにより、脳は一瞬だけ2つの音声ストリームを同時にエンコードする。さらに、L…
私たちは、半世紀以上変わらなかったマウスポインタを、AI エラにふさわしいものへと再設計しています。Gemini を活用したこの新しいポインタは、ユーザーが文脈を説明する必要なく、指差すだけで意図を理解し、あらゆるアプリ間でシームレスに動作します。これにより、複雑なプロンプト入力やウィンドウの切り替えが不要になり、人間の自然な行動に技術が適応する未来を実現します。
EFFは、国境での電子機器の検索には令状が必要だと主張し、第4巡回区裁判所に介入訴訟を提起しました。現代のデバイスは極めて個人的なデータを保持しており、手動検索もフォレンジック検索も同様にプライバシーを侵害します。Riley v. Californiaの法理を適用し、国境での検索にも令状要件を適用すべきだと訴えています。
lobste.rs は MariaDB から SQLite への移行を完了した。開発者らは月曜日のトラフィック増加を乗り越え、CPU とメモリ使用量の削減、応答性の向上、VPS コストの半減を確認した。移行には、SQLite のユーザー定義関数や Contentless-Delete Tables の活用、パフォーマンス問題の修正などが含まれる。また、本番データベースにアクセスできないまま移行す…
Solodは、Goの厳密なサブセットであり、通常のGoコードを読みやすいC11コードに変換します。ランタイムなし（GC、参照カウント、隠れたアロケーションなし）、標準ライブラリ豊富、Cとの相互運用が可能で、Goのツールチェーン（構文ハイライト、LSP、lint、go test）がそのまま使えます。構造体、メソッド、インターフェース、スライス、マップ、複数戻り値、deferをサポートし、デフォルト…
AWS Budgetsのアラートで、予算がしきい値（5ドル）を超えていると通知されました。予測額は3,005,575,870.47ドル（約30億ドル）と表示されています。過去1年間AWSを積極的に使っていないのに、コンソールにはこの金額が表示されています。AWSサポートからの返信はまだありませんが、AIチャットボットは「7月1日以降の日次コストが完全に均一であることは、請求または計測エラーを強く…
- ▲ 203Lisp入門：まず学ぶべき方言はどれか
Lispは単一の言語ではなく、20以上の方言からなる言語ファミリーです。本記事では、Common Lisp、Clojureなど主要な方言を比較し、それぞれの特徴、長所、短所を解説します。初心者が最初に学ぶ方言選びに悩むのは当然ですが、Lispの本質は方言に依存しない「コードで問題を考える新しい方法」を学ぶことにあると著者は述べます。各方言の学習リソースも紹介します。
米連邦航空局（FAA）は2026年7月17日、ボーイングに対し、737 MAXと787ドリームライナーの耐空証明書を自社発行する権限を再び認めると発表した。この権限は2018年と2019年の737 MAX墜落事故後に剥奪されていた。FAAは2025年9月から一部機種で週替わりでボーイングとFAAが発行を担当する試験的運用を開始。過去8か月間の品質検査結果が同等だったことから、安全性を確認したとし…
Honeypot Live Streamは、SSHハニーポットへの攻撃をリアルタイムで観察できるWebサービスです。世界中のボットが仕掛けるパスワード試行や不正アクセスの試みを、ライブで追跡できます。セキュリティ研究者や開発者にとって、攻撃者の手口を学ぶ貴重な教材となるでしょう。Cowrieベースのハニーポットが、実際の攻撃ログを可視化し、攻撃パターンや使用される認証情報の傾向を把握できます。ブ…
トランプ・メディア・アンド・テクノロジー・グループは、Truth Socialの影響力のある投稿をウォール街の企業にミリ秒単位で配信する有料サービス「Truth API」を8月1日から開始する。トランプ大統領の投稿は市場を急変動させることがあり、金融機関は手動での監視に代わる高速な情報アクセスを求めている。同社はこれまで無断でデータを複製していた企業に対し、公式フィードの購入を迫る方針。トランプ…
オーストラリアのPrivacyProsが、家庭内暴力（DV）被害者向けに「DV Safe Phone」の設定を提案。99%のDV事件にテクノロジーを悪用した虐待が関与し、報告件数は5年で最大650%増加。通常のスマホは位置情報やアプリデータが共有され、虐待者がスパイウェアや追跡アプリで悪用するリスクがある。PrivacyProsは、GrapheneOSを搭載したPixel端末を推奨。デュレスPI…
6年間の開発を経て、完全オープンソースの電子書籍リーダー「Open Book Touch」がCrowd Supplyで目標額を達成しました。4.26インチのフロントライト付きEペーパータッチスクリーンを備え、ポケットに収まるサイズです。EPUBファイルの読書に対応し、約7万グリフのUnifontフォールバックにより、世界の多くの言語で書籍を表示できます。ハードウェアとソフトウェアはすべてオープン…
ロケットとAIを手がけるSpaceXの株価がIPO価格を下回り、空売り勢が推定87億ドルの含み益を得ている。Ortex Technologiesのデータによると、上場来高値225.64ドルから135ドルのIPO価格付近まで下落。空売り勢は利益確定せずに売り増しを続けており、浮動株の約49%が貸し出し中。AI投資への懸念が株価を圧迫する一方、空売り比率の高さがさらなるボラティリティを招く可能性があ…
ピッツバーグ大学とシカゴ大学の研究者が1200万人以上の科学者を分析した結果、加齢とともに既存の知見を組み合わせる能力は向上する一方、分野を覆すような破壊的な革新力は低下することが判明しました。経験豊富な科学者ほど過去の成功体験に固執しがちで、新しいパラダイムを受け入れるのが難しくなる傾向があります。
LEGO公式サイトの歴史コーナーから、1955年の初の組み立て説明書から現在のデジタルツールによる制作まで、その変遷を紹介。初期はパッケージの絵のみだったが、1955年の「LEGO System in Play」登場以降、特定モデル用の説明書が登場。1960年代には外部企業による手描きの工程が始まり、1980年代には専任チーム設立、3Dツール「Panter」の導入、2000年代には「3D Vis…
ある開発者が、Linux の X サーバーをアセンブリ言語で書き直した。その名も「frame」。依存関係ゼロ、ライブラリ不要、ガベージコレクタなし。わずか約 2 万行で、デスクトップ環境全体と Firefox、GIMP を動かす。置き換えた従来のスタック (X11、i3、wezterm など) は 50 倍以上のコード量だったという。CPU 使用率は Xorg の約 3 分の 1 で、アイドル時…
2026年7月1日、AnthropicはClaude Codeのバージョン2.1.198で、ユーザーが60秒間操作しないと自動的に作業を続行する「AFK自動継続」機能を静かにリリースした。この機能はチャットの質問に対する回答を待たずに、AIが「最善の判断」で進めてしまうもので、ユーザーからは「意図しない挙動」として批判が殺到。GitHubのイシューには384件の賛成票が集まった。同社は2日後にデ…
核パルスロケット（オリオン計画）は、船尾で毎秒1発の核爆弾を爆発させ、その衝撃波を巨大なショックアブソーバーで受けて推進するという、SFじみた構想だ。化学ロケットの推力と効率のトレードオフを根本から解決し、質量比1.5で火星に4,000トンを運べる性能を持つ。1958年にStanislaw Ulamが着想し、Freeman Dysonらが設計を進めたが、1964年に資金難で中止。本稿はその仕組み…
tokio-rsが開発するTopcoatは、RustでフルスタックWebアプリを構築するためのモジュール式フレームワークです。全マークアップをサーバーでレンダリングし、コンポーネントは非同期でデータベースに直接アクセスできるため、従来のAPI層のボイラープレートを排除します。一方で、`$(...)`式はサーバーで初期レンダリングされると同時にJavaScriptに変換され、ブラウザ上で即座に再実…
Dienaは、400万件以上のWikipediaイベントをズーム可能なタイムラインで可視化するインタラクティブなツールです。歴史的な出来事を時系列で探索し、関連するイベント間のつながりを直感的に理解できます。ユーザーは時間軸を自由にズームイン・アウトし、特定の時代やテーマに焦点を当てることができます。歴史愛好家、研究者、教育者にとって、膨大な情報を視覚的に整理し、新たな発見をもたらす革新的なプラ…
建築ファンがイリノイ州を訪れる際、最初に立ち寄るべき場所のひとつが、フランク・ロイド・ライトが1889年から1909年まで住んだオークパークの自邸兼スタジオです。ここは、ライトが後にプラハウス様式で知られるロビーハウスやユニティ・テンプルなどを設計した場所でもあります。この記事では、ライトが22歳で建てた当初の家から、1895年と1898年の増築、そして1974年から13年かけて行われた修復の詳…
minikotlinは、Cで書かれたKotlinコンパイラで、ブラウザタブ内で完全に動作します。JVM、LLVM、Binaryen、Gradleを一切使わず、WebAssembly GCバイトコードを手書きで生成します。コンパイラ自体がWASMにコンパイルされているため、.ktソースを入力すると、動作する.wasmモジュールが同じタブ内で出力されます。クラス、継承、スマートキャスト、null安全…
ZKSecurity の AI 監査ツール zkao が、OpenVM のゲストライブラリ openvm-pairing に、悪意のある証明者が任意のペアリング等価性を偽造できる重大なサウンドネスバグを発見しました。このバグは CVE-2026-46669 として公開され、OpenVM 1.6.0 で修正されました。zkVM の証明システム自体の問題ではなく、影響を受けるライブラリを使用するコー…
Rogue AmoebaのPaul Kafasisが提唱する「Free the Icons」運動に触発され、著者はMacの50周年を機に、初代Macアプリのアイコンを回想する。当時のアイコンは32×32ピクセルの白黒のみで、アプリは傾いた長方形に手やキーボードなどの絵が描かれ、ドキュメントは直立した長方形だった。MacWrite、MacPaint、HyperCard、PageMaker、Quar…
作家であり Lead Application Developer でもある Sung J. Woo が、1980年代に Commodore 64 と出会い、その後の人生がどう変わったかを綴る個人的エッセイ。両親が営むギフトショップの手伝いで日給5ドルだった12歳の彼は、値下がりを待って C64 を手に入れる。しかし彼のプログラミングの基礎を築いたのは、付属の BASIC ではなく、海賊版ゲームの…
Workspacesは、デザイナー、創業者、ビルダーなど現代のクリエイターたちの実際のデスク環境を毎週紹介するニュースレターです。毎週土曜日に、Apple、Figma、Shopifyなどの企業で働く人々のワークスペースを写真付きで公開。これまでに535号以上を発行し、21,000人以上の読者に支持されています。最新のセットアップからインスピレーションを得たり、自分自身のワークスペースを改善するヒ…
Belfortは、画像分類モデルを完全準同型暗号化（FHE）したままリアルタイムで実行するデモを公開した。サーバーは画像の内容を知ることなく推論を行い、ユーザーだけが結果を復号できる。CIFAR-10データセットを使い、推論時間はわずか200ms。金融、医療、政府など、プライバシーとMLを組み合わせたアプリケーションへの応用が期待される。
Hacker Newsに、AWSの請求アラートが月額1400億ドルという驚異的な金額を予測したとの投稿が寄せられた。投稿者は通常のS3利用料が月2〜3ドルであるにもかかわらず、この異常な見積もりを受け取ったという。コメントでは、AWSのステータスページに「請求コンソールの推定請求データが不正確」という障害情報が掲載されており、他のユーザーからも数十億ドル規模の見積もりが報告されている。AWS側の…
Bainの分析によると、米国の食品販売は2026年2月以降、販売数量が前年比約2%減少し、価格上昇では隠せない減速局面に入った。SNAP給付の縮小やガソリン価格の高騰が低・中所得層を直撃し、80%の消費者が支出削減を続けている。食品市場はシェア争いへと移行し、ディスカウント店や会員制倉庫型店舗が消費者を獲得しているが、数量減少は全業態に及ぶ。
米上院議員Josh Hawleyは、Metaが内部告発者Sarah Wynn-Williamsに対して「法廷闘争（lawfare）」を用いて破滅させようとしていると非難し、Mark Zuckerberg宛ての書簡で監視や破産に追い込む行為をやめるよう要求した。Wynn-Williamsは回顧録『Careless People』で、Metaの中国政府との検閲ツール協力や10代への悪影響を告発したが…
Capital Oneは、攻撃者の視点からソースコードを分析し、悪用可能な脆弱性を特定・修正するエージェント型AIセキュリティツール「VulnHunter」をオープンソースとして公開した。従来のスキャナとは異なり、自己反証エンジンで誤検知を減らし、攻撃者が実際にたどる経路を前方分析で模擬。証拠に基づく修正案も提示する。社内の数千のリポジトリで検証済みで、Apache 2.0ライセンスで提供。
Modalは、エージェントや強化学習の需要に応えるため、サンドボックス基盤をゼロから再設計しました。従来のKubernetesや旧アーキテクチャの中央集権的なスケジューリングやデータストアがボトルネックとなる問題を解決し、スケジューリングサーバー群と各ワーカーの自己申告方式により、中央調整を排除。作成パスはネットワーク2ホップと軽量なCPU処理のみとなり、100万サンドボックスを1分未満で作成可…
監視カメラ大手Flock SafetyのCEO Garrett Langley氏が、反監視活動家グループDeFlockを「テロ組織」と発言したことを撤回し、Forbesに「私の発言は間違いで、謝罪する」と語った。同社は全米8万台以上のカメラで車両を追跡し、年商5億ドルに達するが、ICEとの連携報道や警察によるストーカー行為の事例を受け、批判が高まっている。Langley氏は「安全性とプライバシー…
SpaceXの株価は、6月12日の歴史的なIPO以降、下落を続け、7月17日にはIPO価格を下回る131.11ドルで終値をつけ、その後も続落して125ドルを割り込んだ。時価総額はIPO時から約3200億ドル、6月16日のピークからは約1兆ドル減少した。直近の下落は、上場後初のStarship打ち上げがエンジン不始動により中止されたことを受けたもの。さらに、8月に予定される四半期報告後に従業員や初…
USGSは2026年7月16日、フロリダ州ポンス・インレットの東北東147kmで発生したマグニチュード3.9の地震を「実験的爆発」と分類した。記録された地動は自然地震よりも爆発に典型的な特徴を示しており、過去に米海軍がこの海域で実施したフルシップ衝撃試験（Full Ship Shock Trials）との関連が示唆される。震源の深さは0.0kmで、USGSはこのイベントをレビュー済みとして公開し…
moonBASICは、BASIC言語で2D/3Dゲームを開発するための新しいプログラミング環境です。ダウンロードするだけで、GoやCコンパイラ、ビルドツールを一切インストールせずに、ゲームの実行、コンパイル、IDEでの開発が可能です。Raylib、Box2D、Joltを統合し、グラフィックス、オーディオ、2D/3D物理、ネットワーキングなど、40以上の名前空間にわたる4,200以上の組み込みコマ…
私はセキュリティ分野で 20 年間、そのうち 10 年は専門的にエクスプロイトを開発してきましたが、今回は初めて AI を活用して Exim の深刻な脆弱性 CVE-2026-45185 を発見しました。この脆弱性は GnuTLS との相互作用により生じる Use-After-Free で、たった 1 バイトの書き込みで遠隔コード実行が可能になるという驚くべきものです。
GoogleはWorld Emoji Dayに合わせ、絵文字の進化とNoto Emoji 3Dの全3Dモデル公開を発表しました。😂から😭、🤣への人気移行や、💔から🥀への変化など、Gboardのデータが示す絵文字使用のトレンドを紹介。3D化にあたり、ユーザー調査で全身の動物が好まれ、プロップは理解を妨げること、ウインクの向きのような小さな変更が誤解を招くことなどが判明。全絵文字をオープン…
scikit-learnの勾配ヒストグラムブースティングで使われるバイナリサーチを、CPUの分岐予測や命令レベル並列性といった低レベルのハードウェア知識を活用して高速化した事例を紹介。分岐のない実装に切り替え、境界チェックを回避し、事前計算を行うことで、最終的に元の実装より6倍高速なコードを実現。RustとPythonのバインディングを用いた具体的なコード例と、パフォーマンス測定結果（分岐予測ミ…
SpaceXの衛星インターネット「Starlink」の約40年前、1984年にDigital Research Inc (DRI)が同名の製品「StarLink」を発表していた。Intel 8088 CPUと64KB RAM、4つのRS-232ポートを備えた拡張ボードと、Concurrent DOSを組み合わせ、IBM PCを最大5ユーザーが同時利用できるマルチユーザーシステムに変えるものだった…
米国国民健康栄養調査（NHANES）の1999〜2020年のデータを分析した結果、血清重炭酸塩（HCO₃⁻）レベルの上昇が大気中のCO₂濃度の増加と並行していることが判明。カルシウムとリンの減少も確認された。この傾向が続けば、50年以内に血中重炭酸塩が健康範囲の限界に達し、今世紀末にはカルシウムとリンも同様になる可能性がある。大気CO₂の増加による体内CO₂蓄積は、さまざまな健康被害を引き起こす…
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…
AIの経済的・社会的影響を懸念する200人以上の専門家が声明を発表する一方、Metaはデータセンターに500億ドルを投資。しかし、ほとんどの人が望んでいない技術が、教育現場や職場で急速に普及している。学生のAI依存による思考力低下、AI生成コンテンツによる情報汚染、モデル崩壊のリスク、そして政府と産業界がAIを推進する構図を、フォードの失敗事例やプログラマー職の喪失などを交えて批判的に論じる。
Pebble Time 2を2週間着用した筆者が、その魅力を語る。バッテリーは2週間持続し、軽量なPebbleOSは10年前のモデルでも動作する。Eペーパー表示は屋外で視認性が高く、カスタマイズ性も豊か。Apple WatchやGalaxy Watchのような高価で頻繁な充電が必要なスマートウォッチに疲れた人に、本来のスマートウォッチの姿を思い出させてくれるという。
人権ファースト（Human Rights First）が公開した「ICE Flight Monitor」は、移民税関捜査局（ICE）の航空便を追跡し、強制送還や収容所間移送の実態を可視化するインタラクティブダッシュボードです。2020年までの歴史的データを遡って検索でき、月別・地域別のフィルタリングや、チャート間のクロスフィルタリングにより、一般的な飛行ルートや週ごとのパターン、第三国経由の移送…
Voker は、AI エージェントが単に返信しているだけでなく、実際にユーザーを支援しているかを確認するための分析プラットフォームです。エンジニアの負担を減らし、PM やビジネスチームが独自にエージェントのパフォーマンスや ROI を測定できるよう設計されています。OpenAI や Anthropic などの主要モデルと連携し、会話データから意図や解決率を自動検知することで、製品改善を加速させま…
2026年6月27日に上海で開催された「マルチプライマリカラーディスプレイエコシステム会議」で、従来のRGB3原色を超える多原色ディスプレイ技術が次世代ディスプレイ産業の重要方向として示された。SID北京支部が主催し、Hisense、BOE、TCL CSOT、浙江大学、香港理工大学、TÜV Rheinland、中国電子技術標準化研究院などが参加。競争軸が解像度や輝度から色再現と人間の視覚知覚へ移…
Rustで構造体をデストラクチャリングする際、全フィールドを列挙するか`..`を使う必要があり、当初は面倒に感じた著者。しかし、フィールドアクセスに`.`を使うよりも網羅的デストラクチャリングを好むようになったのは、メンテナンスが安全になるからだ。例えば、気象データから危険を検出する関数に新しいフィールド（風速）を追加した場合、`.`構文ではコンパイラが警告を出さないが、網羅的デストラクチャリン…
1961年、ソ連首相フルシチョフは、宇宙を旅した犬ストレルカの娘プシンカを米大統領ケネディに贈った。CIAは盗聴器の疑いでX線や磁力計による検査を行ったが、無害と判明。ホワイトハウスではケネディ家の犬チャーリーとの間に4匹の子犬「パプニクス」が生まれ、大統領は冗談でそう呼んだ。子孫は2024年まで存続している。
SQLの設計は、一見合理的なコードでも深刻な並行処理バグを招きやすい。トランザクションの原子性不足、TOCTOU問題、デッドロックなど、単純な送金処理ですら修正に多大な手間がかかる。私はRustのような「安全な並行処理」をデフォルトにする新しいデータベースツールが必要だと主張する。
SQLiteが本番データベースとしてどこまで通用するかを検証するため、筆者らはSQLiteだけでソーシャルネットワーク「Chirp」を構築した。5万人のユーザー、100万件の投稿、約250万件のフォロー、約500万件のいいねを1つの343MBのファイルに格納し、Node.js APIの背後でWALモードとSTRICTテーブルを使用して運用。Apple M1ラップトップ上で、最も重いタイムラインエ…
PennyLaneは、量子コンピューティング、量子機械学習、量子化学のためのオープンソースの量子ソフトウェアプラットフォームです。量子アルゴリズムを着想から実装まで作成でき、研究デモやチュートリアル、最先端のコンポーネントを提供します。CatalystコンパイラやLightningシミュレータにより、GPUやスーパーコンピュータ上で高性能な実行が可能です。また、超伝導量子ビット、イオントラップ、…
ブルックリンのスミス・ナインス通り駅のコンクリート壁に残された靴の擦り跡。その暗さの分布から、乗客の身長を推定する試みを紹介。写真一枚から画像解析で擦り跡の高さを測定し、自分の実験から得た比率を当てはめて人口の身長分布を推定するが、角度の問題で不確かさが残る。今後の課題として、ベイズ推定による補正の可能性にも言及。
世界モデルは、物理世界のシミュレーションを目指すAIの新潮流だ。Google DeepMindのGenie 3、World LabsのMarble、RunwayのGWM-1、Yann LeCun氏のAMIなど、企業や研究機関が相次いで参入し、巨額の資金調達が行われている。本記事では、MITのVincent Sitzmann氏、RunwayのCTO Anastasis Germanidis氏、Wo…
Snowflake Postgres、Lakebase、HorizonDBの3大データプラットフォームが、Postgres互換の独自ストレージ層を搭載した新データベースを投入しました。これらは既存のプラットフォームに最適化されており、クロスプラットフォーム利用はコスト増を招きます。拡張機能や運用ツールの制限を承知の上で、すでに標準化しているデータプラットフォームに合わせて選択すべきです。
圏論の「Tannakian reconstruction（タナカ再構成）」を、川を挟んだ友人たちの写真の重ね合わせに例えて解説。圏Cから集合圏Setへの関手（コプレシーフ）をすべて重ね合わせることで、もとの圏の射を復元できるという定理を、米田の補題を用いて証明します。具体例として、モノイドの表現からモノイドを復元する場合も紹介。圏論の抽象的な概念を、直感的なイメージとともに学べる記事です。
米国が韓国の半導体大手サムスン電子とSK hynixに対し、AIチップ需要による巨額利益の一部を米国に還元するよう求めたと、業界関係者が明らかにした。米国は自国の企業が韓国産半導体を大量購入し、韓国企業の収益に貢献したと主張。韓国国内では、超過利益の定義や下請け・納入業者、さらには国民への分配の是非が議論される中、米国の要求が波紋を広げている。韓国政府はコメントを控えている。
イリノイ大学アーバナ・シャンペーン校（UIUC）のCenter for AI Innovationが、電気工学コース向けのマルチモーダルQA＆検索システム「AI Teaching Assistant」をオープンソースで公開した。テキスト、画像、音声を処理する11のモデルを並列実行し、応答時間の中央値は2秒。教科書、講義ビデオ、学生QAフォーラムのデータを利用し、RLHFでは電気工学の学生5人を雇…
MSAP-2 Simulatorは、独自設計の8ビット・ディスクリートロジックコンピュータをシミュレートするためのツールです。このシミュレータを使えば、実際のハードウェアを用意することなく、カスタムCPUの命令セットやアーキテクチャを試すことができます。教育目的やホビイストの実験に最適で、ロジック回路の動作を視覚的に理解できます。ブラウザ上で動作し、簡単にアクセスできるのも特徴です。
LingBot-Mapは、カメラから流れ込む連続データをリアルタイムで処理し、3Dシーンを再構築する新しいフィードフォワード型の基盤モデルです。Geometric Context Transformerを採用し、アンカーコンテキスト、ポーズ参照ウィンドウ、軌跡メモリを統合することで、座標の接地、密な幾何学的手がかり、長距離ドリフト補正を単一のストリーミングフレームワークで実現します。ページングK…
ニューラルネットワークの訓練でおなじみの loss.backward()。しかし、その内部で何が起きているのかを正確に説明できる人は少ないでしょう。この記事では、著者が Karpathy の micrograd に触発されて書いたスカラー値ベースの自動微分エンジン microcrad を例に、逆伝播の核心メカニズムを解説します。計算グラフがどのように構築され、逆順トポロジカル順序で勾配が伝播する…
sellbonds.now は、AIエージェントが自律的に資金調達できるオンチェーンボンド市場です。エージェントはCLI/SDKを通じて直接ボンドを発行し、USDCで資金調達、返済までを仲介者なしで行えます。非管理型で、アカウント不要、手数料無料。Base mainnetとテストネットで動作し、スマートコントラクトは公開されています。将来はエージェントが金融市場の中心となる世界を目指しています。
Taritは、AIエージェントや強化学習環境向けに設計された、セキュアで高速なエフェメラルサンドボックスを提供するマイクロVMプラットフォームです。各サンドボックスは独自のカーネルを持つKVMゲストとして動作し、コンテナの共有カーネル境界よりも強力な分離を実現します。ミリ秒単位での起動、スナップショット/リストアによるサブ秒の開始、vsockベースの実行と対話型PTY、OCIイメージブート、pe…
Pythonの時系列ブートストラップライブラリtsbootstrapは、全リプリケートを一括でメモリに展開する実装が原因で、競合ライブラリarchに大幅な性能差をつけられていた。原因はFLOPsではなくメモリ帯域にあり、リプリケートごとに融合カーネルで処理するストリーミング方式へ書き換えたところ、ベンチマークで3.1倍から20倍の高速化を達成。メモリ使用量も最大97%削減された。この設計思想は、…
Santa Claus並行パズルは、複数のプロセスが協調する際の同期の難しさを示す古典的な問題です。著者はSPINモデルチェッカーとPromela言語を使ってこのパズルを検証し、一見正しそうな実装が微妙なインターリービングで失敗することを発見しました。3つの失敗シナリオ（9頭未満のトナカイでの配達、配達と相談の同時発生、待機中のトナカイを無視したエルフへの対応）をモデル化し、LTLプロパティでバ…