1557 点
組織融合によるサンゴの白化現象の回復
研究者たちは、同じ遺伝的系統を持つ健康なサンゴの断片と物理的に接触させることで、白化したサンゴを急速に健康な状態へ回復させ、共生藻類を直接転送できることを実証しました。
記事全文を読む →
2957 点
DeepSeek、推論能力とエージェント性能を向上させたV4.1-Flash-1017をリリース
DeepSeekは、推論、コーディング、エージェントタスクの性能向上に焦点を当てつつ、実行時間とコストを削減したV4.1-Flashモデルのマイナーアップデートをリリースしました。
記事全文を読む →
3697 点
世界初の太陽光発電量が原子力発電を上回る
『世界原子力産業状況報告書（WNISR）2026』によると、再生可能エネルギーの急速な拡大と原子力発電の停滞により、2025年4月に世界の太陽光発電量が初めて原子力発電の出力を上回りました。
記事全文を読む →
4329 点
Llmspeed: ローカルLLMのパフォーマンス用シミュレーター
Llmspeedは、ユーザーが機器を購入する前に、特定のハードウェア構成における様々な大規模言語モデル（LLM）のパフォーマンスを推定するためのWebベースのツールを提供します。
記事全文を読む →
5659 点
ニューラルネットワークはどのように記憶を保存するのか：Transformerアーキテクチャの視点
新しい分析により、ニューラルネットワークの各層が連合記憶として機能する仕組みが探求されています。線形層からTransformerへの進化は、記憶の干渉を抑制するプロセスの進展として理解できることが示唆されています。
記事全文を読む →/https://tf-cmsv2-smithsonianmag-media.s3.amazonaws.com/filer_public/5a/22/5a227d41-20eb-46fb-8ddb-e2375565a170/transition3-little-dams.jpg)
6357 点
米国北東部におけるダム撤去が回遊魚の経路を回復
米国北東部における老朽化したダムの撤去により、アライブやウミアンコウといった回遊魚種が歴史的な産卵地へと戻る道が開かれています。
記事全文を読む →
7408 点
Furifont：リガチャを用いて振り仮名を表示する日本語フォント
Furifontは、フォントのリガチャ機能を利用して漢字の上に振り仮名を自動的に表示する特殊な日本語フォントです。従来のルビタグの実装が困難な環境において、日本語学習者を支援する斬新な手法を提供しますが、日本語の文脈依存な読みの性質に関する技術的な課題にも直面しています。
記事全文を読む →
8352 点
Doritosの粉末を使って鶏肉を透明にする
物理学の実験により、Doritosと同じ色素であるタルトラジン溶液に鶏の胸肉を浸すことで、水の屈折率をタンパク質や脂質の屈折率に一致させ、生物学的組織を半透明にできることが示されました。
記事全文を読む →
9424 点
金が石油や医薬品を抜き、米国最大の輸出項目に
2025年後半から、世界的な需要の急増と地政学的な動向の変化を背景に、米国の金輸出額は石油や航空機といった従来の高付加価値カテゴリーを上回り始めました。
記事全文を読む →
10237 点
Commodore 64のシミュレーション：ピンレベルのハードウェアモデル
Commodore 64の新しいハードウェアシミュレータは、マザーボードの電気的接続とチップの挙動をピンレベルでモデル化し、ピンの浮きや抵抗の断線といったハードウェア故障のシミュレーションを可能にします。
記事全文を読む →
11206 点
Esp32sim：ESP32ファームウェア用オープンソースエミュレータ
Esp32simは、物理的なハードウェアやクラウドのサブスクリプションを必要とせず、開発者が実際のESP32ファームウェアをローカル環境またはWebブラウザ上で実行できるRustベースのエミュレータです。
記事全文を読む →
12382 点
Paper Instruments、プロの知識業務向け「Ultramarine 1 Flash」をリリース
Ultramarine 1 Flashは、金融や法務などの専門的なタスク向けに設計されたエージェンティックモデルです。非検証可能な強化学習を活用することで、主要な競合モデルよりも大幅に低いコストで高品質なアウトプットを提供します。
記事全文を読む →13175 点
Codexデスクトップアプリ、Crashpadダンプによる無制限なディスク容量の増加に直面
macOS上のCodexデスクトップアプリのユーザーから、アプリケーションのクラッシュ報告システムであるCrashpadが、保留中のメモリダンプを継続的に生成するバグが報告されました。この動作により、アプリケーションが正常に動作している間でも、ローカルディスクの使用量が1日に数ギガバイト増加することがあります。
記事全文を読む →
14377 点
バトリアン・ジハード：『デューン』の世界における技術的逆転
バトリアン・ジハードは、フランク・ハーバートの『デューン』の世界における基礎的な歴史的事項であり、「思考する機械」に対する聖戦として特徴付けられ、結果として完全な技術的逆転と人工知能の禁止をもたらした。
記事全文を読む →
15124 点
アフリカ巨大陸生カタツムリの侵略的脅威
フロリダ州をはじめとする地域では、アフリカ巨大陸生カタツムリ（GALS）の拡散に苦慮しています。この外来種は、ラット肺虫（rat-lungworm）という寄生虫を媒介する能力を持ち、農業、インフラ、そして人間の健康に対するリスクをもたらしています。
記事全文を読む →
16520 点
DeepSeek、ネイティブビジョンとKVキャッシュ圧縮を備えたV4.1 Flash 1017をリリース
DeepSeekは、Causal Encoder-Decoderアーキテクチャ、ネイティブな画像理解、およびエージェントワークロード向けの大幅なメモリ最適化を備えたスパースMixture-of-Experts（MoE）モデルであるV4.1 Flash 1017スナップショットをリリースしました。
記事全文を読む →
17162 点
『Around The World』におけるリアルな空と雲のレンダリング
開発者のThomas ten Cate氏が、探索ゲームにおけるリアルな大気効果のレンダリングにおける技術的課題について詳述。雲のマルチスキャッタリング、間接光のサンプリング、および地平線のアーティファクトの修正などが含まれます。
記事全文を読む →
1897 点
Lean 4でフルスタックWebアプリを構築する
ある開発者が、通常は証明アシスタントとして使用される関数型プログラミング言語であるLean 4を用いて、リファレンス・フルスタック・アプリケーションである「RealWorld」を完全に構築することに成功しました。このプロジェクトは、LeanのエコシステムがデータベースやHTTP処理のための新しいライブラリによって成熟しつつある一方で、形式的な検証を通じて「構成による正当性（correctness by construction）」を実現するための独自の利点を提供していることを示しています。
記事全文を読む →19234 点
エストニア、オンライン投票システムのソースコードを公開
エストニア政府は、公開レビューと透明性を促進するためにオンライン投票システムのソースコードをGitHub上に公開しました。これにより、オープンソースの透明性と、デジタル選挙を保護するための技術的課題のバランスに関する議論が巻き起こっています。
記事全文を読む →
20971 点
OpenCode Consoleのセキュリティ侵害によりユーザーの認証情報に影響
OpenCodeは、大規模な蒸留攻撃（distillation attack）を伴うセキュリティ侵害を報告しました。この事案はOpenCode Consoleユーザーの1.4%に影響を及ぼしており、OpenAIやAnthropicなどのサービスの個人用APIキーが流出した可能性があります。
記事全文を読む →
2194 点
セキュリティ研究者がEufy HomeBase 2のファームウェアを抽出・分析
Adepts of 0xCCの研究者が、ハードウェアのはんだ除去およびWi-Fi認証アルゴリズムのリバースエンジニアリングを含む、Eufy HomeBase 2デバイスからのファームウェア抽出プロセスを詳細に報告しました。
記事全文を読む →
22145 点
Kubernetesアーキテクチャに対する懐疑派の第一印象
あるシステムエンジニアによるKubernetesの探索により、その主要な価値は、クラスターの現在の状態をユーザーが定義した望ましい状態と絶えず照合することでワークロードを管理する「コントロールループ」アーキテクチャにあることが明らかになった。
記事全文を読む →
23337 点
MapQuest、マッピングアプリに監視カメラレイヤーを追加
MapQuestは、Flockやその他の主要メーカーの屋外監視カメラおよびナンバープレート読み取り機の位置を表示する、アプリ内の新しい切り替え可能なレイヤーを導入しました。
記事全文を読む →
24134 点
Lingua Franca: 決定論的並行処理のための調整言語
Lingua Francaは、リアクター指向のパラダイムを通じて手動の同期やレースコンディションを排除することで、マルチスレッドおよび分散システムの開発を簡素化するために設計された調整言語です。
記事全文を読む →
25231 点
不透明な日本国籍取得への道のり
Derek Wessman氏が、日本国籍取得における数年にも及ぶ困難なプロセスを詳述。膨大な書類要件や、法務省による審査プロセスの主観的な性質を浮き彫りにしている。
記事全文を読む →
2651 点
Hirschbergのナップサックアルゴリズムを用いたPyTorchメモリ計画の最適化
PyTorch向けの新しいメモリ予算ソルバー `dp_knapsack_sliding_hirschberg` は、スライディングウィンドウ技術とHirschbergアルゴリズムを組み合わせて0/1ナップサック問題を解決することで、ピーク時のRAM使用量を最大20倍削減します。
記事全文を読む →
2766 点
低予算のレーザーフォールトインジェクション・プラットフォームがRP2350のセキュアブートを突破
カスタムビルドされた低コストのレーザーフォールトインジェクション・プラットフォームを使用し、シリコンダイを直接標的にすることで、Raspberry Pi RP2350マイクロコントローラのセキュアブート機能をバイパスした。
記事全文を読む →
2877 点
ヴィンテージカセットの美学とホームブリューの歴史
Hacker Newsのディスカッションでは、1960年代から2010年代のハードウェアから初期のゲームテープに見られるホームブリューソフトウェアまで、ヴィンテージカセットテープのデザイン美学を探求しています。
記事全文を読む →2975 点
Parin: D言語向けのコード駆動型2Dゲームエンジン
ParinはDプログラミング言語向けに設計された2Dゲームエンジンであり、raylibのような低レベルなライブラリと、Godotのようなフルスケールのエンジンの中間的な位置付けを意図しています。コード駆動型のアーキテクチャ、柔軟なメモリ管理、そしてJokaユーティリティライブラリに基づいたモジュール式の基盤を特徴としています。
記事全文を読む →
30122 点
ChromeとEdgeがXSLTのサポートを廃止へ
Google ChromeとMicrosoft Edgeは、XMLドキュメントをHTMLに変換するために長年使用されてきた技術であるXSLTのサポートを削除する方針です。一部の開発者はこれをレガシー技術からの必要な移行と見なす一方で、RSSフィードやモジュール式Webコンポーネントといった特定のユースケースにおいて、直接的でシームレスな代替手段が欠如していることを指摘しています。
記事全文を読む →