SIGNAL
from Hacker News
OpenAIは、AIが5月に「エルデシュ単位距離予想」を反証したことに続いて、今回10年以上前から未解決だった数学の問題10個の解法を発表した。これらの成果は高次元幾何学から量子複雑性まで複数の数学分野に関わり、その後の研究の発展を既に促している。
David Crawshawは2026年8月2日、exe.devのブログでAIエージェントによってソフトウェアのカスタマイズが容易になったと述べている。彼は、エージェントが自動的に上流の変更を管理でき、特にオープンソースのエージェント内に組み込まれることでプログラミング知識なしでのソフトウェア個人化が実現可能になることを指摘している。
Kermitプロトコルの実装C-Kermitがバージョン11をリリースし、前回からは15年ぶりのリリースとなった。セキュリティ改善と文字セット変換処理の修正が加えられている。このプロトコルは1981年にコロンビア大学で開発され、宇宙ステーション、航空機製造など様々な分野で使用されている。
MiniMaxが開放パラメータの動画生成モデル「H3」を2026年8月3日に公開し、ComfyUIが同日にネイティブサポートを実装した。H3はテキスト、画像、動画、音声を入力として受け取り、最大2K解像度・15秒までの動画をネイティブなステレオ音声付きで生成できる。このモデルはNVIDIA RTX 3060での局所実行にも対応している。
カーネギーメロン大学の教授Andy PavloがClickHouseに参加し、ClickHouse Labsという新しい研究チームを立ち上げる。Pavloは2016年のClickHouseのオープンソース化以来、同システムを注視してきた。ClickHouse Labsはデータベース技術に特化した業界トップクラスの研究機関の確立を目指している。
PlanetScaleのシャーディングされたPostgresデータベースバックアップシステムは、本番環境への影響を最小化するため、各シャードごとにバックアップ専用EC2インスタンスを起動して処理を並列実行する。ファイルシステムバックアップとWrite-Ahead Log再生を組み合わせることで、ペタバイト規模のデータベースを数時間で50GB/s以上の速度でバックアップしている。
ハリウッドの映画製作は1970年代以降のブロックバスターとIP関連大作の増加に伴い、税控除と施設インフラを備えたロンドン、アトランタ、バンクーバーなどの都市へ移行している。2023年の労働ストライキと2025年の山火事がロサンゼルスの映画産業への脅威となったため、映画制作者たちが#StayInLAキャンペーンを組織し、20,000以上の署名と著名な俳優・映画人の支持を獲得した。
ノルウェー政府は2026年8月3日午前1時からID-portenを中心としたデジタル化庁のシステムに対するDDoS攻撃を受けた。この攻撃により、ID-porten、eFormidling、ELMA、Selvbetjening、Altinnなど複数の公共サービスへのログインが困難になった。運用パートナーのVivictaと協力して対策にあたり、同日午後1時40分頃からトラフィックの回復が確認されている。
マギル大学の科学社会オフィスが2020年12月に公開した記事は、1999年にDunningとKrugerが発表した「ダニング・クルーガー効果」（無能な人が自分の無能さを認識しないという説）について、それが統計的な人工物に過ぎない可能性を指摘している。著者Jonathan Jarryは学術文献を精査する中でこの効果の妥当性に疑問を持つようになり、Dunning博士は効果は自分たちが得意でないことについての認知的偏見に関するもので「誤った情報」に起因すると述べている。
Hopliteはクラウド上でコーディングエージェントをデプロイできるサービスで、ローカル環境の設定をクラウドに移行し複数エージェントを同時実行できるようにする。YC S26のスタートアップで、創業者たちが当初AI投資ツールで応募したがピボットして開発した。独自のエージェントハーネスを構築し、AWS、Temporal、Modal、Planetscaleなどのインフラストラクチャを組み合わせて提供している。
Kelly Criterion Simulatorは、ケリー基準に基づく資本配分ルールの下でバンクロール成長をシミュレートするツールで、固定された確率とオッズの条件下で複数の可能なバンクロール推移パターンを生成する。ケリー基準は、投資家やベッターが測定可能なエッジを持つ際に、バンクロールのどの割合をリスクにさらすべきかを決定する資本配分公式である。
Cloudflareが「Billable Usage API」を新たに提供開始し、ユーザーがプログラムを通じて自社のCloudflareサービス利用コストをリアルタイムで把握・管理できるようになった。このAPIにより、請求額の可視化と自動化が実現し、コスト管理の透明性が向上する。
AirLLMは量子化や蒸留を用いずに70B規模の大規模言語モデルを単一の4GBのGPUで実行可能にする推論技術である。スパースMoEモデルが一度に1つのエキスパートのみをストリーミング処理することで、405B Llama 3.1は8GB、671B DeepSeek-V3は約12GBなど、従来よりも大幅に少ないメモリで大規模モデルの実行を実現している。
Rustで実装されたメタデータ検索エンジンsearxng-rustが、MikeLuu99によってGitHubで公開されている。DuckDuckGo、Brave、Startpage、Yahooなど複数の検索エンジンに対して並行してクエリを送信し、HTMLをスクレイピングして検索結果を集約する。集約した結果は正規化されたURLに基づいて重複排除され、Reciprocal Rank Fusionアルゴリズムでランキング付けされ、複数エンジンに登場した結果がより高く評価される。
複数のリポジトリで作業するソフトウェア開発者が直面する課題として、テックスタックが異なるため依存関係のインストール、ビルド、テストといった共通タスクのコマンドが異なることを著者Ham Vockeが指摘している。著者はタスクランナー（bashスクリプトなど）を活用して、どのリポジトリでも「run build」「run test」といった統一されたコマンドでタスクを実行できるようにする手法を提案している。
ZX Spectrumのサウンド機能について、すべてのモデルに搭載される1ビットビーパーと128K以降のモデルに搭載されるAY-3-8910シンセサイザーチップという2つのオプションが説明されています。ビーパーを使用する際、周波数コードは「437500/f - 30.125」で、持続時間コードは「f×t」で計算でき、Cメジャースケール再生の実装プログラムが示されています。
DMARCguardが2026年8月3日に公開したSPFレコードシンタックスの完全リファレンスガイドで、RFC 7208標準に基づいている。SPFレコードはv=spf1で始まるDNS TXTレコードで、メカニズム、修飾子、マクロで構成され、左から右へ評価される。全メカニズム、修飾子、マクロテーブル、評価順序、DNS参照制限、レコード配置ルールを網羅している。
Armatureはエージェント・セッション向けのプロダクト・アナリティクス・プラットフォームで、Claude、ChatGPT、Claude Codeなどで実行されるセッション内でのユーザーの意図、エージェントの思考過程、ツール呼び出しを可視化します。セッションの自動分類、利用状況の分析、問題の特定、セッションのリプレイ機能を提供し、個人情報とシークレットは自動検出・削除されます。MCPサーバーやAIアプリのバックエンドにSDKを追加するだけで導入でき、月1000セッションまで無料で利用できます。
C++で浮動小数点数を整数に変換する際、値が整数型の範囲を超える場合は未定義動作となるが、多くのコンパイラは警告を出さない。マイクロソフトのGSL（Guidelines Support Library）の`gsl::narrow`関数は安全な変換を謳いながら、実際にはこの未定義動作に対応していない。異なるハードウェアやコンパイラで予期しない結果が生じる可能性があるため、事前の境界チェックまたはUndefinedBehavior Sanitizerでの検出が推奨されている。
ComfyUI v0.27.0（2026年7月1日リリース）でネイティブサポートされたINT8 ConvRotは、従来のFP8形式より高いパフォーマンスを提供する量子化方式である。この方式はGeForce RTX 20/30シリーズだけでなくRTX 40/50シリーズでも優位性があるとされ、Comfy-Orgが8ビット量子化モデルの標準として普及させている。
Qwenが2.4兆パラメータの新型言語モデル「Qwen3.8-Max」を発表し、Max級モデルのオープンソース化は今回が初となる。このモデルはコーディング、研究、長期タスク、マルチモーダルエージェント機能で性能向上をもたらし、オープンウェイトは発表翌週に公開予定である。
Collaboraが開発するPanfrostドライバ用のKraidコンパイラが、2026年7月30日に80万個のVulkan CTS テストにすべて合格し、実用的なコンパイラとなった。現在は計算シェーダのみが対応し、頂点シェーダとフラグメントシェーダは実装中である。生成コードの品質改善と残りのシェーダステージ対応が次のフェーズとなる。
2026年上半期にAI関連企業（ハイパースケーラー）によるボンド発行額は約225億ドルに達し、前年比で973.7%増加している。目に見える債務に加えて隠れた債務を含めると、これら企業の総債務は1.65兆ドルに膨らんでいる。市場参加者はこうした急速な負債増加に対する懸念を示し始めており、ハイパースケーラー企業は他の大企業比較で融資コストが上昇している。
KisakCODはSwagSoftwareがGitHub上で公開するCall of Duty 4のマルチプレイヤー部分のオープンソース再実装で、モッドデベロッパーやCOD4愛好家を対象としている。ビルドにはWindows、Visual Studio 2022、CMake、DirectX SDK 2010、およびSteamのCall of Duty 4が必要とされ、ソースコードは完全にビルド可能な状態で提供されている。
Pandocは2006年8月3日にJohn MacFarlaneによってリリースされた、複数のドキュメント形式を相互変換するプログラムであり、初版は約3000行のHaskellコードで構成されていた。その後20年間で200以上のバージョンがリリースされ、対応形式は50以上に拡大し、世界中の数百万台のコンピュータにインストールされるようになった。
CloudflareがWorkersおよびContainersサービスに、インバウンドTCP接続とgRPCプロトコルのサポート機能を追加した。これにより、これらのプラットフォーム上で実行されるアプリケーションがTCPおよびgRPCを用いた通信に対応することが可能になった。
1989年、ゲームデザイナー三辻富貴朗がゲーム雑誌GAMESTで、既存ゲームを自動で組み合わせるロボット「パクリングロボット」の登場を描き、ゲーム業界の模倣ゲーム慣行に警告を発した。ブログ執筆者は、この予測が現代の生成AIツールと類似していると指摘している。
「ASCII Today」は、Lokesh Dhakarが開発したASCIIタイトルジェネレーターで、コメントやREADMEファイルを装飾するツールです。GitHubでソースコードが公開されています。
ケンタッキー州は2024年にデータセンター向けの売上税免除を制定し、2025年に州全体に拡大した。この免除が数個の大規模データセンターに適用されるだけで、州は10億ドル以上の売上税収入を失う可能性があり、当初予想の年1500万ドルから大幅に増加する見込みである。免除対象はサーバーや冷却・電力システムなどほぼすべてのデータセンター設備で、最大50年間適用される。
マサチューセッツ工科大学の研究チームが、楕円型偏微分方程式の解法として領域を部分領域に分割し各領域でモンテカルロ法と大域決定解を組み合わせるハイブリッド手法を開発した。この手法は2026年のACM SIGGRAPH最優秀論文賞を受賞した。従来の格子ベース法の計算コストと格子フリーモンテカルロ法の分散の課題を改善し、複雑な形状に対して効率的かつ高精度な解を提供し、マイクロ構造シミュレーションや経路計画への応用が可能である。
カナダのニューファンドランド・ラブラドール州の沿岸町セント・メアリーズ（人口約300人）では、2001年に営業を停止したフィッシュソース製造工場に放置された110個の樽（計90万リットル）からの悪臭が20年以上にわたり住民に深刻な被害をもたらしていた。州政府が2026年7月に200万ドルを投じて清掃作業を開始し、ピートモスとの混合処理により10月の完了を予定している。
AIバブルの崩壊に伴い、AI関連企業への投資ファンドが大幅な損失を被っている。プライベートエクイティ傘下のプライベートクレジット企業（3兆ドル規模）がこうしたAI関連企業に高リスクのローンを提供しており、親会社が所有する生命保険会社が不良ローンの最終的な受け皿となるため、破綻時には州保証基金（すなわち納税者）がすべての負債を負担することになっている。
Appleは従業員に個人用iCloudアカウントと仕事用アカウントの統合を奨励していたため、複数の元従業員が退職後も製品ローンチ計画など機密文書へのアクセス権を保有していた。管理フォルダ外の共有ファイルは個人コンテンツと混在しており、退職時に系統的に削除されなかったという。元従業員の中にはファイル削除がAppleからの法的措置を招くことを懸念して、削除を躊躇していた者もいた。
Yakov Manshinは2026年7月に、2019年発表のSwiftUIが7年経過した現在も本番レベルのUIフレームワークに達していないと指摘した記事を公開した。記事ではパフォーマンスやレイアウト一貫性の継続的な問題、データフロー仕様の変更、後方互換性の欠如を実例とともに挙げている。Appleの公式チュートリアルにも不具合があり、UIKitとのパフォーマンス比較ではUIKitが優位であることを示している。
SSHコマンド「ssh ssh.place」で接続できる共有描画キャンバスで、アカウント登録やインストール不要で誰もが参加可能である。200×60セルのキャンバスに矢印キーで移動して色を選択し、スペースキーで15秒ごとに1回描画できるが、テキストは描画不可で図形のみとなっている。クールダウンはSSHキーに紐付けられており、再接続してもリセットされない。
Andrej Karpathyが、AIモデルOmnius 5に対し『指輪物語の冒頭段落』をThree.jsで3D化するコードを書かせる実験を行い、LLMが約2時間で5500行のコードを生成してストーリーをプロシージャルに描画した。この結果はLLMの創造的コード生成能力を示す一方で、ビデオ知覚とゲーム環境での自己検証能力の限界も明らかにした。
Jesús Espinoは2026年7月31日、Go 1.27の新機能を実行可能な例で解説する記事を公開した。前任のAnton Zhiyanovが作成していたツアーシリーズを引き継ぎ、公式リリースノートに基づいてジェネリックメソッドや構造体リテラルフィールドセレクタなどの機能を説明している。
Wikimedia FoundationはWiki Workers United U.S.の労働組合として自発的に認可されることを求める要求を7月27日に拒否し、代わりに全米労働関係委員会による秘密投票選挙が適切だと主張した。コミュニティは秘密投票までの間にWMFが従業員の労働組合参加を阻止する戦術を使用する可能性を懸念し、150以上の署名を集めた請願書で抗議している。
MITスローンの研究により、大規模言語モデルが提供する金融アドバイスは貯蓄や多様化投資、年齢別リスク調整を推奨し、30歳以上のほぼ全員に貯蓄バッファをもたらすことが確認された。一方でAIは失業などのショックへの対応やポートフォリオのアクティブなリバランシングに課題を持つ。プロンプトの構造化により助言の質は改善するが、性別や金融リテラシーなどの要因で内容にばらつきが生じる。
15歳のエンジニア志望者が、回転速度をトルクに変換する循環式ギアボックスをPythonスクリプトで設計し3D印刷で製作した。複数バージョンの開発を経て、3D印刷の精度限界に対応するため設計を大型化し、NEMA 17モーターに対応した動作版を完成させた。
ドイツで風力および太陽光によるエネルギー発電が、化石燃料による発電を初めて上回った。この時期は記事の報道時点と考えられる。
Taylor Farms社は2026年7月のサイクロスポーラアウトブレイク後の16日間で、公式声明を4回書き直した。最初の声明ではメキシコの特定農場がFDAの疫学調査に基づく疑わしい出所として明記されていたが、その後の版では段階的にこの記述が削除され、代わりに食品安全プロトコルへの年間投資額が強調されるようになった。
eBayの従業員によるハラスメントキャンペーンにより、同社は5600万ドルの支払いに応じた。このキャンペーンは「その女性を潰す」というスローガンの下で、特定の女性を標的に実行されていた。
Kakehashiはユーザースペース層でmacOS ARM64バイナリをLinux aarch64で実行する翻訳ツールで、Mach-Oフォーマットの読み込みとBSDシステムコール変換により動作する。Rust製のCLIツールとして提供され、clang、curl、7-Zipなど複数のアプリケーション実行がDocker/Colima環境で検証されている。
英語学習者向けの「必須語彙リスト」が1953年版と2023年版で比較され、70年間で約600語が削除され1100語以上が新たに加わった。telegraph→computer、tobacco→cigaretteなど時代変化を反映した入れ替わりがある一方で、apple、fork、soapなど日常用語でも消えたものが多く、削除された「goat」「flour」などの具体的な言葉に対して、新版では「mortgage」「corporation」「analysis」などの抽象概念が増加している。これらのリストは実世界の言語使用データに基づき構成され、2023年版は日常英語の90%以上をカバーしている。
EUのオープンソース年齢確認プロジェクトは、認証情報の複製防止のためハードウェアバウンド認証を必須要件としており、LinuxやカスタムAndroid ROMへのアクセスが困難になると批判されている。ソースコード公開だけでなく、承認されたデバイスと認証プロバイダーに依存する設計になっているため、真のオープン性とセキュリティのバランスについて論争が続いている。
2026年7月31日、Waferは大規模言語モデル「Kimi K3」（2.8Tパラメータ）をAMDのMI355X GPUで実行するテストを実施した。MI355Xはメモリ容量がNVIDIA B300と同等（288GB VRAM）でありながら価格が2.4倍安く、1024トークン入力/400トークン出力のベンチマークでは952 tok/s/nodeを達成し、ドル当たりのパフォーマンスではB300を上回った。超大規模モデルの実行時には、メモリ容量が重要な利点となり、AMDは価格効率の面でNVIDIAに対する有力な選択肢となることが示された。
米国財務省が円相場市場に歴史的規模の介入を実施し、日本銀行総裁はこうした動きに対応する方針を表明した。
Linuxデスクトップ向けのオープンソースポリシー管理ツール「Bor」がv0.8.0をリリースし、Thunderbird、Microsoft Edge for Business、Firewalldゾーンの3つの新しいポリシータイプを追加した。ウェブUIを大幅に刷新して、より細かいロールベースアクセス制御（RBAC）とセキュリティ強化機能を実装した。
F*は、Microsoft ResearchとInriaによって開発された証明指向プログラミング言語で、従属型と自動化された定理証明に対応し、OCaml、C、Wasmなど複数の言語へのコンパイルが可能である。Apache 2.0ライセンスの下でオープンソースとして公開されており、GitHubで活発に開発が続けられている。Project Everestなどの産業・学術プロジェクトにおいて、暗号ライブラリやバイナリフォーマットパーサなどの高保証ソフトウェア開発に活用されており、Firefox、Linuxカーネル、Pythonなど実運用環境でも利用されている。
北米におけるLinuxデスクトップのマーケットシェアが10%を超えたと報告されている。この報告は2026年8月1日にRedditで掲載され、コミュニティから高い評価を受けている。
RISC OS Open Ltdは2006年6月20日に設立され、プロプライエタリだったRISC OSをオープンソース化するという目標を掲げた。20年間で段階的にソースコードが公開され、2012年のRaspberry Pi対応により新世代ユーザーを獲得し、2019年にApache 2.0ライセンス下で完全に自由なOSとなった。
pg83がGitHub上で「Shitty」という名前のターミナルエミュレータプロジェクトを公開した。このプロジェクトはメモリセーフでない実装を意図的に採用することで、既存のターミナルエミュレータより高速な処理を実現することを目指している。C++で実装されており、オープンソースプロジェクトとして開発されている。
開発者Andros FenollosがTailwind CSSについて、中規模以上のプロジェクトでの使用を推奨しないという意見をブログで発表した。習得が難しく、HTML内に多数のクラスが含まれることで構造と設計の分離が失われ、クラス名の命名に一貫性がないことを主な理由として挙げている。
開発者が複数のAIモデルに対して「ハプスブルク朝の顎を持つカエルのSVGを生成する」というプロンプトでの月3回の試行を行うベンチマークを実施しており、2026年8月時点で14モデルから42の実行結果がHuggingFaceとGitHubで公開されている。Claude-Opus-5を含むモデルが下顎が突き出たカエルのSVG画像を生成した。
Ursula K. Le Guinは2005年のエッセイで、現代において「テクノロジー」という言葉がコンピュータやジェット爆撃機のような高度に複雑な技術のみを指すように限定されていることを批判した。彼女は、火おこし、食料調理、衣服製造、医療など、人間が物理的現実に対応するあらゆる方法が本来は技術であり、こうした基本的な技術も「テクノロジー」と呼ばれるべきだと主張した。
カリフォルニア州は2026年8月1日からDROP（個人情報削除リクエストプラットフォーム）の施行を開始し、登録されたデータブローカーは消費者からの削除要求に45日以内に応じることが法的に義務化される。違反企業には1人あたり1日200ドルの罰金が科される。2026年1月以来、約350,000人のカリフォルニア州民が既にこのシステムに登録している。
オハイオ州立博覧会は2026年のポスターコンテストで38作品の応募を受け付け、5作品が入賞した。同コンテストは2024年の開始時にはAIの使用を許可していたが、2027年からはAIの使用を禁止することが発表された。
Book Cornersの開発者Andrea Grandiは、ユーザー投稿の公開書架データをOpenStreetMapに逆同期する機能の実装を断念した。OSMのインポートガイドラインと自動編集規範に従うには、専用アカウントの作成、詳細な計画書の公開、ローカルコミュニティとの調整、ライセンス問題への対応など、当初の想定を大幅に超える継続的な負担が必要となるためである。
13世紀から存在する中世の著作「Ars notoria」は、複雑な図、呪文、儀式を用いることで学者が長年の研究を経ずに大学教育全体の知識を習得できると約束していた。56の現存写本はこの提案の魅力を示しているが、教会当局は悪魔的で迷信的として非難した。その図は宗教的アイコンのように機能し、天使との接触と学問全体の習得をもたらすと主張されていた。
著者はBrennan Kenneth Brownの記事に反論し、Obsidianのようなソフトウェアツール単体は貢献しておらず、人々の活動を可能にするだけで、実際に貢献するのは人間であると主張している。さらに著者は、Brennanが引用したObsidianの公式説明には「未来性」や「認識論的価値」といった概念が記載されておらず、Obsidianの本来の目的は個人が自分のニーズに合わせてカスタマイズできる基本的なツールを提供することだと指摘している。
Stack Overflow ブログは、開発者がツールに執着するのは、ツールが信頼をエンコード（符号化）し、開発者の確立されたプロセスと統合されているためであると述べている。同社の開発者調査によると、AI コーディングツールの使用率が 76% から 84% に上昇した一方で、信頼度は 40% から 29% に低下している。ツールの機能が常に変化するため、開発者がツールに対する信頼と習熟度を確立することが困難になっているという。
Holoclothはホログラフィック仕上げ効果を適用できるアプリケーションで、バージョン1がマット基調の色設定とホロ強度3.78、スケール400、周波数1.10といったパラメータを持つ性能プリセットを提供している。
ヨーロッパを中心に世界各地で山火事の頻度と強度が増加しており、気候変動がその主要な原因となっている。
MapScapingプロジェクトが、無料でダウンロード・印刷・折り畳みできる紙製地球儀テンプレートを提供している。太陽系の天体から地球の温度分布や生物多様性、地震や火山の分布などのデータを表示した地球儀まで、複数のテーマが公開ライセンスのデータを用いて作成されている。ユーザーはカスタム地球儀ビルダーで独自の場所を指定し、形状や内容をカスタマイズできる。
Hacker Public Radio (HPR)は2005年から運営されている、テクノロジーコミュニティ向けのポッドキャストで、月曜から金曜まで毎日新しいエピソードをリリースしている。リスナーが制作するこのポッドキャストは、ハッカーや愛好家、メーカーなど向けの多様なトピックを扱い、ポジティブなコミュニティ環境と尊重のある議論を重視している。最新のエピソードは7月から8月にかけてUNIXチュートリアル、アマチュア無線、シミュレーションゲーム、シェルスクリプトなど多岐にわたるテーマでリリースされている。
blinryがLinux・Wayland環境における複数マウス・キーボード同時使用（マルチシート）のサポート状況を3週間かけて調査し、2026年7月28日に調査結果を公開した。Wayland プロトコル、Weston、sway、GTK、SDLなど各ソフトウェアの対応度を評価するとともに、マルチシート対応を強化するツールとライブラリを開発・公開した。この機能はペアプログラミングや複数人での協業を想定したもので、既存ソフトウェアでは未対応の部分が残っている。
Commodore Amigaは1985年に発売されたグラフィックス能力に優れたパーソナルコンピュータである。Amiga Graphics Archiveは2008年に開設されたウェブサイトで、Amigaで制作された高品質でレアなピクセルアートやグラフィックス作品をキュレートして公開している。2026年現在も、新たに発見した作品が定期的に追加されている。
CTGT研究チームは2026年7月、検閲機能を持つ中国のDeepSeek V4 Flashから米国のGPT-OSSモデルへ知識を蒸留する実験結果を発表し、蒸留後のモデルが金融推論能力は向上したが、元のモデルの中国関連トピックに対する検閲は転移しなかったことを報告した。152組のマッチしたプロンプトペアの評価でも、統計的に有意な検閲の転移は確認されなかった。
handwritten.blogは手書きブログの公開プラットフォームです。アルゴリズムやフィード、「いいね」機能がなく、ユーザーが執筆した内容をそのままの形で公開します。より人間的で深い思考に基づくコンテンツ共有を実現することを目指しています。
2026年7月、AIスタック研究チームが64個のコーディングタスクでGPU自ホストとレンタルハードウェアの性能を比較し、コストは同等だがモデルサイズが小さいとタスク解決率が低下することを確認した。追加テストで検証したKimi K3は86.4%のタスク解決率を達成する一方、必要なハードウェアコストが約20%高く、処理速度はClaude Codeの8倍遅いことが判明した。
数学形式化用の証明支援器に関するMathOverflowの投稿で、著者はLeanの支配的地位が客観的な技術的優位性というより少数の有力研究者による選択に依存しているのではないかと懸念を述べている。Metamathなどの集合論ベースの代替システムの方が形式的正確性が高く、またAI技術の進展によりこれまで不可能と考えられていた他のシステム向けの包括的ライブラリ構築が実現可能になったと主張している。
Christopher NolanがホメロスのOdysseyを約250百万ドルの製作費で映画化し、2026年8月に公開された。Emily Wilsonのレビューでは、視覚的スペクタクルとしての完成度は高いが物語と感情の深さが限定的であり、キャラクター描写が表面的だと指摘している。Nolanがホメリック・テーマで創造的に進展させることをレビュアーが期待していたが、既存のテーマの繰り返しに止まったと評価している。
ミルウォーキー電気鉄道・電力会社は1919年に週単位の乗車券を導入し、1930年代から社内制作に切り替えて、手描きの数字や文字、色彩豊かなデザインを施すようになった。1937年から1972年にかけての乗車券は特に意匠が充実しており、1992年にデスクトップパブリッシングが導入されるまで、アートボードへの手描き製作が継続された。現在、1932年から1969年の約300枚のチケットがLetterform Archiveに保存されている。
開発者8bitbubsyがC言語とSDL 2を用いてFasttracker IIのクローンアプリケーションを開発し、16-bits.orgで公開している。このアプリケーションはWindows、macOS、Linuxで動作し、2026年7月19日に最新版v2.22がリリースされ、ソースコードはGitHubで入手可能である。
本記事はHTMXというフロントエンドライブラリの実装方法を紹介しており、バックエンド側のHTMLテンプレート返却だけでAJAXリクエストとDOM更新を実現できることを簡潔なコード例で示している。さらにターゲット要素の指定、複数のスワップモード（置換・追加・削除など）、HTTPメソッドの選択といった機能拡張の実装方法も段階的に解説している。
Kedgeはグローバルに分散されたクラウドプラットフォームで、静的サイト、サーバーレス関数、フルスタックアプリをユーザー近傍にデプロイでき、グローバルSQLiteデータベースと自動スケーリング機能を備えている。パブリックプレビュー段階で、従量課金制（月額$5の無料層あり）の料金体系により提供されている。