8. 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)
12. Rustで書き直されたPostgresは、Postgresの回帰テストを100％通過するようになった Lobste Comment 07-11 Postgres rewritten in Rust, now passing 100% of the Postgres regression tests (github.com)
15. すべてのPython開発者が知っておくべきCPython ABIに関する知識 Lobste Comment 07-11 What Every Python Developer Should Know About the CPython ABI (labs.quansight.org)
16. 7年間の運用を経て、Scarfはやむを得ずHaskellからの移行を余儀なくされました Lobste Comment 07-11 After 7 years in production, Scarf has reluctantly moved away from Haskell (avi.press)
18. 増分型ソフトウェア開発環境のための実用的なアルゴリズム Lobste Comment 07-10 Practical Algorithms for Incremental Software Development Environments (www2.eecs.berkeley.edu)
20. APL用の簡単なインタプリタを作ってみましょう Lobste Comment 07-10 Let''s build a simple interpreter for APL (mathspp.com)
21. Cpp2Rust：Cから安全なRustへの自動変換 Lobste Comment 07-10 Cpp2Rust: Automatic Translation of C to Safe Rust (github.com)
22. C言語およびZigにおける高速な画像・動画の忠実度測定指標 Lobste Comment 07-10 Fast Image & Video Fidelity Metrics in C, Zig (github.com)
23. Superoptimizer――最小のプログラムを覗いてみる Lobste Comment 07-10 Superoptimizer -- A Look at the Smallest Program (dl.acm.org)
25. 人間とエージェントのためのRepo-Localドキュメントシステム Lobste Comment 07-10 Repo-Local Documentation System for Humans & Agents (gist.github.com)
28. レビュー：iodéOSは、Googleの要素を排除したスムーズなAndroid体験を提供する Lobste Comment 07-09 Review: iodéOS offers a frictionless de-Googled Android experience (www.osnews.com)
32. Elmアーキテクチャにおけるバッチジョブ Lobste Comment 07-10 A batch job, in The Elm Architecture (cekrem.github.io)
33. 配布妨害の試みに関する声明 Lobste Comment 07-10 Statement regarding attempted distribution sabotage (forum.openmandriva.org)
35. ロブスターズ mitchellhへのインタビュー Lobste Comment 07-09 Lobsters Interview with mitchellh (alexalejandre.com)
36. 長年の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)
38. 物理ベース - PBR値データベース Lobste Comment 07-09 Physically Based - The PBR values database (physicallybased.info)
39. LLMとの連携のためのPrologライブラリ Lobste Comment 07-09 A Prolog library for interfacing with LLMs (github.com)
40. 『私はスタンリー・リーバーを殺していない：描き方（9frontと）』 Lobste Comment 07-09 I Did Not Kill Stanley Lieber: How to draw (with 9front) (triapul.cz)
41. PostgreSQLでパーティション化されていない列によるクエリ実行時にプリニングを実現する方法 Lobste Comment 07-09 How to Achieve Pruning When Querying by Non-Partitioned Columns in PostgreSQL (hakibenita.com)
42. 開発者がGitHubを離れ、Codebergやセルフホスティング型の代替サービスに移行している理由 Lobste Comment 07-09 Why developers are ditching GitHub for Codeberg and self-hosting alternatives (www.howtogeek.com)
43. 「Bun Rust」のリライトに関する私の考え Lobste Comment 07-09 My Thoughts on the Bun Rust Rewrite (andrewkelley.me)
49. 楽しみと利益のために『MechCommander』の「左腕のバグ」を修正する Lobste Comment 07-09 Patching MechCommander’s “left arm bug” for fun and profit (mhloppy.com)
50. kparser - K用の軽量で読みやすいパーサー Lobste Comment 07-09 kparser - small, readable parser for K (github.com)
51. インタビュー：ドリュー・デヴォルトが語る、AI非搭載版のVimについて Lobste Comment 07-09 Interview: Drew DeVault on an AI-free version of Vim (jasonpolak.substack.com)
52. OpenMandriva、元貢献者がリポジトリを妨害したと主張 Lobste Comment 07-09 OpenMandriva Says Former Contributor Sabotaged Its Repositories (linuxiac.com)
54. DirtySlide - 1つの境界チェックの欠落からmacOSでroot権限を取得 Lobste Comment 07-09 DirtySlide - root on macOS from one missing bounds check (gracecondition.github.io)
55. SpaceWASM：NASA/JPLが開発した、宇宙機のシーケンス制御用Wasmインタプリタ Lobste Comment 07-09 SpaceWASM: NASA/JPL''s Wasm interpreter for spacecraft sequencing (github.com)
56. Multigres がプールされた接続における LISTEN/NOTIFY をどのようにサポートするか Lobste Comment 07-09 How Multigres Supports LISTEN/NOTIFY Across Pooled Connections (multigres.com)
57. 「Meerkat」のご紹介：世界的な合意形成に向けた実験 Lobste Comment 07-09 Introducing Meerkat: an experiment in global consensus (blog.cloudflare.com)
58. LisaFPGA：FPGA内に実装されたApple Lisaコンピュータ Lobste Comment 07-08 LisaFPGA: the Apple Lisa computer implemented inside an FPGA (github.com)
60. ネイティブ速度のvLLMトランスフォーマーのモデリングバックエンド Lobste Comment 07-09 Native-speed vLLM transformers modeling backend (huggingface.co)
62. 最高のWebAssemblyランタイムとは、やはり「ランタイムなど存在しないこと」なのかもしれない Lobste Comment 07-09 The best WebAssembly runtime may still be no runtime at all (00f.net)
64. 『Eve Online』の「Carbon」エンジンがオープンソース化：Fenris Creationsがその理由を解説 Lobste Comment 07-08 Eve Online''s Carbon engine is now open source: Fenris Creations explains why (www.gamesindustry.biz)
65. Akamaiによる難読化されたbashスクリプトが、小売店を通じて消費者に提供されている Lobste Comment 07-08 Obfuscated bash script by Akamai being supplied to consumers via retail stores (tris.sherliker.net)
66. BotKit：TypeScript によるスタンドアロンの ActivityPub ボット Lobste Comment 07-08 BotKit: Standalone ActivityPub bots in TypeScript (botkit.fedify.dev)
68. GitLost：GitHubのAIエージェントをだまして非公開リポジトリを漏洩させた方法 Lobste Comment 07-08 GitLost: How We Tricked GitHub’s AI Agent into Leaking Private Repos (noma.security)
69. オープンソースソフトウェアの独立性を損なうことなく資金を提供する Lobste Comment 07-08 Funding open-source software without compromising it (yorickpeterse.com)
70. Unicodeの転写規則はチューリング完全である Lobste Comment 07-08 Unicode''s Transliteration Rules Are Turing-Complete (seriot.ch)
71. 左利きのユーザーにのみ影響を及ぼしていた不具合 Lobste Comment 07-08 A bug which only affected left-handed users (shkspr.mobi)
73. NoiseLang：ここで N 5 の場合はディラック・デルタ関数となる Lobste Comment 07-08 NoiseLang: Where N 5 is a Dirac delta (manualmeida.dev)
74. モノイドの合成と最大部分配列の和問題 Lobste Comment 07-08 Monoid Composition & Maximum Subarray Sum Problem (williamdue.github.io)
76. Extreme Haskell：型付き式EDSL（第1部） Lobste Comment 07-08 Extreme Haskell: Typed Expression EDSLs (Part 1) (blog.jle.im)
78. Clangバックエンドの構築と、自作バイトコードVMへのDoomの移植 Lobste Comment 07-08 Building a Clang Backend and Porting Doom to my Custom Bytecode VM (pointersgonewild.com)
79. fastSwan：Nvidia ConnectX-7のスペック詳細 Lobste Comment 07-08 fastSwan: Nvidia ConnectX-7 by numbers (www.fastswan.org)
80. ライセンス取得は楽しい（そして法的に疑わしい）こともある（2024年） Lobste Comment 07-08 Licensing can be joyful (and legally dubious) (2024) (ntietz.com)
81. 「計算機による風船アート：風船多面体の理論」（2008年） Lobste Comment 07-08 Computational Balloon Twisting: The Theory of Balloon Polyhedra (2008) (cccg.ca)
83. 私が気に入っているソフトウェアエンジニアリングの面接問題：中央値の算出 Lobste Comment 07-08 a software engineering interview question I like: computing the median (krisshamloo.com)
84. OpenBSD 7.9 までのバージョンには、use-after-free の脆弱性が存在し、これによりローカル環境において root 権限への昇格が可能となる（CVE-2026-57589） Lobste Comment 07-08 OpenBSD through 7.9 has a use-after-free allowing local privilege escalation to root (CVE-2026-57589) (nvd.nist.gov)
86. OpenBSDの「リターン指向プログラミング（ROP）」対策に関する最終的な修正 Lobste Comment 07-08 A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations (papers.ssrn.com)
87. OpenBSDオペレーティングシステムにおけるpledgeおよびunveilの採用に関する実証研究 Lobste Comment 07-08 A Measurement Study on the Adoption of Pledges and Unveils in the OpenBSD Operating System (arxiv.org)
88. 新たな研究：「検証済み」のGitHubコミットは一意ではない Lobste Comment 07-08 New Research: A "Verified" GitHub Commit Is NOT Unique (www.internationalcyberdigest.com)
90. Rustサービスのメモリリークではない――原因はアロケーターにあるかもしれない Lobste Comment 07-08 Your Rust Service Isn''t Leaking — It Could Be the Allocator (pranitha.dev)
91. なぜまた新たなPostgres接続プーラーを開発したのか Lobste Comment 07-08 Why we built yet another Postgres connection pooler (pgdog.dev)
93. 4 GBの干し草の山から針を見つける：Go言語で0.75 GB/sから49 GB/sへ Lobste Comment 07-07 Finding a needle in a 4 GB haystack: from 0.75 GB/s to 49 GB/s in Go (segflow.github.io)
95. GitHubがスターデータのアクセスを制限した Lobste Comment 07-07 GitHub Has Restricted Access to Star Data (www.star-history.com)
97. レコード連結のための機械化された型推論 Lobste Comment 07-07 Mechanized type inference for record concatenation (haskellforall.com)
98. Trusted Publishingを信用してはいけません Lobste Comment 07-07 You shouldn''t trust Trusted Publishing (blog.yossarian.net)
99. 「言いにくいことを声に出して伝えてくれるポップアップ」 Lobste Comment 07-07 The Popup That Says the Quiet Part Out Loud (blog.ppb1701.com)
100. コミュニティアプリにNetHackをインストールしたんだけど、この38年も前のゲームに、いまだに翻弄されっぱなしだ Lobste Comment 07-07 Put NetHack on my community app and this 38-year-old game keeps outsmarting me (lobste.rs)
101. このブログでCSSのビュー遷移をどのように活用しているか Lobste Comment 07-07 How I''m using CSS View Transitions on this blog (blog.omgmog.net)
102. Google kernelCTF向けに、19年以上も隠されていたLinuxカーネルのゼロデイ脆弱性を報告：CVE-2026-43456 Lobste Comment 07-07 Reporting a 19 Years Hidden Linux Kernel Zero-Day for Google kernelCTF: CVE-2026-43456 (gmo-cybersecurity.com)
104. Waterfall CAD Playground - WASM を利用した、ブラウザ上で動作する Haskell ベースのプログラム可能な CAD 環境 Lobste Comment 07-07 Waterfall CAD Playground - A Haskell powered programmable-CAD environment, in the browser with WASM (doscienceto.it)
105. より健康的なクリッピーのために、みんなで力を合わせよう Lobste Comment 07-07 Together for a healthier Clippy (blog.rust-lang.org)
106. 気候を破壊するデジタル肥大化へと向かう、Googleの急激な歩み Lobste Comment 07-07 Google’s exponential path to climate-wrecking digital bloat (ketanjoshi.co)
107. x64環境において、フォールス・シェアリングのアラインメントを128バイトにすべき理由 Lobste Comment 07-07 Why false sharing alignment should be 128 bytes on x64 (monoid.github.io)
108. unsafe を使用して Go の境界チェックを排除する Lobste Comment 07-07 Eliminating Go bound checks with unsafe (blog.andr2i.com)
109. 中国のIoTカメラをフクロウのライブ配信に変える Lobste Comment 07-07 Turning a Chinese IoT camera into an owl livestream (blog.alexbeals.com)
111. GoプログラムをNintendo Switch用のネイティブバイナリにコンパイルする Lobste Comment 07-07 Compiling a Go program into a native binary for Nintendo Switch (ebitengine.org)
112. AI証明ツールを用いたRustからLeanへの検証パイプライン：経験報告 Lobste Comment 07-07 A Rust-to-Lean verification pipeline with AI provers: An experience report (arxiv.org)
113. Radicle：Gitネイティブのイシューとパッチを備えたP2P Gitレプリケーション Lobste Comment 07-07 Radicle: P2P Git Replication with Git Native Issues and Patches (radicle.dev)
115. AT&Tの極めて希少な「セキュリティ・プラス」電話機 Lobste Comment 07-07 AT&T''s very rare Security-Plus Telephone (www.electrospaces.net)
117. Orasort - 共通接頭辞のスキップ、適応型ソート Lobste Comment 07-07 Orasort - Common prefix skipping, adaptive sort (smalldatum.blogspot.com)
118. GLM 5.2と迫り来るAIマージンの崩壊 Lobste Comment 07-07 GLM 5.2 and the coming AI margin collapse (martinalderson.com)
119. ReactOS「オープンソース版Windows」プロジェクト、『ハーフライフ2』の実行が可能に Lobste Comment 07-07 ReactOS "Open-Source Windows" Project Now Capable Of Running Half-Life 2 (www.phoronix.com)
121. Januscape：KVM/x86におけるゲストからホストへのエスケープ Lobste Comment 07-07 Januscape: Guest-to-Host Escape in KVM/x86 (github.com)
122. 数学におけるつながり：2種類のランダム性 Lobste Comment 07-07 Connections in Math: the two kinds of random (stillthinking.net)
123. バックステージへのアクセス：Front Gate Ticketsにおける認証不要のSQLインジェクション Lobste Comment 07-07 Backstage access: an unauthenticated SQL injection in Front Gate Tickets (ian.sh)
125. 構文解析の70年：理論的・実践的な帰結 Lobste Comment 07-06 Seventy Years of Parsing: Theoretical and Practical Consequences (langsec.org)
126. jjを使わなかった（些細な）理由 Lobste Comment 07-06 The (Petty) Reason We Didn''t End Up Using jj (blog.gradle.org)
127. .git/config をスキャンするクローラーを発見した Lobste Comment 07-06 Caught a .git/config crawler (bruceediger.com)
128. 『スーパーマリオブラザーズ』のコードを1行ずつ実行することはできますか？ Lobste Comment 07-06 Can you run every line of code in Super Mario Bros.? (www.youtube.com)
129. PREEMPT_NONE は廃止されました。お使いの Postgres はおそらく気にしないでしょう Lobste Comment 07-06 PREEMPT_NONE Is Dead; Your Postgres Probably Doesn’t Care (thebuild.com)
132. fin：ターミナル用のJellyfinおよびSubsonicクライアント Lobste Comment 07-06 fin: a Jellyfin & Subsonic client for the terminal (tangled.org)
135. たった1つのプルリクエストが、App::HTTPThisをバージョン1.0へと導いた経緯 Lobste Comment 07-06 How One Pull Request Took App::HTTPThis to Version 1.0 (perlhacks.com)
136. トラヤン：映画ポスターを席巻した書体 Lobste Comment 07-06 Trajan: The Typeface That Took Over Movie Posters (letterboxd.com)
137. 「Mr. Baby Paint」と、偶然発見した新しいセルオートマトン Lobste Comment 07-06 Mr. Baby Paint & accidentally discovering a new cellular automata (tekstien-marginaalien-keskus.aalto.fi)
139. スキー事故が、当社の開発手法をいかに試練にさらしたか Lobste Comment 07-06 How a Skiing Accident Put Our Development Practices to the test (blog.enioka.com)
140. Dragonfruit：ESP32デバイス向けの68k/Dragonball Palmエミュレータ Lobste Comment 07-06 Dragonfruit: A 68k/Dragonball Palm device emulator for ESP32 devices (github.com)
141. Fortranの近代化への淡い期待 Lobste Comment 07-06 Forlorn Hope of Fortran Modernisation (amenzwa.github.io)
143. スターリンクは秘密のレーダー衛星群なのか？ Lobste Comment 07-06 Is Starlink A Secret Radar Constellation? (www.youtube.com)
145. 回復過程における準安定性：ループを伴うカスケード回復 Lobste Comment 07-06 Metastability in Recovery: Cascading Recovery with a Loop (charap.co)
146. Rustにおけるエラー処理の新たな視点 Lobste Comment 07-06 A Novel Look at Error Handling in Rust (jtjlehi.github.io)
147. ファミコンのコンポジットビデオ：なぜこんなに映像が揺れるのか？ Lobste Comment 07-06 Composite video on the NES: why''s it so wobbly? (nicole.express)
148. 依存関係はVCSから直接取得すべきです Lobste Comment 07-06 Dependencies should be fetched directly from VCS (www.arp242.net)
149. Temporal と CSS の color-mix を使った、時間経過に伴う背景色の変化 Lobste Comment 07-06 Time-based background colour transitions with Temporal and CSS color-mix (localghost.dev)
151. Prollyツリーを用いたバージョン管理データベース Lobste Comment 07-06 Version-controlled databases using Prolly trees (lwn.net)
152. まるで90年代のようにA/UX 1.1をインストールする Lobste Comment 07-06 Installing A/UX 1.1 like it’s the 90s (thomasw.dev)
153. ベンチプレス：CSS を使ったテキストノードのリーク Lobste Comment 07-06 Bench Press: Leaking Text Nodes with CSS (blog.pspaul.de)
154. Rayfish - Iroh を基盤とした P2P VPN Lobste Comment 07-06 Rayfish - P2P VPN built on top of Iroh (rayfish.xyz)
156. 新しい es40 フォークを使用して、DEC Alpha で Windows 2000 を実行する Lobste Comment 07-05 Run Windows 2000 on a DEC Alpha with a new es40 fork (raymii.org)
158. 3年が経ち、ゲームコードが10万行に達した今、Zigの運用状況はどうなっているのでしょうか？ Lobste Comment 07-05 How is Zig working out after 3 years and 100k lines of game code? (www.youtube.com)
159. なぜFakesがMocksやTestcontainersよりも優れているのか Lobste Comment 07-05 Why Fakes Beat Mocks and Testcontainers (pierrezemb.fr)
160. ボタンであるなら、やるべきことはただ一つだ Lobste Comment 07-05 If you’re a button, you have one job (unsung.aresluna.org)
161. よくある質問：TPMとは何ですか？Linuxでどのように使用すればよいですか？ Lobste Comment 07-05 FAQ: What is a TPM and how can I use it on Linux? (debugging.works)
163. 私のマストドンクライアントにある、もっと多くの人に気づいてほしかった細かい点 Lobste Comment 07-05 small details in my mastodon client that i wanted more people to notice (w.on-t.work)
164. PEP 814: frozendict 組み込み型の追加 Lobste Comment 07-05 PEP 814: Add frozendict built-in type (vstinner.github.io)
165. ps5-linux-loader: HVの脆弱性を悪用してカスタムブートローダーを実行するLinuxペイロード Lobste Comment 07-05 ps5-linux-loader: Linux payload implementing HV exploits to run a custom bootloader (github.com)
168. WineプロセスからLinuxコードを呼び出す方法 Lobste Comment 07-05 How to call Linux code from a Wine process (arcanenibble.com)
169. 『ライオンと魔女』、そして採用担当者の厚かましさ Lobste Comment 07-05 The Lion, The Witch, and the audacity of recruiters (hauleth.dev)
172. 非ハイブリッド型PQ専用TLSとMIKEY-IBAKE介入 Lobste Comment 07-05 Non-hybrid PQ-only TLS and the MIKEY-IBAKE intervention (libroot.org)
174. wince-dc: Windows CE ドリームキャスト・コミュニティ・エディション Lobste Comment 07-05 wince-dc: Windows CE Dreamcast Community Edition (github.com)
175. エージェントのコーディングに関する考察 · rakyll.org Lobste Comment 07-05 Thoughts on coding agents · rakyll.org (rakyll.org)
178. thundersnap v0.01：あらゆる操作に対応した「元に戻す」ボタン Lobste Comment 07-05 thundersnap v0.01: an undo button for everything (github.com)
179. ゲームボーイアドバンス開発者：コンソールへの出力 Lobste Comment 07-05 Game Boy Advance Dev: Logging to the console (www.mattgreer.dev)
180. 軸平行な長方形に関するウェグナーの予想に対する反例 Lobste Comment 07-05 A Counterexample to Wegner''s Conjecture for Axis-Parallel Rectangles (arxiv.org)
182. SecretSpec 0.13: Python、Node.js、Go、Ruby、Haskell 向けの SDK Lobste Comment 07-05 SecretSpec 0.13: SDKs for Python, Node.js, Go, Ruby, and Haskell (secretspec.dev)
183. EndBASIC 0.14：もうマルチメディア対応になったのか？ Lobste Comment 07-04 EndBASIC 0.14: Are we multimedia yet? (www.endbasic.dev)
184. 波状の壁は本当にレンガの使用量が少なくなるのか？ Blenderで検証してみた Lobste Comment 07-04 Do Wavy Walls Really Use Fewer Bricks? I Tested It in Blender (blog.tymscar.com)
186. 求人情報 - サポート編 - 2026年第3四半期 Lobste Comment 07-04 Who''s Hiring? - Support Edition - Q3 2026 (lobste.rs)
190. ドゥニャ・キルカリ - 組織をグラフとして捉える Lobste Comment 07-04 Dunya Kirkali - Your organization as a Graph (www.wearedevelopers.com)
191. 個人のウェブサイトとは、どのようなものであるべきでしょうか？ Lobste Comment 07-04 What should a personal website be? (ratfactor.com)
193. OpenClawは、iPhone向けの公式アプリをリリースしたばかりだ Lobste Comment 07-04 OpenClaw just launched an official app for iPhone (9to5mac.com)
194. なぜみんなGitを正しく使わないんだろう？ Lobste Comment 07-04 Why don''t people use git properly? (deadsimpletech.com)
195. ガラパゴス諸島からのエージェント的コーディングに関するメモ Lobste Comment 07-04 Agentic coding notes from Galapogos Island (danluu.com)
197. OpenSSLのエラー処理の不備によるパンデミック Lobste Comment 07-04 The pandemic of incomplete OpenSSL error handling (blog.jak-linux.org)
198. Lemmy 開発状況報告 2026年6月および 1.0.0-beta.1 Lobste Comment 07-04 Lemmy Development Update June 2026 and 1.0.0-beta.1 (lemmy.ml)
199. 接尾辞BWTと循環シフトBWTの比較、および高速計算 Lobste Comment 07-04 Suffix BWT vs cyclic shift BWT, and fast computation (purplesyringa.moe)
200. Rust - Mapクロージャー内での結果の扱い Lobste Comment 07-04 Rust - Handling Results In A Map Closure (reemus.dev)
203. 欧州議会に対するスパイ活動：スパイウェア調査委員会の委員が「ペガサス」によるハッキング被害に遭う Lobste Comment 07-04 Espionage Against the European Parliament: Member of Committee Investigating Spyware Hacked with Pegasus (citizenlab.ca)
204. ブラウザのタブにWindowsカーネル、その1：コールドブート、高速ブート、そして4メガバイト Lobste Comment 07-04 A Windows Kernel in a Browser Tab, Part I: Cold Boot, Fast Boot, and Four Megabytes (www.msuiche.com)
205. sem：意味論的な粒度でコードを理解する新しいプリミティブツール Lobste Comment 07-04 sem: A new code understanding primitive tool at a semantic granularity (ataraxy-labs.github.io)
207. PieFed v1.7 がリリースされました：ユーザーのフォロー機能、閲覧速度の向上、よりスマートなモデレーション Lobste Comment 07-04 PieFed v1.7 is released: Following Users, Faster Browsing & Smarter Moderation (join.piefed.social)
208. サイドプロジェクトがまだ続いている場合は、その進捗を把握しておく Lobste Comment 07-04 Keep track of the side projects if they are still alive (stillup.to)
210. 市場が競争的であるのは、P NP である場合に限る。 Lobste Comment 07-03 Markets are competitive if and only if P ! NP (arxiv.org)
213. Cloudflare Workers、Vectorize、Nostr を使用した、セルフホスト型の AI ニュースアグリゲーター Lobste Comment 07-03 Self-Hosted AI news aggregator using Cloudflare Workers, Vectorize, and Nostr (github.com)
215. [非ハイブリッド型 TLS-MKEM] 規格――名称がどうであれ：IETF が自らの行動に対する責任を回避する方法 Lobste Comment 07-03 A [non-hybrid tls-mlkem] standard by any other name: How IETF evades responsibility for its actions (blog.cr.yp.to)
216. DogeshはPythonをベースとしたインタプリタ型プログラミング言語であり、すべてのキーワードが「dog」を表しています。 Lobste Comment 07-03 Dogesh is a Python-based interpreted programming language where every keyword speaks dog (github.com)
218. ActivityPubの実装が難しい理由、そして必ずしもそうである必要はない理由 Lobste Comment 07-03 Why implementing ActivityPub is hard, and why it doesn''t have to be (hackers.pub)
219. 「スタンプ押印」の自動化：もしエージェントがデプロイメント・ゲートを管理したらどうなるか？ Lobste Comment 07-03 Automating the Rubber Stamp: What If an Agent Ran Your Deployment Gate? (mattvanbird.co.uk)
220. コンパイル結果が空になるマスク：HotSpotのJITがビットの処理方法を学習した経緯 Lobste Comment 07-03 The mask that compiles to nothing: how HotSpot''s JIT learned to reason about bits (questdb.com)
221. 『フェイブル』を攻略するための「ショート・リーシュ」AIコーディング法 Lobste Comment 07-03 The Short Leash AI Coding Method For Beating Fable (blog.okturtles.org)
222. より良いオープンソースソフトウェアのための資金増額 (2015) Lobste Comment 07-03 More Money For Better Open-Source Software (2015) (marijnhaverbeke.nl)
224. draft-ietf-tls-mlkem-08 の却下を求める行動要請（締切：2026年7月8日） Lobste Comment 07-03 Call to act to reject draft-ietf-tls-mlkem-08 (Ends 2026-07-08) (nsa.2026.action.cr.yp.to)
225. 「guix substitute」および「guix pull」の脆弱性 Lobste Comment 07-03 ‘guix substitute‘ and ‘guix pull‘ vulnerabilities (guix.gnu.org)
226. Until_Heat_Death_Do_Us_Part：宇宙の熱的死までの時間をカウントし、100Mbpsイーサネットを介して毎秒カウンター値を配信する Lobste Comment 07-03 Until_Heat_Death_Do_Us_Part: Counting until the heat death of the universe, broadcasting counter every second over 100Mbps ethernet (github.com)
227. Clickhouseが「可観測性の争い」で優位に立っている Lobste Comment 07-03 Clickhouse is winning the Observability Wars (matduggan.com)
228. KDE Plasmaにおいて、サンドボックスを突破して任意のコードが実行される脆弱性 Lobste Comment 07-03 Arbitrary code execution breaking sandboxes in KDE Plasma (blog.kimiblock.top)
229. コアダンプの発生状況：18年間放置されていたバグの修正 Lobste Comment 07-03 Core dump epidemiology: fixing an 18-year-old bug (openai.com)
230. proposal-async-context: JavaScript 向けの非同期コンテキスト Lobste Comment 07-03 proposal-async-context: Async Context for JavaScript (github.com)
231. 「理解」こそが新たなボトルネックとなっている Lobste Comment 07-03 Understanding is the new bottleneck (www.geoffreylitt.com)
232. ds.css：DS／DS LiteのUIを再現したCSSフレームワーク Lobste Comment 07-03 ds.css: A css framework recreating the DS / DS Lite''s UI (github.com)
234. crustc: rustc の全機能を C 言語に翻訳したもの Lobste Comment 07-03 crustc: Entirety of rustc, translated to C (github.com)
238. 新たに発見された「PamStealer」は、一般的なmacOSマルウェアとは一味違う Lobste Comment 07-03 Newly discovered PamStealer isn''t your typical macOS malware (arstechnica.com)
240. ScyllaDBのトライ木ベースのインデックスが、最大3倍のスループットを実現する仕組み Lobste Comment 07-03 How ScyllaDB''s Trie-Based Index Delivers Up to 3X More Throughput (www.scylladb.com)
242. Linux 6.9（2024年5月）以降、サスペンド時にもLUKS暗号化キーがメモリ内に保持されるようになりました Lobste Comment 07-03 Since Linux 6.9 (May 2024), the LUKS encryption key remained resident in memory across suspend (mathstodon.xyz)
243. Gitでファイルを無視するには、.gitignoreだけではない Lobste Comment 07-03 .gitignore Isn’t the Only Way To Ignore Files in Git (nelson.cloud)
244. PostgreSQL 19 におけるカーネルの非同期読み取り (io_uring) Lobste Comment 07-02 kernel asynchronous reads in PostgreSQL 19 (io_uring) (dev.to)
246. 「ゼロ知識証明」技術を公開し、年齢確認におけるプライバシー保護を促進する Lobste Comment 07-02 Opening up ‘Zero-Knowledge Proof’ technology to promote privacy in age assurance (blog.google)
247. メンタルモデルを伝えるためのツールや手法は？ Lobste Comment 07-02 Tools or techniques for conveying mental models? (lobste.rs)
250. 今月のKDE Linux：2026年6月 Lobste Comment 07-02 This month in KDE Linux: June 2026 (pointieststick.com)
253. localStorageからオブジェクトを取得するための型定義 Lobste Comment 07-02 Type definitions to retrieve objects from localStorage (taxorubio.com)
255. 「コントロールプレーンこそが鍵だった」：LLM時代のautofzを再考する Lobste Comment 07-02 The Control Plane Was the Point: Revisiting autofz in the LLM Era (yfu.tw)
256. 記憶の物理学（別名：JavaScriptでECSは実現できるか？） Lobste Comment 07-02 The Physics of Memory (aka can Javascript ECS?) (www.dmurph.com)
257. VS Code における GitHub Copilot のトークン効率の向上 Lobste Comment 07-02 Improving token efficiency for GitHub Copilot in VS Code (code.visualstudio.com)
258. OpenFeature - すべてのユーザーのためのフィーチャーフラグの標準化 Lobste Comment 07-02 OpenFeature - Standardizing Feature Flagging for Everyone (openfeature.dev)
259. crosvm を使用した開発用サンドボックスの作成 Lobste Comment 07-02 Creating a development sandbox with crosvm (www.erat.org)
261. FUSE の readdir キャッシュにおける範囲外書き込みによる、権限のないユーザーによる root 権限の取得 (CVE-2026-31694) Lobste Comment 07-02 Unprivileged root via an out-of-bounds write in the FUSE readdir cache (CVE-2026-31694) (cyberstan.co.uk)
262. GraalVMの「Hello World」プログラムが「わずか」6.5MBに Lobste Comment 07-01 GraalVM Hello World Program Down To "Just" 6.5MB (www.phoronix.com)
263. インフラとしてのオープンソース：道路や橋を文字通りの意味で捉える Lobste Comment 07-02 Open Source as Infrastructure: Taking Roads and Bridges literally (nesbitt.io)
264. Pidgin 3.0 Alpha 2 (2.96.0) がリリースされました Lobste Comment 07-02 Pidgin 3.0 Alpha 2 (2.96.0) has been released (discourse.imfreedom.org)
265. 米国最高裁が、EUと米国間のデータ移転を完全に打ち砕いた Lobste Comment 07-01 US Supreme Court just blew up EU-US Data Transfers (noyb.eu)
266. ESP32 E Ink 搭載のゲームボーイエミュレーター Lobste Comment 07-01 GameBoy Emulator on ESP32 Eink (www.youtube.com)
267. 進捗報告：Linux 7.1 - Asahi Linux Lobste Comment 07-01 Progress Report: Linux 7.1 - Asahi Linux (asahilinux.org)
269. パッケージ管理機能のすべてが、コンパイラからビルドシステムに移行されました Lobste Comment 07-01 All Package Management Functionality Moved from Compiler to Build System (ziglang.org)
270. 設計上、二次計算となるアルゴリズムの最適化 Lobste Comment 07-01 Optimizing an Algorithm That’s Quadratic by Design (whatchord.earthmanmuons.com)
271. 行列の直交化はリカレントモデルの記憶能力を向上させる Lobste Comment 07-01 Matrix Orthogonalization Improves Memory in Recurrent Models (ayushtambde.com)
272. 私が育った頃のインターネットはもう存在しない Lobste Comment 07-01 The Internet I Grew Up With Doesn’t Exist Anymore (cleberg.net)
273. 『咀嚼術』がGitのワーキングコピーとコンフリクトモデルをどのように再考しているか Lobste Comment 07-01 How Jujutsu Rethinks Git''s Working Copy and Conflict Model (www.git-tower.com)
274. Godot Engine の貢献ポリシーの変更 Lobste Comment 07-01 Changes to Godot Engine Contribution Policies (godotengine.org)
275. C26: constexpr による仮想継承 Lobste Comment 07-01 C26: constexpr virtual inheritance (www.sandordargo.com)
276. 低レベルなHaskell：Haskell/GHCでインラインアセンブリをエミュレートする「呪われた方法」 Lobste Comment 07-01 Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC (minoki.github.io)
278. EmacsWiki ブログ・カーニバル「プログラミング」 Lobste Comment 07-01 EmacsWiki Blog Carnival "Programming" (plaindrops.de)
279. 移行を行う前に、コードフォージにはGitHubのどの機能が必要ですか？ Lobste Comment 07-01 Which GitHub features are needed in a code forge before you can migrate? (lobste.rs)
281. Uruky - 有料の欧州検索エンジン Lobste Comment 07-01 Uruky - The Paid European Search Engine (robheghan.prose.sh)
282. インジェクションバグの構造的な修正 (2012) Lobste Comment 07-01 Structurally fixing injection bugs (2012) (www.more-magic.net)
285. 「なぜクラウドは処理を停止するのか？：数百件のサービス停止事例から得た教訓」（2016年） Lobste Comment 07-01 Why Does the Cloud Stop Computing?: Lessons from Hundreds of Service Outages (2016) (dl.acm.org)
286. pkgbump：単なるツールから、かけがえのない助っ人へ Lobste Comment 07-01 pkgbump: from a dumb tool to an irreplaceable helper (blogs.gentoo.org)
287. トランプ政権、Anthropic社の『Fable 5』に対する規制を解除 Lobste Comment 07-01 Trump administration lifts restrictions on Anthropic''s Fable 5 (www.axios.com)
289. インターネットを殺すのをやめよう Lobste Comment 07-01 Stop Killing the Internet (www.stopkillingtheinternet.com)
290. 消え去っても忘れられない――「死んだウェブ」の復活 Lobste Comment 07-01 Gone but not forgotten: Recovering the Dead Web (blog.archive.org)
291. インターネットをめぐる闘いは、どうなってしまったのでしょうか？ Lobste Comment 07-01 What happened to the fight for the internet? (dustycloud.org)
292. ZLUDA 6 のリリース（NVIDIA製以外のGPUでCUDAを実行） Lobste Comment 07-01 ZLUDA 6 release (run CUDA on non-Nvidia GPUs) (vosen.github.io)
295. ほとんどのMCPサーバーは存在する必要がありません。あなたのケースは例外かもしれません。 Lobste Comment 07-01 Most MCP servers don''t need to exist. Your case might be an exception (evilmartians.com)
297. Claude Codeはリクエストにステガノグラフィーを用いてマークを付けている Lobste Comment 07-01 Claude Code Is Steganographically Marking Requests (thereallo.dev)
300. Durable Streams を通じて Jetson でローカル AI を実行する Lobste Comment 07-01 Serving Local AI on my Jetson through Durable Streams (s2.dev)