2. Nixpkgsのコアチームは解散しました Lobste Comment 10:33 The Nixpkgs core team has disbanded (discourse.nixos.org)
3. homebrew-lab：アマチュア無線家やメイカー向けの、AIが生成した自主学習型の実習中心の電子工学コース。オシロスコープで波形を見ながらアナログ回路を学ぶ Lobste Comment 10:19 homebrew-lab: An AI generated, self-directed, bench-driven electronics course for hams and makers, learning analog by seeing it on a scope (github.com)
4. BasicSync：AndroidでSyncthingを実行するためのシンプルなアプリ Lobste Comment 08:52 BasicSync: A simple app for running Syncthing on Android (github.com)
5. ソーシャルメディアの「ラビットホール」、クラスター、およびランダムウォークの相対的混合時間 Lobste Comment 05:22 social media rabbit holes, clusters, and the relative mixing times of random walks (notes.hella.cheap)
7. 並行処理とスループット：並列性を高めるとデータベースの処理速度が低下する理由 Lobste Comment 05:10 Concurrency vs. Throughput: why more parallelism can make databases slower (planetscale.com)
8. REpsych：リバースエンジニアリングにおける心理戦 Lobste Comment 04:45 REpsych: Psychological warfare in reverse engineering (github.com)
9. 「恥の殿堂」：CPU性能の底辺への競争 Lobste Comment 04:29 Assembly Hall of Shame: Racing to the bottom of CPU performance (github.com)
10. ほぼ合意：ABDとクォーラムレプリケーションの限界 Lobste Comment 08-07 Almost consensus: ABD and the edges of quorum replication (theconsensus.dev)
12. ドメイン特化型ハイパースペシャライゼーション（SAT向け） Lobste Comment 03:44 Domain-specific hyperspecialization (for SAT) (c.mov)
13. ARM上でのPS3エミュレーションが高速化されました Lobste Comment 01:50 PS3 emulation is fast on ARM now (www.youtube.com)
14. 問題は私にあるのか？ その答えを探るため、別のチームにインタビューしてみた Lobste Comment 03:27 Am I the problem? Interviewing another team to find out (www.macchaffee.com)
15. 科学分野におけるソフトウェアの理解度は実にばらつきが大きい Lobste Comment 08-07 Software Understanding in the Sciences is Really Uneven (lobste.rs)
17. ソース管理の新しいモデル アルシデス・フォンセカ著 Lobste Comment 08-07 A new model for source control by Alcides Fonseca (wiki.alcidesfonseca.com)
18. デバイスが暗号化されたDNSを自動的に見つける仕組み Lobste Comment 08-07 How a device finds encrypted DNS by itself (blog.dundns.eu)
20. KDEデジタル主権：2026年第2四半期の動向 Lobste Comment 08-07 This Quarter in KDE Digital Sovereignty: Q2 2026 (blogs.kde.org)
21. 制約モデルからプレイ可能なパズルゲームへ Lobste Comment 08-07 From constraint models to playable puzzle games (zayenz.se)
23. ノートの作成とブログのまとめ：ノートを更新する場合と投稿を公開する場合の違い Lobste Comment 08-07 Notes Compound, Blogs Compile: When I Update a Note vs. Publish a Post (www.ssp.sh)
25. GNU Emacs で「git blame」を時系列順に閲覧する方法 Lobste Comment 08-07 Some ways to navigate through ''git blame'' over time in GNU Emacs (utcc.utoronto.ca)
26. 「Kitesurf」のご紹介：Cloudflare Workers上のV8アイソレート環境で動作する、エージェントファーストのブラウザ Lobste Comment 08-07 Introducing Kitesurf: The agent-first browser that runs in V8 isolates on Cloudflare Workers (blog.cloudflare.com)
28. OpenAIを辞めて、『ジュラシック・パーク』を作ることにしました Lobste Comment 08-07 I''m leaving OpenAI to build Jurassic Park (taylor.town)
29. ropbot：コード再利用攻撃の再構築と合成 Lobste Comment 08-07 ropbot: Reimaging Code Reuse Attack Synthesis (kylebot.net)
30. シェルでの感嘆符は、怒鳴るためのものではありません。手抜きをしましょう Lobste Comment 08-07 A shell exclamation mark is not for yelling. Be lazy (refp.se)
31. AIによって生成された脆弱性パッチには、人間による確認が必要である Lobste Comment 08-07 AI-generated vulnerability patches require human review (1password.com)
32. 1998年版のCD-ROM世界地図帳をWindows 11で動作させることに成功しました Lobste Comment 08-07 I got a 1998 CD-ROM world atlas running on Windows 11 (trevmex.com)
34. celld — 耐久性のあるオブジェクト、セルフホスト型 Lobste Comment 08-07 celld — Durable Objects, self-hosted (celld.dev)
35. ウェブサーバーのデプロイモデルは、趣味レベルの規模では機能しなくなる Lobste Comment 08-07 the web server deployment model breaks at hobby scale (w.on-t.work)
36. Crubit、C/Rust 双方向相互運用ツール Lobste Comment 08-07 Crubit, C/Rust Bidirectional Interop Tool (crubit.rs)
38. cl-forth: CLによるForth 2012標準仕様 Lobste Comment 08-07 cl-forth: Forth 2012 Standard in CL (github.com)
39. Zapscape - KVM/x86環境でのゲストからホストへのエスケープ Lobste Comment 08-07 Zapscape - Guest to host escape in KVM/x86 (github.com)
40. schrodingers-toctou: 実行しているバイナリは、あなたが書いたプログラムとは異なります Lobste Comment 08-06 schrodingers-toctou: The binary you run is not the program you wrote (github.com)
41. たった1つの関数で、10倍も高速化？ Rustのパフォーマンス改善PRを読む Lobste Comment 08-06 Just One Function, 10x Faster? Reading a Rust Performance PR (greptime.com)
43. 2026年にニンテンドー64のゲームを作る方法 Lobste Comment 08-06 How to Make a Nintendo 64 Game in 2026 (phoboslab.org)
44. ラスタライズを行わずにテクスチャを投影する3D SVGレンダラー Lobste Comment 08-06 a 3D SVG Renderer that projects textures without rasterization (seve.blog)
45. NetBSD上でbozohttpdを使用して簡単なWebサーバーをセットアップする Lobste Comment 08-06 Setup a simple web server with bozohttpd on NetBSD (bozo.httpd.rocks)
46. 無関係なホットループを密かに汚染してしまったLuaJITのNYI Lobste Comment 08-06 The LuaJIT NYI That Silently Poisoned an Unrelated Hot Loop (streamhpc.com)
47. 以下は、有効な DOS COM 実行ファイルです。 Lobste Comment 08-06 The following is a valid DOS COM executable (oldbytes.space)
48. tl;dv（面倒くさくて検証しなかった）：181,874件の会議が完全に公開されたまま Lobste Comment 08-06 tl;dv (Too Lazy; Didn''t Validate): 181,874 Meetings Left Wide Open (bobdahacker.com)
49. Anthropic AIは、ハッキングを試みるために人々を欺くための偽のプロフィールを作成した Lobste Comment 08-06 Anthropic AI created fake profiles to deceive people in attempted hack (www.bbc.co.uk)
51. 2026年のFiddler Web Debugger Lobste Comment 08-06 Fiddler Web Debugger in 2026 (textslashplain.com)
52. 絵文字だけで、何か役に立つDOS実行ファイルを作れるのかな Lobste Comment 08-06 i wonder if you could make a useful DOS executable with just emoji (oldbytes.space)
53. ついにFutharkに再帰関数を追加しました Lobste Comment 08-06 Finally adding recursive functions to Futhark (futhark-lang.org)
55. スケーラブルなコントロールプレーンの構築について Lobste Comment 08-06 On building scalable control planes (www.allthingsdistributed.com)
56. Pythonの文字列リテラルって、なんだか面白いですね Lobste Comment 08-06 python string literals are kinda funny (sebsite.pw)
57. Comu、USB-Aポート内に144MHzのCH32V203 RISC-Vボードを搭載 Lobste Comment 08-06 Comu Fits a 144MHz CH32V203 RISC-V Board Inside a USB-A Port (linuxgizmos.com)
60. SymbolicsのOpenGenera、非商用利用では無料化へ Lobste Comment 08-06 Symbolics OpenGenera to go free for non-commercial use (hachyderm.io)
61. AIモデルが偽の身元を使って開発者を騙そうとしたことで、英国のテスターたちを驚かせた Lobste Comment 08-06 AI models shock UK testers by using fake identities to try to trick developers (www.theguardian.com)
62. rezeptor：検証済みのProton-GEレシピを使用して、Linux上でWindowsソフトウェアをインストール・実行する Lobste Comment 08-06 rezeptor: Install and run Windows software on Linux with tested Proton-GE recipes (github.com)
66. ProxmoxはArmを公式にサポートしていますが、いくつかの注意点があります Lobste Comment 08-06 Proxmox officially supports Arm, with some caveats (www.jeffgeerling.com)
67. 「障害者ドングル」：なぜシリコンバレーは私やあなたを嫌うのか Lobste Comment 08-06 The "Disability Dongle": Why Silicon Valley Hates Me and you (sightlessscribbles.com)
68. Agenticワークフローのキャッシュキープアライブのコストが8倍も高すぎる（v2：インターバルの限界） Lobste Comment 08-06 Your Agentic Workflow''s Cache Keepalive Costs 8x Too Much (v2: the interval frontier) (blog.mempko.com)
70. 2026年、Compiler ExplorerはAWS上でどのように動作するか Lobste Comment 08-06 How Compiler Explorer Runs on AWS in 2026 (xania.org)
71. 存在しないシステムからバグを見つける方法 Lobste Comment 08-06 How to Find Bugs in Systems That Don''t Exist (www.youtube.com)
72. なぜ伝説的なエルドシュの問題がAIによって解かれつつあるのか Lobste Comment 08-06 Why the Legendary Erdős Problems Are Falling to AI (www.quantamagazine.org)
74. セマンティックフィールド：Elasticsearchにおけるマルチモーダル検索のための単一のフィールド Lobste Comment 08-05 Semantic field: one field for multimodal search in Elasticsearch (www.elastic.co)
78. 「5点ハスケル」：パラメトリシティによる無条件の選択 Lobste Comment 08-05 "Five-Point Haskell": Unconditional Election via Parametricity (blog.jle.im)
81. 許可されるコメント構文に HTML 要素を追加する Lobste Comment 08-05 Add html element to allowed comment syntax (lobste.rs)
82. rust-lang/rust は LLM に関する方針を採用しています Lobste Comment 08-05 rust-lang/rust is adopting an LLM policy (blog.rust-lang.org)
84. Keyvとその仲間たちがnpmのサプライチェーン攻撃の被害に遭う Lobste Comment 08-05 Keyv and friends compromised in npm supply chain attack (www.aikido.dev)
85. ゲーデル、エッシャー、Elisp：マクロの美学 Lobste Comment 08-05 Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
87. Nehir：macOS用のタイリング型ウィンドウマネージャー Lobste Comment 08-05 Nehir: a tiling window manager for macOS (github.com)
88. ようやくdivを中央揃えにする方法を覚えたと思ったら、ブラウザにサイドバーが追加されてしまった Lobste Comment 08-05 we finally learned to center a div, then browsers added sidebars (seg6.space)
89. irken：ハック可能な、機能満載の超コンパクトなIRCクライアント Lobste Comment 08-05 irken: A tiny hackable full-featured IRC client (codeberg.org)
90. 途中で止めないで：メモリ速度でソースコードのケース変換を行う Lobste Comment 08-05 Don''t stop early: Case-folding source code at memory speed (github.blog)
93. 『Born Against』――なぜ趣味のプログラミングコミュニティはLLMの利用に激しく反対するのか Lobste Comment 08-05 Born Against, or why hobby programming communities are aggressively against LLM usage (blog.fogus.me)
96. 改訂版「Haskell 2010 言語報告書」 Lobste Comment 08-05 A Revised Haskell 2010 Language Report (blog.haskell.org)
97. ナイトリー版で「borrow checker」の次期バージョンを有効にする Lobste Comment 08-05 Enabling the next iteration of the borrow checker on nightly (blog.rust-lang.org)
98. GNU/Emacs用の「Liquid Glass」エフェクト Lobste Comment 08-05 Liquid Glass effect for GNU/Emacs (github.com)
99. Steam arm64クライアントの扱い方（macOS上） Lobste Comment 08-05 Taming the Steam arm64 client (on pmOS) (blog.drakulix.de)
100. カーペンターの統合挙動は直感に反している Lobste Comment 08-04 Karpenter''s consolidation behaviour is counter-intuitive (blog.appliedcomputing.io)
101. Luaコミュニティは、前に進むことを学ぶ必要がある - hisham.hm Lobste Comment 08-04 The Lua community needs to learn to move on - hisham.hm (hisham.hm)
104. IntelliJ IDEAがLSPに対応：JavaおよびKotlinのインテリジェンス機能がVS Code、Cursor、Agentic Flowsに搭載 Lobste Comment 08-04 IntelliJ IDEA Goes LSP: Java and Kotlin Intelligence Comes to VS Code, Cursor, and Agentic Flows (blog.jetbrains.com)
105. C言語の99行で書かれたLispと、自分でそれを作成する方法 Lobste Comment 08-04 Lisp in 99 Lines of C and How to Write One Yourself (github.com)
107. 『Halo 2』およびそれ以降のコンテンツ管理（2005年） Lobste Comment 08-04 Content Management for Halo 2 and Beyond(2005) (nikon.bungie.org)
111. Bibliograph：書籍向けのプロトタイプAppView Lobste Comment 08-04 Bibliograph: A Prototypical AppView for Books (discourse.atmosphere.community)
114. Soppo - Go、欠けている機能について Lobste Comment 08-04 Soppo - Go, with the features it''s missing (soppolang.dev)
115. Seekable OCI：範囲指定リクエストによるインデックス作成を用いたコンテナイメージの遅延読み込み Lobste Comment 08-04 Seekable OCI: Lazy-Loading Container Images via Range-Request Indexing (arxiv.org)
117. Baochip-1x用Dabao評価ボード Lobste Comment 08-04 Dabao Evaluation Board for Baochip-1x (www.crowdsupply.com)
119. GitHubのイシュー、プルリクエスト、コメントに、プログラムで添付ファイルをアップロードする Lobste Comment 08-04 Programmatically upload attachments to GitHub Issues, Pull Requests, and Comments (island94.org)
120. Itanium向けWindows XP 2002：抑えきれない怒り Lobste Comment 08-04 Windows XP 2002 for the Itanium: Unbridled rage (virtuallyfun.com)
121. ブランチレスRust：if文を削除してフィルタ処理を4倍高速化する Lobste Comment 08-04 Branchless Rust: Making a Filter 4x Faster by Removing an if (www.greyblake.com)
122. Asanaの便利なタブ用ショートカット Lobste Comment 08-04 Asana’s fascinating Tab shortcuts (unsung.aresluna.org)
126. カーミット誕生45周年を記念し、15年ぶりとなる新型「C-カーミット」を発売 Lobste Comment 08-04 Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
129. SQLiteの重大なCVEか、それともLLMの不備か？ Lobste Comment 08-04 SQLite Critical CVEs or LLM Slop? (research.jfrog.com)
130. 2026年にPythonを使わないだろうプロジェクト Lobste Comment 08-04 Projects I Wouldn''t Use Python For in 2026 (menno.io)
132. bonsai: Js_of_ocaml を使用した動的な Web アプリケーションを構築するためのライブラリ Lobste Comment 08-03 bonsai: A library for building dynamic webapps, using Js_of_ocaml (github.com)
134. Redex を用いたアクターのモデリング：第1部 Lobste Comment 08-03 Modelling Actors with Redex: Part I (eighty-twenty.org)
139. Rustプロジェクトの目標：不動の型と保証されたデストラクタ Lobste Comment 08-03 Rust Project Goals: Immobile types and guaranteed destructors (github.com)
141. 『ブラック・ピルを飲んではいけない』（テキスト版） Lobste Comment 08-03 Don''t Take the Black Pill (Text Adaptation) (andrewkelley.me)
150. 9front「THIS WAS SUPPOSED TO BE FUN」リリース Lobste Comment 08-03 9front "THIS WAS SUPPOSED TO BE FUN" Released (9front.org)
153. AIモデルに関するEUの規則が施行される。何が変わるのか？ Lobste Comment 08-03 EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
154. CP/M-386：CP/M-68Kを基に開発された、386プロセッサの保護モード対応版CP/M Lobste Comment 08-03 CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K (github.com)
155. Raspberry Piを使ってWii Uのゲームパッドを作ることができますか？ Lobste Comment 08-03 Can you make a Wii U gamepad from a Raspberry Pi? (youtube.com)
156. 自分の環境を整えることは、幸せにつながる Lobste Comment 08-03 Controlling Your Environment Makes You Happy (www.joelonsoftware.com)
157. SwiftUI、7年を経て：平凡な歩み――いつになったら「ベータ版」のような感覚から抜け出せるのか？ Lobste Comment 08-03 SwiftUI After 7 Years: A Story of Mediocrity: Will it ever stop feeling like a beta? (ykvm.com)
159. Rustの新しいAPIによる高速な浮動小数点演算 Lobste Comment 08-03 Faster floating point math with Rust’s new API (pythonspeed.com)
160. TP-Link TL-841N のルート化、ファームウェア解析、およびリセット後も保持されるハードコードされた認証情報 Lobste Comment 08-03 The rooting, firmware analysis and hardcoded, reset-persistent credentials of the TP-Link TL-841N (blog.juni-mp4.com)
163. NativeScope — React Nativeのデバッグ用オープンソースのローカルスタジオ Lobste Comment 08-03 NativeScope — Open Source local Studio for React Native debugging (www.nativescope.dev)
164. Google Wave の始め方 [2010] Lobste Comment 08-03 Getting Started with Google Wave [2010] (www.youtube.com)
165. 今は（ほとんど）知能ではなく、スピードを基準にモデルを選んでいます Lobste Comment 08-02 I''m (mostly) picking models on speed now, not intelligence (martinalderson.com)
168. LLMが生成したコードを手作業で書き直すことで、認知的負債を防ぐ Lobste Comment 08-02 Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
170. 書き込み時にEPIPEが発生する場合は、操作が間違っている可能性があります Lobste Comment 08-02 EPIPE on write might mean you''re doing it wrong (rachelbythebay.com)
171. 数学および理論計算機科学における10の進展 Lobste Comment 08-02 Ten advances in mathematics and theoretical computer science (openai.com)
173. C言語では、sizeofの解析が意外に難しい Lobste Comment 08-02 sizeof is surprisingly difficult to parse in c (sebsite.pw)
174. 重要な点において、AtomはRSSよりも優れている Lobste Comment 08-02 Atom is better than RSS, in ways that matter (chrismorgan.info)
176. MkLinux と、カスタマイズされた Apple Workgroup Server 9150 Lobste Comment 08-02 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
181. リーンカーネルの健全性に関するバグ #14576 の事後分析 Lobste Comment 08-02 Postmortem for Lean Kernel Soundness Bug #14576 (leodemoura.github.io)
184. Appleの画面共有における事前認証不要のRCE Lobste Comment 08-02 Apple Screen Sharing Pre-Auth RCE (warez.sl0p.foo)
185. でも、あなたの電卓はLinuxを動かせるのでしょうか？ Lobste Comment 08-02 But can your calculator run Linux? (raymii.org)
186. Rustにおける引数解析に関する、古くて新しいアプローチ Lobste Comment 08-02 An old-new take on argument parsing in Rust (jmmv.dev)
187. 『心の概念』について、ナウルが誤っていた点 Lobste Comment 08-02 What Naur got wrong from The concept of mind (tssm.neocities.org)
189. パッチを適用し、脆弱性を排除：deepsecがPwn2OwnのMicrosoft Edgeサンドボックス脱出をどのように再構築したか Lobste Comment 08-01 Patch In, Exploit Out: How deepsec Reconstructed the Pwn2Own Microsoft Edge Sandbox Escape (www.darknavy.org)
193. オリジントライアルを使用して、メール認証プロトコルをテストする Lobste Comment 08-01 Test the Email Verification Protocol with an origin trial (developer.chrome.com)
194. SupportMailのシャーディングシステムの再実装 Lobste Comment 08-01 Rewriting SupportMail''s sharding system (supportmail.dev)
195. 単なる比喩だけでは不十分です。ここでは、「理解の負債」を検証可能な診断基準として提示します。 Lobste Comment 08-01 We need more than a metaphor: here are testable diagnostics for comprehension debt (www.fightforthehuman.com)
196. AI：意思決定を行う人々が留意すべき点 Lobste Comment 08-01 AI: Considerations for people who make decisions (berthub.eu)
198. 開発パイプラインは本番環境です Lobste Comment 08-01 The development pipeline is a production system (sundry.jerryorr.com)
201. marionette：決定論的シミュレーションテストライブラリ Lobste Comment 08-01 marionette: deterministic simulation testing library (github.com)
203. rustgrep - Rustソースコード用の構造的grep Lobste Comment 08-01 rustgrep - structural grep for Rust source (radicle.network)
204. Arch Linux、AURパッケージの採用を無効化 Lobste Comment 08-01 Arch Linux disables AUR package adoption (lwn.net)
205. Common Lisp によるインタラクティブな Raylib Lobste Comment 08-01 Interactive Raylib with Common Lisp (www.youtube.com)
208. GuixシェルがEmacs内に統合されました Lobste Comment 08-01 Guix shell now inside Emacs (tusharhero.codeberg.page)
210. Servoの6月の注目トピック：実環境での互換性、メディアクエリ、SharedWorkerなど Lobste Comment 08-01 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
211. 死を待つソフトウェア：relayd(8) と httpd(8) の継続的な進化 Lobste Comment 08-01 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
213. 1948年製のIBMシステムに搭載された真空管フリップフロップモジュールへの通電 Lobste Comment 08-01 Energizing a vacuum-tube flip-flop module from a 1948 IBM system (www.righto.com)
214. プラットフォームエンジニアリングは依然として重要だ Lobste Comment 08-01 Platform engineering still matters (evnm.substack.com)
215. なぜ自社でCおよびCの推論エンジンを開発するのか Lobste Comment 08-01 Why we write our own C and C inference engines (localai.io)
216. DuckDBにおける非同期I/O：ワーク、スレッド、ワーク Lobste Comment 07-31 Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)
219. SQLite向けのゼロディスク・S3階層型ストレージエンジンをどのように構築したか Lobste Comment 07-31 How We Built a Zero-Disk, S3-Tiered Storage Engine for SQLite (rivet.dev)
224. 「派生からデプロイまで：本番環境におけるNixの実践」― ジョン・マレー Lobste Comment 07-31 Derivations to Deployments: Practical Nix in Production - John Murray (www.youtube.com)
225. 一時的なシェルを使用したプロジェクト固有の clangd 設定 Lobste Comment 07-31 Project-Specific clangd Configuration with a Temporary Shell (felix-knorr.net)
228. ネストされたデータ並列性の完全な平坦化 Lobste Comment 07-31 Full flattening of nested data parallelism (futhark-lang.org)
230. 2026年7月にRustコンパイラを高速化する方法 Lobste Comment 07-31 How to speed up the Rust compiler in July 2026 (nnethercote.github.io)
232. ATProtoにおける非公開データ：許可制データに関する提案 Lobste Comment 07-31 Private data in ATProto: Permissioned Data Proposal (github.com)
234. C64デモのエフェクト解説：『Rodents In The Attic』 Lobste Comment 07-31 C64 Demo Effects Explained: Rodents In The Attic (youtu.be)
235. コードレビューへの返信：重要な場面では背景情報を添える Lobste Comment 07-31 Code Review Responses: Add Context When It Counts (testing.googleblog.com)
237. 電球について、あなたは誤解させられていました Lobste Comment 07-31 You have been mislead about lightbulbs (maurycyz.com)
238. std.Io.Writer.Allocating がメモリをすべて使い果たしてしまった Lobste Comment 07-31 std.Io.Writer.Allocating ate all my memory (www.openmymind.net)
239. gccrs を使用した Linux のコンパイルに向けた進捗状況 Lobste Comment 07-31 Progress toward compiling Linux with gccrs (lwn.net)
241. 「スタックされたプルリクエスト」がパブリックプレビューを開始しました - GitHub 変更履歴 Lobste Comment 07-31 Stacked pull requests are now in public preview - GitHub Changelog (github.blog)
243. フリースレッド型PythonにおけるNumPyのスケーリング Lobste Comment 07-31 Scaling NumPy on Free-Threaded Python (labs.quansight.org)
244. なぜすべてのウィキメディア関係者はツール開発者であるべきなのか Lobste Comment 07-30 Why every Wikimedian should be a toolmaker (www.haykranen.nl)
245. 飽和：ソフトウェアが規模の拡大に伴い機能不全に陥る理由 Lobste Comment 07-30 Saturation: How Your Software Will Fail at Scale (www.youtube.com)
246. KindaRails2Shell - Active Storage 経由の Rails における重大な RCE (CVE-2026-66066) Lobste Comment 07-30 KindaRails2Shell - Critical RCE in Rails via Active Storage (CVE-2026-66066) (ethiack.com)
248. 継続を用いたモック化に対する汎用的なアプローチ Lobste Comment 07-30 A universal approach to mocking with continuations (crowdhailer.me)
250. htmx を使用したプログレッシブ・エンハンスメント対応フォームの構築 Lobste Comment 07-30 Building Progressively Enhanced Forms Using htmx (www.rafa.ee)
251. deskhop：高速デスクトップ切り替えデバイス Lobste Comment 07-30 deskhop: Fast Desktop Switching Device (github.com)
252. 『人間とコンピュータ』―ジョン・G・ケメニー（1972年） Lobste Comment 07-30 Man and the Computer - John G. Kemeny (1972) (archive.org)
253. ボタンとリンクの違い Lobste Comment 07-30 The Difference Between a Button and a Link (unplannedobsolescence.com)
254. Cにおけるfloatからintへの変換は、未定義の挙動となる可能性があります Lobste Comment 07-30 C float-to-int conversion can be undefined behavior (kttnr.net)
255. これまで取り組んだサイドプロジェクトの中で、一番楽しかったものは何ですか？ Lobste Comment 07-30 What side projects have you enjoyed the most? (lobste.rs)
256. ソニックの物理エンジン……って、実は物理エンジンじゃないの？ Lobste Comment 07-30 Sonic''s Physics Engine... Isn''t a Physics Engine? (www.youtube.com)
257. ローレンツとリトル：あなたの尻尾はいくらですか？ Lobste Comment 07-30 Lorenz and Little: How Much Does Your Tail Cost? (brooker.co.za)
262. シンプルなゲームでのタイマー設定（フレームルールを活用して） Lobste Comment 07-30 Setting timers in simple games (feat. the frame rule) (lynn.github.io)
264. xyは、Python用の非常に高速でカスタマイズ性の高いチャート作成ライブラリです Lobste Comment 07-29 xy is very fast and customizable charting library for Python (github.com)
265. Anthropicの新たな結果に関する補足 Lobste Comment 07-29 Some notes about Anthropic’s new results (blog.cryptographyengineering.com)
266. Gleamの言語サーバーにとって絶好の機会 Gleam v.1.18.0 リリース Lobste Comment 07-29 A field day for Gleam’s language server Gleam v.1.18.0 release (gleam.run)
267. PostgreSQLのMVCC：他のエンジンとの比較におけるトレードオフ Lobste Comment 07-29 PostgreSQL MVCC: tradeoffs compared to other engines (boringsql.com)
270. 「Hyperbole Implicit Buttons」：Hyperverseを構築しよう Lobste Comment 07-29 Hyperbole Implicit Buttons: Build your Hyperverse (www.chiply.dev)
272. Copilotは、あるWord文書から別のWord文書へと悪意のあるワームを拡散させます Lobste Comment 07-29 Copilot will propagate a malicious worm from one Word document to another (enklypesalt.com)
273. AIブームが世界の意思決定を根底から覆している Lobste Comment 07-29 AI Mania Is Eviscerating Global Decision-Making (hermit-tech.com)
274. MoQを使ってIETFのMoQセッションをストリーミング…というか、まあそんな感じ Lobste Comment 07-29 Streaming the IETF MoQ sessions with MoQ… kinda (www.meetecho.com)
280. おもちゃのソフトウェアを書くのは楽しい (2025) Lobste Comment 07-29 Writing Toy Software Is A Joy (2025) (blog.jsbarretto.com)
283. 一から開発されたLinuxデスクトップ「Starling」 Lobste Comment 07-29 Starling, a Linux Desktop written from scratch (starling.build)
284. Dartにおける証明型：finalクラスを計算的証人として使用する Lobste Comment 07-29 Proof types in Dart: Using final classes as computational witnesses (modulovalue.com)
285. フロンティア・ラボのエージェントによる侵入の全容：2026年7月のインシデントに関する技術的タイムライン Lobste Comment 07-29 Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (huggingface.co)
286. プログラム検証において、RocqがLeanよりも優れている理由 Lobste Comment 07-29 Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
288. 「QSYRUPWD」の謎：IBM i パスワードハッシュの復元 Lobste Comment 07-29 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)
290. 「キミ・デルタ・アテンション」を思いつくこともできたはずだ Lobste Comment 07-29 You Could Have Come Up With Kimi Delta Attention (blog.doubleword.ai)
292. Bastillion 5.1：単一JARのSSHゲートウェイが、すべてのセッションの監査と再生を行うようになりました Lobste Comment 07-29 Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (github.com)
293. 依存関係の文化 - リチャード・フェルドマン（Software Should Work Conf 2026） Lobste Comment 07-28 Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (www.youtube.com)
294. コンピュートシェーダーを用いたGPU上での並列JSON解析 Lobste Comment 07-28 Parallel JSON parsing on the GPU with compute shaders (github.com)
295. 学習者にとっての「サードプレイス」はどこにあるのでしょうか？ Lobste Comment 07-28 Where are the third places for learners? (kernelkennel.com)
297. ボタンを3回押す手間を省くために、カスタムPCBを設計しました Lobste Comment 07-28 I Designed A Custom PCB To Avoid Pressing A Button Three Times (blog.tymscar.com)
298. issetugid() の設計上の欠陥 (2017) Lobste Comment 07-28 Design flaws in issetugid() (2017) (gist.github.com)
300. Aux Control — 部屋中のみんなで音楽を選ぼう Lobste Comment 07-28 Aux Control — Let the whole room vote on the music (auxcontrol.live)