Commodore 64のシミュレーション：ピンレベルのハードウェアモデル
Commodore 64の新しいハードウェアシミュレータは、マザーボードの電気的接続とチップの挙動をピンレベルでモデル化し、ピンの浮きや抵抗の断線といったハードウェア故障のシミュレーションを可能にします。
記事全文を読む →最新の解説
パリ、世界初の人物撮影地点を示す記念碑を設置
18ヶ月に及ぶ調査を経て正確な座標を特定した結果、1838年に撮影された、人間を捉えた世界初のダゲレオタイプ（銀板写真）の撮影場所を記念するプレートがパリに設置される。
記事全文を読む →
組織融合によるサンゴの白化現象の回復
研究者たちは、同じ遺伝的系統を持つ健康なサンゴの断片と物理的に接触させることで、白化したサンゴを急速に健康な状態へ回復させ、共生藻類を直接転送できることを実証しました。
記事全文を読む →
Esp32sim：ESP32ファームウェア用オープンソースエミュレータ
Esp32simは、物理的なハードウェアやクラウドのサブスクリプションを必要とせず、開発者が実際のESP32ファームウェアをローカル環境またはWebブラウザ上で実行できるRustベースのエミュレータです。
記事全文を読む →
『Around The World』におけるリアルな空と雲のレンダリング
開発者のThomas ten Cate氏が、探索ゲームにおけるリアルな大気効果のレンダリングにおける技術的課題について詳述。雲のマルチスキャッタリング、間接光のサンプリング、および地平線のアーティファクトの修正などが含まれます。
記事全文を読む →
Lean 4でフルスタックWebアプリを構築する
ある開発者が、通常は証明アシスタントとして使用される関数型プログラミング言語であるLean 4を用いて、リファレンス・フルスタック・アプリケーションである「RealWorld」を完全に構築することに成功しました。このプロジェクトは、LeanのエコシステムがデータベースやHTTP処理のための新しいライブラリによって成熟しつつある一方で、形式的な検証を通じて「構成による正当性（correctness by construction）」を実現するための独自の利点を提供していることを示しています。
記事全文を読む →
アフリカ巨大陸生カタツムリの侵略的脅威
フロリダ州をはじめとする地域では、アフリカ巨大陸生カタツムリ（GALS）の拡散に苦慮しています。この外来種は、ラット肺虫（rat-lungworm）という寄生虫を媒介する能力を持ち、農業、インフラ、そして人間の健康に対するリスクをもたらしています。
記事全文を読む →
セキュリティ研究者がEufy HomeBase 2のファームウェアを抽出・分析
Adepts of 0xCCの研究者が、ハードウェアのはんだ除去およびWi-Fi認証アルゴリズムのリバースエンジニアリングを含む、Eufy HomeBase 2デバイスからのファームウェア抽出プロセスを詳細に報告しました。
記事全文を読む →
Doritosの粉末を使って鶏肉を透明にする
物理学の実験により、Doritosと同じ色素であるタルトラジン溶液に鶏の胸肉を浸すことで、水の屈折率をタンパク質や脂質の屈折率に一致させ、生物学的組織を半透明にできることが示されました。
記事全文を読む →
OpenRewrite、レシピの配布をCode Genome Projectへ移行
OpenRewriteは、レシピモジュールをMaven CentralからCode Genome Projectへ移行します。この変更により、ダウンロードには必須の認証が必要となり、開発者はビルド構成を更新する必要があります。
記事全文を読む →
世界初の太陽光発電量が原子力発電を上回る
『世界原子力産業状況報告書（WNISR）2026』によると、再生可能エネルギーの急速な拡大と原子力発電の停滞により、2025年4月に世界の太陽光発電量が初めて原子力発電の出力を上回りました。
記事全文を読む →
Hirschbergのナップサックアルゴリズムを用いたPyTorchメモリ計画の最適化
PyTorch向けの新しいメモリ予算ソルバー `dp_knapsack_sliding_hirschberg` は、スライディングウィンドウ技術とHirschbergアルゴリズムを組み合わせて0/1ナップサック問題を解決することで、ピーク時のRAM使用量を最大20倍削減します。
記事全文を読む →
Lingua Franca: 決定論的並行処理のための調整言語
Lingua Francaは、リアクター指向のパラダイムを通じて手動の同期やレースコンディションを排除することで、マルチスレッドおよび分散システムの開発を簡素化するために設計された調整言語です。
記事全文を読む →
ニューラルネットワークはどのように記憶を保存するのか：Transformerアーキテクチャの視点
新しい分析により、ニューラルネットワークの各層が連合記憶として機能する仕組みが探求されています。線形層からTransformerへの進化は、記憶の干渉を抑制するプロセスの進展として理解できることが示唆されています。
記事全文を読む →
DeepSeek、推論能力とエージェント性能を向上させたV4.1-Flash-1017をリリース
DeepSeekは、推論、コーディング、エージェントタスクの性能向上に焦点を当てつつ、実行時間とコストを削減したV4.1-Flashモデルのマイナーアップデートをリリースしました。
記事全文を読む →
DeepSeek、ネイティブビジョンとKVキャッシュ圧縮を備えたV4.1 Flash 1017をリリース
DeepSeekは、Causal Encoder-Decoderアーキテクチャ、ネイティブな画像理解、およびエージェントワークロード向けの大幅なメモリ最適化を備えたスパースMixture-of-Experts（MoE）モデルであるV4.1 Flash 1017スナップショットをリリースしました。
記事全文を読む →
Paper Instruments、プロの知識業務向け「Ultramarine 1 Flash」をリリース
Ultramarine 1 Flashは、金融や法務などの専門的なタスク向けに設計されたエージェンティックモデルです。非検証可能な強化学習を活用することで、主要な競合モデルよりも大幅に低いコストで高品質なアウトプットを提供します。
記事全文を読む →
バトリアン・ジハード：『デューン』の世界における技術的逆転
バトリアン・ジハードは、フランク・ハーバートの『デューン』の世界における基礎的な歴史的事項であり、「思考する機械」に対する聖戦として特徴付けられ、結果として完全な技術的逆転と人工知能の禁止をもたらした。
記事全文を読む →
Microsoft Execution Containersは、セキュアなAIエージェント操作のためのポリシーベースの隔離を提供する
Microsoftは、ファイル、ネットワーク、システムリソースへのAIエージェントアクセスのための正確な境界を定義・適用できるポリシーベースのコンテナシステムであるExecution Containers（MXC）の一般提供開始を発表しました。セキュリティとパフォーマンスの要件に応じた複数の隔離バックエンドが用意されています。
記事全文を読む →
カリフォルニアのブドウ生産者、ワイン需要低下で危機に直面
カリフォルニアの農家は、消費者の嗜好の変化と世界市場の力が原因でワイン需要が長期的に低下しているため、ワインブドウの販売に苦闘しており、生産者は畑の将来について難しい決断を迫られている。
記事全文を読む →