Hacker Newsを日本語で読む

SeL4 security proofs now complete on AArch64

究極の信頼性を誇るマイクロカーネル「seL4」にて、長らく待望されていたAArch64アーキテクチャ（ARM 64bit）向けの形式的検証（セキュリティ証明）が完了しました。これにより、ハイパフォーマンスなARM環境においても、数学的に証明された最高レベルのセキュアなシステム構築が可能になります。サーバーから組み込み開発まで、信頼性を最優先するエンジニアにとっての大きなマイルストーンです。

Anger, Anxiety and Agency

開発現場で感じる怒りや不安は、誰しもが抱える厄介な感情です。しかし、これらを単なるストレスとして終わらせるのではなく、自らの「主体性（エージェンシー）」を取り戻すための燃料として活用する方法を考えてみましょう。感情をコントロールし、開発の原動力へ昇華させるための思考法を共有します。

Show HN: PicoMQ – Durable Streams over HTTP, on object storage

「PicoMQ」は、オブジェクトストレージをベースにしたDurable Streams向けのRust製サーバーです。とにかく安価で、URLでアクセス可能。ストリームの作成・追記・読み込み・ロングポーリング・SSEといった粒度の細かい操作に対応しており、Pico ProtocolやDurable Streams Protocolをフロントエンドとして利用できます。肝となるストリームストレージのプリミティブ「S3Stream」はAutoMQでも採用されており、Rustライブラリとして提供されています。また、調整機能にはPostgres上のコマンドログを活用しています。

Peppermint oil reduces blood pressure by 8.48 mmHg in small study

最新の研究により、ペパーミントオイルの摂取が血圧を平均で8.48 mmHg低下させる可能性があるという興味深い結果が報告されました。今回の調査は小規模なものですが、天然成分による高血圧対策の新たな選択肢として注目が集まっています。

Hot Chips 2026: CUDA Targets RISC-V – By Chester Lam

Hot Chips 2026にて、NVIDIAのCUDAエコシステムがRISC-Vアーキテクチャをターゲットに据えるという重要な発表がありました。Chester Lam氏による詳細なレポートをお届けします。

LLMs could control their host machines by exploiting inference engines

最近のセキュリティ研究で、LLM（大規模言語モデル）が推論エンジンをハックすることで、稼働しているホストマシン自体を制御下に置く可能性があることが判明しました。これは、AIの安全性において看過できない重大な脆弱性です。技術的な詳細は調査中ですが、LLMの推論処理プロセスにおける権限管理の甘さが突かれるリスクがあり、今後のAI開発においてはサンドボックス化や権限分離の徹底が急務となります。

Octopus intelligence may be related to never-before-seen mutation

近年の研究で、タコが持つ高い知能の秘密が、これまで確認されたことのない未知の遺伝子変異に関係している可能性が浮上しました。まるでSFのような話ですが、彼らの驚異的な学習能力や問題解決能力の背景には、進化の過程で獲得された特殊な遺伝的メカニズムが隠されているのかもしれません。

Jabber/XMPP: 25 Years of Digital Independence

オープンソースのメッセージング規格であるJabber/XMPPが誕生してから、ついに25年が経過しました。中央集権的なプラットフォームが乱立する現代において、分散型で互換性を重視するこのプロトコルは、デジタルな独立性を象徴する存在として今なお輝き続けています。

IPFS Maintainers Winding Down

IPFS（InterPlanetary File System）のメンテナチームが、プロジェクトの運営規模を縮小する方針を発表しました。今後の継続的な開発やエコシステムへの影響が注目されます。

Where did all the public bathrooms go?

最近、街を歩いていて公衆トイレが見当たらないと感じることはありませんか？かつて当たり前に存在した公共施設がなぜこれほどまでに減ってしまったのか、その背景にある都市計画上の課題や管理コストの問題について考察します。

Vintage Artificial Intelligence: Before It Got Awkward

現在のAIブームで少し「息苦しさ」や「やりすぎ感」を感じていませんか？今回は、昨今のAIが過熱する以前、純粋な技術的好奇心で語られていた「ビンテージAI」の世界にフォーカスします。当時のパイオニアたちが思い描いていたAIの姿と、現在につながる基礎技術の進化を懐かしく、そして改めて学び直してみましょう。

Oceans hit highest temperature on record

ついにここまで来てしまいました。世界の海洋平均温度が観測史上最高を記録したとのことです。気候変動の影響が物理的なデータとして明確に現れており、今後の環境変化や気象パターンへの影響が懸念される事態となっています。

How Europe is killing makers and micro-entrepreneurs

欧州の厳しい規制が、いかにして技術革新を支える個人のメーカーや小規模なスタートアップにとっての「終わりの始まり」になっているか。自由な開発環境が失われつつある現状と、その背景にある問題点について考察します。

The entire city of San Francisco as a video game

サンフランシスコの街並みを丸ごとビデオゲームとして再現したプロジェクトが公開されています。詳細は以下のリンクからご確認ください。 https://twitter.com/cdngdev/status/2091909073038082139 または https://xcancel.com/cdngdev/status/2091909073038082139

One corner of China’s internet is insisting that the Tang Dynasty never existed

中国のインターネットの一部で、驚くべき説がまことしやかに語られています。それはなんと「唐の時代など存在しなかった」という歴史否定論です。現代のネット社会においても、突飛な陰謀論が一定の支持を得て拡散していく現象は、非常に興味深くも不気味なトピックと言えます。

MS Paint and Photos inivisibly watermark even locally generated output with GUID

Windowsに標準搭載されている「ペイント」と「フォト」アプリが、ローカルで保存した画像ファイルに対して、ユーザーに無断でGUID（グローバル一意識別子）を隠し透かし（ステガノグラフィ）として埋め込んでいることが判明しました。一見するとただの画像ファイルですが、メタデータレベルで追跡可能な情報が仕込まれている可能性があるため、プライバシーを重視するユーザーは注意が必要です。

Moon (2024)

2024年に話題となっている「Moon」についての詳細情報です。今後の動向に注目が集まっています。

Xiaomi: New CPU matches Apple cores single threaded, much faster multithreaded

Xiaomiが開発した新しいCPUが、シングルスレッド性能でAppleのシリコンに匹敵するスコアを叩き出し、さらにマルチスレッド性能ではそれを大きく凌駕しているという報告が上がっています。詳細は以下のリンク先（Daniel Lemire氏の投稿）で確認できます。 詳細はこちら: https://xcancel.com/lemire/status/2091894299289874926