1. カーネルのインストール時にセグメンテーションフォルトが発生した原因を追跡する Lobste Comment 04:55 Chasing down why installing the kernel segfaulted (sporks.space)
6. 形式仕様の検証におけるプロパティベーステストの理不尽な有効性について Lobste Comment 02:48 On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications (proofsandintuitions.net)
7. pg_deltax: PostgreSQL用のApacheライセンスに基づく時系列拡張機能 Lobste Comment 02:29 pg_deltax: Apache-licensed time-series extension for PostgreSQL (github.com)
11. Tursoのセキュリティ強化において、Quintを活用してSQLiteのバグを10件以上発見した経緯 Lobste Comment 05-19 How we used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
12. 内部構造：リアルタイム和音認識システムの構築 Lobste Comment 05-19 Under the Hood: Building a Real-Time Chord Recognizer (whatchord.earthmanmuons.com)
16. 私のドメインがGitHub Pagesで悪用されました Lobste Comment 05-19 My domain got abused on Github Pages (meertens.dev)
19. C言語による自己バランス調整型スキップリスト（別名「スプレイリスト」）ライブラリ Lobste Comment 05-19 A self-balancing skip-list (aka "splay-list") library in C (codeberg.org)
20. Lime：実行時に文法を統合できるパーサジェネレータ Lobste Comment 05-19 Lime, a parser generator that can merge grammars at runtime (codeberg.org)
21. Noxu DB：Berkeley DB Java EditionのRust移植版 Lobste Comment 05-19 Noxu DB, a Rust port of Berkeley DB Java Edition (codeberg.org)
22. リッチテキスト変換におけるProseMirrorモデルの驚くべき有効性 Lobste Comment 05-19 The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation (smoores.dev)
23. WindowsのDLLローダーロック：RustのスレッドがJVMをハングアップさせる仕組み Lobste Comment 05-19 The Windows DLL loader lock: how a Rust thread can hang your JVM (questdb.com)
24. Facebookにおける包括的な構成管理 Lobste Comment 05-19 Holistic Configuration Management at Facebook (research.facebook.com)
25. Comptime を使った、さらに多くのタグ付きユニオン部分集合 Lobste Comment 05-19 Even More Tagged Union Subsets with Comptime (sinclairtarget.com)
26. SIMDによる整数から文字列への変換の高速化 Lobste Comment 05-19 SIMD-accelerated integer-to-string conversion (lemire.me)
28. 代数とLLMを用いて、Leanにおける飛行計画のバグ修正を検証する Lobste Comment 05-19 Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
29. Spork：forkとして使用できるposix_spawn Lobste Comment 05-19 Spork: A posix_spawn you can use as a fork (dl.acm.org)
30. 「ノーと言うだけ」のエンジニアは、ゼロ金利政策（ZIRP）が生んだ現象だった Lobste Comment 05-19 The just-say-no engineer was a ZIRP phenomenon (www.seangoedecke.com)
32. Casuarina Linuxのご紹介：glibcベースのChimera Linux派生ディストリビューション Lobste Comment 05-19 Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative (casuarina.org)
33. BambuによるAGPLv3違反に対する包括的な対応 Lobste Comment 05-19 Comprehensive Response to Bambu''s AGPLv3 Violations (sfconservancy.org)
34. CISAの管理者がGitHub上でAWS GovCloudの鍵を漏洩させた Lobste Comment 05-19 CISA Admin Leaked AWS GovCloud Keys on Github (krebsonsecurity.com)
37. cargo-crap：AIが生成したRustコードに潜む未検証の複雑性を発見 Lobste Comment 05-19 cargo-crap: Finding Untested Complexity in AI-Generated Rust Code (minikin.me)
38. 大腸菌細胞上で『Doom』を実行する……とてつもなく、とてつもなく遅く Lobste Comment 05-19 Running ‘Doom’ on E. coli cells… very, very slowly (www.popsci.com)
42. Flathubは一体どのように機能しているのでしょうか？CDNとキャッシュ層 Lobste Comment 05-19 How does Flathub even work? The CDN and caching layer (barthalion.blog)
45. Go言語におけるselectの実装 Lobste Comment 05-19 The implementation of select in Go (internals-for-interns.com)
46. AIエージェントのセキュリティ - MIT 6.566 特別講義 Lobste Comment 05-18 AI Agent Security - MIT 6.566 guest lecture (github.com)
47. ドキュメント間のビュー遷移：誰も語らない落とし穴 Lobste Comment 05-18 Cross-Document View Transitions: The Gotchas Nobody Mentions (css-tricks.com)
48. ブラウザのタブ内で動作するLinux風カーネル ― BrowserPodアーキテクチャの徹底解説 Lobste Comment 05-18 A Linux-like kernel in a browser tab - deep dive in the BrowserPod architecture (labs.leaningtech.com)
50. 16バイトのx86デモ：音付きマトリックス・レイン Lobste Comment 05-18 A 16-byte x86 demo: Matrix rain with sound (hellmood.111mb.de)
51. オープンソースOSへの資金提供に伴う課題 Lobste Comment 05-18 Complications of funding an open source operating system (posixcafe.org)
52. OpenCode、Llama.cpp、Qwen3.6を使って、自分のコードのバグを見つけよう Lobste Comment 05-18 Find bugs in YOUR code using OpenCode, Llama.cpp and Qwen3.6 (wtarreau.blogspot.com)
53. FediMeteo、HAProxy、そしてsnacスレッドを無駄にしないための工夫 Lobste Comment 05-18 FediMeteo, HAProxy, and the art of not wasting snac threads (it-notes.dragas.net)
55. カルビン - 決定論、分散型ACIDトランザクション (2020) Lobste Comment 05-18 Calvin - Determinism, Distributed ACID transactions (2020) (www.mydistributed.systems)
58. ある研究者によると、マイクロソフトはBitLockerに密かにバックドアを仕込んでいたという Lobste Comment 05-18 Researcher says Microsoft secretly built a backdoor into BitLocker (www.techspot.com)
59. Claude Code を用いた Android マルウェアのリバースエンジニアリング Lobste Comment 05-18 Reverse engineering Android malware with Claude Code (zanestjohn.com)
60. Macで『Grateful Dead: D2S2』を再生する（2022年） Lobste Comment 05-18 Reversing ‘Grateful Dead: D2S2’ on Mac (2022) (blog.os9.ca)
61. Rustの非同期処理とARMの汎用タイマー Lobste Comment 05-18 Rust async and the ARM generic timer (thejpster.org.uk)
62. Emacsの革新的なUIとして、ewwをお勧めしてもよろしいでしょうか？ Lobste Comment 05-18 May I recommend eww for Emacs’s innovative UI? (www.matem.unam.mx)
63. FPGAを用いて科学計算用電卓を一から設計する Lobste Comment 05-18 Designing a Scientific Calculator from scratch in FPGA (baltazarstudios.com)
64. フロッピーディスクに収まる――小さなソフトウェアのためのマニフェスト Lobste Comment 05-18 Fits on a Floppy - A Manifesto for Small Software (fitsonafloppy.com)
65. postmarketOS 2026年4月版：新しい起動画面 Lobste Comment 05-18 postmarketOS in 2026-04: new boot splash (postmarketos.org)
67. Bitsocial：ソーシャルアプリ向けオープンソースP2Pネットワーク Lobste Comment 05-18 Bitsocial: Open Source P2P Network for Social Apps (bitsocial.net)
69. バンの問題は、公然と進行しているのかもしれない Lobste Comment 05-18 Bun''s problem may be developing in the open (00f.net)
73. クロード・コード氏は、Linux上でAdobe Lightroomを動作させることに成功した Lobste Comment 05-17 Claude Code managed to get Adobe Lightroom working on Linux (github.com)
74. テキストが必要になるまでは、ずっとネイティブのまま Lobste Comment 05-17 Native all the way, until you need text (justsitandgrin.im)
75. ヨーロッパの魅力を体験しよう — ヨーロッパの製品やサービスを発見 Lobste Comment 05-17 Go European — Discover European products and services (www.goeuropean.org)
77. Fast16：スタックスネット以前の妨害ツールは、核兵器シミュレーションを妨害するために開発された Lobste Comment 05-17 Fast16: Pre-Stuxnet Sabotage Tool Was Built to Subvert Nuclear Weapons Simulations (www.security.com)
78. PyCon US 2026 パッケージング・サミットの振り返り Lobste Comment 05-17 PyCon US 2026 Packaging Summit Recap (discuss.python.org)
80. DeepSeek-V4-Flashの登場により、LLMのステアリングが再び注目を集めている Lobste Comment 05-17 DeepSeek-V4-Flash means LLM steering is interesting again (www.seangoedecke.com)
83. Bazelのリモートキャッシュにおけるコンテンツ定義型チャンキング Lobste Comment 05-17 Content-defined chunking in Bazel''s remote cache (www.buildbuddy.io)
84. Hyperpolyglot Lisp：Common Lisp、Racket、Clojure、Emacs Lisp Lobste Comment 05-17 Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
85. 「The Piece Table」――テキストエディタの陰の立役者 Lobste Comment 05-17 The Piece Table - the Unsung Hero of Your Text Editor (dev.to)
88. トミー・チューターと1983年の家庭用コンピュータ事情 Lobste Comment 05-17 The Tomy Tutor and the state of 1983 home computers (oldvcr.blogspot.com)
89. 『Dusklight』名作アドベンチャーに再び光を Lobste Comment 05-17 Dusklight • Restoring light to a classic adventure (twilitrealm.dev)
90. Django デバッグツールバーを有効にするチェックボックス Lobste Comment 05-17 A checkbox to enable the Django debug toolbar (mdk.fr)
91. OpenBSDにおけるMAP-E CEの試験的サポート（フィードバック） Lobste Comment 05-17 experimental OpenBSD MAP-E CE support (feedback) (git.sr.ht)
92. 「サブスクリプション・ボンビング」：メールへの攻撃 Lobste Comment 05-17 Subscription Bombing: Email under Attack (cacm.acm.org)
93. ラバランプの無意味さ：ランダムとは本当に何を意味するのか Lobste Comment 05-17 The Futility of Lava Lamps: What Random Really Means (loup-vaillant.fr)
95. triad：River Wayland コンポジター向けのデータ指向ウィンドウマネージャー Lobste Comment 05-16 triad: data-oriented window manager for the River Wayland compositor (github.com)
96. 最近のカーネル脆弱性、攻撃対象領域の縮小、IPSECの例 Lobste Comment 05-16 Recent Kernel exploits, attack surface reduction, example IPSEC (www.openwall.com)
97. システムプログラミング入門、第1部：プログラマーはプログラムを書く (2025) Lobste Comment 05-16 Starting Systems Programming, Pt 1: Programmers Write Programs (2025) (eblog.fly.dev)
98. Unix/Linux向けX11用の、90年代風のKeygen風ツール Lobste Comment 05-16 A 90''s era Keygen-like for X11 for Unix/Linux (github.com)
99. CSSのみを使用してテーマごとの色を指定するいくつかの方法 Lobste Comment 05-16 A few ways of specifying per-theme colours in only CSS (chrismorgan.info)
100. BunのRustによるリライトについての私の考え Lobste Comment 05-16 My Thoughts on Bun''s Rust Rewrite (en.liujiacai.net)
101. 「Virtual Bevy Meetup 13」の録画動画をYouTubeで公開しました Lobste Comment 05-16 Virtual Bevy Meetup 13 Recordings now on YouTube (rustunit.com)
103. 安価なスマートドアベルにより、車両全体でのアカウント乗っ取りや通話の乗っ取りが可能になる Lobste Comment 05-16 Cheap smart doorbell allows fleet-wide account takeover and call hijacking (www.abgeo.dev)
106. Windows XPのデスクトップのようにウィキペディアを閲覧する Lobste Comment 05-16 Explore Wikipedia Like a Windows XP Desktop (explorer.samismith.com)
107. Rust を使用して Godot の .tres ファイルを解析し、リソースグラフを走査する Lobste Comment 05-16 Using Rust to parse Godot .tres files and walk the resource graph (assethoard.com)
108. 独自のコンテンツ配信ネットワーク（CDN）を立ち上げる Lobste Comment 05-16 Starting my own Content Delivery Network (www.youtube.com)
111. CVE-2026-40369: NtQuerySystemInformation 経由でのカーネルアドレスの任意のインクリメント Lobste Comment 05-16 CVE-2026-40369: Arbitrary Kernel Address Increment via NtQuerySystemInformation (github.com)
113. LLMが生成したテキストは、本題から外れているべきです Lobste Comment 05-16 LLM generated text should be off topic (lobste.rs)
116. AIエージェントを用いてモノリシックなシステムをリファクタリングして得られた知見 Lobste Comment 05-15 What we learned using AI agents to refactor a monolith (1password.com)
117. Pixel 10向けの0クリック攻撃チェーン：一つの扉が閉まれば、別の扉が開く Lobste Comment 05-15 A 0-click exploit chain for the Pixel 10: When a Door Closes, a Window Opens (projectzero.google)
118. Tailwindから離れ、CSSの構成方法を学ぶ Lobste Comment 05-16 Moving away from Tailwind, and learning to structure my CSS (jvns.ca)
119. バグ考古学：10年越しのSwift/Cの謎を解明（LLMを活用して） Lobste Comment 05-15 Bug Archeology: Solving a decade-old Swift/C mystery (with LLMs) (samkhawase.com)
124. 旧来のテクノロジーの世界は消えつつあり、新しい世界は生まれようとしていない Lobste Comment 05-15 The old world of tech is dying and the new cannot be born (www.baldurbjarnason.com)
126. 停止しない双方向型チェック Lobste Comment 05-15 Bidirectional Typechecking That Does Not Stop (semantic-domain.blogspot.com)
128. claude-for-legal: 法務ワークフロー向けプラグインスイート Lobste Comment 05-15 claude-for-legal: A suite of plugins for legal workflows (github.com)
129. Volkswagen - CIサーバー上でテストが実行されていることを検知し、テストを成功させる（2015年） Lobste Comment 05-15 Volkswagen- detects when your tests are being run in a CI server, and makes them pass (2015) (github.com)
130. インターネットの最前線におけるコミュニティ構築 Lobste Comment 05-15 Community building at the edge of the Internet (news.dyne.org)
131. PyCon US 2026 タイピング・サミットの振り返り Lobste Comment 05-15 PyCon US 2026 Typing Summit Recap (bernat.tech)
132. フィンガープリンティングの手法としてのMullvadの出口IPアドレス Lobste Comment 05-15 Mullvad exit IPs as a fingerprinting vector (tmctmt.com)
133. 『プロログ』の基本を『ポケモン』で解説 Lobste Comment 05-15 Prolog Basics Explained with Pokémon (unplannedobsolescence.com)
134. ssh-keysign-pwn: 権限のないユーザーとしてroot所有のファイルを読み取る Lobste Comment 05-15 ssh-keysign-pwn: Read root-owned files as an unprivileged user (github.com)
136. 仕事やテクノロジーへの情熱を持ちつつ、どのような点で（もしあるなら）テクノロジーを最小限に抑える生活を送っていますか？ Lobste Comment 05-15 In what way if any are you a tech minimalist while maintaining your job/love for tech? (lobste.rs)
137. 3D Movie MakerのLinuxへの移植 Lobste Comment 05-15 Porting 3D Movie Maker to Linux (benstoneonline.com)
138. Amazonbotがついにrobots.txtを遵守するようになりました Lobste Comment 05-15 Amazonbot is finally respecting robots.txt (xeiaso.net)
139. int a 5; a a a; a ? (2011) Lobste Comment 05-15 int a 5; a a a; a ? (2011) (gynvael.coldwind.pl)
141. 「これはLLMが書いたものです」というコメントは、トピック外として報告してください Lobste Comment 05-15 "This is written by an LLM" comments should be flagged as off-topic (lobste.rs)
142. コアチーム・パネルディスカッション - Gleam Gathering 2026 Lobste Comment 05-15 Core Team Panel - Gleam Gathering 2026 (youtu.be)
144. PostgreSQL 18.4、17.10 で 11 件の CVE を修正 Lobste Comment 05-15 PostgreSQL 18.4, 17.10 closing 11 CVEs (www.postgresql.org)
146. Apple M5向けmacOSカーネルにおける初の公開されたメモリ破損の脆弱性 Lobste Comment 05-15 First public macOS kernel memory corruption exploit on Apple M5 (blog.calif.io)
147. Linuxのセキュリティ侵害、禁輸措置の破綻、そして短縮されるパッチ適用期間 Lobste Comment 05-15 Linux Compromises, Broken Embargoes, and the Shrinking Patch Window (www.askbaize.com)
151. C26は、誰も求めていなかったSIMDライブラリを実装した Lobste Comment 05-14 C26 Shipped a SIMD Library Nobody Asked For (lucisqr.substack.com)
153. パスワードは面倒だ。パスキーはパスワードに取って代わることができるだろうか？ Lobste Comment 05-14 Passwords suck. Can passkeys replace them? (kerkour.com)
154. マンディ：GoblinsでのActivityPub Lobste Comment 05-14 Mandy: ActivityPub on Goblins (spritely.institute)
156. BunのRustによるリライトがマージされました Lobste Comment 05-14 Bun''s Rust rewrite has been merged (www.reddit.com)
157. 「コーディングは思考である：なぜ私は今でも手書きでコードを書くのか」 Lobste Comment 05-14 Coding Is Thinking: Why I Still Write Code by Hand (dev.to)
158. CPUに依存するGoのホットパスの最適化に関するメモ Lobste Comment 05-14 Notes from Optimizing CPU-Bound Go Hot Paths (blog.andr2i.com)
162. Classic 7 は、Windows 7 と完全に同じ外観になるようにカスタマイズされた Windows 10 LTSC 用モッドです Lobste Comment 05-14 Classic 7 is a Windows 10 LTSC mod to look 1:1 to Windows 7 (classic7.lol)
165. ぜひお勧めしたいのは……Emacsの仕組みを理解することです Lobste Comment 05-14 May I recommend… understanding Emacs''s patterns (www.chiply.dev)
167. 5年と500万ドルを費やして：Web開発のための新しいプログラミング言語を開発したのは間違いだった Wasp Lobste Comment 05-14 5 Years and 5M Later: Inventing a New Programming Language for Web Development Was a Mistake Wasp (wasp.sh)
169. 18年前の脆弱性を悪用したNGINXのリモートコード実行の実現 Lobste Comment 05-14 Achieving NGINX Remote Code Execution via an 18-Year-Old Vulnerability (depthfirst.com)
170. ブラウザテストでウェブサイトの誤字脱字を見つける Lobste Comment 05-14 Catching Typos on My Website with Browser Testing (wickstrom.tech)
171. rqliteがSQLiteのWrite-Ahead Logをどのように（そしてなぜ）制御するのか Lobste Comment 05-14 How (and why) rqlite takes control of the SQLite Write-Ahead Log (philipotoole.com)
172. ポイントは、奇妙で一貫性のない測定単位だ Lobste Comment 05-14 Points are a weird and inconsistent unit of measure (buttondown.com)
173. Fragnesia：Linux向けの新たな権限昇格エクスプロイト Lobste Comment 05-14 Fragnesia: New Linux Privilege Escalation Exploit (github.com)
174. もし『EndBASIC』にBASICがなかったらどうなるでしょうか？ Lobste Comment 05-14 What if there was no BASIC in EndBASIC? (blogsystem5.substack.com)
175. 無料の *.city.state.us 地域ドメインの設定 Lobste Comment 05-13 Setting up a free *.city.state.us locality domain (fredchan.org)
176. 実用的な「ソフト・ベッドロック」言語としてのLua Lobste Comment 05-13 Lua as a practical "soft-bedrock" language (portal.mozz.us)
177. Python 3.14 および 3.15 におけるインクリメンタル GC の元への復帰 Lobste Comment 05-13 Reverting the incremental GC in Python 3.14 and 3.15 (discuss.python.org)
180. 技術的知識のないアナリスト向けのカスタムクエリ言語の設計 Lobste Comment 05-13 Designing a Custom Query Language for Non-Technical Analysts (nchammas.com)
182. YellowKeyのBitLockerバイパス脆弱性 Lobste Comment 05-13 YellowKey Bitlocker Bypass Vulnerability (github.com)
183. ソブリン・テック・ファンド、KDEのソフトウェア開発に100万ユーロ以上を投資 Lobste Comment 05-13 Sovereign Tech Fund invests over 1 million in KDE software development (kde.org)
185. Claude Code RCE：設定情報の注入によるディープリンクハンドラの悪用 Lobste Comment 05-13 Claude Code RCE: Exploiting Deeplink Handlers via Settings Injection (0day.click)
187. イースト・リバー・ソース・コントロールの提供状況に関する最新情報 Lobste Comment 05-13 An update on East River Source Control availability (ersc.io)
188. Dart Live：Web上でWasmを介して動作するコンパイラ、VM、アナライザ、およびホットリロード機能 Lobste Comment 05-13 Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm (modulovalue.github.io)
189. MacBook Neo レビュー：一般ユーザーのためのノートパソコン Lobste Comment 05-13 MacBook Neo Review: The Laptop For The Rest Of Us (fireborn.mataroa.blog)
190. 「Tolaria」、「Rust」、そしてMacアプリが「心地よい」と感じられる要素についての考察 Lobste Comment 05-13 Tolaria, Rust, and Questions About What Makes a Mac App Feel Good to Me (shapeof.com)
191. ヒューリスティックを用いない決定論的完全静的バイナリ全体変換 Lobste Comment 05-13 Deterministic Fully-Static Whole-Binary Translation without Heuristics (arxiv.org)
192. パワーユーザーを目指す方に向けた「カコウネ」の詳細な紹介 Lobste Comment 05-13 A detailed introduction to Kakoune for the aspiring power user (ficd.sh)
194. Stack Overflowにある262,715件の正規表現に関する質問が、まだ答えられていないこと Lobste Comment 05-13 what 262,715 regex questions on stack overflow haven''t answered (iev.ee)
196. Pycco：100行のLiterateスタイルの並列ドキュメントレンダラー Lobste Comment 05-13 Pycco: 100-line literate-style side-by-side documentation renderer (pycco-docs.github.io)
197. OxCamlのjs_of_ocamlバンドルのサイズを縮小：285 MBから4 MBへ Lobste Comment 05-13 Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB (kcsrk.info)
198. 「BeBox」：BeOSのハードウェア、写真、そして実現しなかったAppleとの提携 Lobste Comment 05-13 The BeBox: BeOS Hardware, Photos, and the Apple Deal That Wasn''t (www.jdhodges.com)
199. もうすぐ、ついにJavaScriptを影の世界へと追放できる Lobste Comment 05-13 Soon We Can Finally Banish JavaScript to the ShadowRealm (css-tricks.com)
201. 「dnsmasqの深刻なセキュリティ脆弱性に関する6件のCVE」 Lobste Comment 05-13 "six CVEs for serious security vulnerabilities in dnsmasq" (lists.thekelleys.org.uk)
202. Quack：DuckDBクライアント・サーバープロトコル Lobste Comment 05-13 Quack: The DuckDB Client-Server Protocol (duckdb.org)
204. enumから文字列への変換コスト：C26のリフレクションと従来の方法の比較 Lobste Comment 05-13 cost of enum-to-string: C26 reflection vs the old ways (vittorioromeo.com)
206. Bambu Labはオープンソースの社会契約を乱用している Lobste Comment 05-12 Bambu Lab is abusing the open source social contract (www.jeffgeerling.com)
208. Rustコードをモックするあらゆる方法 Lobste Comment 05-12 All the ways to mock your Rust code (blog.appliedcomputing.io)
209. Cowを削除したことで、JSONフォーマッタの処理速度が42%向上した Lobste Comment 05-12 Killing a Cow made my JSON formatter 42% faster (jacobasper.com)
210. ロックスターは、どうやってPlayStation 2のメモリに街全体を収めたのか Lobste Comment 05-12 How Rockstar fit an entire city into PlayStation 2 memory (www.youtube.com)
211. 事後分析：TanStackのnpmサプライチェーン侵害 Lobste Comment 05-12 Postmortem: TanStack npm supply-chain compromise (tanstack.com)
212. 最近のAndroidバージョンでは、どのアプリでも特定のトラフィックが漏洩する可能性があります Lobste Comment 05-12 Any app on recent Android versions can leak certain traffic (mullvad.net)
217. LinuxおよびUnixシステムにおけるEmacsのパフォーマンス最適化のためのコンパイル技術ガイド Lobste Comment 05-12 A Technical Guide to Compiling Emacs for Performance on Linux and Unix systems (www.jamescherti.com)
219. Kettle：検証可能なソフトウェアの出所を保証するビルド Lobste Comment 05-12 Kettle: Attested builds for verifiable software provenance (arxiv.org)
220. テキスト、画像、および表におけるCSSと垂直リズム Lobste Comment 05-12 CSS & vertical rhythm for text, images, and tables (vincent.bernat.ch)
221. floci：軽量で使いやすく、しかも常に無料 ― AWS Local Emulatorの代替ツール Lobste Comment 05-12 floci: Light, fluffy, and always free - The AWS Local Emulator alternative (github.com)
222. 人気のあるGoライブラリ「fsnotify」で、メンテナンス担当者のアクセス権限の変更を受け、サプライチェーンに関する懸念が高まっている Lobste Comment 05-12 Popular Go library fsnotify raises supply chain alarms after maintainer access changes (socket.dev)
225. 第12回 Plan 9 国際ワークショップの解説付き要約 Lobste Comment 05-12 An annotated digest of the 12th International Workshop on Plan 9 (n-gate.com)
233. Rustにおける「配慮のある」YAMLパッチ適用 Lobste Comment 05-12 "Respectful" YAML patching in Rust (verrchu.github.io)
234. GNU Emacsのlsp-modeからEglotへの移行 Lobste Comment 05-11 Moving from lsp-mode in GNU Emacs to Eglot (utcc.utoronto.ca)
235. 「ミニマリズムへの反動」こそが、Oxygenの復活の背景にある大きな物語である Lobste Comment 05-11 The anti-minimalist backlash is the bigger story behind Oxygen’s revival (filipfila.wordpress.com)
237. devenv 2.1: libghostty 経由で zsh、fish、nushell を備えた Nix - devenv Lobste Comment 05-11 devenv 2.1: Nix with zsh, fish, and nushell via libghostty - devenv (devenv.sh)
244. omlx：Apple Silicon向け、連続バッチ処理とSSDキャッシュ機能を備えたLLM推論サーバー — macOSのメニューバーから管理可能 Lobste Comment 05-11 omlx: LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar (github.com)
245. プログラム可能なホワイトリストベースの設定：GoへのRyeの組み込み Lobste Comment 05-11 Programmable Whitelist-based Configs: Embedding Rye in Go (ryelang.org)
246. Ratty：インライン3Dグラフィックス対応のターミナルエミュレータ Lobste Comment 05-11 Ratty: A terminal emulator with inline 3D graphics (ratty-term.org)
248. systemfd を使用してターミナルの出力をブラウザに転送する Lobste Comment 05-11 Piping terminal output to the browser using systemfd (blog.izissise.net)
251. 最大256MBのFERRITモジュラー型F-RAMストレージデバイスは、重要なデータを最長200年間保存します Lobste Comment 05-11 Up to 256 MB FERRIT modular F-RAM storage device preserves critical data for up to 200 years (www.cnx-software.com)
252. 『ファクトリオ』がネットワーク経由で100万個のオブジェクトを同期させる仕組み Lobste Comment 05-11 How Factorio Syncs A Million Objects over the network (www.youtube.com)
253. Cにおける25年以上にわたる道探し問題 Lobste Comment 05-11 25 years of pathfinding problems with C (www.youtube.com)
255. パスキーを使用した暗号化されたZFSボリュームのロック解除 Lobste Comment 05-11 Unlocking Encrypted ZFS Volumes with a Passkey (withblue.ink)
256. メンテナンスコストを削減できるAIが必要です Lobste Comment 05-11 You Need AI That Reduces Maintenance Costs (www.jamesshore.com)
257. TIOCSTI を使わずに Bash で Ctrl-R を置き換える Lobste Comment 05-11 Replacing Ctrl-R in Bash without TIOCSTI (blog.rickardlindberg.me)
258. 私のPastebinクローン「Vivipara」と言語に関する考察 Lobste Comment 05-11 My pastebin clone Vivipara and language musings (akselmo.dev)
259. Tiny-Lua-Compiler：おそらく史上最小のLuaコンパイラ Lobste Comment 05-11 Tiny-Lua-Compiler: Possibly the smallest Lua compiler ever (github.com)
260. ClaudeBleed：Claudeのブラウザ拡張機能に存在する脆弱性により、任意の拡張機能がこれを乗っ取ることが可能 Lobste Comment 05-11 ClaudeBleed: A Flaw In Claude''s Browser Extension Allows Any Extension to Hijack It (layerxsecurity.com)
263. let-go: Go言語で書かれた、ほぼClojureのような言語 Lobste Comment 05-11 let-go: Almost Clojure written in Go (github.com)
264. パッケージマネージャーにおけるパッチ適用とフォーク Lobste Comment 05-10 Patching and forking in package managers (nesbitt.io)
265. 90日間の開示方針は廃止された Lobste Comment 05-11 the 90 day disclosure policy is dead (blog.himanshuanand.com)
266. うまくいくものを見て、それからそれを理解する Lobste Comment 05-10 We see something that works, and then we understand it (lemire.me)
267. SwiftでのLLMのトレーニング、第1部：行列乗算の処理速度をGflop/sからTflop/sへ Lobste Comment 05-10 Training an LLM in Swift, Part 1: Taking matrix multiplication from Gflop/s to Tflop/s (www.cocoawithlove.com)
268. wayland.fyi ミニマリスト・ウェイランド特別関心グループ Lobste Comment 05-10 wayland.fyi minimalist wayland special interest group (wayland.fyi)
269. ChatGPT 5.5 Proを最近使ってみた感想 Lobste Comment 05-10 A recent experience with ChatGPT 5.5 Pro (gowers.wordpress.com)
270. fzfをインストールしました。さて、次は何をすればいいでしょうか？（2023年） Lobste Comment 05-10 So you''ve installed fzf. Now what? (2023) (andrew-quinn.me)
271. UNIX系システム向けの9pファイルサーバーデーモン Lobste Comment 05-10 9p file server daemon for UNIX-like systems (kamid.omarpolo.com)
273. Debianは再現可能なパッケージを提供しなければならない Lobste Comment 05-10 Debian must ship reproducible packages (lists.debian.org)
274. 宇宙線は量子コンピュータの「クリプトナイト」――ソフトウェアがこの問題を解決するかもしれない Lobste Comment 05-10 Cosmic Rays Are Quantum Computers'' Kryptonite—Software might just solve the problem (spectrum.ieee.org)
275. 「ツイン・ディフィーヘルマン問題とその応用」（2009年） Lobste Comment 05-10 The Twin Diffie-Hellman Problem and Applications (2009) (eprint.iacr.org)
276. FreeBSD: execve() によるローカル特権昇格 Lobste Comment 05-10 FreeBSD: Local privilege escalation via execve() (www.freebsd.org)
277. サイバーリバタリアニズムの許しがたい偽善 Lobste Comment 05-10 The Intolerable Hypocrisy of Cyberlibertarianism (matduggan.com)
278. 3 GBのSQLiteデータベースを10 MBのFST（有限状態変換器）バイナリに置き換える Lobste Comment 05-10 Replacing a 3 GB SQLite database with a 10 MB FST (finite state transducer) binary (til.andrew-quinn.me)
280. 「Good First Issue」：初めてのオープンソースへの貢献 Lobste Comment 05-10 Good First Issue: Make your first open-source contribution (goodfirstissue.dev)
281. 2回目のリクエストが異なる場合を除けば、冪等性は簡単だ Lobste Comment 05-10 Idempotency Is Easy Until the Second Request Is Different (blog.dochia.dev)
282. 高速フーリエ変換 第1部：クーリー・タッキー法 Lobste Comment 05-10 Fast Fourier Transforms Part 1: Cooley-Tukey (connorboyle.io)
283. APLのような配列言語に対する、原則に基づいた再考 Lobste Comment 05-10 A principled rethinking of array languages like APL (dercuano.github.io)
284. AIは2つの脆弱性に対する文化を打破しつつある Lobste Comment 05-10 AI is Breaking Two Vulnerability Cultures (www.jefftk.com)
287. 数独の秘密を解き明かす (2025) Lobste Comment 05-10 Unlocking sudoku''s secrets (2025) (chalkdustmagazine.com)
288. フリップで「ボゾビット」をオンにすると、学習機能がオフになります Lobste Comment 05-10 Flipping the bozo bit on flips the learning off (surfingcomplexity.blog)
289. DOS、フロッピーディスク、NetBSD、そしてノスタルジア Lobste Comment 05-10 On DOS, floppies, NetBSD and nostalgia (exquisite.tube)
290. 論理プログラムのための抽象機械 Lobste Comment 05-10 Abstract Machines for Logic Programs (chrisistyping.bearblog.dev)
291. Aurora：長方形行列向けのレバレッジを考慮した最適化ツール Lobste Comment 05-10 Aurora: A Leverage-Aware Optimizer for Rectangular Matrices (blog.tilderesearch.com)
293. LLMを「酔わせ」て、LinuxカーネルのリモートOOB書き込み（その他）を発見する Lobste Comment 05-10 Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More) (heyitsas.im)
294. 複雑で高度なWindowsマルウェアとその分析は、どこへ消えてしまったのか？ Lobste Comment 05-10 Where Have All the Complex Windows Malware and Their Analyses Gone? (r136a1.dev)
295. 最近のノートパソコンには、すべてセキュリティトークンが内蔵されています Lobste Comment 05-10 Laptops all have built-in security tokens these days (ahelwer.ca)
297. 特殊なシェル環境での GNU Emacs の Tramp システム使用に関する注意事項 Lobste Comment 05-10 Notes on using GNU Emacs'' Tramp system in an unusual shell environment (utcc.utoronto.ca)
299. FFmpeg：インターネット上の動画を支える驚異の技術 Lobste Comment 05-10 FFmpeg: The Incredible Technology Behind Video on the Internet (www.youtube.com)
300. 組み込み用GoライブラリとしてのYggdrasil Network Lobste Comment 05-10 Yggdrasil Network as an Embedded Go Library (dev.to)