1. Gecko:構文エラーを自動的に回復する高速GLRパーサー Gecko: a fast GLR parser with automatic syntax error recovery (vnmakarov.github.io)
6. 『Inside Lazarus』:北朝鮮がAIを活用して開発者への攻撃を組織化する方法 Inside Lazarus: How North Korea uses AI to industrialize attacks on developers (expel.com)
8. Olive CSS:Tailwind風のLispベースのシンプルなCSSユーティリティクラス Olive CSS: Lisp powered vanilla CSS utility-class a la Tailwind (codeberg.org)
9. 彼らは、オープンソースのメンテナンス担当者であるあなたたちに、ガソリンを飲ませる(AIの導入を強いる)ことになるだろう They will force you, open source maintainers, to drink the gasoline (adopting AI) (www.notcheckmark.com)
10. すべてのプライベートなTor IDを結びつける、安定したFirefox識別子を発見しました We Found a Stable Firefox Identifier Linking All Your Private Tor Identities (fingerprint.com)
11. Arch Linuxには、ビット単位で再現可能なDockerイメージが用意されました Arch Linux now has a bit-for-bit reproducible Docker image (antiz.fr)
16. Linuxアプリケーションのサンドボックス化 ― 未来に向けた古き良き技術 Linux application sandboxing - old tech for the future (www.dedoimedo.com)
18. LemmaScript:Dafnyを利用したTypeScript向け検証ツールチェーン LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
19. 評価による正規化のアルゴリズム的再構築 An Algorithmic Reconstruction of Normalisation by Evaluation (yangzhixuan.github.io)
23. UEFIマシンのネットワークブートに関する一般的な注意事項 Some general notes on network booting UEFI machines (utcc.utoronto.ca)
31. 「Claude Code」は月額100ドルになるのでしょうか? おそらくそうではないでしょう――とにかく、全体として非常に分かりにくい状況です Is Claude Code going to cost 100/month? Probably not—it’s all very confusing (simonwillison.net)
32. 「Stay On Credits」— ポイントや旅行クレジットを最大限に活用する方法 Stay On Credits — Discover the best value for your points and travel credits (stayoncredits.com)
36. Framework Laptop 13 Pro:Intel Core Ultra 3 および LPCAMM2 Framework Laptop 13 Pro: Intel Core Ultra 3 & LPCAMM2 (frame.work)
37. QUICバックスキャッターを用いた超巨大クラスターの展開構成の推定 Using QUIC backscatter to infer hypergiant deployment configurations (blog.apnic.net)
38. エンタープライズ向けホームラボの構築 - 第5回:SynologyのBtrfsの落とし穴 Building an Enterprise Homelab - Part 5: The Synology Btrfs Trap (rant.mvh.dev)
45. ビット複製によるピクセルのビット深度の増加(1998年) Pixel Bit-Depth Increase by Bit Replication (1998) (cv.ulichney.com)
47. 差し迫ったAIによる「終末の日」から、どのように身を守っていますか? How are you protecting yourself against the imminent AI dooms zero day? (lobste.rs)
51. 優れた建築には、アメやムチなど必要ないはずだ Good architecture shouldn''t need a carrot or a stick (frederickvanbrabant.com)
52. Narwhal v0.6.0 – エッジアプリ向けメッセージブローカー、チャンネル永続化機能を搭載 Narwhal v0.6.0 – message broker for edge apps, now with channel persistence (github.com)
55. 待ちに待った瞬間が到来――AMD StarBookにcorebootが登場 Wait is over - coreboot on the AMD StarBook (starlabs.systems)
57. ターミナルエミュレータでのドラッグ&ドロップによるコマンド実行 Command Execution via Drag-and-Drop in Terminal Emulators (sdushantha.github.io)
59. good-egg: 貢献履歴に基づくGitHubプルリクエスト作成者の信頼度評価 good-egg: Trust scoring for GitHub PR authors based on contribution history (github.com)
60. Signal Shot:Leanを用いてSignalプロトコルとそのRust実装を検証するプロジェクト Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean (leodemoura.github.io)
66. 量子コンピュータは128ビットの対称鍵に対する脅威ではない Quantum Computers Are Not a Threat to 128-bit Symmetric Keys (words.filippo.io)
80. 御社のエンジニアリングチームは順調そうに見えます。しかし、実際にはそうではないでしょう Your engineering team looks healthy. It probably isn''t (dbarabashh.com)
83. bpfvet: コンパイル済みの .bpf.o ファイルを解析し、必要なカーネルバージョンの下限、ヘルパー、マップ、および移植性に関する問題を報告します bpfvet: analyzes compiled .bpf.o files and reports minimum kernel version, helpers, maps, and portability issues (github.com)
84. 現代のフロントエンドの複雑さ:必然か、それとも偶然か? Modern Frontend Complexity: essential or accidental? (binaryigor.com)
89. なぜ鳥類だけが大量絶滅を生き延びたのか Why birds were the only dinosaurs to survive mass extinction (www.scientificamerican.com)
90. Claude Desktopは、Chromeやその他のブラウザ向けに、公式には公開されていないブラウザ拡張機能をインストールします Claude Desktop installs undocumented browser extensions for Chrome and other browsers (www.thatprivacyguy.com)
92. 今週のPlasma:画面ごとの仮想デスクトップとWaylandセッションの復元 This Week in Plasma: Per-Screen Virtual Desktops and Wayland Session Restore (blogs.kde.org)
93. スパース・ストリップを用いたCPU上での高性能2Dグラフィックス・レンダリング High-performance 2D graphics rendering on the CPU using sparse strips (ethz.ch)
95. 多層防御:Pythonサプライチェーンセキュリティの実践ガイド Defense in Depth: A Practical Guide to Python Supply Chain Security (bernat.tech)
97. コーパス:セルフホスト型のListenBrainzおよびLast.fmフロントエンド corpus: self-hosted listenbrainz and last.fm frontend (github.com)
101. かつて私たちが持っていたもの(インターネットのXMPP全盛期に)(2023年) What we once had (at the height of the XMPP era of the Internet) (2023) (www.kirsle.net)
106. Yojam:URLをルールエンジン経由で転送するmacOSのデフォルトブラウザ用シム Yojam: a macOS default-browser shim that routes URLs through a rule engine (github.com)
109. B-52爆撃機のスタートラッカー内部にある電気機械式方位計算機 The electromechanical angle computer inside the B-52 bomber''s star tracker (www.righto.com)
110. AnthropicのClaudeのコード漏洩により、重大なコマンドインジェクションの脆弱性が判明 Anthropic Claude Code Leak Reveals Critical Command Injection Vulnerabilities (beyondmachines.net)
115. Anthropicによる「Claude Mythos」のリリースは、誤った情報に基づいている Anthropic''s Claude Mythos Launch Is Built on Misinformation (www.artificialintelligencemadesimple.com)
119. 真のエッジルーティングを実現するネイティブIPv6対応Kubernetes Native IPv6 Kubernetes for true edge routing (henrikgerdes.me)
121. 1960年代のUNIVACコンピュータでMinecraftサーバーを運用するほか Running a Minecraft Server and more on a 1960s UNIVAC Computer (farlow.dev)
122. 当社の本番環境向けCフロントエンドインフラをRustで書き直した経緯と理由 How (and why) we rewrote our production C frontend infrastructure in Rust (blog.nearlyfreespeech.net)
125. GitHubがeBPFを活用してデプロイの安全性を向上させる方法 How GitHub uses eBPF to improve deployment safety (github.blog)
126. 初心者向けC言語プログラミング完全ガイド(2026年版) — ゼロから自信を持ってプログラミングできるまで The Complete C Programming Roadmap for Beginners (2026) — From Zero to Confident Programmer (medium.com)
129. 正確な位置情報の販売を禁止すべき時が来た It Is Time to Ban the Sale of Precise Geolocation Data (www.lawfaremedia.org)
130. 『ターミネーター』:画面に映る6502コードの物語 Terminator: The Story of the 6502 Code You See Onscreen (www.youtube.com)
135. HPCプログラミングの30年を振り返って:ハードウェアの進歩は目覚ましいが、新しい言語の普及は限定的 Reflections on 30 Years of HPC Programming: So many hardware advances, so little adoption of new languages (chapel-lang.org)
138. Florist:不変のGentooイメージを生成するためのスクリプト Florist: Scripts to generate immutable Gentoo images (codeberg.org)
139. Healthchecks.ioは、セルフホスト型オブジェクトストレージを採用しました Healthchecks.io Now Uses Self-hosted Object Storage (blog.healthchecks.io)
140. 我々は、Googleの量子暗号解読に関するゼロ知識証明を破った We beat Google’s zero-knowledge proof of quantum cryptanalysis (blog.trailofbits.com)
143. DiscordのメディアプロキシにおけるHTTPの同期不一致:プラットフォーム全体の監視 HTTP desync in Discord''s media proxy: Spying on a whole platform (tmctmt.com)
147. ピア・ツー・ピア・ネットワークにおける共同自動探索 Collaborative Autoresearch on a Peer-to-Peer Network (community.computer)
148. Rust言語のtsnetライブラリ「tailscale-rs」の先行レビュー An early look at tailscale-rs, a tsnet library in Rust (tailscale.com)
150. 500行以下:Pythonで書かれたPythonインタプリタ 500 Lines or Less: A Python Interpreter Written in Python (aosabook.org)
153. git-kv: Git notes を使用して Git コミットに紐付けられたキーバリューストア git-kv: Key-value store attached to git commits using Git notes (github.com)
154. Tree-sitterのおかげで、より快適なRプログラミング体験を A Better R Programming Experience Thanks to Tree-sitter (ropensci.org)
158. クロードのコーディングの雰囲気はますます悪くなっている The Claude Coding Vibes Are Getting Worse (blog.matthewbrunelle.com)
159. Psatina:スプリンクル指向のJavaScriptライブラリ Psatina: the sprinkle-oriented JavaScript library (psatina.dz4k.com)
163. 5つのオプションフィールドから区別付き和集合へ:Optique 1.0 による CLI パーシング From five optional fields to a discriminated union: CLI parsing with Optique 1.0 (hackers.pub)
164. 「すべての未来は嘘に過ぎない、ということなのだろう。では、これからどこへ向かうのか?」 The Future of Everything is Lies, I Guess: Where Do We Go From Here? (aphyr.com)
166. EsoNatLangs:自然言語の複雑さをコードに反映させる EsoNatLangs Bring the Complexity of Natural Language into Code (esoteric.codes)
171. 『神話を叫んだ少年』:検証の欠如がAnthropicへの信頼を崩している The Boy That Cried Mythos: Verification is Collapsing Trust in Anthropic (www.flyingpenguin.com)
174. 2026年の「RAM不足」の真相:AIが次期ノートPCの価格を大幅に押し上げる理由 Inside the 2026 ''RAM Crunch'': How AI Will Make Your Next Laptop Much Pricier (www.pcmag.com)
175. Mastodon:ドメイン名に「mastodon」や「mstdn」を使用しないでください Mastodon: Don''t use "mastodon" or "mstdn" in domain names (github.com)
176. 私はクロード・オーパスにChromeのエクスプロイトを書かせた:次のモデル(ミトス?)は私の助けを必要としないのか? I Let Claude Opus Write a Chrome Exploit: The Next Model (Mythos?) Won''t Need My Help? (www.hacktron.ai)
177. Space Protocolスタックを一から再実装する Reimplementing the Space Protocol Stack from Scratch (gazagnaire.org)
179. CLTRACE:Common Lispアプリケーション向けの、DTraceに着想を得たトレースおよび可観測性フレームワーク CLTRACE: DTrace inspired tracing and observability framework for Common Lisp applications (github.com)
181. Simdutfは、libcやlibcabiがなくても使用できるようになりました Simdutf Can Now Be Used Without libc or libcabi (mitchellh.com)
183. Rustにおけるゼロコピー・ページ:あるいは、ライフタイムを恐れず愛するようになった私の物語 Zero-Copy Pages in Rust: Or How I Learned To Stop Worrying And Love Lifetimes (redixhumayun.github.io)
187. 十分に網羅的な仕様書は、必ずしもコードとは限らない A sufficiently comprehensive spec is not (necessarily) code (buttondown.com)
190. app.element.io と matrix.to にアクセスすると、Cloudflare の「451 - 法的理由により利用不可」エラーが表示されます app.element.io and matrix.to lead to Cloudflare 451 - Unavailable For Legal Reasons (app.element.io)
191. GNU (A)GPL を利用してソフトウェアの自由を奪うことはできません You cannot use the GNU (A)GPL to take software freedom away (www.fsf.org)
193. AIによる支援は粘り強さを低下させ、自立したパフォーマンスに悪影響を及ぼす AI Assistance Reduces Persistence and Hurts Independent Performance (arxiv.org)
194. Xata:コピーオンライトによるブランチングとスケール・トゥ・ゼロ機能を備えたオープンソースのPostgresプラットフォーム Xata: Open source Postgres platform with copy-on-write branching and scale-to-zero (github.com)
196. すべての初等関数が指数関数と対数関数の組み合わせで表せるわけではない Not all elementary functions can be expressed with exp-minus-log (www.stylewarning.com)
198. Swift 6.2の並行処理型システムに関する形式的な型付け規則とプレゼンテーション資料。CapabilityとRegionに焦点を当てています。 Formal typing rules and presentation materials for Swift 6.2''s concurrency type system, focusing on Capability and Region (github.com)
199. Linuxバイナリのすべてのシステムコールをロード時に書き換える Rewriting Every Syscall in a Linux Binary at Load Time (substack.com)
200. Win32 APIの直接呼び出し、奇妙な形のウィンドウ、そしてそれらがほとんど姿を消した理由 Direct Win32 API, Weird-Shaped Windows, and Why They Mostly Disappeared (warped3.substack.com)
203. 私のPRは1年間放置されたまま、あるいはオープンソースのバックログに潜む指数関数的増加 My PR has been waiting a year, or the exponential curve behind open source backlogs (armanckeser.com)
205. ORMから離れた14年間の道のり ― SQLファーストのコードジェネレータ誕生に至る一連の気づき My 14-Year Journey Away from ORMs - a Series of Insights Leading to Creation of a SQL-First Code Generator (nikita-volkov.github.io)
206. 公開する前に、CLIからlocalhostでOpenGraphをテストする Testing OpenGraph on localhost from the CLI before you go public (simonhartcher.com)
211. フェディバースには、シンプルなグラフィカルクライアントが必要だ The Fediverse deserves a dumb graphical client (adele.pages.casa)
214. 「Simply Typed」からマーティン・ロフの型理論に至る単一モジュール・ラムダ計算 Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com)
215. TruffleRuby 34:Ruby 3.4との完全な互換性、最大23%高速化されたパーシング、そして処理速度が20倍に向上したPrismベースの新しいRipperを搭載 TruffleRuby 34: full Ruby 3.4 compatibility, up to 23% faster parsing, and a new Prism-based Ripper with 20x speedups (truffleruby.dev)
216. Quiche Browser — 自由にカスタマイズできる美しいウェブブラウザ Quiche Browser — Beautifully customizable web browser (quiche.industries)
217. 浮動小数点をエプシロンを使って比較するのは適切ではありません It''s NOT OK to compare floating-points using epsilons (lisyarus.github.io)
221. POLAがあれば、イベントストリーム事件(2018年)は防げたはずだ POLA Would Have Prevented the Event-Stream Incident (2018) (agoric.com)
225. 究極のSO_LINGERページ、あるいは:なぜ私のTCPは信頼できないのか(2009年) The ultimate SO_LINGER page, or: why is my tcp not reliable (2009) (blog.netherlabs.nl)
230. Bambu 3DプリンターのFTP問題を回避するためのFileZillaのカスタマイズ Modifying FileZilla to Workaround Bambu 3D Printer''s FTP Issue (lantian.pub)
234. LLVM RISC-Vにおける25%のパフォーマンス低下を特定する Tracking down a 25% Regression on LLVM RISC-V (blog.kaving.me)
237. Claude Codeのソースコード:3,167行の関数、正規表現による感情分析 Claude Code''s Source: 3,167-Line Function, Regex Sentiment (techtrenches.dev)
240. 「Claude Mythos Preview」のサイバー機能に関する評価 Our evaluation of Claude Mythos Preview’s cyber capabilities (www.aisi.gov.uk)
242. TESSERA — ピクセル単位の地球観測基盤モデル TESSERA — A pixel-wise earth observation foundation model (geotessera.org)
243. MoonBit 0.9:第一級形式検証の導入 MoonBit 0.9: Introducing First-Class Formal Verification (www.moonbitlang.com)
244. ある人物が30個のWordPressプラグインを購入し、そのすべてにバックドアを仕込んだ Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them (anchor.host)
247. マイクロソフトの幹部は、AIエージェントも従業員と同様にソフトウェアライセンスを購入する必要があるだろうと示唆している Microsoft exec suggests AI agents will need to buy software licenses, just like employees (www.businessinsider.com)
249. QEMUでエミュレートされたPowerPC MacintoshへのNetBSD/MacPPC 9.4のインストール NetBSD/MacPPC 9.4 Installation on a QEMU emulated PowerPC Macintosh (www.rabbitfarm.com)
252. DuckLake v1.0 – 軽量なレイクハウス・フォーマットが本番環境での運用準備を整える DuckLake v1.0 – The Lightweight Lakehouse Format Reaches Production-Readiness (ducklake.select)
253. 「Brunost」のご紹介:ニーノシュクプログラミング言語 Introducing Brunost: The Nynorsk Programming Language (lindbakk.com)
257. リーン手法によってこのプログラムが正しいことが証明されたが、その後、バグが見つかった Lean proved this program was correct; then I found a bug (kirancodes.me)
263. 失われた文書の復元:『ハビタット・アネクドーツ』(1988年) Recovering a Lost Document: Habitat Anecdotes (1988) (habitatchronicles.com)
265. Servo 0.1.0(初のLTSバージョン)が crates.io で公開されました Servo 0.1.0 (first LTS version) is now available on crates.io (servo.org)
268. 表示:/digest – 毎日の開発ニュースダイジェストを提供するClaude Codeスキル Show: /digest – a Claude Code skill for daily dev news digest (github.com)
269. デシリアライゼーションについて考える。JSONを明示的にデコードすべき理由 Reflecting on deserialization. Why you should explicitly decode your JSON (hashset.dev)
272. xtrace — macOS 向けのコマンドライン CPU プロファイリング(スキルとして) xtrace — Command-line CPU Profiling for macOS as a skill (github.com)
278. グラフィックスプログラマーのための球面調和関数の入門 Introduction to Spherical Harmonics for Graphics Programmers (gpfault.net)
279. SQLには課題があります。私たちが解決します:SQLにおけるパイプ構文(2024年) SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL (2024) (research.google)
280. Raspberry Pi 3B専用版 Oberon System 3 Native Raspberry Pi 3b version of the Oberon System 3 (github.com)
281. アポロ11号の誘導コンピュータのコードに存在した、記録に残っていないバグ An undocumented bug in the Apollo 11 guidance computer code (www.juxt.pro)
290. OpenStreetMapのベクタータイルへのアクセス速度を向上させる Speeding up access to OpenStreetMap vector tiles (www.openstreetmap.org)
291. アイコンアニメーション技法入門(2016年) An Introduction to Icon Animation Techniques (2016) (www.androiddesignpatterns.com)
293. 月額20ドルの技術スタックで、月間反復収益(MRR)1万ドルの企業を複数運営する方法 How I run multiple 10K MRR companies on a 20/month tech stack (stevehanov.ca)
298. 『グランツーリスモ』の生みの親が、ソニーの幹部を説得するために『マリオカート』のライバル作にこっそりシミュレーターを仕込んだ経緯 How Gran Turismo''s Creator Snuck a Sim Into a Mario Kart Rival to Persuade Sony Execs (www.thedrive.com)