5. カナダの法案C-22と、データ収集拡大に伴うセキュリティ上のコスト Lobste Comment 06:19 Canada’s Bill C-22 and the security cost of collecting more data (tailscale.com)
9. Nixは、ソフトウェアのサプライチェーンに革命をもたらす見込みだ Lobste Comment 01:45 Nix is set to revolutionize the software supply chain (determinate.systems)
10. 「DoomBench」のご紹介 ― あなたのデータスタックは『DOOM』を動かせるか？ Lobste Comment 01:20 Introducing DoomBench - Can Your Data Stack Run DOOM? (cedardb.com)
13. Temporal を使ったスケーラブルなデータ取り込みパイプラインの構築（第1部） Lobste Comment 00:23 Building a Scalable Ingestion Pipeline with Temporal (Part 1) (blog.rapidflare.ai)
14. 何か専門職の団体に所属していますか？ Lobste Comment 05-26 Are you a member of any professional associations? (lobste.rs)
15. 3DS用のAsyncIOエグゼキュータの構築 Lobste Comment 05-26 Building an AsyncIO executor for the 3DS (blog.cat-girl.gay)
17. ハーモニックとは何か？ 加算合成をテーマにしたインタラクティブ・コミック Lobste Comment 05-26 What is a harmonic? An interactive comic about additive synthesis (melatonin.dev)
18. Itanium C ABI における仮想テーブルの仕組み Lobste Comment 05-26 How Virtual Tables Work in the Itanium C ABI (peter0x44.github.io)
19. 2026年にSwiftUIを使ってMacアプリを作る Lobste Comment 05-26 Using SwiftUI to Build a Mac-assed App in 2026 (pfandrade.me)
21. SIMD を使用して std::copy_if の処理を高速化する Lobste Comment 05-26 Accelerating std::copy_if using SIMD (loonatick-src.github.io)
23. Intel IAPX432は一体どれほど酷かったのか？ Lobste Comment 05-26 Just How Bad Was The Intel IAPX432? (hackaday.com)
24. Common Lisp 移植性ライブラリの現状 Lobste Comment 05-26 Common Lisp Portability Library Status (portability.cl)
25. AWS Lambda における Haskell のデモ環境の構築 Lobste Comment 05-26 A demonstration deployment of Haskell on AWS Lambda (git.sr.ht)
27. IRC経由で操作する、非常にシンプルなインターネットラジオ Lobste Comment 05-26 Extremely simple internet radio controlled via IRC (codeberg.org)
29. HelixからKonsoleのビューを切り替えてツールを実行する Lobste Comment 05-26 Splitting Konsole views from Helix to run tools (akselmo.dev)
31. HTTP経由でのファイル提供：3つの方法（同期方式、epoll、io_uring） Lobste Comment 05-26 Serving files over HTTP three ways: synchronous, epoll, and io_uring (theconsensus.dev)
33. スタンドアロンのPythonディストリビューションをビルドするには、uvがインストールされている必要があります Lobste Comment 05-26 uv must be installed to build a standalone Python distribution (github.com)
34. 教皇レオ14世の回勅『マグニフィカ・ウマニタス』 Lobste Comment 05-26 Encyclical Letter of His Holiness Leo XIV Magnifica Humanitas (www.vatican.va)
35. AIを活用して、より良いコードを、より時間をかけて書く Lobste Comment 05-26 Using AI to write better code more slowly (nolanlawson.com)
38. C言語の拡張機能、移植性、および代替コンパイラについて Lobste Comment 05-25 On C extensions, portability, and alternative compilers (lemon.rip)
40. コンパイル速度向上のためのホスト環境に最適化されたGCC Lobste Comment 05-25 Host-Tuned GCC for Faster Compilation (peter0x44.github.io)
43. Nixのサブスティテュータリストはルーティングテーブルではない Lobste Comment 05-25 Nix''s Substituter List Is Not a Routing Table (notashelf.dev)
45. Lambda on Lambda：AWS上のサーバーレスHaskell Lobste Comment 05-25 Lambda on Lambda: Serverless Haskell on AWS (jackkelly.name)
47. シャーディングによるAkvorado BMP RIBのスケーリング Lobste Comment 05-25 Scaling Akvorado BMP RIB with sharding (vincent.bernat.ch)
49. EYG：CLIの機能強化、新しいガイド、そして新しいエフェクトが多数追加されました Lobste Comment 05-25 EYG: Host of CLI improvements, new guides and new effects (eyg.run)
50. GoからRustへの移行 corrode Rust Consulting Lobste Comment 05-25 Migrating from Go to Rust corrode Rust Consulting (corrode.dev)
52. JSクロスワード - ヒントが eval(answer) になるクロスワード Lobste Comment 05-25 JS Crossword - a crossword where the clue eval(answer) (lyra.horse)
53. C言語の配列型のセマンティクスに関する議論 Lobste Comment 05-25 Discussion about C array type semantics (anselmschueler.com)
55. 新しい機械を維持することの真髄 Lobste Comment 05-25 The Soul of Maintaining a New Machine (books.worksinprogress.co)
57. Vivado 2026.1の無料版ではLinuxに対応していません Lobste Comment 05-24 No Linux support on free version of Vivado 2026.1 (www.amd.com)
58. 私のミニマルでメモリセーフなGo製rsyncが、どのように脆弱性を回避しているか Lobste Comment 05-24 How my minimal, memory-safe Go rsync steers clear of vulnerabilities (michael.stapelberg.ch)
60. libwce：ウェーブレットコーデックのエントロピー層（単体） Lobste Comment 05-24 libwce: the entropy layer of a wavelet codec, on its own (yogthos.net)
61. 1万行を経て：あるツールがコンパイラへと変貌したとき - ロブ・ダスト - Gleam Gathering 2026 Lobste Comment 05-24 10,000 Lines Later: When a Tool Became a Compiler - Rob Durst - Gleam Gathering 2026 (www.youtube.com)
63. fht-compositor: 動的なタイリング機能を備えたWaylandコンポジター Lobste Comment 05-24 fht-compositor: A dynamic tiling Wayland compositor (github.com)
64. ネットワークの許可リストでは情報流出を防げない Lobste Comment 05-24 A Network Allow-List Won''t Stop Exfiltration (www.dergraf.org)
66. memmoveをまとめて実行すると、std::remove_ifの処理は高速化されるか？（いいえ。） Lobste Comment 05-24 Does bulk memmove speed up std::remove_if? (No.) (quuxplusone.github.io)
69. 「長期サポート」は、あなたが思っているような意味ではありません Lobste Comment 05-24 “Long-Term Support” doesn’t mean what you think (pointieststick.com)
71. そろそろ私のライターデッキについてお話ししましょう Lobste Comment 05-24 It''s time to talk about my writerdeck (veronicaexplains.net)
72. remind(1) -- カレンダーおよびアラームプログラム Lobste Comment 05-24 remind(1) -- calendar and alarm program (dianne.skoll.ca)
73. .NET（いや、C#）がついにユニオン型をサポートする Lobste Comment 05-24 .NET (OK, C#) finally gets union types (andrewlock.net)
77. 1980年製のスペースラブ用コンピュータの回路のリバースエンジニアリング Lobste Comment 05-24 Reverse engineering circuitry in a Spacelab computer from 1980 (www.righto.com)
80. Hersheyはテキストベクターフォント形式です Lobste Comment 05-23 Hershey is a textual vector font format (wiki.xxiivv.com)
81. z386：オリジナルのマイクロコードを基に構築されたオープンソースの80386 - Small Things Retro Lobste Comment 05-23 z386: An Open-Source 80386 Built Around Original Microcode - Small Things Retro (nand2mario.github.io)
82. Cでは依然として機能しないCの構文 — そして、変更されたものいくつか Lobste Comment 05-23 C Constructs That Still Don’t Work in C — and a Few That Changed (lospino.so)
83. セルフホスト型アクションランナーの設定を改善する Lobste Comment 05-23 Improving my self-hosted actions runner setup (excipio.tech)
84. Cuneiforth：あなたのChifirのためのForth Lobste Comment 05-23 Cuneiforth: A Forth for your Chifir (gopher.floodgap.com)
85. MinecraftのMODとして実装されたWaylandコンポジター Lobste Comment 05-23 Wayland compositor implemented as a mod in Minecraft (modrinth.com)
86. GomobileとGopherjsを使ったアニメーション付きQRコードデータ転送 Lobste Comment 05-23 Animated QR data transfer with Gomobile and Gopherjs (divan.dev)
90. HPはHyperspaceを買収し、かつてはQuickwebを含む3種類のプレブートまたはインブートOSを提供していた Lobste Comment 05-23 HP bought Hyperspace, & once offered 3 different pre-boot or in-boot OSs, including Quickweb (gekk.info)
92. 以前、Goのpanicをフロー制御に使ったことがある Lobste Comment 05-23 That one time I used Go panics for flow control (noncrab.net)
93. なぜ作業記憶がディスレクシアの決定的な課題なのか Lobste Comment 05-23 Why Working Memory is a Defining Challenge of Dyslexia (www.4dyslexics.com)
94. RFCの編集と公開のための新しい一連の最新ツールが登場します Lobste Comment 05-23 A new suite of modern tools coming for editing and publishing RFCs (www.ietf.org)
96. NPMにおける段階的な公開と、インストール時の新しい制御機能 Lobste Comment 05-23 Staged publishing and new install-time controls for NPM (github.blog)
98. SPy：静的型付けされたPythonの派生版のためのインタプリタおよびコンパイラ Lobste Comment 05-23 SPy: an interpreter and a compiler for a statically typed variant of Python (github.com)
99. sp.h は、C言語にふさわしい標準ライブラリである Lobste Comment 05-23 sp.h is the standard library that C deserves (spader.zone)
100. コマンドラインでMacのシステム音量を調整する Lobste Comment 05-23 Adjusting a Mac''s System Volume on the Command Line (excessivelyadequate.com)
101. 4つの旧型CPUにおけるLZ4デコンプレッサーの比較 Lobste Comment 05-23 Comparing an LZ4 Decompressor on four legacy CPUs (bumbershootsoft.wordpress.com)
102. 『プランスケープ：トーメント』第1部：テーブルトップから Lobste Comment 05-23 Planescape: Torment, Part 1: From the Tabletop (www.filfre.net)
103. CVE-2026-46529: LinuxのPDFビューア（XReader/Evince/Atril）における10年間放置されていたリモートコード実行の脆弱性 Lobste Comment 05-23 CVE-2026-46529: 10-year-old RCE in Linux PDF Viewer (XReader/Evince/Atril) (medeiros.zip)
104. SAWにおけるIsabelleのサポート開始のお知らせ Lobste Comment 05-23 Announcing Isabelle support for SAW (www.galois.com)
105. XF86AudioPlayの不可解な問題 Lobste Comment 05-23 The mysterious XF86AudioPlay issue (michael-prokop.at)
106. account-center: 社内サービスおよびナレッジベースの記事向けに、自社ホスティング型でOIDC認証に対応したポータル Lobste Comment 05-23 account-center: Self-hosted, OIDC-authenticated portal for internal services and knowledge base articles (git.sr.ht)
107. Noroboto：Rustにおけるフォントの不正利用と対策 Lobste Comment 05-23 Noroboto: Lying fonts and mitigation in Rust (tritium.legal)
108. 64ビット整数のうち、2つの32ビット整数の積であるものはわずか17%にすぎない Lobste Comment 05-23 Only 17% of all 64-bit Integers are products of two 32-bit integers (lemire.me)
109. Apple corecryptoの形式検証のための青写真 Lobste Comment 05-23 A blueprint for formal verification of Apple corecrypto (security.apple.com)
110. オープンソースにおけるバーンアウト：共に解決できる構造的な問題 Lobste Comment 05-23 Burnout in Open Source: A Structural Problem We Can Fix Together (opensourcepledge.com)
112. 『Caves of Qud』（2019年）におけるエンドツーエンドの手続き型生成 Lobste Comment 05-23 End-to-End Procedural Generation in Caves of Qud (2019) (www.youtube.com)
115. Forthにインスパイアされた、ウェブサイト作成用の言語 Lobste Comment 05-22 A Forth-inspired language for writing websites (robida.net)
116. 衝突でスコアを稼ぎ、パニックでパッチを当てる Lobste Comment 05-22 score by collisions, patch by panic (blog.himanshuanand.com)
117. minc — ネイティブソフトウェアを構築するためのミニマルな言語 Lobste Comment 05-22 minc — A minimal language for building native software (minc.dev)
118. メガロドン：CIワークフローを利用したGitHubリポジトリへの大規模なバックドア攻撃 Lobste Comment 05-22 Megalodon: Mass GitHub Repo Backdooring via CI Workflows (safedep.io)
119. セキュアブートとCAのロールオーバー ― ディストリビューションへの注意喚起 Lobste Comment 05-22 Secure Boot and CA Rollover - a heads-up for distributions (blog.einval.com)
120. このブログは10年間、Ubuntu 16.04で稼働していました。その後、FreeBSDに移行しました。 Lobste Comment 05-22 This blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD (crocidb.com)
122. 離散事象シミュレーションおよび分散並行制御のための仮想時間 (1985) Lobste Comment 05-22 Virtual Time for discrete event simulation and distributed concurrency control (1985) (worrydream.com)
124. 米連邦取引委員会（FTC）は、コックス・メディア・グループに対し、AIを活用したマーケティングサービス「アクティブ・リスニング」について顧客を欺いたとする申し立てを解決するため、約100万ドルの支払いを命じる方針だ。 Lobste Comment 05-22 FTC to Require Cox Media Group to Pay Nearly 1million to Settle Charges They Deceived Customers About “Active Listening” AI-Powered Marketing Service (www.ftc.gov)
125. GoogleのAPIキーは、削除した後も悪用されるほど長い間有効なままになる Lobste Comment 05-22 Google API keys keep working after you delete them long enough to be exploited (www.aikido.dev)
126. Gnutella：生み出した世界よりも長く生き残るプロトコル Lobste Comment 05-22 Gnutella: A Protocol Outlives the World That Created It (rickcarlino.com)
128. uvは素晴らしいですが、パッケージ管理のユーザー体験は散々です Lobste Comment 05-22 uv is fantastic, but its package management UX is a mess (www.loopwerk.io)
130. USB/IP経由でWebUSBにブリッジ接続されたブラウザ内Linux VMを使って、古いスキャナーを復活させる Lobste Comment 05-22 Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP (yes-we-scan.app)
131. CVE-2026-47243: Kata Containers における virtiofs 経由のゲストルートからホストルートへの脱出 Lobste Comment 05-22 CVE-2026-47243: Kata Containers guest-root to host-root escape via virtiofs (www.openwall.com)
132. C/Cにおける「--」演算子とは何ですか？ Lobste Comment 05-22 What is the ''--'' operator in C/C? (stackoverflow.com)
133. Firefoxにおけるウェブ連載のサポート開始のお知らせ Lobste Comment 05-22 Announcing Web Serial Support in Firefox (hacks.mozilla.org)
135. Huaweiの次世代開発言語「ArkTS」のご紹介 Lobste Comment 05-22 Introducing ArkTS, Huawei’s Next-Generation Development Language (dev.to)
136. 依存関係のクールダウンは不公平だ。代わりに段階的な導入を行うべきだ Lobste Comment 05-22 Dependency cooldowns are unfair; we should use phased rollouts instead (illegalcode.net)
137. グラフ理論を用いたバックエンドの高速化 (2019) Lobste Comment 05-22 Speeding Up the Back End with Graph Theory (2019) (sensortower.com)
138. 相互TLSによるプライベートパッケージリポジトリ Lobste Comment 05-22 A Private pkg Repo Behind Mutual TLS (oshogbo.com)
139. Flipper One — 皆様のご協力をお願いします Lobste Comment 05-22 Flipper One — we need your help (blog.flipper.net)
140. Gobee：Go言語でeBPFプログラムを記述し、clangを介してトランスパイルする Lobste Comment 05-22 Gobee: write eBPF programs in Go, transpiled via clang (github.com)
141. Ursula：コアごとにスレッドを割り当てる、HTTPイベントストリーム向けのマルチRaft対応Rustランタイム Lobste Comment 05-21 Ursula: thread-per-core, multi-Raft Rust runtime for HTTP event streams (github.com)
143. 大学入学直後の方／職歴のない方向けのインターンシップ Lobste Comment 05-21 Internships for early university / no former employment (lobste.rs)
144. GoにおけるL1命令キャッシュのセット競合、アソシアティビティ、およびコードのアライメント Lobste Comment 05-21 L1 instruction cache set conflicts, associativity, and code alignment in Go (blog.andr2i.com)
145. 教会符号化、パラメトリシティ、および米田の補題 Lobste Comment 05-21 Church Encoding, Parametricity, and the Yoneda Lemma (blog.wybxc.cc)
146. FatGid - FreeBSD 14.x カーネル LPE Lobste Comment 05-21 FatGid - FreeBSD 14.x kernel LPE (fatgid.io)
147. Python 3.15：あまり注目されなかった新機能 Lobste Comment 05-21 Python 3.15: features that didn''t make the headlines (blog.changs.co.uk)
152. [RFC] 標準文書へのオープンアクセスを支持するLLVM財団の声明 Lobste Comment 05-21 [RFC] LLVM Foundation statement in favor of open access to standards documents (discourse.llvm.org)
153. AIを活用したコーディングについて、よくある12の誤解 Lobste Comment 05-21 Twelve Ways to Be Wrong About AI-Assisted Coding (third-bit.com)
154. OpenSMTPDは、未来のメールサーバーです Lobste Comment 05-21 OpenSMTPD Is The Mail Server For The Future (bsdly.blogspot.com)
155. 悪質なAIスクレイパーのせいで、ウィキの運営がちょっと大変になってきている Lobste Comment 05-21 Aggressive AI scrapers are making it kinda suck to run wikis (weirdgloop.org)
156. Waterfox バージョン 6.6.13 では、Startpage がデフォルトの検索プロバイダーから削除されました Lobste Comment 05-21 Waterfox Release 6.6.13 removes Startpage as default search provider (www.waterfox.com)
159. OpenAIのモデルが、離散幾何学における主要な予想を覆した Lobste Comment 05-21 An OpenAI model has disproved a central conjecture in discrete geometry (openai.com)
160. 「設計図も描かずに家を建てる人なんているだろうか？」（2015年） Lobste Comment 05-21 Who Builds a House Without Drawing Blueprints? (2015) (cacm.acm.org)
161. C言語の矢印（-）演算子はなぜ存在するのでしょうか？ Lobste Comment 05-21 Why does the arrow (-) operator in C exist? (stackoverflow.com)
162. 1台のRaspberry Piには、サンドボックス化されたポッドをいくつまで収容できますか？ Lobste Comment 05-21 How many sandboxed pods can fit in a Pi? (nubificus.co.uk)
164. Chromiumは4年後に修正済みのエクスプロイトを公開したが、実際には修正されていなかったことが判明した Lobste Comment 05-21 Chromium publishes fixed exploit 4 years later, turns out it''s actually unfixed (infosec.exchange)
165. スマートテレビのソフトウェアをカスタマイズするユーザーの権利を巡る長年の争いが、裁判へと発展した Lobste Comment 05-21 Yearslong fight over users'' right to tweak smart TV software heads to trial (arstechnica.com)
166. XSSはパスキーにとって致命的：認証の隠れたリスク Lobste Comment 05-21 XSS Is Deadly for Passkeys: The Hidden Risk of Attestation None (scotthelme.co.uk)
167. Linuxカーネルの__ptrace_may_access()関数における論理的バグ (CVE-2026-46333) Lobste Comment 05-21 Logic bug in the Linux kernel''s __ptrace_may_access() function (CVE-2026-46333) (cdn2.qualys.com)
169. glibcのmallocにおいて、スレッド間での二重解放の検出はどのように機能するのか Lobste Comment 05-21 How cross-thread double free detection could work in glibc malloc (kallus.org)
170. 2026年5月のFEDIソフトウェアの脆弱性 Lobste Comment 05-20 the may 2026 fedi software vulnerability (w.on-t.work)
173. modulejail：現在使用されていないすべてのモジュールをブラックリストに登録することで、Linux ホストのカーネルモジュールに対する攻撃対象領域を積極的に縮小する Lobste Comment 05-20 modulejail: Proactively shrink a Linux host''s kernel-module attack surface by blacklisting every module not currently in use (github.com)
174. TanStackのnpmサプライチェーン攻撃により、Grafana LabsのGitHubリポジトリが侵害された Lobste Comment 05-20 Grafana Labs GitHub repos breached via TanStack npm supply chain attack (grafana.com)
177. Emacs と org-remark を使ったその場での注釈付け Lobste Comment 05-20 Annotate-in-Place Notes with Emacs and org-remark (www.chiply.dev)
181. haunt.nvim: Neovim用のゴーストテキストブックマーク Lobste Comment 05-20 haunt.nvim: Ghost text bookmarks for Neovim (github.com)
183. GitHub：内部リポジトリにアクセスされました Lobste Comment 05-20 Github: internal repositories have been accessed (nitter.net)
185. GitHubのソースコード流出 - TeamPCPが内部ソースコードへのアクセスを主張 Lobste Comment 05-20 GitHub Source Code Breach - TeamPCP Claims Access to Internal Source Code (cybersecuritynews.com)
186. ただ座って何もしないなら、せめてきちんと何もしないこと Lobste Comment 05-20 If you''re just going to sit there doing nothing, at least do nothing correctly (devblogs.microsoft.com)
187. なぜ長年経っても、Rubyは今なお居心地が良いのか Lobste Comment 05-20 Why Ruby Still Feels Like Home After All These Years (caio.ca)
188. 考えられるほぼすべてのオペレーティングシステムを網羅したバーチャル博物館を作りました Lobste Comment 05-20 I''ve built a virtual museum with nearly every operating system you can think of (www.youtube.com)
191. カーネルのインストール時にセグメンテーションフォルトが発生した原因を追跡する Lobste Comment 05-20 Chasing down why installing the kernel segfaulted (sporks.space)
192. 私はソフトウェアエンジニアではありません Lobste Comment 05-20 I am not a Software Engineer (huronbikes.mataroa.blog)
196. 形式仕様の検証におけるプロパティベーステストの理不尽な有効性について Lobste Comment 05-20 On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications (proofsandintuitions.net)
197. pg_deltax: PostgreSQL用のApacheライセンスに基づく時系列拡張機能 Lobste Comment 05-20 pg_deltax: Apache-licensed time-series extension for PostgreSQL (github.com)
201. Tursoのセキュリティ強化において、Quintを活用してSQLiteのバグを10件以上発見した経緯 Lobste Comment 05-19 How we used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)
202. 内部構造：リアルタイム和音認識システムの構築 Lobste Comment 05-19 Under the Hood: Building a Real-Time Chord Recognizer (whatchord.earthmanmuons.com)
205. 「Super Tiny Compiler」のAda版 Lobste Comment 05-19 The Super Tiny Compiler, but in Ada (github.com)
206. 私のドメインがGitHub Pagesで悪用されました Lobste Comment 05-19 My domain got abused on Github Pages (meertens.dev)
209. C言語による自己バランス調整型スキップリスト（別名「スプレイリスト」）ライブラリ Lobste Comment 05-19 A self-balancing skip-list (aka "splay-list") library in C (codeberg.org)
210. Lime：実行時に文法を統合できるパーサジェネレータ Lobste Comment 05-19 Lime, a parser generator that can merge grammars at runtime (codeberg.org)
211. Noxu DB：Berkeley DB Java EditionのRust移植版 Lobste Comment 05-19 Noxu DB, a Rust port of Berkeley DB Java Edition (codeberg.org)
212. リッチテキスト変換におけるProseMirrorモデルの驚くべき有効性 Lobste Comment 05-19 The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation (smoores.dev)
213. WindowsのDLLローダーロック：RustのスレッドがJVMをハングアップさせる仕組み Lobste Comment 05-19 The Windows DLL loader lock: how a Rust thread can hang your JVM (questdb.com)
214. Facebookにおける包括的な構成管理 Lobste Comment 05-19 Holistic Configuration Management at Facebook (research.facebook.com)
215. Comptime を使った、さらに多くのタグ付きユニオン部分集合 Lobste Comment 05-19 Even More Tagged Union Subsets with Comptime (sinclairtarget.com)
216. SIMDによる整数から文字列への変換の高速化 Lobste Comment 05-19 SIMD-accelerated integer-to-string conversion (lemire.me)
218. 代数とLLMを用いて、Leanにおける飛行計画のバグ修正を検証する Lobste Comment 05-19 Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)
219. Spork：forkとして使用できるposix_spawn Lobste Comment 05-19 Spork: A posix_spawn you can use as a fork (dl.acm.org)
220. 「ノーと言うだけ」のエンジニアは、ゼロ金利政策（ZIRP）が生んだ現象だった Lobste Comment 05-19 The just-say-no engineer was a ZIRP phenomenon (www.seangoedecke.com)
222. Casuarina Linuxのご紹介：glibcベースのChimera Linux派生ディストリビューション Lobste Comment 05-19 Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative (casuarina.org)
223. BambuによるAGPLv3違反に対する包括的な対応 Lobste Comment 05-19 Comprehensive Response to Bambu''s AGPLv3 Violations (sfconservancy.org)
224. CISAの管理者がGitHub上でAWS GovCloudの鍵を漏洩させた Lobste Comment 05-19 CISA Admin Leaked AWS GovCloud Keys on Github (krebsonsecurity.com)
227. cargo-crap：AIが生成したRustコードに潜む未検証の複雑性を発見 Lobste Comment 05-19 cargo-crap: Finding Untested Complexity in AI-Generated Rust Code (minikin.me)
228. 大腸菌細胞上で『Doom』を実行する……とてつもなく、とてつもなく遅く Lobste Comment 05-19 Running ‘Doom’ on E. coli cells… very, very slowly (www.popsci.com)
231. Bitwardenにおける静かなリニューアル Lobste Comment 05-19 The Quiet Renovation at Bitwarden (blog.ppb1701.com)
232. Flathubは一体どのように機能しているのでしょうか？CDNとキャッシュ層 Lobste Comment 05-19 How does Flathub even work? The CDN and caching layer (barthalion.blog)
235. Go言語におけるselectの実装 Lobste Comment 05-19 The implementation of select in Go (internals-for-interns.com)
236. AIエージェントのセキュリティ - MIT 6.566 特別講義 Lobste Comment 05-18 AI Agent Security - MIT 6.566 guest lecture (github.com)
237. ドキュメント間のビュー遷移：誰も語らない落とし穴 Lobste Comment 05-18 Cross-Document View Transitions: The Gotchas Nobody Mentions (css-tricks.com)
238. ブラウザのタブ内で動作するLinux風カーネル ― BrowserPodアーキテクチャの徹底解説 Lobste Comment 05-18 A Linux-like kernel in a browser tab - deep dive in the BrowserPod architecture (labs.leaningtech.com)
240. 16バイトのx86デモ：音付きマトリックス・レイン Lobste Comment 05-18 A 16-byte x86 demo: Matrix rain with sound (hellmood.111mb.de)
241. オープンソースOSへの資金提供に伴う課題 Lobste Comment 05-18 Complications of funding an open source operating system (posixcafe.org)
242. OpenCode、Llama.cpp、Qwen3.6を使って、自分のコードのバグを見つけよう Lobste Comment 05-18 Find bugs in YOUR code using OpenCode, Llama.cpp and Qwen3.6 (wtarreau.blogspot.com)
243. FediMeteo、HAProxy、そしてsnacスレッドを無駄にしないための工夫 Lobste Comment 05-18 FediMeteo, HAProxy, and the art of not wasting snac threads (it-notes.dragas.net)
245. カルビン - 決定論、分散型ACIDトランザクション (2020) Lobste Comment 05-18 Calvin - Determinism, Distributed ACID transactions (2020) (www.mydistributed.systems)
247. spr: GitHubに積み上がったプルリクエスト Lobste Comment 05-18 spr: Stacked Pull Requests on GitHub (github.com)
248. ある研究者によると、マイクロソフトはBitLockerに密かにバックドアを仕込んでいたという Lobste Comment 05-18 Researcher says Microsoft secretly built a backdoor into BitLocker (www.techspot.com)
249. Claude Code を用いた Android マルウェアのリバースエンジニアリング Lobste Comment 05-18 Reverse engineering Android malware with Claude Code (zanestjohn.com)
250. Macで『Grateful Dead: D2S2』を再生する（2022年） Lobste Comment 05-18 Reversing ‘Grateful Dead: D2S2’ on Mac (2022) (blog.os9.ca)
251. Rustの非同期処理とARMの汎用タイマー Lobste Comment 05-18 Rust async and the ARM generic timer (thejpster.org.uk)
252. Emacsの革新的なUIとして、ewwをお勧めしてもよろしいでしょうか？ Lobste Comment 05-18 May I recommend eww for Emacs’s innovative UI? (www.matem.unam.mx)
253. FPGAを用いて科学計算用電卓を一から設計する Lobste Comment 05-18 Designing a Scientific Calculator from scratch in FPGA (baltazarstudios.com)
254. フロッピーディスクに収まる――小さなソフトウェアのためのマニフェスト Lobste Comment 05-18 Fits on a Floppy - A Manifesto for Small Software (fitsonafloppy.com)
255. postmarketOS 2026年4月版：新しい起動画面 Lobste Comment 05-18 postmarketOS in 2026-04: new boot splash (postmarketos.org)
257. Bitsocial：ソーシャルアプリ向けオープンソースP2Pネットワーク Lobste Comment 05-18 Bitsocial: Open Source P2P Network for Social Apps (bitsocial.net)
259. バンの問題は、公然と進行しているのかもしれない Lobste Comment 05-18 Bun''s problem may be developing in the open (00f.net)
263. クロード・コード氏は、Linux上でAdobe Lightroomを動作させることに成功した Lobste Comment 05-17 Claude Code managed to get Adobe Lightroom working on Linux (github.com)
264. テキストが必要になるまでは、ずっとネイティブのまま Lobste Comment 05-17 Native all the way, until you need text (justsitandgrin.im)
265. ヨーロッパの魅力を体験しよう — ヨーロッパの製品やサービスを発見 Lobste Comment 05-17 Go European — Discover European products and services (www.goeuropean.org)
267. Fast16：スタックスネット以前の妨害ツールは、核兵器シミュレーションを妨害するために開発された Lobste Comment 05-17 Fast16: Pre-Stuxnet Sabotage Tool Was Built to Subvert Nuclear Weapons Simulations (www.security.com)
268. PyCon US 2026 パッケージング・サミットの振り返り Lobste Comment 05-17 PyCon US 2026 Packaging Summit Recap (discuss.python.org)
270. DeepSeek-V4-Flashの登場により、LLMのステアリングが再び注目を集めている Lobste Comment 05-17 DeepSeek-V4-Flash means LLM steering is interesting again (www.seangoedecke.com)
273. Bazelのリモートキャッシュにおけるコンテンツ定義型チャンキング Lobste Comment 05-17 Content-defined chunking in Bazel''s remote cache (www.buildbuddy.io)
274. Hyperpolyglot Lisp：Common Lisp、Racket、Clojure、Emacs Lisp Lobste Comment 05-17 Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
275. 「The Piece Table」――テキストエディタの陰の立役者 Lobste Comment 05-17 The Piece Table - the Unsung Hero of Your Text Editor (dev.to)
278. トミー・チューターと1983年の家庭用コンピュータ事情 Lobste Comment 05-17 The Tomy Tutor and the state of 1983 home computers (oldvcr.blogspot.com)
279. 『Dusklight』名作アドベンチャーに再び光を Lobste Comment 05-17 Dusklight • Restoring light to a classic adventure (twilitrealm.dev)
280. Django デバッグツールバーを有効にするチェックボックス Lobste Comment 05-17 A checkbox to enable the Django debug toolbar (mdk.fr)
281. OpenBSDにおけるMAP-E CEの試験的サポート（フィードバック） Lobste Comment 05-17 experimental OpenBSD MAP-E CE support (feedback) (git.sr.ht)
282. 「サブスクリプション・ボンビング」：メールへの攻撃 Lobste Comment 05-17 Subscription Bombing: Email under Attack (cacm.acm.org)
283. ラバランプの無意味さ：ランダムとは本当に何を意味するのか Lobste Comment 05-17 The Futility of Lava Lamps: What Random Really Means (loup-vaillant.fr)
285. triad：River Wayland コンポジター向けのデータ指向ウィンドウマネージャー Lobste Comment 05-16 triad: data-oriented window manager for the River Wayland compositor (github.com)
286. 最近のカーネル脆弱性、攻撃対象領域の縮小、IPSECの例 Lobste Comment 05-16 Recent Kernel exploits, attack surface reduction, example IPSEC (www.openwall.com)
287. システムプログラミング入門、第1部：プログラマーはプログラムを書く (2025) Lobste Comment 05-16 Starting Systems Programming, Pt 1: Programmers Write Programs (2025) (eblog.fly.dev)
288. Unix/Linux向けX11用の、90年代風のKeygen風ツール Lobste Comment 05-16 A 90''s era Keygen-like for X11 for Unix/Linux (github.com)
289. CSSのみを使用してテーマごとの色を指定するいくつかの方法 Lobste Comment 05-16 A few ways of specifying per-theme colours in only CSS (chrismorgan.info)
290. BunのRustによるリライトについての私の考え Lobste Comment 05-16 My Thoughts on Bun''s Rust Rewrite (en.liujiacai.net)
291. 「Virtual Bevy Meetup 13」の録画動画をYouTubeで公開しました Lobste Comment 05-16 Virtual Bevy Meetup 13 Recordings now on YouTube (rustunit.com)
293. 安価なスマートドアベルにより、車両全体でのアカウント乗っ取りや通話の乗っ取りが可能になる Lobste Comment 05-16 Cheap smart doorbell allows fleet-wide account takeover and call hijacking (www.abgeo.dev)
296. Windows XPのデスクトップのようにウィキペディアを閲覧する Lobste Comment 05-16 Explore Wikipedia Like a Windows XP Desktop (explorer.samismith.com)
297. Rust を使用して Godot の .tres ファイルを解析し、リソースグラフを走査する Lobste Comment 05-16 Using Rust to parse Godot .tres files and walk the resource graph (assethoard.com)
298. 独自のコンテンツ配信ネットワーク（CDN）を立ち上げる Lobste Comment 05-16 Starting my own Content Delivery Network (www.youtube.com)