1451

Kelsey Pfendlerによるカリフォルニアからハワイへのソロ・ローイング

Kelsey Pfendlerは、カリフォルニアからハワイまでの歴史的なソロ・ローイングの旅を44日間で完遂し、この横断の新たな総合速記録を樹立しました。

1452

Ship That Code: スクラッチ開発コースを通じてシステムデザインを学ぶ

Ship That Codeは、システムデザインとソフトウェアエンジニアリングを実践的な実装を通じて教えるために、9つの言語にわたる80以上のスクラッチ開発コースを提供する教育プラットフォームです。

1453

AI とフロンティア技術のまとめ:ローカライズされたフロンティアモデル、エージェントインフラ、そして物理的AI

AI の領域は、フロンティアクラスの知能を安価かつローカルに実現する方向へとシフトしており、消費者向けハードウェア上での MoE 推論の突破口や、エージェントインフラと物理ロボティクスの急増が見られます。

1454

AI x Crypto Roundup: エージェンティック・コマースと分散型コンピューティングの台頭

AIとWeb3の交差点は、「エージェンティック・コマース」へとシフトしています。そこでは、自律的なAIエージェントが、オンチェーン・アイデンティティ、検証可能なコンピューティング、および専門的な決済レールを介して、独立して価値を取引し、取引を行うことができます。

1455

SQLite で STRICT テーブルを優先する

SQLite の STRICT テーブルはバージョン 3.37.0 で導入され、型の不一致や無効な列定義を防ぐために厳格な型付けを強制し、SQLite のデフォルトである柔軟な型付けに対するより予測可能な代替手段を提供します。

1456

EAGLE-3 スペキュラティブ デコーディング on AMD Instinct GPUs

vLLM と AMD Quark は、AMD Instinct GPU 上で EAGLE-3 スペキュラティブ デコーディングのエンドツーエンド パイプラインを実装し、Kimi-K2.5 に対して最大 2.00x、MiniMax-M2.5 に対して最大 1.79x のスループット向上を達成しました。

1457

相対論的効果が重元素の三重結合を再形成:ブラウン大学の研究

ブラウン大学の化学者は、実験的に相対論的スピン軌道結合が炭素‑ビスマスの三重結合におけるシグマ結合とパイ結合の区別を曖昧にし、教科書的な結合モデルに挑戦していることを示した。

1458

Apple v. OpenAI: ハードウェア開発のための組織的な営業秘密窃盗を主張する訴訟

Apple は、OpenAI と元従業員を相手取り、OpenAI がコンシューマー・エレクトロニクス市場への参入を加速させるために、営業秘密や独自のハードウェア設計を盗むための組織的な取り組みを行っていたと主張して訴訟を起きました。

1459

Sqlsure: AI生成SQLのための決定論的なセマンティックチェック

Sqlsureは、クエリが実行される前に、fan-outによる二重計上や加算性の違反といったSQLエラーを決定論的に検出するオープンソースのセマンティック・インスペクターです。

1460

Earth Game: ライフゴールをゲーム化するオフライン CLI

Earth Game は Python で書かれたプライベートなオフライン CLI ツールで、ライフゴールをクエストに変換し、ローカル SQLite データベースを使用して未解決ループを管理します。

1461

鉛入りガソリンの歴史と影響

鉛入りガソリンは既知の毒性にもかかわらず、エタノールなどのより安全な代替品よりも企業の特許可能性を優先して導入され、これにより世界規模で何十年もの神経学的損害が生じた。

1462

Ghost Font: AI に対抗するビジュアルコミュニケーション実験

Ghost Font は、時間的錯覚とデコイメッセージを利用して人間には読めるが AI モデルには解読が困難な、動きベースのビジュアルシステムです。

1463

レジデンシャルプロキシの台頭とウェブスクレイピングとの戦い

ウェブサイトは、レジデンシャルプロキシネットワークを利用した攻撃的なスクレイピングの激化に直面しており、人間とボットを区別するために、Anubisのような議論の分かれるProof-of-Work (PoW) による障壁の導入が進んでいます。

1464

ニューヨーク市、欺瞞的なサブスクリプション慣行を禁止 – その意味

ニューヨーク市は米国で初めて欺瞞的なサブスクリプション慣行を禁止し、隠れた料金を抑制し、消費者がキャンセルしやすくすることを目指しています。

1465

SpaceX Gen3 Starlink Expansion: 100,000 Satellites for Gigabit Broadband

SpaceXは、FCCに対し、100,000機のGen3 Starlink衛星を打ち上げる申請を行い、マルチギガビット対称ブロードバンドと超低レイテンシを消費者、企業、AI搭載デバイスに提供することを目指しています。

1466

GPT-5.6 Sol Ultraがサイクル二重被覆予想を解決

OpenAIのGPT-5.6 Sol Ultraは、すべての橋のない無向グラフがすべてのエッジを正確に2回被覆するサイクルの集合を持つという、グラフ理論における長年の未解決問題であるサイクル二重被覆予想の形式的な証明を生成しました。

1467

ボコ・ハラムのフロンティアAIの使用: 主張と技術的懐疑の分析

ボコ・ハラムが戦術および技術的ガイダンスのためにAIを使用しているというレポートは、主張の妥当性とAIガードレールの効果について大きな議論を引き起こしています。

1468

Google、電話番号なしの非アクティブアカウントを削除

Googleは、電話番号が一度も紐付けられておらず、約1年間使用されていないアカウントを削除するようになり、アカウントを維持するために電話番号の追加をユーザーに求めています。

1469

Cactus Needle: 26M パラメータの関数呼び出しモデル

Cactus Needle は、一般的な推論よりも検索と組み立てを優先するために MLP 層を削除した独自のアーキテクチャを利用し、エッジデバイス上での高性能な関数呼び出しのために特別に設計された、2600 万パラメータのオープンソースモデルです。

1470

アンチ・フォーブス・リスト:他者のために創出した富で創業者をランク付け

アンチ・フォーブス・リストは、創業者が企業で投資家に創出した株主富から自身が保持した富を差し引いて28名を順位付けし、方法論と富の創出定義を巡る議論を呼んでいます。

1471

普遍的かつ根本的な概念としての計算

Tim Roughgarden のコースは、計算可能性の限界から P vs NP 問題、そして計算が宇宙の根本的な法則であるかどうかの哲学的な議論に至るまで、コンピュータサイエンスの理論的基礎を探求します。

1472

Scarf が Haskell から Python へ移行し、AI 主導の開発を最適化

Scarf は新しい API 開発を Haskell から Python に移行しました。AI エージェントが中心となる開発フローにおいて、Haskell の遅いコンパイル時間が重大なボトルネックとなっていたためです。

1473

AT Protocol エコシステムにおける Google 検索インデックスの問題

ユーザーは、サイトの権威、パーソナライゼーション、および技術的な設定エラーの組み合わせにより、Google 検索が主要な AT Protocol リソースをインデックスできていないと報告しています。

1474

スペースド・リピティションとフラッシュカードによる STEM 分野の深層学習

フラッシュカードとスペースド・リピティションは、単なる丸暗記ではなく「A‑ha 瞬間」を保存し、認知的チャンク化を促進することで、STEM 分野における深い概念理解に効果的です。

1475

後期青銅器時代崩壊:原因、理論、および現代との類似性

紀元前1200年頃、気候変動、貿易の脆弱性、社会的不安定性の組み合わせによって引き起こされた、相互接続された文明のシステム的な失敗が、後期青銅器時代崩壊でした。

1476

ヴィンテージ・インダストリアル・コントロールルームのデザインと実用性

物理インターフェースと特殊な照明を特徴とするヴィンテージの産業用コントロールルームは、システムの観測可能性とオペレーターの認知負荷管理において、現代のデジタルSCADAシステムとは異なる独自の利点を提供していました。

1477

Clx: ネイティブ実行ファイルへの Ahead-of-Time Lua コンパイル

Clx は、C++20 バックエンドを使用して Lua 5.5 コードをスタンドアロンのネイティブ実行ファイルに変換する、クロスプラットフォームの AOT コンパイラおよびランタイムです。

1478

Orbit AR 衛星トラッカー概要

Orbit は iOS アプリで、拡張現実を利用して 15,000 件以上の衛星、惑星、軌道デブリをリアルタイムで追跡します。

1479

優れたツールは不可視である:ツール中心のアイデンティティよりも生産性をむしろ優先する

最高のツールとは、背景へと消えていくものであるという哲学的な探求。ツールの限界を「パズル」やアイデンティティの象徴として扱う傾向に警鐘を鳴らしている。

1480

manga-ocr: マンガのテキスト吹き出しと複雑なレイアウトに最適化された日本語OCRエンジン

日本のマンガに特化して最適化されたOCRツール。複数行のテキスト、ふりがな、および縦書きと横書きの両方のレイアウトを認識できます。

1481

ML: PHP言語のためのハイレベルな機械学習およびディープラーニングライブラリ

40以上のアルゴリズムとMLライフサイクル全体のためのツールを提供する、PHP用のハイレベルな機械学習およびディープラーニングライブラリ。

1482

QuadRF: ドローン追跡およびRF可視化のための Raspberry Pi 5 フェーズドアレイ SDR

QuadRFは、Raspberry Pi 5をベースに構築されたハンドヘルド・フェーズドアレイ・ソフトウェア定義無線(SDR)であり、4.9-6 GHzの範囲内でリアルタイムのRF可視化、ドローン追跡、およびWiFi信号分析を可能にします。

1483

NEvo: ニューラルガイド進化的ビデオ合成

NEvo は AI 生成ビデオを進化させて特定の脳領域を最大限に活性化するフレームワークであり、視覚選択性のマッピングや脳機能理解のためのツールを提供します。

1484

George Hotzの「Punk」エッセイ:なぜ彼は配信をやめたのか、そしてそれがハッカー文化について語ること

George Hotz は、スペクタクルの拡大、AI 主導のコンテンツ、均質化されたオンラインプラットフォームが、かつて彼を配信へ駆り立てていた本物のハッカー文化を破壊したと説明し、配信をやめたと語っています。

1485

人間が保守できるようにコードを書く – AI生成の重複リスク

LLM でコードを生成する際に保守性のあるパターンを強制しないと、重複したロジックが増えてモデルが悪い習慣を学習してしまう。そのため、開発者は明示的なレビューやリファクタリングのステップを追加する必要がある。

1486

AI & Frontier Tech Roundup

AI とロボティクスの最近の動向は、エージェント型オーケストレーション、ローカル優先のインフラ、そしてネイティブなロボット制御モデルの台頭へとシフトしていることを示しています。

1487

GPT-5.6, Claude, and Grok Coding Build-Off: Frontier vs Open-Weights Models

GPT-5.6、Claude Fable 5、Grok 4.5を含む12のAIモデルによる包括的なビルドオフの結果、フロンティアモデルは依然として複雑なコーディングタスクを支配しており、オープンウェイトモデルは一般的でよくドキュメント化された問題に対して優れていることが明らかになりました。

1488

AI x Crypto Roundup: Agentic Commerce and Verifiable Compute

AIとWeb3の交差点は、自律的な決済レール、AIの紛争解決のための分散型裁定、および検証可能な計算とデータの出所を重視する「エージェント経済」へと移行しています。

1489

War Atlas インタラクティブマップが人類史におけるすべての名称付きの戦争を可視化

War Atlas は、紀元前3000年から現在に至るまでの10,000件以上の名称付きの戦争をプロットするインタラクティブなウェブマップであり、ユーザーに数千年間にわたる人類の紛争の地理的視点を提供します。

1490

『ターミネーター2』のテクノロジー

Industrial Light & Magic (ILM) は、Body Sock や Make Sticky といったカスタム・ソフトウェア・ツールを開発することで、『ターミネーター2』における液体金属の T-1000 を実現し、現代の CGI の先駆者となりました。

1491

AI 時代の Vim 活用法:コミュニティの戦略と調整

Vim はナビゲーション、レビュー、小規模な編集に依然として価値があり、多くの開発者が AI エージェント、カスタムプラグイン、ターミナルマルチプレクサを組み合わせて活用しており、Vim を捨ててはいません。

1492

親のデバイス使用と思春期のアタッチメント:Device Attachment Interference Scale(DAIS)研究からの発見

新しい研究はDevice Attachment Interference Scale(DAIS)を検証し、米国の思春期の若者が親のデバイスによる注意散漫を高く認識すると、母親と父親の両方に対して不安的および回避的な不安定アタッチメントがより強く報告されることを示した。

1493

カタツムリの歯がクモの糸を超えて自然界で最も強い材料になる

カタツムリのラジュラ歯はクモの糸よりも強いと測定され、2015年時点で最も強い自然素材として認識されています。

1494

アメリカの救急車利用料がこれほどまでに高額な理由

アメリカの救急車利用料は、待機状態を維持するための高い固定費と、1回ごとの利用料という支払いモデルのミスマッチッチョットのミスマッチにより、政府系制度(MedicareやMedicaid)の損失を補填するために、民間保険の加入者に対して過剰な請求を行うことを強きてられています。

1495

サービスオーケストレーターとしてのEmacs: Elispによるクライアント構築

Emacs は、外部ユーティリティやネットワーク API をサービスとして扱うことで、高レベルなオーケストレーターとして機能し、組み込みの Elisp ライブラリを使用して複雑なクライアントを構築することを可能にします。

1496

Fading Maize: AIで2001年のカレッジバンドを復活させる

Jacob Grafは、AI支援による制作とデザインを活用して、2001年のRipon Collegeのバンド、Fading Maizeの音楽を復活させ、3枚のオリジナルアルバムの「Reimagined Editions」を制作しました。

1497

成功する企業がいかにして盲目になるか:コンピテンス・ブラインドネス(能力の盲目性)の概念

成功する企業は、しばしばコンピテンス・ブラインドネス(能力の盲目性)に陥ります。これは、内部環境がもはや高いエンジニアリング基準を報酬として認めたり表現したりしなくなるため、高いエンジニアリング基準を認識する能力を失ってしまう状態です。

1498

De-Googling Strategies: Migrating Data and Reducing Ecosystem Dependency

Googleエコシステムからの脱却を目指すユーザーの道のりは、写真の移行における技術的な課題と、他の大手テック企業への切り替えか、セルフホスティングやオープンソースの代替案を採用するかというトレードオフを浮き彫りにしています。

1499

Mitchell HashimotoによるGhostty、Zig、およびターミナルエミュレータの未来について

Mitchell Hashimotoは、Ghosttyの技術的な動機、新しいターミナルプロトコルへの潜在能力、そしてオープンソースのメンテナンスと言語の選択に関する彼の哲学について語っています。

1500

OpenAI GPT-5.6 リリース概要とコミュニティの洞察

OpenAIのGPT‑5.6は、Sol、Terra、Lunaというモデルを導入し、より大きなコンテキストウィンドウと高いトークン効率を実現しましたが、初期採用者からは実世界でのパフォーマンスに関して賛否が混在しています。