2. マーチングのイベントiCalendarとレイのマーチングとの関係は? Marching Events: What does iCalendar have to do with ray marching? (pwy.io)
3. 15,000行の検証済み暗号がPythonで可能に 15,000 lines of verified cryptography now in Python (jonathan.protzenko.fr)
4. 形式的検証に対する初期の批評を再考する Revisiting an early critique of formal verification (lawrencecpaulson.github.io)
11. マイクロ秒のトランスフォーム:ユーザーコードのための高速サンドボックスの構築 Microsecond transforms: Building a fast sandbox for user code (blog.sequinstream.com)
14. 素晴らしいコンセンサス最近のビザンチン耐障害性アルゴリズムのサーベイ Awesome Consensus: A survey of recent byzantine fault tolerance algorithms (github.com)
17. クロスサイト・スクリプティングの悪化:Iframeサンドイッチ Exacerbating Cross-Site Scripting: The Iframe Sandwich (coopergyoung.com)
20. Xbox 360とMicrosoft Windowsのためのロックレスプログラミングに関する考察(2012年) Lockless Programming Considerations for Xbox 360 and Microsoft Windows (2012) (learn.microsoft.com)
22. /.ssh/authorizedキーを使って、着信接続ができることを決定する。 Using /.ssh/authorized keys to decide what the incoming connection can do (dan.langille.org)
23. なぜ以前のコンピュータはもっと楽しかったのか? Honest and Elitist Thoughts on Why Computers Were More Fun Before (www.datagubbe.se)
33. Linuxでのプログラムライブラリの作り方と使い方 (2003) How to create and use program libraries on Linux (2003) (tldp.org)
35. セルビアの学生活動家の携帯電話がCellebriteのゼロデイ・エクスプロイトを利用してハッキングされる Serbian student activist’s phone hacked using Cellebrite zero-day exploit (securityaffairs.com)
38. traceboot: ブートスクリプトとシェルスクリプトの正確で軽量なトレース traceboot: precise and lightweight tracing for boot and shell scripts (codeberg.org)
40. 誰もがあなたの居場所を知っている。 Everyone knows your location, Part 2: try it yourself and share the results (timsh.org)
41. Arch Linux:extra] リポジトリの Redis を置き換える Valkey Arch Linux: Valkey to replace Redis in the [extra] Repository (archlinux.org)
44. グラハムローカルクロックの特性を活用したクロックの同期化 Graham: Synchronizing Clocks by Leveraging Local Clock Properties (www.usenix.org)
52. 関税:インポートを再び偉大なものにする、最も偉大なPythonパッケージ tariff: The GREATEST, most TREMENDOUS Python package that makes importing great again (github.com)
56. deb-books: Debian ソースパッケージに隠された書籍 deb-books: books hidden in Debian source packages (codeberg.org)
57. codexターミナルで動作する軽量コーディングエージェント codex: Lightweight coding agent that runs in your terminal (github.com)
58. TLS証明書の有効期間が正式に47日に短縮される TLS Certificate Lifetimes Will Officially Reduce to 47 Days (www.digicert.com)
59. Fennelをゼロから学んでNeovimプラグインを開発する Learning Fennel from Scratch to Develop Neovim Plugins (lambdaisland.com)
61. ノースガードスケーラブル・ログストレージ@Linkedin(発表イベント) Northguard: Scalable Log Storage at Linkedin (announcement event) (blog.typeobject.com)
62. Torque - あらゆるプロセッサ用の軽量メタアセンブラ Torque – A lightweight meta-assembler for any processor (benbridle.com)
68. ハッカー・ニュースの文体フィンガープリントを再現 - Hacker News Reproducing Hacker News writing style fingerprinting - (antirez.com)
69. プログラマーが知っておくべきCPUの仕組み - Matt Godbolt - GOTO 2024 What Every Programmer Should Know about How CPUs Work • Matt Godbolt • GOTO 2024 (www.youtube.com)
70. swank-decorators:Python に触発された Ruby 用デコレータ swank-decorators: Python-inspired decorators for Ruby (github.com)
71. CISAは「重要なCVEサービスに遅れが生じない」よう資金提供を延長した。 CISA extends funding to ensure ''no lapse in critical CVE services'' (www.bleepingcomputer.com)
72. 犯罪...そして重罪。[HPクイックルックとデイスターター]. Crimes... And Felonies. [HP QuickLook and Daystarter] (www.youtube.com)
74. Herb: パワフルでシームレスなHTMLを意識したERBの解析とツーリング Herb: Powerful and seamless HTML-aware ERB parsing and tooling (herb-tools.dev)
75. Herbの紹介:スマートな開発者ツールのための新しいHTML-Aware ERBパーサー Introducing Herb: A new HTML-Aware ERB Parser for smarting developer tooling (marcoroth.dev)
76. スペインとリーガ・エスパニョーラのインターネット・ブロックに関する最新情報 Update on Spain and LaLiga blocks of the internet (vercel.com)
79. go-away(LLMスクレイパー防御用の別のhttpプロキシ) go-away (another http proxy for LLM scraper defence) (git.gammaspectra.live)
82. Yelpにおける危険な任意ファイル読み込みの脆弱性 (CVE-2025-3155) Dangerous Arbitrary File Read Vulnerability in Yelp (CVE-2025-3155) (blogs.gnome.org)
84. K2モードとその仕組みIntelliJ IDEAブログ The Story Behind K2 Mode and How It Works The IntelliJ IDEA Blog (blog.jetbrains.com)
85. 企業の監視技術が移民を "格好の獲物 "にする Company''s Surveillance Tech Makes Immigrants ''Easy Pickings'' (web.archive.org)
100. Flambda2 Ep. 4: 純粋関数型コンパイラの書き方 Flambda2 Ep. 4: How to write a purely functional compiler (ocamlpro.com)
105. Lシステムとジオメトリインスタンシングによるプロシージャルな葉のレンダリング Procedural Foliage Rendering with L-systems and Geometry Instancing (jysandy.github.io)
107. 6桁コードの裏側:HOTPとTOTPをゼロから構築する Behind the 6-digit code: Building HOTP and TOTP from scratch (blog.dogac.dev)
113. スティーブンス:1つのSQLiteテーブルとわずかなcronジョブを使ったハッキング可能なAIアシスタント Stevens: a hackable AI assistant using a single SQLite table and a handful of cron jobs (www.geoffreylitt.com)
114. フロンティアAIモデルは基本的な物理タスクでまだ失敗する:製造業のケーススタディ Frontier AI Models Still Fail at Basic Physical Tasks: A Manufacturing Case Study (adamkarvonen.github.io)
115. TypeScriptのデプロイ:最近の進歩と今後の方向性 Deploying TypeScript: recent advances and possible future directions (2ality.com)
117. MacPad:アップルが作らない、MacとiPadのハイブリッド・ラップトップとタブレットを私はこうして作った (2024) MacPad: How I Created the Hybrid Mac-iPad Laptop and Tablet That Apple Won’t Make (2024) (www.macstories.net)
121. Stasm:GCC/Clangインラインアセンブララッパー、Cマクロプリプロセッサベース。人間のためのASM Stasm: GCC/Clang inline assembly wrapper, C macro pre-processor based. ASM for human beings (github.com)
122. PanVKはArm Mali-G610GPU上で正式にVulkan 1.1に準拠している PanVK is officially Vulkan 1.1 conformant on the Arm Mali-G610 GPU (www.khronos.org)
127. git-remote-httpが非互換ライセンスのOpenSSLとリンクしている git-remote-http is linked against incompatibly licensed OpenSSL (bugs.debian.org)
131. 私はこの25年間、ソフトウェアを書いてきた。これまで学んだことをもう少し紹介しよう(その2)。 I''ve been writing software for the last 25 years. Here are a few more things I''ve learned so far (part 2) (blog.rpanachi.com)
136. Zigの新しいLinkedList API(そろそろ@fieldParentPtrを覚えよう) Zig''s new LinkedList API (it''s time to learn @fieldParentPtr) (www.openmymind.net)
137. DIYのドラマを捨てる:なぜActivityPubをゼロから作る代わりにFedifyを使うのか? Ditch the DIY Drama: Why Use Fedify Instead of Building ActivityPub from Scratch? (hackers.pub)
141. 短時間TLS証明書の義務化は、おそらく近いうちに実現するだろう Mandatory short duration TLS certificates are probably coming soon (utcc.utoronto.ca)
144. トーバルズ、Git20周年を祝う。Linuxより有名? Torvalds Celebrates Git''s 20th Anniversay. Is It More Famous Than Linux? (m.slashdot.org)
148. コモドールPETの修理:6.5インチ不良チップの追跡 A tricky Commodore PET repair: tracking down 6 1/2 bad chips (www.righto.com)
150. no-panic:関数がパニックを起こさないことをコンパイラが証明することを要求する属性マクロ。 no-panic: Attribute macro to require that the compiler prove a function can''t ever panic (github.com)
155. トゥルースキル2:改良されたベイズ式スキル評価システム TrueSkill 2: An improved Bayesian skill rating system (www.microsoft.com)
156. IBMのコード437ページに「小さな家」があるのはなぜか? Why is there a "small house" in IBM''s Code page 437? (blog.glyphdrawing.club)
161. 自然言語は今や唯一のノーコード・ツールである Natural Language Is Now the Only No-Code Tool That Matters (www.xfaang.com)
162. cl-yasboi: Common Lisp用ボイラープレート cl-yasboi: Yet Another Starter Boilerplate for Common Lisp (github.com)
167. CORE-MATH:正しい丸めを行う高性能なオープンソースの数学関数 CORE-MATH: high performance open-source mathematical functions with correct rounding (core-math.gitlabpages.inria.fr)
169. 理解のブートストラップリバースエンジニアリング入門 Bootstrapping Understanding: An Introduction to Reverse Engineering (www.muppetlabs.com)
170. 私のCloudflare R2はLaLiga(スペインのサッカーリーグ)からブロックされています。 My Cloudflare R2 has been blocked from LaLiga (Spain football league), is it even legal? (lobste.rs)
172. スロップスクワッティングAIが幻覚を見るような名前で悪意のあるパッケージを仕掛ける Slopsquatting: Planting Malicious Packages Under Names AIs Will Hallucinate (socket.dev)
173. 2025年にJavaScript開発者が知っておくべきいくつかの機能 Some features that every JavaScript developer should know in 2025 (waspdev.com)
175. Pythonのパフォーマンス:なぜ''if not list''はlen()を使うより2倍速いのか? Python Performance: Why ''if not list'' is 2x Faster Than Using len() (blog.codingconfessions.com)
178. TansuでProtobuf/Avro/JSON KafkaメッセージをApache Parquetに変換:ステップバイステップガイド Convert Protobuf/Avro/JSON Kafka Messages to Apache Parquet with Tansu: A Step-by-Step Guide (blog.tansu.io)
180. tpchgen-rs:純粋な Rust による TPC-H ベンチマークデータ生成 tpchgen-rs: TPC-H benchmark data generation in pure Rust (github.com)
181. RustからCへのコンパイラ - 95.9%のテスト合格率、奇数プラットフォーム Rust to C compiler - 95.9% test pass rate, odd platforms (fractalfir.github.io)
184. CaMeLはプロンプト・インジェクション攻撃を軽減するための有望な新しい方向性を提供する CaMeL offers a promising new direction for mitigating prompt injection attacks (simonwillison.net)
185. バリセントリック座標を用いた四辺形上のバイリニア補間 Bilinear interpolation on a quadrilateral using Barycentric coordinates (gpuopen.com)
191. Erlangは軽量プロセスやメッセージパッシングが目的じゃないんだ・・・。 Erlang’s not about lightweight processes and message passing… (stevana.github.io)
192. クアドラブル認証された複数バージョンのデータベース:コンパクトな部分木の証明を持つ疎なバイナリ・メルクル木 quadrable: Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs (github.com)
193. Fedoraの変更はパッケージの再現性99%を目指す [LWN.net] [LWN.net Fedora change aims for 99% package reproducibility [LWN.net] (lwn.net)
196. ロンドン地下鉄のリアルタイム視覚化 Real-time visualisation of London Underground Trains (www.londonunderground.live)
199. 12ファクター・エージェントLLMを搭載したソフトウェアを生産顧客の手に渡せるほど優れたものにするための原則とは? 12-factor-agents: Principles to build LLM-powered software good enough to put in the hands of production customers? (github.com)
200. にんじんとスティックを使って - ブラウザはウェブ・セキュリティを扱えるか? With Carrots & Sticks - Can the browser handle web security? (frederikbraun.de)
202. ゴミを出す:大規模オブジェクト・ストレージのガベージコレクション Taking out the Trash: Garbage Collection of Object Storage at Massive Scale (www.warpstream.com)
205. FreeBSD Jails のセキュリティ (Podman との比較) FreeBSD Jails Security (versus Podman) (vermaden.wordpress.com)
207. チアークのスキップ・スキップ・クロス・アップグレード(2022年) chiark’s skip-skip-cross-up-grade (2022) (diziet.dreamwidth.org)
208. アクティベーションの輸送による言語と拡散モデルの制御 Controlling Language and Diffusion Models by Transporting Activations (machinelearning.apple.com)
209. タイムマップ:データ分析のための離散イベントの可視化 Time Maps: Visualizing Discrete Events for Data Analysis (districtdatalabs.com)
210. 私だけのバイナリ:Linuxカーネル・モジュール入門 My Own Private Binary: An Idiosyncratic Introduction to Linux Kernel Modules (www.muppetlabs.com)
211. カーゴ・ミュータント: :ゾンビ: バグを注入し、テストがそれをキャッチするかどうかを確認する。 cargo-mutants: :zombie: Inject bugs and see if your tests catch them (github.com)
213. 設定ファイルを混乱させるYAML指数問題 The YAML Exponent Problem causing chaos in your config files (www.brautaset.org)
214. Gitの20年:生みの親リーナス・トーバルズとの対話 Two decades of Git: A conversation with creator Linus Torvalds (www.youtube.com)
215. DBIx::Class::ResultSet::PrettyPrintの紹介 Introducing DBIx::Class::ResultSet::PrettyPrint (peateasea.de)
219. BTree、転置インデックス、全文検索モデル BTrees, Inverted Indices, and a Model for Full Text Search (ohadravid.github.io)
226. 純粋に機能的なスライディング・ウィンドウ集約アルゴリズム Purely Functional Sliding Window Aggregation Algorithm (byorgey.github.io)
229. Rustの適応型ロスレス浮動小数点圧縮はCより速い Adaptive Lossless Floating Point compression in Rust is faster than C (spiral-one.vercel.app)
232. git-withme - ピアツーピア、暗号化、エフェメラルな Git コラボレーション (暗号化 git デーモン) git-withme - Peer-to-peer, encrypted, ephemeral Git collaboration (git daemon with encryption) (git.sr.ht)
236. プライム・ビデオのUIレイテンシーを7.6倍に削減した方法 How Prime Video Cut UI Latency 7.6x by Switching to Rust (analyticsindiamag.com)
237. 開発者/SWエンジンとして、あなたが使用している、あるいは使用を検討している技術について、役に立つ/記述されていると思う「宣伝用」ウェブサイト(ドキュメントサイトではない)は何ですか? What are "promotional" websites (not doc sites) that as a developer/SW eng you find useful/descriptive of a technology you use or consider using? (lobste.rs)
240. Koreo:Kubernetesのためのプラットフォームエンジニアリングツールキット Koreo: The platform engineering toolkit for Kubernetes (koreo.dev)
241. マイクロンプログラミング言語用コンパイラ-C言語のパワーを備えたオベロン A compiler for the Micron programming language - the Oberon with the power of C (github.com)
247. ファセット:Rustのリフレクション、シリアライズ、デシリアライズ - 型の形状を知る facet: Rust reflection, serialization, deserialization — know the shape of your types (github.com)
248. NetflixがeBPFのフローログを正確にアトリビュートする方法 How Netflix Accurately Attributes eBPF Flow Logs (netflixtechblog.com)
249. コンテンツ・セキュリティ・ポリシーによるFirefoxフロントエンドの強化 Hardening the Firefox Frontend with Content Security Policies (attackanddefense.dev)
250. ユリスコ、それ自身の心を持つコンピュータ - ジョージ・ジョンソン Eurisko, the Computer with a Mind of its Own - George Johnson (aliciapatterson.org)
253. ext4ファイルシステム内のファイルの順番は重要ではありません。 the order of files in your ext4 filesystem does not matter (thewisenerd.com)
254. 300Kの階乗を、100Kより大きい300Kの因子の積として分解する。 Decomposing factorial of 300K as the product of 300K factors larger than 100K (gus-massa.blogspot.com)
255. Rustコンパイラーにおける列挙型のサイズ最適化 A surprising enum size optimization in the Rust compiler (jpfennell.com)
257. Linux 6.15の機能はインテルとAMDのために多くを提供し、他の多くの変更点 Linux 6.15 Features Deliver A Lot For Intel & AMD, Many Other Changes (www.phoronix.com)
261. ランダム解釈を用いたグローバル値ナンバリング Global Value Numbering Using Random Interpretation (www2.eecs.berkeley.edu)
265. Netbird:SSO、MFA、きめ細かなアクセス制御を備えたWireGuardオーバーレイネットワークにデバイスを接続します。 Netbird: connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls (github.com)
267. Bare:モジュール型JavaScriptアプリのための高速・軽量ランタイム Bare: Fast, Lightweight Runtime for Modular JavaScript App (bare.pears.com)
268. PyReason:注釈付き、実数値、グラフベース、時間論理のための説明可能な推論 PyReason: Explainable inference for annotated, real valued, graph based and temporal logic (github.com)
270. dreckly: pkgsrc forkは品質と全てのUNIXライクなプラットフォームへの移植性にフォーカスしている dreckly: pkgsrc fork focused on quality and portability to all UNIX-like platforms (github.com)
272. 「ナックルドラッガー、GCC、ギドラによる "Python "の "検証済み "コンパイル "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (www.philipzucker.com)
273. あらゆるプログラミング言語が成功するにはキラーアプリが必要 Every programming language needs its killer app to succeed (www.grilly.com)
276. AIを駆使するソフトウェア・エンジニアの面接とは? What it''s like to interview a software engineer preparing with AI (www.kapwing.com)
286. ジョン・コンウェイの "FRACTRAN "を偲ぶ、荒唐無稽だが驚くほど奥深い言語 Remembering John Conway''s FRACTRAN, a ridiculous, yet surprisingly deep language (raganwald.com)
287. 良いコメントを書くために:方法ではなく理由を(2020年) Writing good comments: the why, not the how (2020) (www.jackfranklin.co.uk)
291. コンパイラのように考える:Rustにおける場所と値 Thinking like a compiler: places and values in Rust (steveklabnik.com)
292. macOS Sequoiaでrsyncがopenrsyncに置き換えられる rsync replaced with openrsync on macOS Sequoia (derflounder.wordpress.com)
294. LLM 0.24でのフラグメントとテンプレートプラグインを使用したロングコンテキストのサポート Long context support in LLM 0.24 using fragments and template plugins (simonwillison.net)