1.
翻訳待ち
2件の記事が翻訳待ちです（30分以内に自動翻訳されます）
2.
オープンソース
スポンサーシップによるServo開発の1年間
One Year of Sponsored Servo Development (servo.org)
Servoプロジェクトは、OpenCollectiveとGitHubからの寄付によって、Josh Bowman-Matthews氏がパートタイムでコントリビューターエクスペリエンスの改善に取り組んだ1年間を振り返っています。この期間中、8人の新しいメンテナーの指名、1150件のプルリクエストのレビュー、新規コントリビューター向けの114件の課題提出（92%解決）、そしてドキュメントの拡充など、多くの成果が挙げられました。このスポンサーシップは、Servoへの貢献と家族とのバランスを両立させる上で、開発者にとって大きな意味を持つものとなっています。
>> 全文
3.
オープンソース
Neovim、2023年から未開封の約80万ドルのビットコイン寄付を保有
Neovim have a ~$800k Bitcoin donation sitting untouched since 2023
Neovimのサイト下部にある寄付フッターで、2023年に行われた10ビットコイン（現在約80万ドル相当）の巨額寄付が未開封のままになっていることが発見されました。このアドレスからのビットコインの出金は2019年が最後であり、プロジェクト側がこの資金の存在を認識しているか疑問視されています。
>> 全文
4.
翻訳待ち
Show HN: I built a new version of my fun spatial 3D online meeting app
Show HN: I built a new version of my fun spatial 3D online meeting app (flat.social)
5.
プログラミング
Nvidia、RustでのネイティブGPUプログラミングを発表
Nvidia announces native GPU programming in Rust (developer.nvidia.com)
Nvidiaは、GPUカーネルをRustで直接記述できる2つの新しい方法を発表しました。cuda-oxideはSIMTモデルを、cutile-rsはタイルベースモデルをサポートし、どちらもコンパイル時のメモリ安全性を提供します。これにより、Rustの安全性とパフォーマンスをGPU開発にもたらします。
>> 全文
6.
プログラミング
長文ドキュメントのためのより良いベクトル検索：Manticore Search内のチャンキング
Better Vector Search for Long Documents: Chunking Inside Manticore Search (manticoresearch.com)
Manticore Searchは、長文ドキュメントに対するベクトル検索の課題を解決するため、自動チャンキング機能を導入しました。この機能により、ユーザーはドキュメントを手動で分割・埋め込み・管理する必要がなくなり、テーブル定義に`chunk_strategy`を指定するだけで、ドキュメントが自動的に分割され、各チャンクが埋め込まれて検索されます。これにより、モデルの入力ウィンドウ制限を超えたドキュメントでも、検索精度が大幅に向上します。
>> 全文
7.
プログラミング
2014年のPHP一時修正が2000万回近くインストールされ、本日廃止します
My temporary PHP fix from 2014 has nearly 20M installs. Today I'm deprecating it (jakeasmith.com)
著者は2014年、AOLのCMS移行のために一時的なPHP関数を作成しました。この関数は1〜2年で使われなくなるはずでしたが、Packagist経由で2000万回近くインストールされ、現在も多くのプロジェクトで使用されています。著者は数年後にこのパッケージを再発見し、バグの存在や、より優れた代替手段（PHP LeagueのURIライブラリやPHP 8.5の標準API）の登場を踏まえ、この一時的な修正を廃止することを決定しました。
>> 全文
8.
セキュリティ
キーは含まれていません：米国運転免許証バーコードの署名キーの復旧
Keys Not Included: recovering the signing keys for US driver's license barcodes (ryan.science)
この記事は、米国運転免許証のバーコードに含まれる署名キーの復旧に関する技術的な挑戦について論じています。具体的な内容は本文が取得できなかったため不明ですが、セキュリティやデータ復旧の分野における重要な課題を示唆しています。
>> 全文
9.
科学・技術
数学と物理学の関係について（ポール・ディラック）
The Relation Between Mathematics and Physics by Paul Dirac (damtp.cam.ac.uk)
ポール・ディラックによる、数学と物理学の深い関連性についての考察です。物理学の進歩には、しばしば新しい数学的構造の発見が不可欠であり、数学は物理現象を記述し理解するための強力な言語として機能することが論じられています。
>> 全文
10.
AI・機械学習
Postgresよりも81%高速なクエリプランを生成する4Bモデルのトレーニング
Training a 4B model to produce 81% faster query plans than Postgres (rohanbansal.com)
本記事では、小規模なオープンウェイトモデルを、教師ありファインチューニング（SFT）とエージェント型強化学習（RL）を用いて、Postgresのデフォルトプランを上回るクエリプランを生成できるようにする実験について詳述しています。実験の結果、4Bモデルは113個の結合負荷の高いクエリにおいて44.7%のレイテンシ削減を達成し、当初は99個のクエリでプランを生成できませんでした。このアプローチは、クエリプラン生成という、検証可能な出力を持つタスクに言語モデルを適用する可能性を示しています。
>> 全文
11.
AI・機械学習
GLMは独自の推論インフラストラクチャを構築しました
GLM Built Its Own Inference Infrastructure (z.ai)
GLM（General Language Model）は、大規模言語モデル（LLM）の推論を効率化するために、独自のインフラストラクチャを開発しました。このインフラストラクチャは、モデルのパフォーマンスとスケーラビリティを向上させることを目的としており、特にGPUリソースの活用と推論速度の最適化に焦点を当てています。これにより、より高速でコスト効率の高いLLMの展開が可能になります。
>> 全文
12.
その他
Lucasart's Afterlife
Lucasart's Afterlife (togameforlife.wordpress.com)
この記事は、1996年にリリースされたゲーム「Afterlife」について、27年後の視点から考察しています。Simcityと天国・地獄の要素を組み合わせたユニークなゲームプレイを持つこの作品は、未だに続編やそれを超えるものが登場していないと筆者は述べています。ゲームの攻略法や、当時としては珍しい詳細なFAQ、そして最近のプレイヤーによる記事など、限られた情報源を元に、ゲームのロード、ゾーン、インフラ、隣接ボーナス、建物のアップグレードといったメカニクスについて、筆者自身の経験や考察を交えながら解説しています。
>> 全文
13.
プログラミング
オンラインZ3ガイド
Online Z3 Guide (microsoft.github.io)
この記事は、Microsoftが開発した定理証明器であるZ3のオンラインガイドを紹介しています。SMT-LIBチュートリアル、Z3のプログラミング方法、およびインタラクティブなプレイグラウンドへのアクセス方法が提供されています。
>> 全文
14.
その他
Xiaomi Mimo 2.6 ライブポストトレーニングダッシュボード
Xiaomi Mimo 2.6 live post-training dashboard (mimo.xiaomi.com)
Xiaomi Mimo 2.6 のライブポストトレーニングダッシュボードに関する記事です。具体的な内容については本文が取得できませんでした。
>> 全文
15.
その他
CCC、全てのモデル市民を40C3に招待
CCC invites all model citizens to 40C3 (events.ccc.de)
Chaos Computer Club (CCC) は、2026年12月27日から30日まで開催される、ヨーロッパ最大のハッカーイベントである40回目のChaos Communication Congress（40C3）を発表しました。今年のテーマは「モデル市民」であり、社会の新たなモデルを共に模索することを目指しています。現在、講演、エンターテイメント、アート、音楽などの参加募集が行われています。
>> 全文
16.
プログラミング
小さなプログラミングのコツは重要
Small Programming Tricks (will-keleher.com)
この記事では、日々のエンジニアリングの生産性を向上させる、小さくも価値の高い知識の断片について論じています。例えば、ターミナルでの履歴検索の効率化、SQLのSELECT文のFROM句省略、データベースクエリの実行計画分析、正規表現の単語境界、JavaScriptの新しい配列メソッド、Node.jsでのHTTP接続管理、Gitの便利なコマンド、そしてシェルのglobstar機能などが紹介されています。これらの小さなコツは、学習コストが低くても大きな効果をもたらし、日々の作業を効率化するだけでなく、チーム内での知識共有にも役立つと述べられています。
>> 全文
17.
プログラミング
malloc()アルゴリズムの比較
Comparison of Malloc() Algorithms (egbert.net)
この記事は、マルチスレッド環境におけるmalloc()のパフォーマンスボトルネックと、メモリ割り当てアルゴリズムの進化について論じています。スタックベースの割り当てから動的スキーム、ガベージコレクション、そして異なるメモリタイプやアーキテクチャを管理するための「アリーナ」の導入に至るまでの進化を詳述しています。さらに、スレッドセーフティ、パフォーマンス、NUMA対応などの観点から、jemalloc、tcmalloc、mimallocといった様々なアロケータの詳細な比較表を提供しています。
>> 全文
18.
プログラミング
Verusを用いた証明可能な正しいRustコードの開発
Developing provably correct Rust code with Verus (amazon.science)
Amazon Scienceは、Rustコードの正確性を数学的に証明するオープンソースのプログラム検証ツール「Verus」を紹介しています。Verusは、コードが仕様通りに動作することを自動的にチェックし、特にAWSのNitro Isolation Engineのようなクリティカルなインフラストラクチャのセキュリティ保証を高めるために活用されています。
>> 全文
19.
AI・機械学習
1.58ビットの壁を破る：三値LLMの性能向上
Breaking the 1.58-bit Barrier for Ternary LLMs (arxiv.org)
本研究では、三値大規模言語モデル（LLM）における重みあたりのビット数を削減する新しいレイアウト「BITCOS」を提案しています。従来の5トレイトパッキングでは1.625ビット/重みでしたが、実際のモデルではゼロの割合が高いことを利用し、BITCOSは最大1.485ビット/重みでよりコンパクトなストレージを実現します。これにより、CPUおよびGPUで最大1.28倍の行列ベクトル乗算性能向上と、最大1.27倍のデコードスループット向上が確認されました。
>> 全文
20.
プログラミング
バックアップは単純ではない
Backups Aren't Simple (filipovski.net)
データ損失は避けられない現実であり、多くの人がその準備不足に陥っています。単純なファイルコピーやミラーリングでは、誤削除、ハードウェア障害、ランサムウェア、ビット腐敗など、様々なリスクに対応できません。データ復旧には、スナップショット、世代管理、差分・増分バックアップ、重複排除、そして複数の場所へのオフサイトバックアップといった、複雑で多層的な戦略が必要となります。
>> 全文
21.
セキュリティ
Cloudflare/Security-Audit-Skill
Cloudflare/Security-Audit-Skill (github.com)
Cloudflare/Security-Audit-Skillは、エージェントをセキュリティ監査員に変えるコーディングエージェントのスキルです。偵察、カバレッジ主導のハンティング、候補検証、構造化出力、独立した記録検証、ターゲットニュートラルなレポート作成といった6つのフェーズを通じて、脆弱性の発見を自動化します。これはCloudflareの脆弱性発見ハーネスの基盤となったスキルであり、単一リポジトリから進化しました。
>> 全文
22.
その他
Show HN: 鳥の鳴き声を聞いて1800年代風のイラストを描くE-inkフレーム
Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations (github.com)
Raspberry PiとAIを活用した、鳥の鳴き声をリアルタイムで検出し、それを1800年代の鳥類図鑑風イラストとしてE-inkディスプレイに表示するプロジェクト「fugleramme」が紹介されています。このシステムは完全にローカルで動作し、鳥の検出から描画までを行います。現在は開発初期段階ですが、将来的にはより多くの機能が追加される予定です。
>> 全文
23.
その他
色のグラデーションアーカイブ
An Archive of Colour Gradients (phillips.shef.ac.uk)
このウェブサイトは、地図作成、技術イラスト、デザインなどの分野で使用される、多様な色のグラデーションのアーカイブを提供しています。アーカイブは作者別に整理されており、科学的なカラーマップ、アート用のグラデーション、特定の地域や現象を表現するためのカラースキームなど、幅広い種類のグラデーションが含まれています。ダウンロード可能なファイルセットも提供されています。
>> 全文
24.
科学・技術
Fable 5が実現したPCB設計
PCB is brought to you by Fable 5 (a6mzero.com)
この記事は、AIツール「Fable 5」を使用して、プログラミングの知識なしにカスタムPCB（プリント基板）を設計した実験について詳述しています。著者は、AIに基板の仕様を英語で指示するだけで、設計から製造ファイル生成までを任せ、実際に動作する基板を入手できた経験を共有しています。このプロセスは、PCB設計の敷居を大幅に下げ、将来のハードウェア開発の可能性を示唆しています。
>> 全文
25.
その他
AWS、イランの攻撃を受けた中東施設から一部データを復旧できず
AWS says it can't restore some data from mideast facilities struck by Iran (wsj.com)
Amazon Web Services（AWS）は、イランによる攻撃を受けた中東の施設にある一部のデータについて、復旧が不可能であることを明らかにしました。この事態は、クラウドインフラストラクチャの脆弱性と地政学的リスクの影響を示唆しています。
>> 全文
26.
セキュリティ
32年前のバグがTelnetサーバーに侵入
A 32-Year-Old Bug Walks into a Telnet Server (labs.watchtowr.com)
GNU inetutilsのTelnetdに存在する、1994年（32年前）に発見されたバッファオーバーフローの脆弱性CVE-2026-32746について解説しています。この脆弱性はLINEMODE SLCネゴシエーションハンドラに存在し、認証なしでリモートからのコード実行を可能にする可能性があります。多くのLinuxディストリビューションを含む広範なシステムに影響を与え、2005年には同様の脆弱性がクライアント側でも発見されていました。
>> 全文
27.
科学・技術
イラン学校爆撃：国連、米国が残虐行為の背後にあると信じる根拠ありと発見
Iran school bombing: grounds to believe US was behind atrocity, UN finds (theguardian.com)
国連の事実調査団は、イランの学校とスポーツ施設に対する2件の軍事攻撃が戦争犯罪に該当する可能性が高いと結論付けました。また、イラン当局は反政府デモ鎮圧中に人道に対する罪を犯したと指摘しています。米国は攻撃の正当性を主張していますが、国連は米国が攻撃対象の情報を十分に検証せず、民間施設への攻撃リスクを認識しながら無謀な行動をとったと指摘しています。
>> 全文
28.
科学・技術
米戦略石油備蓄の工学的背景
The engineering behind the US Strategic Petroleum Reserve (johnjwang.com)
米戦略石油備蓄（SPR）は、数億バレルの原油を長期間安全に貯蔵し、必要に応じて迅速に放出するという困難な要件を満たすために、地下の岩塩ドームを利用したユニークな工学的解決策を採用しています。この方法は、従来の地上タンクや地下コンクリートタンクと比較して、コスト効率が高く、攻撃に対する耐性も優れています。
>> 全文
29.
AI・機械学習
HarnessTax: コーディングエージェントにとってハーネスはどれほど重要か？
HarnessTax: How Much Does the Harness Matter for Coding Agents? (harnesstax.github.io)
この記事は、コーディングエージェントのパフォーマンスにおける「ハーネス」の重要性を探求しています。ハーネスは、エージェントがタスクを実行する際に参照する外部ツールや情報源を指すと考えられます。研究では、これらの外部リソースがエージェントのコード生成能力や問題解決能力にどのような影響を与えるかを評価しています。
>> 全文
30.
プログラミング
.NET 11におけるパフォーマンスの向上
Performance Improvements in .NET 11 (devblogs.microsoft.com)
.NET 11では、ランタイムとライブラリのパフォーマンスが大幅に向上しました。本記事では、JITコンパイラの最適化、特に「デアストラクション」と呼ばれる、抽象化をランタイム時に解消してパフォーマンスを向上させる技術に焦点を当てています。これにより、コードの変更なしに、多くのシナリオで測定可能かつ証明可能な速度向上が実現されています。
>> 全文