4. 人間の数学者は、反例によってその主張を覆されつつある Lobste Comment 06:16 Human mathematicians are being outcounterexampled (xenaproject.wordpress.com)
5. Gnutellaがクエリトラフィックに対応するためにどのように拡張したか Lobste Comment 05:51 How Gnutella Scaled to Handle Query Traffic (rickcarlino.com)
6. Postgres 19 の圧縮：pglz から LZ4 へ Lobste Comment 05:48 Postgres 19 Compression: from pglz to LZ4 (www.crunchydata.com)
7. SleeperGem：RubyGemsのサプライチェーン攻撃が、活動停止中のメンテナアカウントを標的にしている Lobste Comment 05:39 SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts (www.aikido.dev)
8. Wolfram MathWorld 掲載のヤコビアン予想 Lobste Comment 05:32 Jacobian Conjecture from Wolfram MathWorld (mathworld.wolfram.com)
10. Linuxカーネルのゼロデイ脆弱性を追う――限定的なUAFから物理メモリの読み書きまで Lobste Comment 04:15 A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W (1day.dev)
11. リアルタイムデータベースなんて、誰が必要とするのでしょうか？ Lobste Comment 03:52 Who needs a real-time database? (dataintellect.com)
12. TLA における MVCC のシリアライズ可能性への拡張 (2024) Lobste Comment 01:53 Extending MVCC to be serializable, in TLA (2024) (surfingcomplexity.blog)
16. EUは、ビザ免除の旅行を実現するため、私たちの最も機密性の高いデータを米国に売却しようとしている Lobste Comment 07-20 The EU is about to sell our most sensitive data to the US for visa-free travel (edri.org)
17. 4社のコーディングエージェントベンダーにまたがる7件のサンドボックス脱出の脆弱性 Lobste Comment 07-20 7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors (www.pillar.security)
18. Rust for Morello：安全でないコードであっても常に確保されるメモリ安全性 Lobste Comment 07-20 Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (drops.dagstuhl.de)
19. メタガベージコレクション：OCamlのGCを使ってRustのGCを行う Lobste Comment 07-20 Meta Garbage Collection: Using OCaml''s GC to GC Rust (soteria-tools.com)
20. LLMを活用した検証によるLinuxのネットワークスタックにおけるバグの排除 Lobste Comment 07-20 Using LLM-based Verification to Eliminate Bugs in Linux''s Network Stack (www.basis.ai)
22. 2026年にAmigaOSの開発環境を構築する Lobste Comment 07-20 Building an AmigaOS Development Environment in 2026 (turtleware.eu)
25. クロードは、ヤコビアン予想に対する反例を発見した。 Lobste Comment 07-20 Claude found a counterexample to the Jacobian Conjecture (news.ycombinator.com)
26. アンチエイリアシングのためのスキャンラインエッジフラグアルゴリズム Lobste Comment 07-20 Scanline edge-flag algorithm for antialiasing (mlab.taik.fi)
27. 遊びとしてのファジング - snac2における認証不要のサービス拒否（DoS） Lobste Comment 07-20 Fuzzing for fun - unauthenticated denial of service in snac2 (nullenvk.pl)
28. 水冷式ベッド用にAPIクライアントを作成しました Lobste Comment 07-20 I wrote an API client for my water-cooled bed (tinkering.xyz)
30. 古いソフトウェアバージョンのバグ報告については、誰が責任を負うのでしょうか？ Lobste Comment 07-20 Who’s responsible for bug reports on old software versions? (pointieststick.com)
31. Cagire - Forthベースのライブコーディング・シーケンサー Lobste Comment 07-20 Cagire - Forth-based live coding sequencer (cagire.raphaelforment.fr)
34. Proxmox VE でマイクロVMを簡単に実行する方法 Lobste Comment 07-20 Running microVMs in Proxmox VE, The Easy Way (taoofmac.com)
36. Leanを用いた形式検証入門（第1部） Lobste Comment 07-20 Introduction to Formal Verification with Lean (Part 1) (hashcloak.com)
38. CodeSizer：なぜそのバイナリファイルはこんなに大きいのか？ Lobste Comment 07-19 CodeSizer: Why is that binary so big? (github.com)
40. Thunderbird用Gitメールパッチレビューアドオン Lobste Comment 07-19 Git email patch review addon for Thunderbird (mccd.space)
42. 最近、よく読んでいるお気に入りのブログはありますか？ Lobste Comment 07-19 What is your favorite blog to read recently? (lobste.rs)
43. Skredは、MIDI対応のシンセサイザーおよびドラムマシンの構築キットとなりました Lobste Comment 07-19 Skred is now a MIDI aware synth and drum machine construction kit (lobste.rs)
46. エミュレーションのさらなる魅力――Windowsを起動できるIntel Itanium（IA-64）エミュレータ Lobste Comment 07-19 More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows (raymii.org)
47. 数学者たちは、数字を掛ける最も速い方法をいまだに知らない Lobste Comment 07-19 Mathematicians still don’t know the fastest way to multiply numbers (www.scientificamerican.com)
48. 運河の底にあるコンピューター Lobste Comment 07-19 The computer at the bottom of a canal (negroniventurestudios.com)
49. ハードコア・インディーウェブ：1日わずか0.01ドルで、100％独立して自分のウェブサイトを運営しよう Lobste Comment 07-19 Hardcore IndieWeb: Run your own website 100% independently for only 0.01/day (www.neatnik.net)
50. ソフトウェアとAI ― 計画型と即興型 Lobste Comment 07-19 Software and AI - Plotting vs. Pantsing (pyjarrett.github.io)
52. Linuxスケジューラの研究、そしてメトリクスが重要な理由 Lobste Comment 07-19 Studying Linux Schedulers, and Why Metrics Matter (pradyun.net)
53. 「カタパルト法」による人間のようなニューラルネットワーク Lobste Comment 07-19 Human-like Neural Nets by Catapulting (gwern.net)
54. リピータブル・リードとスナップショット分離 Lobste Comment 07-19 Repeatable Read vs Snapshot Isolation (jaymcor.github.io)
55. Gleamは、tangled（ATプロトコルベースのフォージ）にソースコードをミラーリングしました。 Lobste Comment 07-19 Gleam has mirrored its source code on tangled (an AT-protocol based forge) (tangled.org)
56. OpenSSL HollowByte：11バイトに潜むDoS攻撃 Lobste Comment 07-19 OpenSSL HollowByte: A DoS Hiding in 11 Bytes (sec.okta.com)
57. 『Half a Second』――XZのバックドアに関する本 Lobste Comment 07-19 "Half a Second" - a book on the XZ backdoor (www.half-second.com)
60. wp2shell：WordPress コアにおける認証前のリモートコード実行（RCE）の脆弱性 Lobste Comment 07-19 wp2shell: Pre Authentication RCE in WordPress Core (wp2shell.com)
62. AIコードのレビューは、妥当な論拠とはならない Lobste Comment 07-19 Reviewing AI Code Is Not A Viable Argument (softwaremaxims.com)
63. 先月、私の最も頼りになるシニアエンジニアが辞めてしまいました Lobste Comment 07-19 My Best Senior Engineer Quit Last Month (blog.stackademic.com)
66. さようなら。そして、これまでの「Bikesheds」に感謝します。 Lobste Comment 07-18 Goodbye, and thanks for all the Bikesheds (queue.acm.org)
69. NextBSDプロジェクトが復活：FreeBSDカーネル上で動作するAppleのFOSSユーザースペースツール Lobste Comment 07-18 NextBSD project revived: Apple''s FOSS user-space tools on the FreeBSD kernel (nextbsd.org)
70. 2026年のSSH経由のPowerShell：Windows上のOpenSSH、鍵認証、およびPowerShell 7のリモート処理 Lobste Comment 07-18 PowerShell over SSH in 2026: OpenSSH on Windows, Key Auth, and PowerShell 7 Remoting (mattmichie.com)
71. gcc も clang も、C 標準に準拠していません。 Lobste Comment 07-18 neither gcc nor clang are compliant with standard c (sebsite.pw)
74. Aurora DSQL：スケーラブルなマルチリージョン対応OLTP Lobste Comment 07-18 Aurora DSQL: Scalable, Multi-Region OLTP (arxiv.org)
82. topcoat：Webアプリ構築のための、必要な機能がすべて揃ったフレームワーク Lobste Comment 07-18 topcoat: A batteries-included framework for building web apps (github.com)
84. Lobsters：matheusmoreira氏への「Lone Lisp」に関するインタビュー Lobste Comment 07-18 Lobsters Interview with matheusmoreira about Lone Lisp (alexalejandre.com)
85. 『The Java Story』公式ドキュメンタリー Lobste Comment 07-18 The Java Story The Official Documentary (www.youtube.com)
86. 認識論的対等性：差分プライバシーの評価指標としての再現性 Lobste Comment 07-18 Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy (cacm.acm.org)
88. 『フォールティ・タワーズ』、バイブ・シックネス、そしてバイブ・ボブスレー Lobste Comment 07-18 Faulty Towers, vibe sickness, and the vibe bobsled (dustycloud.org)
89. 安定化された「チェイスカメラ」搭載ローバーの製作 Lobste Comment 07-17 Building a Stabilized "Chase Camera" Rover (transistor-man.com)
90. サイバーセキュリティ分野において、主要なオープンウェイトモデルは最先端からどれほど遅れているのか？ Lobste Comment 07-17 How Far Behind the Frontier are Leading Open Weight Models on Cyber? (www.aisi.gov.uk)
91. 『ジャーニー・トゥ・ルート』第1話：マグレビングの王 Lobste Comment 07-17 Journey to Root, Episode I: The Maglev King (blog.calif.io)
92. Fedichat - Fediverse向けコミックチャット Lobste Comment 07-17 Fedichat - Comic Chat for the Fediverse (lambadalambda.github.io)
93. 開発者の生産性に関する実験の設計を変更します Lobste Comment 07-17 We are Changing our Developer Productivity Experiment Design (metr.org)
95. Haskell における木構造の幅優先展開 (2025) Lobste Comment 07-17 Unfolding trees breadth-first in Haskell (2025) (blog.poisson.chat)
96. PACT：Web向け匿名認証情報 – Mozilla Hacks Lobste Comment 07-17 PACT: Anonymous Credentials for the Web – Mozilla Hacks (hacks.mozilla.org)
98. 地球の自転記録を受け、10月に「負の閏秒」を回避するための採決が行われる Lobste Comment 07-17 Earth Rotation Records Spur October Vote to Avert Negative Leap Second (www.techtimes.com)
99. 世界中の「GUARD法」および年齢確認法を阻止しよう — フリーソフトウェア財団 — フリーソフトウェアの実現に向けて共に取り組む Lobste Comment 07-17 Stop the GUARD Act and age verification laws worldwide — Free Software Foundation — Working together for free software (www.fsf.org)
100. 私たちはRustでPostgresを開発しています。データベース版のLLVMを活用しています。 Lobste Comment 07-16 We''re building Postgres in Rust. Using the LLVM of databases (turso.tech)
101. ワイドポインタを使用し、トランポリンを使わないGCCのネストされた関数の利用 II Lobste Comment 07-17 Using GCC''s Nested Functions with Wide Pointers and no Trampolines II (uecker.codeberg.page)
102. 音楽の違法ダウンロードがもたらした失われた喜び Lobste Comment 07-16 The Lost Joy of Music Piracy (www.pigeonsandplanes.com)
103. 私が独自のAIMサーバーを運用している方法は以下の通りです Lobste Comment 07-17 Here''s how I host my own AIM server (veronicaexplains.net)
104. バッテリーパック：クレートについて話そうよ、ベイビー Lobste Comment 07-17 Battery packs: Let''s talk about crates, baby (smallcultfollowing.com)
106. 大儲けしてやるぞ Lobste Comment 07-17 We''re Going to Make Out Like Bandits (www.rocketpoweredjetpants.com)
107. 「脆弱性の大惨事」から、バグ修正だけで抜け出すことはできない Lobste Comment 07-16 You can''t bug fix your way out of the vulnpocalypse (alexgaynor.net)
109. LLMを批判する人たちの言うことは正しい。それでも私はLLMを使っている Lobste Comment 07-16 The LLM Critics Are Right. I Use LLMs Anyway (www.theocharis.dev)
110. 「Microsoft Comic Chat」がオープンソース化されました Lobste Comment 07-17 Microsoft Comic Chat is now open source (opensource.microsoft.com)
111. 確率論に基づいた、チャンピオンシップレベルの実力を発揮する新しいコンピュータ用スクラブルエンジン（2021年） Lobste Comment 07-16 A novel computer Scrabble engine based on probability that performs at championship level (2021) (upcommons.upc.edu)
112. perldelta - Perl v5.44.0の新機能 Lobste Comment 07-16 perldelta - what is new for perl v5.44.0 (metacpan.org)
113. MLやOCamlがコンパイラの作成に適している理由 Lobste Comment 07-16 Why ML/OCaml are good for writing compilers (flint.cs.yale.edu)
115. （Linux）では、どのgdbフロントエンドがお好みですか？ Lobste Comment 07-16 What gdb frontend do you prefer (linux) (lobste.rs)
117. 「Rust-to-Zig」リライトの進捗状況 Lobste Comment 07-16 How Our Rust-to-Zig Rewrite is Going (rtfeldman.com)
118. 「メモリコンパイラ」が実際に意味するもの：ビットセルからGDSタイリングまで Lobste Comment 07-16 What "Memory Compiler" Actually Means: From Bitcells to GDS Tiling (thecloudlet.github.io)
121. Gecode 6.3.0 および 6.4.0 がリリースされました Lobste Comment 07-16 Gecode 6.3.0 and 6.4.0 are released (zayenz.se)
122. Guix：バイナリからパッケージを作成する Lobste Comment 07-16 Guix: creating a package from a binary (aloysberger.com)
123. Mesonのネイティブ・ラップ・エコシステムに、最新のパッケージ管理を導入する Lobste Comment 07-16 Bring modern package management to Meson''s native wrap ecosystem (collider.ee)
124. 適用されていないカーネルセキュリティパッチ用のフィルタリングエンジンとデータベース Lobste Comment 07-16 A Filtering engine and DB for unpropagated kernel security patches (patchless.natey.sh)
125. ActivityPubにE2EEが実装されるまでの道のり Lobste Comment 07-16 The Long Tail of Work Left Until ActivityPub Has E2EE (soatok.blog)
127. カーネル開発におけるLLMの利用について、ライナス・トーバルズ氏 Lobste Comment 07-16 Linus Torvalds on LLM usage in kernel development (lore.kernel.org)
129. SQLite でのフルテーブルスキャンの検出 Lobste Comment 07-16 Detecting Full Table Scans With SQLite (tenderlovemaking.com)
131. elfuse: macOS Apple Silicon上でArm64/x86-64のLinux ELFバイナリを実行する Lobste Comment 07-16 elfuse: Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon (github.com)
133. エピック社との和解が取り下げられたことを受け、来週Google Playにサードパーティのアプリストアが登場する Lobste Comment 07-16 Third-party app stores coming to Google Play next week as Epic settlement withdrawn (arstechnica.com)
134. AIデータセンターと富の集中 Lobste Comment 07-16 AI Data Centers and the Concentration of Wealth (www.schneier.com)
138. 敵対的セルフプレイによるコーディングエージェントの「スロープ」の解消 Lobste Comment 07-16 Killing Coding Agent Slop With Adversarial Self-Play (usetelos.ai)
139. 「ELIZA」の誕生 ― 最初のチャットボットがAIの未来をどう形作ったか Lobste Comment 07-15 Inventing ELIZA - How the First Chatbot Shaped the Future of AI (mitpress.mit.edu)
140. IT業界の職場で労働組合を結成する方法 Lobste Comment 07-15 How to unionize your tech workplace (www.computerworld.com)
141. マイクロソフト、無効化できないWindows GDIDデバイス識別子を認める――FBIの訴訟書類に記載 Lobste Comment 07-15 Microsoft Confirms Windows GDID Device Identifier That Cannot Be Disabled, Documented in FBI Case Filing (www.ghacks.net)
142. FreeBSD 16、ベースシステムから最後のGPLコードを削除 Lobste Comment 07-15 FreeBSD 16 Retires The Last Of Its GPL Code From Its Base System (www.phoronix.com)
143. ObeliskとTemporalおよびRestateの比較 Lobste Comment 07-15 Comparing Obelisk with Temporal and Restate (obeli.sk)
144. K&R Cについて、以前は知らなかったことがいろいろある Lobste Comment 07-15 a bunch of stuff i used to not know about K&R C (sebsite.pw)
147. 『Over the Edge 2.0』：マイクロソフトのデザイン戦略は依然としてブラウザの選択肢を狭めている Lobste Comment 07-15 Over the Edge 2.0: Microsoft’s Design Tactics Still Undermine Browser Choice (research.mozilla.org)
148. データの順序：デフォルト設定、パフォーマンス、決定性、およびページング Lobste Comment 07-15 The Order of Data: defaults, performance, determinism & paging (binaryigor.com)
149. @clickhouse/rowbinary: ライブラリがパーサーコンパイラでもある場合 Lobste Comment 07-15 @clickhouse/rowbinary: when your library is also a parser compiler (clickhouse.com)
152. ソフトウェアがユーザーを軽視している場合、共感や喜びなど何の意味も持たない Lobste Comment 07-15 Empathy and delight mean nothing when the software is disrespectful (productpicnic.beehiiv.com)
153. 完全な情報開示：Cursorにおける任意のコード実行 Lobste Comment 07-15 Full disclosure: Arbitrary code execution in Cursor (mindgard.ai)
154. リソース制約環境におけるコンピューティング 2026 Lobste Comment 07-15 Low Resource Computing 2026 (lrc.cs.dartmouth.edu)
158. スマート家電の状態を確認したほうがいいかもしれません Lobste Comment 07-15 You should probably check on your smart appliances (xeiaso.net)
160. Emacs Docs：Emacsにふさわしい、現代的なドキュメントサイト Lobste Comment 07-15 Emacs Docs: The modern documentation website Emacs deserves (emacsdocs.org)
162. バスティーユの日にぴったりの頼れるブートキー（Ventoyの代替ツール） Lobste Comment 07-15 A Trusty Boot Key (Ventoy Alternative), for Bastille Day (codeberg.org)
166. Linux での入力レイテンシの測定：X11 対 Wayland、VRR、および DXVK Lobste Comment 07-15 Measuring input latency on Linux: X11 vs Wayland, VRR, and DXVK (marco-nett.de)
167. Linux向けハイパーバイザー（なし）によるDenuvoの回避手法 Lobste Comment 07-15 A Hypervisor(-less) Denuvo bypass for Linux (cs.rin.ru)
168. whatcable：Macに接続された各USB-Cケーブルが実際にどのような機能を持つかを、わかりやすい言葉で教えてくれるmacOS用メニューバーアプリ Lobste Comment 07-15 whatcable: macOS menu bar app that tells you, in plain English, what each USB-C cable plugged into your Mac can actually do (github.com)
174. C26のリフレクションを用いた美しい型消去 Lobste Comment 07-14 Beautiful Type Erasure with C26 Reflection (ryanjk5.github.io)
178. 6倍高速な二分探索：コンパイル済みコードから機械的共感へ Lobste Comment 07-14 6 faster binary search: from compiled code to mechanical sympathy (pythonspeed.com)
179. 『ジュラシック・パーク』のコンピューターを徹底的に掘り下げる Lobste Comment 07-14 Jurassic Park computers in excruciating detail (fabiensanglard.net)
180. git-absorb: git commit --fixup と同様ですが、自動的に実行されます Lobste Comment 07-14 git-absorb: git commit --fixup, but automatic (github.com)
181. ジョブキューは、一見単純そうに見えて実は扱いが難しい Lobste Comment 07-14 Job queues are deceptively tricky (typesanitizer.com)
182. CSS-DOS — CSSでできたコンピュータ Lobste Comment 07-14 CSS-DOS — A computer made of CSS (css-dos.ahmedamer.co.uk)
184. git history コマンドには、もっと注目すべきだ Lobste Comment 07-14 The git history command deserves more attention (lalitm.com)
186. fred：すべてをC言語で実装したテキストエディタ - Handmade Network Expo 2026 Lobste Comment 07-14 fred: A text editor that uses C for everything - Handmade Network Expo 2026 (www.youtube.com)
187. 図書館はエラーを記録すべきか、それとも伝播すべきか？ Lobste Comment 07-14 Should Libraries Log or Propagate Errors? (lobste.rs)
188. 靴底の擦り傷からニューヨーク市民の身長を推定する Lobste Comment 07-14 Estimating the heights of New Yorkers from their scuff marks (blog.jse.li)
190. 2つ目のミドルウェアを追加したところ、TypeScriptの型が破綻してしまいました Lobste Comment 07-14 Adding a second middleware broke our typescript types (www.inngest.com)
191. lobste.rs は現在、SQLite 上で動作しています Lobste Comment 07-14 lobste.rs is now running on SQLite (lobste.rs)
192. ARPへの別れ：IPv6専用ネットワークにおけるIPv4サービス Lobste Comment 07-14 A Farewell to ARPs: IPv4 Service on IPv6-Only Networks (labs.ripe.net)
193. FreeBSoD：言語モデルを活用したカーネルのバグの発見と悪用（全2回の第1回） Lobste Comment 07-14 FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 1 of 2) (www.praetorian.com)
194. FreeBSoD：言語モデルを活用したカーネルのバグの発見と悪用（全2回の第2回） Lobste Comment 07-14 FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 2 of 2) (www.praetorian.com)
199. 静的なテキスト要素には aria-label を使用しないでください（2024年） Lobste Comment 07-13 Don’t Use aria-label on Static Text Elements (2024) (benmyers.dev)
200. NFSが登場する以前、初期のSunOSではディスクレスワークステーションがどのように機能していたのか Lobste Comment 07-13 How early SunOS did diskless workstations before NFS (utcc.utoronto.ca)
202. データ指向設計による高性能パーサーの構築 Lobste Comment 07-13 Engineering High-Performance Parsers with Data-Oriented Design (arshad.fyi)
204. プログラミング言語における「目的を持った構文」 Lobste Comment 07-13 Syntax with Purpose in a Programming Language (www.youtube.com)
206. 「ストブ・クラフト指数」：ローリング・コンピュータが「クラフト」を集める Lobste Comment 07-13 The Stob Cruft Index: a rolling computer gathers "cruft" (www.doc.ic.ac.uk)
207. Zigの創業者、物事をありのままに語る Anthropicは煙幕を張る Lobste Comment 07-13 Zig Creator Calls Spade a Spade, Anthropic Blows Smoke (raymyers.org)
208. PRQLを使用して任意のHTMLテーブルをクエリするWebExtension Lobste Comment 07-13 WebExtension to query any HTML table with PRQL (avlasov.cabal.run)
209. 「Bobbin」のご紹介：Tangled向けのディスクレス、API専用AppView Lobste Comment 07-13 Introducing Bobbin: A diskless, API-only AppView for Tangled (blog.tangled.org)
210. WWDC 27：SwiftUI を使った Mac 向けアプリの構築に関する最新情報 Lobste Comment 07-13 A WWDC 27 Update on Building a Mac-assed App with SwiftUI (pfandrade.me)
211. 『Hacker Fables』 - マニュアルページとして読める風刺的なサイバーパンク中編小説 Lobste Comment 07-13 Hacker Fables - A satirical cyberpunk novella you can read as a man page (hacker-fables.onrender.com)
212. クラウド上での効率的な決定論的シミュレーション Lobste Comment 07-13 Efficient deterministic simulation in the Cloud (youtu.be)
213. 「役に立たない」if文でコードのパフォーマンスを4倍に高める Lobste Comment 07-13 Quadrupling code performance with a "useless" if (purplesyringa.moe)
215. OSごとにブラウザの演算処理は異なり、ボット対策システムはビットを読み取る Lobste Comment 07-13 Browsers Do Math Differently on Every OS; Anti-Bot Systems Read the Bits (scrapfly.dev)
216. 「Make It Right」― CTRANによる今後の取り組み Lobste Comment 07-13 Make It Right - Next Steps With CTRAN (thelastpsion.com)
217. 敵を知れ：AIを活用したソフトウェア開発への批判的考察 Lobste Comment 07-13 Know thine enemy: A critical engagement with AI-assisted software development (medium.com)
218. InfiniteDiffusion：オープンワールドの地形生成における学習による忠実度と手続き的実用性の架け橋 Lobste Comment 07-13 InfiniteDiffusion: Bridging Learned Fidelity and Procedural Utility for Open-World Terrain Generation (xandergos.github.io)
219. Rustのアリーナを使用して、3年前から抱えていた問題を解決する Lobste Comment 07-13 Closing a three-year-old issue using Rust arenas (giacomocavalieri.me)
220. 「スロー・ソフトウェア：高レイテンシシステム開発の意義」 Lobste Comment 07-13 Slow Software: The Case for High-latency Systems Development (www.sigops.org)
221. 「物にはそれぞれの居場所がある：私が仕事を管理する方法」 Lobste Comment 07-12 A Place for Everything: How I Track Work (mikezornek.com)
223. モトローラのMR2600ルーターにおける認証不要のRCE Lobste Comment 07-12 Unauthenticated RCE in Motorola''s MR2600 Router (mrbruh.com)
224. EF Core 11 では、分割クエリの実行速度が向上します Lobste Comment 07-12 EF Core 11 makes your split queries faster (steven-giesel.com)
225. ghostel.el - libghostty を利用したターミナルエミュレータ Lobste Comment 07-12 ghostel.el - Terminal emulator powered by libghostty (dakra.github.io)
226. Appleのハッキング ― SQLインジェクションによるリモートコード実行 — ProjectDiscoveryブログ Lobste Comment 07-12 Hacking Apple - SQL Injection to Remote Code Execution — ProjectDiscovery Blog (projectdiscovery.io)
227. Windows 98のOEMインストール版を自作する Lobste Comment 07-12 Make your own Windows 98 OEM Install (www.youtube.com)
228. Haskellにおけるデータ主導型プログラミング（SICP 2.4.3） Lobste Comment 07-12 Data-directed programming in Haskell (SICP2.4.3) (entropicthoughts.com)
229. コンピュータサイエンス・オフコース ― 理論構築としてのプログラミング Lobste Comment 07-12 Computer Science Off Course - Programming as Theory Building (rss.com)
233. コードベースが理解できないことへの弁明 Lobste Comment 07-12 In defense of not understanding your codebase (www.seangoedecke.com)
235. 反応：プログラムの出力をスキャンして繰り返されるパターンを検出し、それに応じて処理を行うデーモン Lobste Comment 07-12 reaction: A daemon that scans program outputs for repeated patterns, and takes action (framagit.org)
238. RISCBoy RISC-V 自作ポータブルゲーム機 Lobste Comment 07-12 RISCBoy RISC-V homebrew portable game console (github.com)
239. アクセシビリティのためのコントラスト比カラーグリッドのようなもの Lobste Comment 07-12 The accessible contrast ratio colour grid thing (beeps.website)
241. MiMo-V2.5シリーズにおけるフルパイプライン推論最適化 Lobste Comment 07-12 Full-Pipeline Inference Optimization for MiMo-V2.5 Series (mimo.xiaomi.com)
243. 『Zig』のゲーム開発機能は、実はかなり優れている（2025年） Lobste Comment 07-12 Gamedev in Zig is actually pretty good (2025) (www.youtube.com)
244. Handsum：LQIP画像ファイル形式 Lobste Comment 07-12 Handsum: An LQIP Image File Format (nigeltao.github.io)
251. NetBSDをデスクトップとして使ってみたところ、良い意味で90年代にタイムスリップしたような気分になった Lobste Comment 07-11 I tried NetBSD as a desktop, and it felt like stepping into the ''90s in a good way (www.howtogeek.com)
255. Rustで書き直されたPostgresは、Postgresの回帰テストを100％通過するようになった Lobste Comment 07-11 Postgres rewritten in Rust, now passing 100% of the Postgres regression tests (github.com)
258. すべてのPython開発者が知っておくべきCPython ABIに関する知識 Lobste Comment 07-11 What Every Python Developer Should Know About the CPython ABI (labs.quansight.org)
259. 7年間の運用を経て、Scarfはやむを得ずHaskellからの移行を余儀なくされました Lobste Comment 07-11 After 7 years in production, Scarf has reluctantly moved away from Haskell (avi.press)
261. 増分型ソフトウェア開発環境のための実用的なアルゴリズム Lobste Comment 07-10 Practical Algorithms for Incremental Software Development Environments (www2.eecs.berkeley.edu)
263. APL用の簡単なインタプリタを作ってみましょう Lobste Comment 07-10 Let''s build a simple interpreter for APL (mathspp.com)
264. Cpp2Rust：Cから安全なRustへの自動変換 Lobste Comment 07-10 Cpp2Rust: Automatic Translation of C to Safe Rust (github.com)
265. C言語およびZigにおける高速な画像・動画の忠実度測定指標 Lobste Comment 07-10 Fast Image & Video Fidelity Metrics in C, Zig (github.com)
266. Superoptimizer――最小のプログラムを覗いてみる Lobste Comment 07-10 Superoptimizer -- A Look at the Smallest Program (dl.acm.org)
268. 人間とエージェントのためのRepo-Localドキュメントシステム Lobste Comment 07-10 Repo-Local Documentation System for Humans & Agents (gist.github.com)
271. レビュー：iodéOSは、Googleの要素を排除したスムーズなAndroid体験を提供する Lobste Comment 07-09 Review: iodéOS offers a frictionless de-Googled Android experience (www.osnews.com)
275. Elmアーキテクチャにおけるバッチジョブ Lobste Comment 07-10 A batch job, in The Elm Architecture (cekrem.github.io)
276. 配布妨害の試みに関する声明 Lobste Comment 07-10 Statement regarding attempted distribution sabotage (forum.openmandriva.org)
278. ロブスターズ mitchellhへのインタビュー Lobste Comment 07-09 Lobsters Interview with mitchellh (alexalejandre.com)
279. 長年のLinuxユーザーである私に、1か月間Windows 11だけを独占的に使うよう報酬を支払ってくれた。その体験記はこちらだ Lobste Comment 07-09 You paid me, a long-time Linux user, to use Windows 11 exclusively for a month: here’s how it went (www.osnews.com)
281. 物理ベース - PBR値データベース Lobste Comment 07-09 Physically Based - The PBR values database (physicallybased.info)
282. LLMとの連携のためのPrologライブラリ Lobste Comment 07-09 A Prolog library for interfacing with LLMs (github.com)
283. 『私はスタンリー・リーバーを殺していない：描き方（9frontと）』 Lobste Comment 07-09 I Did Not Kill Stanley Lieber: How to draw (with 9front) (triapul.cz)
284. PostgreSQLでパーティション化されていない列によるクエリ実行時にプリニングを実現する方法 Lobste Comment 07-09 How to Achieve Pruning When Querying by Non-Partitioned Columns in PostgreSQL (hakibenita.com)
285. 開発者がGitHubを離れ、Codebergやセルフホスティング型の代替サービスに移行している理由 Lobste Comment 07-09 Why developers are ditching GitHub for Codeberg and self-hosting alternatives (www.howtogeek.com)
286. 「Bun Rust」のリライトに関する私の考え Lobste Comment 07-09 My Thoughts on the Bun Rust Rewrite (andrewkelley.me)
291. キーゲン・チャーチ - 『オスクロ・ドミネ』 Lobste Comment 07-09 Keygen Church - Oscuro Domine (www.keygenchurch.com)
292. 楽しみと利益のために『MechCommander』の「左腕のバグ」を修正する Lobste Comment 07-09 Patching MechCommander’s “left arm bug” for fun and profit (mhloppy.com)
293. kparser - K用の軽量で読みやすいパーサー Lobste Comment 07-09 kparser - small, readable parser for K (github.com)
294. インタビュー：ドリュー・デヴォルトが語る、AI非搭載版のVimについて Lobste Comment 07-09 Interview: Drew DeVault on an AI-free version of Vim (jasonpolak.substack.com)
295. OpenMandriva、元貢献者がリポジトリを妨害したと主張 Lobste Comment 07-09 OpenMandriva Says Former Contributor Sabotaged Its Repositories (linuxiac.com)
297. DirtySlide - 1つの境界チェックの欠落からmacOSでroot権限を取得 Lobste Comment 07-09 DirtySlide - root on macOS from one missing bounds check (gracecondition.github.io)
298. SpaceWASM：NASA/JPLが開発した、宇宙機のシーケンス制御用Wasmインタプリタ Lobste Comment 07-09 SpaceWASM: NASA/JPL''s Wasm interpreter for spacecraft sequencing (github.com)
299. Multigres がプールされた接続における LISTEN/NOTIFY をどのようにサポートするか Lobste Comment 07-09 How Multigres Supports LISTEN/NOTIFY Across Pooled Connections (multigres.com)
300. 「Meerkat」のご紹介：世界的な合意形成に向けた実験 Lobste Comment 07-09 Introducing Meerkat: an experiment in global consensus (blog.cloudflare.com)