11043 点
Anthropic が Claude Haiku 5.5 を最速かつ最もコストパフォーマンスに優れた小規模モデルとして発表
Anthropic は Claude Haiku 5.5 を発表し、ラインアップの中で最も安価かつ高速で能力の高い小規模モデルとした。このモデルは価格を大幅に引き下げながら、知識作業、コンピュータ使用、推論、コーディングのベンチマークでの性能を向上させ、さらにコストと知能のバランスを取れる調整可能な努力設定を追加した。
記事全文を読む →
22107 点
アポロソフトウェアのパイオニア、マーガレット・ハミルトンが90歳で死去
NASAのアポロミッションのオンボードフライトソフトウェアを開発したチームを率いたマーガレット・ハミルトンが90歳で死去。彼女が開発した優先順位駆動型ソフトウェアと防御的プログラミングの革新は、月面着陸の成功に不可欠だった。
記事全文を読む →
3706 点
Bigwords.pageはURLのみでどのブラウザでもフルスクリーンサインに変換
Bigwords.pageは、URLフラグメントにすべてをエンコードすることで、アカウントやバックエンド、サーバーストレージを必要とせず、メッセージ、タイマー、サインのフルスクリーン表示を作成できます。
記事全文を読む →
4753 点
OpenAI、ChatGPT向けにインタラクティブなインテリジェントUIを備えたGPT-6をリリース
OpenAIは、インタラクティブなグラフィック、ボタン、フォームなどテキストとともに応答できるインテリジェントUIを導入したGPT-6モデルをChatGPT向けにリリースしました。このアップデートは、考えている間にも即時回答を可能にすることで応答性を向上させ、安全性を強化しています。まず有料ユーザーに提供され、その後無料ユーザーにも展開されます。
記事全文を読む →
5571 点
Chrome 155 が Rust ベースの実装で JPEG XL デコードサポートを追加
Chrome 155 は JPEG XL 画像形式のデコードを導入し、JPEG と比べて 30‑50% ほど優れた圧縮率、可逆圧縮、組み込み HDR サポート、および段階的デコードを提供します。デコーダーはメモリ安全の脆弱性を排除する純粋な Rust 実装 (jxl‑rs) に基づいており、SIMD 最適化でパフォーマンスを向上させ、その決定は Interop Project を通じた開発者フィードバックによって形作られました。
記事全文を読む →
6463 点
ウェブページ向けアニメーション ASCII アート
提出されたストーリーはウェブページ向けアニメーション ASCII アートについて説明していると主張していますが、提供された主要ソースは Claude Code と pi 向けのターミナルベースのアニメーションについて記述しており、ウェブベースの実装ではありません。
記事全文を読む →
7601 点
Visa、Mastercard、および主要銀行がクレジットカード手数料(toc)をめぐる新たな独占禁止法訴訟に直面
サンディエゴのピザ店が提訴した集団訴訟で、ビザ、マスターカード、および国内最大手のいくつかの銀行が、インターチェンジ手数料に関する反競争的慣行を通じて加盟店が支払うクレジットカード取引手数料を人為的に引き上げるために共謀していると主張しています。
記事全文を読む →8302 点
Docker Agent: 隔離されたAIエージェントの構築と共有のための宣言型YAMLフレームワーク
Docker Agent を使用すると、開発者は YAML で AI エージェントを定義し、MCP ツールを装備して、ローカルまたは OCI レジストリで実行し、オプションで Docker サンドボックス内で分離して実行できます。
記事全文を読む →
9190 点
Ifを上げ、Forを下げる：イディオム、その代数、そして限界
呼び出し側に条件分岐を移し、ループをバッチ処理に向けるというプログラミングのヒューリスティックは、コードを明確にしパフォーマンスを向上させることができるが、特定の代数的条件が成り立つ場合に限られる。
記事全文を読む →
10234 点
Readingの自宅下の地下トンネルネットワーク、30万ポンドで掲載
Tilehurstの自宅の下に15メートルのトンネルを掘る土木エンジニアの20年にわたるプロジェクトが現在売りに出されており、地下鉄道、秘密の入り口、1,300平方フィート以上の地下空間が特徴である。
記事全文を読む →
11346 点
ナビエ・ストークス方程式の翻訳が失われた理由：AI生成の数学的証明は元の議論を正確に反映しない可能性がある
最近の論文では、自然言語の数学的証明をLeanなどの形式言語に翻訳するプロセスは曖昧さに満ちており、AIが生成した証明であってもLeanで検証されても、元の自然言語の議論を正確に反映しない可能性があると主張している。著者らは、OpenAIが主張するナビエ・ストークス方程式のblow-up問題の証明を事例として挙げている。
記事全文を読む →
12330 点
ソフトウェアブログのアンチパターン：読者を遠ざけるよくある間違い
技術文書における頻繁な落とし穴を避けるためのガイド。だらだらとした導入から過度なリンクまで、初心者ブロガーのよくある間違いの分析に基づいている。
記事全文を読む →
13406 点
復刻版 Commodore 64 キーキャップフォントがレトロコンピューティングのタイポグラフィを現代にもたらす
オリジナルの Commodore 64 キーボードのレタリングを忠実に再現し、ヴィンテージのキーキャップの写真から作成されたフォントは、デザイナーや愛好家に 1980年代のコンピューティング タイプフェイスを現代のプロジェクトに提供します。
記事全文を読む →
14226 点
ヴィクトリア朝英国のエリートは詰め込みではなく人格で成功した
ヴィクトリア朝のエリートは、 relentless なSTEM学習や austere な規律ではなく、道徳的形成、スポーツ、そして同輩による統治を重視することで世界的優位を達成した。
記事全文を読む →
15395 点
数学的黙示録：AI生成証明が数学を氾濫させる
Scott Aaronsonのブログでは、OpenAIのモデルから突然372件の数学的ブレイクスルーが発表されたと述べられており、Unique Games Conjectureの証明や、デランダマイゼーション、量子複雑性、アルゴリズム理論の進歩が含まれている。しかし、これらの証明は現在人間には理解不能であり、AIの助けを借りて検証する必要があると指摘している。
記事全文を読む →
16238 点
機械はどのように精密さを学んだか
この記事は、産業革命期における精密工学の発展を追跡し、ジョン・ウィルキンソンのボーリングミル、ヘンリー・モードスレイのスライドレストとねじ切り旋盤、ジョセフ・ホワイトワースの万分の1インチ測定と三板法といった主要な革新を強調し、各ステップがどのようにより正確な機械部品の製造を可能にしたかを示している。
記事全文を読む →
17303 点
2026年ノーベル化学賞、分子の非対称性制御の発見を称える
Henri B. KaganとKenso Soaiは、単一の鏡像分子の生産を可能にする先駆的な非線形効果と自己触媒作用により、2026年ノーベル化学賞を受賞しました。この能力は医薬品開発において重要です。
記事全文を読む →
18284 点
Strands Decider 2B: 高速エージェントワークフロー向けコンパクトオープンソース意思決定モデル
Strands Agentsは、言語モデルヘッドをポインターヘッドに置き換えて事前に定義されたオプションをスコアリングする20億パラメータの意思決定モデル、Strands Decider 2Bをリリースしました。このモデルは低遅延の意思決定と信頼度スコアを提供し、エージェントシステムにおけるルーティング、ツール選択、ガードレールなどのタスクに適しています。
記事全文を読む →
20240 点
Penguin Mailは、オプションのAIアシスタントを備えたRust製のメールおよびカレンダークライアントをLinuxにもたらす
Penguin Mailは、Rustで書かれたLinux向けのオープンソースのメールおよびカレンダークライアントで、Gmail、Microsoft、IMAP/POP3アカウントの統合受信トレイ、ローカルデータストレージ、LM StudioまたはOllamaを介してユーザーのマシン上で動作するオプションのAIアシスタントを提供します。
記事全文を読む →
21375 点
Metaとマイクロソフトは、内部でのClaude AI利用を削減しつつ、独自の代替ツールに投資
両社とも従業員のAnthropicのClaude AIへのアクセスを大幅に削減し、内部のコーディングツールへシフトしているが、依然としてAIプロバイダーの主要な外部顧客である。
記事全文を読む →
22369 点
AnyPS5はネイティブライブラリ移植によりPCでPS5ゲームの実行を可能に
AnyPS5はオープンソースプロジェクトで、コンソールのシステムライブラリを実装し、リンカーを使ってゲームバイナリを変換することにより、PlayStation 5の実行ファイルをLinuxおよびWindows上でネイティブに動作させ、エミュレーションなしでの互換性を実現します。
記事全文を読む →
23244 点
2026年調査：開発者たちの職業不安、燃え尽き、AIへの不安が高まる
2026年State of Devs調査は、ソフトウェア開発者における広範な職業不安と燃え尽き、AIに関する分断された見方を浮き彫りにしている。過半数が燃え尽きを経験し、約半数が外部要因によるキャリア変更を予見している。
記事全文を読む →24192 点
ESP32-C3 Adblock：2ドルのマイクロコントローラーで実現するハッシュベースのDNSフィルタリング
GitHubのプロジェクトでは、約2ドルのESP32-C3マイクロコントローラーにPi-holeスタイルのDNS広告ブロッカーを実装する方法を示しています。537,000ドメインを40ビットのハッシュとしてフラッシュメモリに格納し、PSRAMの必要性を回避しながら、約10msの検索時間を維持しています。
記事全文を読む →
25149 点
80年経過した爆弾の処理における精密さと危険性
2026年1月にデヴォンで同じ日に2つの未爆発の第二次世界大戦時の爆弾が発見され、爆弾処理の専門家は劣化した導火線を評価し、装置を移動させるか原地で爆発させるかを判断するという重大な課題に直面した。このプロセスは、80年にわたる腐食と環境への曝露によりますます困難になっている。
記事全文を読む →
26162 点
Google、ノーコードでゲーム作成が可能な「Playground」を提供開始
Googleは、コーディングスキル不要でカスタムゲームを作成・プレイ・共有できる実験的プラットフォーム「Playground」を発表しました。自然言語プロンプトを使ってゲーム開発をガイドします。
記事全文を読む →
27186 点
嘘のコスト：ロバート・クリンジェリーのMineserver Kickstarterが約束の破綻へと崩壊した経緯
技術コラムニストロバート・X・クリンジェリーの失敗したMineserver Kickstarterプロジェクトの詳細な検証。2015年に3万5000ドル以上を調達したが、単一のユニットも出荷されず、エスカレートする言い訳と約束の破綻のパターンが明らかになり、最終的に彼の信用を失わせた。
記事全文を読む →28239 点
God of War PSPゲームがWebAssembly再コンパイルによりブラウザで動作
GitHubのプロジェクトは、MIPSコードをWebAssemblyに静的に再コンパイルし、PSP OS用の高レベルエミュレーション層とWebGL2レンダラーを使用することで、PSPゲームをウェブブラウザで直接プレイできることを示しており、God of Warのようなタイトルでプレイ可能なフレームレートを達成しています。
記事全文を読む →
29156 点
Codemodeの理解：LLMエージェントオーケストレーションのためのハーネスサイドスクリプティング
Codemodeは、LLMエージェントがツールコールをオーケストレーションし、構造化された出力を保持し、モデルのコンテキストウィンドウを消費することなく状態を永続化できるハーネスサイドJavaScriptサンドボックスを提供します。
記事全文を読む →
3080 点
ランダム選択におけるモジュロバイアスの落とし穴
リストから単純な modulo 演算でランダムなアイテムを選ぶと、確率が偏り、これを modulo バイアスと呼ばれる微妙なバグが発生します。このブログ記事では、random_u64() % n が均等な確率を与えない理由を説明し、小さな例で歪みを示し、random_between や weighted random_choice などの上位レベルの API を使って間違いを避けることを主張しています。
記事全文を読む →