2. 対話型プログラムの実行時間の上限に関する基礎的な検証 Lobste Comment 14:56 Foundational Verification of Running-Time Bounds for Interactive Programs (adam.chlipala.net)
3. Discord SDKをEVE Frontierに統合する Lobste Comment 13:39 Integrating Discord SDK into EVE Frontier (skemman.is)
4. 不均衡の数学における「画期的な進展」 Lobste Comment 13:23 ‘Huge Breakthrough’ in the Math of Imbalance (www.quantamagazine.org)
5. なぜ、私の2つのCortex-A9コアはキャッシュコヒーレントではないのでしょうか？ Lobste Comment 12:48 Why aren''t my two Cortex-A9 cores cache coherent? (thejpster.org.uk)
6. 不朽の名機「1984年製マッキントッシュ」（修復日記） Lobste Comment 07:17 The immortal 1984 Macintosh (restoration diary) (www.thebyteattic.com)
8. macOS 27 Golden Gate では、hdiutil は非推奨となっています Lobste Comment 04:11 hdiutil is deprecated in macOS 27 Golden Gate (lapcatsoftware.com)
10. PiKVMプロジェクトでは、ウェブカメラの転送機能がサポートされるようになりました Lobste Comment 02:41 PiKVM project has gained support for web-camera forwarding (docs.pikvm.org)
12. 2026年のRust GUIライブラリに関する調査 Lobste Comment 01:52 A 2026 Survey of Rust GUI Libraries (blog.wybxc.cc)
13. ライナス・トーバルズ氏、AIを活用してインテル製GPUドライバのバグをデバッグ Lobste Comment 00:04 Linus Torvalds uses AI to debug an Intel GPU driver bug (github.com)
14. nss-userhosts - 特権のないユーザー向けのhostsファイル Lobste Comment 08-22 nss-userhosts - hosts files for unprivileged users (codeberg.org)
15. InjectionBunny：権限昇格を目的としたNTFS3 SUIDインジェクション Lobste Comment 08-22 InjectionBunny, a NTFS3 SUID injection for privilege escalation (lore.kernel.org)
16. Espressif、ESP32-S31 RISC-Vボード向けLinux BSPをリリース Lobste Comment 08-22 Espressif releases Linux BSP for ESP32-S31 RISC-V boards (www.cnx-software.com)
17. ソフトウェアの動作が遅くなる原因は依然として存在している Lobste Comment 08-22 There continue to be reasons for software to be slow (typesanitizer.com)
22. OTelはうまくいっていない（そこで、その件についてスプレッドシートを作ってみた） Lobste Comment 08-22 OTel Isn''t Going Well (And I Made A Spreadsheet About It) (matduggan.com)
26. Emacsにおける任意のコード実行の脆弱性が再発 Lobste Comment 08-22 Emacs Arbitrary Code Execution Returns (eshelyaron.com)
28. CASIO F-91Wを非接触型決済端末に変える Lobste Comment 08-22 Turning My CASIO F-91W Into a Contactless Payment Device (hackernoon.com)
29. プログラミング言語のセマンティクスとメモリ安全性 Lobste Comment 08-22 Programming Language Semantics and Memory Safety (burakemir.ch)
31. レバノンにおける応用を伴う「ワスタ」のゼロ知識証明 Lobste Comment 08-22 Zero-Knowledge Proof of Wasta with Applications in Lebanon (eprint.gacr.info)
33. 「成功の深淵」―リコ・マリアーニへのインタビュー Lobste Comment 08-22 The Pit of Success - An interview with Rico Mariani (youtu.be)
36. 「Felony Bench」：AIになって、犯罪を犯せ Lobste Comment 08-22 Felony Bench: Be AI, Do Crime (www.felonybench.com)
37. 残念ながら、時にはそういうことをやらなければならないこともあります Lobste Comment 08-22 Unfortunately you sometimes need to do the thing (griffinberlste.in)
38. ナイトリー版で次世代形質ソルバーを有効化 Rustブログ Lobste Comment 08-21 Enabling the next-generation trait solver on nightly Rust Blog (blog.rust-lang.org)
39. 覚えておくと便利な、ちょっとしたWebのコツ Lobste Comment 08-21 Small, native web tricks worth remembering (htmlcat.net)
40. rust-glancer: メモリ使用量の低減に重点を置いた、Rust用の代替LSP Lobste Comment 08-21 rust-glancer: An alternative LSP for Rust with focus on low memory usage (rust-glancer.github.io)
42. 日本は全世界向けのオペレーティングシステムの開発を試みたが、その後、米国政府が介入した Lobste Comment 08-21 Japan tried to build an operating system for the entire world, then the US government intervened (www.xda-developers.com)
43. 「Atproto Spaces Alpha」が公開されました Lobste Comment 08-21 The Atproto Spaces Alpha is Live (atproto.com)
44. Cassandra 6におけるACIDトランザクションへの道 Lobste Comment 08-21 The road to ACID transactions in Cassandra 6 (theconsensus.dev)
45. うっかり、軍事基地への電話を数十万件も記録してしまいました Lobste Comment 08-21 I accidentally logged hundreds of thousands of phone calls to military bases (lina.sh)
48. 「Bazzite Deck 44」が本日リリースされました Lobste Comment 08-21 Bazzite Deck 44 Launches Today (universal-blue.discourse.group)
50. 2026年半ばに、自分用のアプリをコーディングする Lobste Comment 08-21 Vibe coding personal apps in mid-2026 (www.flourish.org)
52. KDEにおけるBtrfsスナップショットの統合 Lobste Comment 08-21 Btrfs Snapshot Integration in KDE (bharadwajraju.com)
53. 検閲されたインターネットを生き抜くためのガイド Lobste Comment 08-21 Survival Guide for a Censored Internet (www.akitaonrails.com)
56. 『Decoding Magic School Lunar』のセーブデータ形式の解読 Lobste Comment 08-21 Decoding Magic School Lunar''s Save Game Format (mistys-internet.website)
58. ゼロ知識証明は、年齢確認の万能薬ではない Lobste Comment 08-21 Zero-Knowledge Proofs Aren’t Age Verification Silver Bullets (www.eff.org)
59. 「アセンブリ言語は型付けされていない」と誰もが言うが、みんな間違っている - gingerBill Lobste Comment 08-21 Everyone Says Assembly Is Untyped—Everyone Is Wrong - gingerBill (www.gingerbill.org)
60. GitHub、オートスケーリング、そして「コンポーネント置換の誤謬」 Lobste Comment 08-20 GitHub, autoscaling, and the component substitution fallacy (surfingcomplexity.blog)
61. あらゆる文化背景を持つ子どもたち向けのパソコン Lobste Comment 08-21 A Personal Computer For Children Of All Cultures (www.deconstructconf.com)
62. ダブル・ダブル：FPUから離れることなく31桁の精度を実現 Lobste Comment 08-20 Double-double: 31 digits of precision without leaving the FPU (marekfiser.com)
63. OpenPubkey SSH（OPKSSH）のオープンソース化：SSHへのシングルサインオンの統合 Lobste Comment 08-20 Open-sourcing OpenPubkey SSH (OPKSSH): integrating single sign-on with SSH (www.ethanheilman.com)
64. オープンソースは美徳ではない：それは所有権モデルである Lobste Comment 08-20 Open Source Is Not a Virtue: It’s an Ownership Model (blog.mozilla.ai)
65. Opusは、f-式（Kernel言語）のセマンティクスに基づいた、ミニマルで静的スコープを持つLisp方言です。 Lobste Comment 08-20 Opus is a minimal, statically-scoped Lisp dialect based on the semantics of f-expressions (the Kernel language) (github.com)
66. 「アイデア・プロセッサー」、あるいは「ユースケースとは何か？」 Lobste Comment 08-20 The Idea Processor, or “What is the use case?” (forum.malleable.systems)
69. X.Org Server 26.1 RC1、5年ぶりの機能リリースを控える - Phoronix Lobste Comment 08-20 X.Org Server 26.1 RC1 Prepares For First Feature Release In Five Years - Phoronix (www.phoronix.com)
70. CIトラフィックを20倍に増やしても速度低下なし：DatadogにおけるGitサービスの再構築 Lobste Comment 08-20 20 the CI traffic without getting slower: How we rebuilt Git serving at Datadog (www.datadoghq.com)
71. AliExpressは、WebAudioフィンガープリンティング技術を用いて、マルチポイント対応のBluetoothヘッドホンの接続状態を維持している Lobste Comment 08-20 AliExpress keeps multipoint Bluetooth headphones active with WebAudio fingerprinting (blog.laserphile.com)
72. NASAのシステムモデリング言語、FPP Lobste Comment 08-20 NASA''s System Modeling Language, FPP (ieeexplore.ieee.org)
73. AIは、その後輩の価値を消し去ったわけではない。むしろ、その価値を高めたのだ。 Lobste Comment 08-20 AI didn''t erase the junior''s value. It increased it (franciscotrindade.me)
74. RustをWebAssemblyにコンパイルするのが遅い理由 Lobste Comment 08-20 Why compiling Rust to WebAssembly is slow (00f.net)
76. 冗談半分でドメインを購入したことが、どうして地政学的紛争へと発展したのか Lobste Comment 08-20 How a joke domain purchase turned into geopolitical warfare (sprocketfox.io)
77. もしこれが本当なら、ハイパースケーラーたちは終わりだ Lobste Comment 08-20 If this is true, the hyperscalers are toast (klementoninvesting.substack.com)
78. 最新システムにおけるベンチマークの落とし穴 Lobste Comment 08-20 Pitfalls of Benchmarking on Modern Systems (stefan-marr.de)
79. Rustのサプライチェーン攻撃：arrayref 0.3.10 と proc-macro1 のタイポスクワット Lobste Comment 08-20 Rust Supply-Chain Attack: arrayref 0.3.10 and the proc-macro1 Typosquat (www.stepsecurity.io)
80. 「Find My People」をリバースエンジニアリングして、元カレの友人をストーキングする。だってできるから Lobste Comment 08-20 Reverse-engineering Find My People to stalk my ex a friend, cause I can (zerotistic.blog)
81. SQLiteをNixにこっそり導入する3つの方法 Lobste Comment 08-20 Three ways to smuggle SQLite into Nix (fzakaria.com)
83. Pubsubシステムの限界を理解する Lobste Comment 08-20 Understanding the limitations of Pubsub systems (dl.acm.org)
89. Odinを用いて構築された、使いやすいエンティティ・コンポーネント・システム（ECS） Lobste Comment 08-20 Easy to use Entity Component System (ECS) crafted with Odin (github.com)
90. Sing-song：長い数値や鍵を音声で表現するための符号化方式 Lobste Comment 08-20 Sing-song: a speakable encoding for long numbers and keys (blog.vrypan.net)
93. Go 1.27 がリリースされました - Go プログラミング言語 Lobste Comment 08-20 Go 1.27 is released - The Go Programming Language (go.dev)
94. プレーンテキストによる会計処理って、なかなかいいよね Lobste Comment 08-20 Plain Text Accounting is Pretty Cool (sumnerevans.com)
95. capri: BEAM向けの最新分散データベース「Khepri」のための、型安全でアトミックなGleamバインディング Lobste Comment 08-20 capri: Type-safe, atomic Gleam bindings for Khepri, the modern distributed database for the BEAM (capri.hexdocs.pm)
97. エクストリーム・プログラミング：やさしい入門 Lobste Comment 08-19 Extreme Programming: A Gentle Introduction (www.extremeprogramming.org)
99. コンパイラの構築に関する意見 Lobste Comment 08-19 Opinions About Compiler Building (programmingsimplicity.substack.com)
100. 幾何学とCUDA GPUプログラミングを用いたランダムな島嶼画像の位置特定 Lobste Comment 08-19 Geolocating Random Islet Image Using Geometry & CUDA GPU Programming (yassa9.github.io)
102. microSDカードの容量、性能、および信頼性について Lobste Comment 08-19 On the Capacity, Performance, and Reliability of microSD Cards (www.bahjeez.com)
103. なぜ私は今でもコミットメッセージを手書きで書いているのか Lobste Comment 08-19 Why I still hand write my commit messages (www.jvt.me)
107. エージェントの行動サンドボックスとしての液体タイプ Lobste Comment 08-19 Liquid Types as a behavioural sandbox for agents (wiki.alcidesfonseca.com)
108. Solo：Linuxの静的バイナリ用.soローダー Lobste Comment 08-19 Solo: a .so loader for static Linux binaries (github.com)
110. 『ファーゲートは爆竹ではない』（2024年） Lobste Comment 08-19 Fargate Is Not Firecracker (2024) (justingarrison.com)
111. パロマー – リーン検証済み数学の登録簿 Lobste Comment 08-19 Palomar – a registry of Lean verified mathematics (terrytao.wordpress.com)
112. Bun 1.4 の Rust による書き換えは、あまりうまくいっていないようだ Lobste Comment 08-19 Bun 1.4 Rust rewrite is not looking good (tipiirai.com)
113. スーザン・ケア：初代Macのアイコンとグラフィックのデザイン Lobste Comment 08-19 Susan Kare: Designing Icons & Graphics For the Original Mac (www.youtube.com)
114. 現代のリレーショナルクエリ言語に求めるもの Lobste Comment 08-19 Things I want in a modern relational query language (sporks.space)
115. アリババがTSMCに製造を委託した5nm RISC-Vチップ「XuanTie C950」が、Qwen-3.8の270億パラメータモデルをネイティブで実行可能となり、垂直統合の大きな追い風が生まれている Lobste Comment 08-19 Alibaba''s TSMC-Built 5nm RISC-V Chip, XuanTie C950, Now Runs Qwen-3.8 27B Model Natively, Unlocking Massive Vertical Integration Tailwinds (wccftech.com)
116. Am29000用CコンパイラとWebブラウザをどのように開発したか Lobste Comment 08-19 How I developed an Am29000 C compiler and web browser (nanochess.org)
118. dgit: Durable Objects上のGitフォージ Lobste Comment 08-19 dgit: Git forge on Durable Objects (github.com)
119. 2026年8月17日のGitHubサービス停止に関するインシデントレポート Lobste Comment 08-19 Incident Report for GitHub outage on 2026-08-17 (www.githubstatus.com)
120. Mastodon 5.0：基盤の構築 Lobste Comment 08-19 Mastodon 5.0: Laying the foundation (blog.joinmastodon.org)
121. Pythonにおいて、str.lower() がセキュリティ上の脆弱性となる場合 Lobste Comment 08-19 When str.lower() is a security vulnerability in Python (sethmlarson.dev)
122. 格安で提供される、徹底的にカスタマイズされた特注ソフトウェア Lobste Comment 08-19 Hyper-Customized One-Off Software for Cheap (blog.gnoack.org)
123. レイヤー8での組織活動 ― 「アメリカ民主社会主義者協会」における技術開発 Lobste Comment 08-19 Organizing in Layer 8 – Building Tech in Democratic Socialists of America (www.youtube.com)
124. Odinの新しいインラインアセンブリテンプレート Lobste Comment 08-19 Odin''s New Inline Assembly Templates (odin-lang.org)
125. 毎晩のターゲットディレクトリのサイズを縮小する実験 Lobste Comment 08-19 Experiment in reducing target directory size on nightly (blog.rust-lang.org)
128. 20ドルの工具を使って、起動不能になったAMD 7040シリーズ Framework 13インチノートPCを修理する Lobste Comment 08-18 Fixing a bricked AMD 7040 series Framework 13” laptop with 20 tools (quantum5.ca)
129. なぜ私がLVMを（保証が劣る形で）再実装したのか Lobste Comment 08-18 Why I reimplemented LVM (with worse guarantees) (depot.dev)
130. 2026年、皆さんは毎日どのようなソフトウェアを使っていますか？ Lobste Comment 08-18 What software do you use daily in 2026? (lobste.rs)
131. CSS-in-JS：Arena Bamboo、StyleX、Pandaによるピクセル単位で同一のアプリ Lobste Comment 08-18 CSS-in-JS Arena Bamboo, StyleX and Panda on Pixel-Identical Apps (github.com)
133. VRAMの管理 第2部：物理VRAMの限界を超えて Lobste Comment 08-18 VRAM Management Part 2: Beyond the Limits of Physical VRAM (pixelcluster.dev)
135. Fairphone 6 PostmarketOS：メインカメラが正常に動作する Lobste Comment 08-18 Fairphone 6 PostmarketOS working main camera (catcrafts.net)
136. uBlockを使ってウェブを閲覧する方法（ハードモード） Lobste Comment 08-18 How I browse the Web with uBlock (Hard Mode) (untrusem.party)
137. RustにおけるGPUオフロード：移植性が高く、安全で、高速 Lobste Comment 08-18 GPU Offload in Rust: Portable, Safe, and Fast (arxiv.org)
138. Tsampi BFT：パラメータ化されたファイナリティを備えたリーダーレスな1ラウンド投票 Lobste Comment 08-18 Tsampi BFT: Leaderless One-Round Voting with Parameterized Finality (www.tsampi.com)
139. 鉄道網をフラットベッドスキャナーとして活用する Lobste Comment 08-18 Using the railway network as a flatbed scanner (philo.gay)
141. 「プログラミング・パール」：一意の (x, y) ペアのサンプリング Lobste Comment 08-18 Programming Pearl: Sampling Unique (x, y) Pairs (pagedout.institute)
144. Biboumi – IRC への XMPP ゲートウェイ Lobste Comment 08-18 Biboumi – XMPP gateway to IRC (biboumi.codeberg.page)
147. ビルドシステムをコンパイラに組み込む Lobste Comment 08-18 Retrofitting a build system into a compiler (www.dra27.uk)
149. 『Quake Shareware』――ちょっと詰め込みすぎなCD-ROM Lobste Comment 08-18 Quake Shareware, a CD-ROM just a little too full (fabiensanglard.net)
150. LLMを活用した開発のための実践的なワークフロー Lobste Comment 08-18 A practical workflow for LLM-assisted development (yogthos.net)
151. AIによるテキスト透かし技術の仕組み：図解ガイド Lobste Comment 08-18 How AI text watermarking works: a visual guide (declaude.org)
152. Blueskyがスクリーンショット上でロゴをどのように描画しているか Lobste Comment 08-18 How Bluesky draws its logo on screenshots (timmarinin.net)
153. 希少本の配送を追跡したところ、その行き先はAmazonのAIトレーニング施設だった Lobste Comment 08-18 We Tracked a Shipment of Rare Books. It Ended at an Amazon AI Training Facility (simonwillison.net)
155. Goがsync.noCopyを使用して構造体のコピーをどのように検出するか Lobste Comment 08-18 How Go detects struct copies with sync.noCopy (func25.dev)
156. GitHubには代替手段はあるが、完全な代わりとなるものはない Lobste Comment 08-18 GitHub has alternatives, but no replacement (lalitm.com)
158. ゼロから逆コンパイルプロジェクトを始める：2001年発売のGBAゲームの「クロード・コード」と51％ Lobste Comment 08-18 Starting a Decompilation Project from Zero: Claude Code and 51% of a 2001 GBA Game (gambiconf.substack.com)
159. Qwen 3.8 27B は素晴らしいですが、デフォルトでは物事を過度に深く考えすぎてしまいます Lobste Comment 08-17 Qwen 3.8 27B is excellent, but it defaults to wildly overthinking things (simonwillison.net)
161. GitHubの代替サービスに乗り換えるのは理にかなっているでしょうか？ Lobste Comment 08-17 Does it make sense to switch to a Github Alternative ? (lobste.rs)
162. WASIを超えて：BrowserPod 3.0 を使ってブラウザ上であらゆる Rust アプリケーションを実行する Lobste Comment 08-17 Beyond WASI: Running any Rust application in the browser with BrowserPod 3.0 (labs.leaningtech.com)
163. 「下矢印が逆さまの上矢印ではないとき」（2022年） Lobste Comment 08-17 When the Down Arrow is not an Upside-Down Up Arrow (2022) (thefloatingcontinent.com)
164. Dockerサンドボックスを用いたESP32ファームウェア開発 Lobste Comment 08-17 ESP32 Firmware Development with Docker Sandboxes (www.docker.com)
165. Anthropicの「ウォーターマーク」によるClaudeでのテキスト改ざんは、文章作成の歪曲である Lobste Comment 08-17 Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing (daringfireball.net)
166. Stratum 1 PTP グランドマスター：CM4 SR1723U10（その1） Lobste Comment 08-17 Stratum 1 PTP Grandmaster: CM4 SR1723U10 (Part 1) (opscode.io)
167. ファクト：人間とエージェントのための厳選された知識 Lobste Comment 08-17 Facts: Curated Knowledge for Humans and Agents (gist.github.com)
169. Con Kolivas 著『Linux 7.2 向け MuQSS CPU スケジューラ』 Lobste Comment 08-17 MuQSS CPU scheduler for Linux 7.2 by Con Kolivas (lore.kernel.org)
171. 審査済みのAIコードの採用を正当化するのは難しい Lobste Comment 08-17 Vetted AI code is hard to justify (amoffat.github.io)
172. テストについて：アサーションとマッチャー Lobste Comment 08-17 Thinking about tests: assertions and matchers (zverok.space)
173. NixOS における kexec を使用したパスフレーズ不要の再起動 Lobste Comment 08-17 Passphrase-less reboots using kexec under NixOS (www.bevuta.com)
174. インプレース初期化の4つのレベル Lobste Comment 08-17 Four levels of in-place initialization (blog.yoshuawuyts.com)
178. 90年代のSIMD：インテル・ペンティアムMMXのプログラミング Lobste Comment 08-17 SIMD in the 90s: Programming Intel''s Pentium MMX (pikuma.com)
179. SCM_RIGHTS API の挙動上の特徴 (2019) Lobste Comment 08-17 SCM_RIGHTS API quirks (2019) (gist.github.com)
181. WEBMASTER@ すべての人に向けたマニフェスト Lobste Comment 08-17 WEBMASTER@ a manifesto for everyone (brennan.day)
182. 『AIの限界』―ヒューバート・ドレイファス（1985年） Lobste Comment 08-17 The Limits of AI - Hubert Dreyfus (1985) (www.youtube.com)
183. AIソフトウェア開発――データは何を物語っているのか？ Lobste Comment 08-17 AI Software Development – What Does The Data Say? (codemanship.wordpress.com)
185. 曜日を計算するより速い方法 Lobste Comment 08-17 A faster way to calculate the day-of-the-week (www.benjoffe.com)
187. さまざまなプラットフォームのヒューマンインターフェースガイドライン Lobste Comment 08-17 Human Interface Guidelines from various platforms (unsung.aresluna.org)
188. 今、どのくらいの数のバグを選ぶか決めるだけでいいですよ Lobste Comment 08-17 You can just choose how many bugs you want now (nolanlawson.com)
189. アルゴリズム・アート：トップスタジオと共に、発見から一滴に至るまで Lobste Comment 08-17 Algorithmic Art: From Discovery to a Drop with a Leading Studio (art.camilleroux.com)
190. 「RISC-V：もっとよく考えるべきだった」という記事に対する、第三世界の組み込みエンジニアの反応 Lobste Comment 08-17 A Third World Embedded Engineer Responds to "RISC-V: They Should Have Known Better" (rvembedded.com)
192. CVE-2026-33696: n8nにおけるスキーマ名からのリモートコード実行（RCE） Lobste Comment 08-17 CVE-2026-33696: From a Schema Name to RCE in n8n (simonkoeck.com)
193. nokia-dct3-emulator: Nokia DCT3 対応携帯電話向けのオープンソースエミュレータおよび解析ツールキット Lobste Comment 08-17 nokia-dct3-emulator: Open-source emulator analysis toolkit for Nokia DCT3 phones (github.com)
196. C言語の代替となるものを開発しているつもりだった。それは間違いだった。 Lobste Comment 08-16 I thought I was building a C replacement. I was wrong (c3-lang.org)
197. Rustの標準ライブラリを意図しない破損から保護する Lobste Comment 08-16 Protecting the Rust standard library from accidental breakage (predr.ag)
198. Healthchecks.io を使った SystemD サービスの監視 Lobste Comment 08-16 Monitoring SystemD services with Healthchecks.io (passbe.com)
202. Haskell：その起源、進化、そして未来 Lobste Comment 08-16 Haskell: origins, evolution, and future (www.youtube.com)
203. ソフトウェア工学の基礎は、これまで以上に重要になっている Lobste Comment 08-16 Software Engineering fundamentals matter more than ever (rhonabwy.com)
204. PyPIで再現性のあるビルドを実現するために何が欠けているのか Lobste Comment 08-16 What''s missing to have reproducible builds on PyPI (snarky.ca)
205. Aiki：Alpha マイルストーン 26 アップデート Lobste Comment 08-16 Aiki: Alpha Milestone 26 Update (decuser.github.io)
206. Effectの軽量な代替手段としてのLazyPromiseについて、どう思いますか？ Lobste Comment 08-16 What do you think of LazyPromise as a lightweight alternative to Effect? (github.com)
207. 時空間的組み合わせ可能性のためのプログラミングパラダイム Lobste Comment 08-16 A Programming Paradigm for Spatiotemporal Composability (github.com)
209. まとめ：『ソフトウェアは正常に動作すべきだ』2026年版 ベン・コーニア Lobste Comment 08-16 Recap: Software Should Work 2026 Ben Cornia (bencornia.com)
212. 潜在推論モデルは解釈しやすいのか？ Lobste Comment 08-16 Are Latent Reasoning Models Easily Interpretable? (arxiv.org)
213. Qwen3.8-27B - リリース当日のデモ Lobste Comment 08-15 Qwen3.8-27B - Release Day Demos (loktar00.github.io)
216. まもなくすべてが「暗転」しようとしている Lobste Comment 08-15 Everything is about to “go dark” (blog.cryptographyengineering.com)
217. Flirt：GitHubおよびメーリングリストのバックエンド Lobste Comment 08-15 Flirt: GitHub and Mailing List backends (blog.buenzli.dev)
218. SerokellによるGHCに関する研究：依存型、第5回 Lobste Comment 08-15 Serokell’s Work on GHC: Dependent Types, Part 5 (serokell.io)
219. 研究を再現できるAI研究者の育成 Lobste Comment 08-15 Training AI Scientists to Replicate Research (inherentlabs.ai)
220. 『「タダ飯」は終わった：ソフトウェアにおける並行処理への根本的な転換』（2005年） Lobste Comment 08-15 The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software (2005) (www.gotw.ca)
222. 「タイプ」の謎を解き明かす（そしていくつかの「パラドックス」を解消する） Lobste Comment 08-15 Demystifying Type (and some Un-Paradoxing) (sifter.org)
223. アクションの時相論理（TLA）によるシステムの安全性向上 Lobste Comment 08-15 Improving system safety with Temporal Logic of Actions (TLA) (depot.dev)
224. Firefoxは現在、uBlock Originを依然としてサポートしている最後の大手ブラウザとなっています Lobste Comment 08-15 Firefox is now the last major browser that still supports uBlock Origin (www.pcworld.com)
225. 2004年の『RuneScape』は、どうやって56kのダイヤルアップ回線にマルチプレイヤーRPGを収めたのか · jkm.dev Lobste Comment 08-15 How 2004 RuneScape fit a multiplayer RPG into 56k dial-up · jkm.dev (jkm.dev)
230. 独自のゲームエンジンを開発することで得られるもの Lobste Comment 08-15 What You Gain by Building Your Own Game Engine (eliasfarhan.ch)
233. Linuxカーネル、Musl Libc、およびBGPに、IPv8のインターネットドラフトを実装しました。 Lobste Comment 08-15 We implemented the IPv8 Internet-Draft in the Linux Kernel, Musl Libc, and BGP (goonhost.rocks)
235. Meta、顔認識技術を用いて人物を特定するAIメガネの特許を出願 Lobste Comment 08-15 Meta Patents AI Glasses to Use Facial Recognition to Identify People (web.archive.org)
236. Thunderbirdのデスクトップカレンダーのビジュアル刷新 Lobste Comment 08-15 Thunderbird’s Desktop Calendar Visual Redesign (blog.thunderbird.net)
237. DecryptAdsで、誰があなたを追跡しているかを確認しましょう Lobste Comment 08-15 Find out who’s tracking you with DecryptAds (krebsonsecurity.com)
238. Lispのサブタイピングにおける（私にとっては）予期せぬ挙動 Lobste Comment 08-15 Unexpected (to me) behaviour in Lisp sub-typing (simondobson.org)
242. Bluesky Protocol Servicesのご紹介 Lobste Comment 08-14 Introducing Bluesky Protocol Services (atproto.com)
244. コード内のコメントとプルリクエストの説明 Lobste Comment 08-14 Comments in the code vs PR description (devblogs.microsoft.com)
245. SlopScan：公開されているGitリポジトリを表示する際に「スロープスコア」を表示します Lobste Comment 08-14 SlopScan: Displays a "slop score" when viewing public git repositories (addons.mozilla.org)
247. 世界初の「リンク・コンプレッサー」を作った Lobste Comment 08-14 I Made the World''s First "Link Compressor" (www.youtube.com)
248. OWASPトップ10：CI/CDにおけるセキュリティリスク Lobste Comment 08-14 OWASP Top 10 CI/CD Security Risks (owasp.org)
251. Bluetooth経由で折りたたみ式携帯電話からLinuxマシンにログインする（2021年） Lobste Comment 08-14 Logging into a Linux machine from a flip phone over Bluetooth (2021) (www.youtube.com)
253. 「技術的負債」なんて呼ばないで、ただの「ごちゃごちゃ」だ Lobste Comment 08-14 Let''s not call it "tech debt," it''s just "mess" (www.simplermachines.com)
255. SvelteKit 3のリリース候補版が公開されました Lobste Comment 08-14 The SvelteKit 3 Release Candidate is here (svelte.dev)
257. Egg を使った SQL オプティマイザーの作成 (2023) Lobste Comment 08-14 Write a SQL Optimizer using Egg (2023) (rustmagazine.org)
260. 「ハッカーに会おう #2：ブランドン・アザド」優れた対策とは何か、そしてLLMが私たちをどこへ導くのか Lobste Comment 08-14 Meet the Hackers #2: Brandon Azad What makes a good mitigation and where LLMs might take us (www.youtube.com)
261. フェディバース開発者に向けた「同意」に関する8つのヒント Lobste Comment 08-14 Eight tips about consent for fediverse developers (thenexusofprivacy.net)
262. DRAMスクランブリングによるCPUの「すべて」のロック解除 Lobste Comment 08-14 Unlocking _everything_ on the CPU with DRAM scrambling (github.com)
264. ZOOMSDAY：注釈を介したZoomのゼロクリック脆弱性 Lobste Comment 08-13 ZOOMSDAY, Zoom Zero-Click Vulnerabilities Via Annotation (a.security)
265. AIによって、ソフトウェアエンジニアリング分野の中産階級が消えつつある Lobste Comment 08-13 AI is removing the middle class of software engineering (blog.florianherrengt.com)
266. CHERIによるメモリセーフティときめ細かなコンパートメント化の導入 Lobste Comment 08-13 Adopting Memory-Safety and Fine-Grained Compartmentalisation with CHERI (www.infoq.com)
267. 『SQLite：その仕組み』リチャード・ヒップ著（2024年） Lobste Comment 08-13 SQLite: How it works, by Richard Hipp (2024) (www.youtube.com)
268. 権限管理、サンドボックス、自動レビューを備えた「ある程度安全な」Pi環境 Lobste Comment 08-13 A "secure-ish" Pi setup with permission, sandbox, and auto-review (ptgamr.substack.com)
269. スーパー8フィルムを自分でデジタル化する方法 Lobste Comment 08-13 Digitizing super 8 film yourself (nibblestew.blogspot.com)
275. Pythonの事前定義された定数は、なんだかちょっと変ですね Lobste Comment 08-13 python''s pre-declared constants are kinda weird (sebsite.pw)
276. Futharkは、不規則な配列をプログラマーに対してどのように公開すべきでしょうか？ Lobste Comment 08-13 How should Futhark expose irregular arrays to the programmer? (futhark-lang.org)
278. PgBouncerを使わずにPostgresを運用している人はいますか？ Lobste Comment 08-13 Does anyone run Postgres without PgBouncer? (brandur.org)
281. KVMのゲストからホストへのヒープ破損バグを発見しましたが、誰かが先に報告していました Lobste Comment 08-13 I found a KVM guest-to-host heap corruption bug and someone else got there first (blog.himanshuanand.com)
283. Chromeではなぜ小さなJPEG画像の見え方が違うのか Lobste Comment 08-13 Why tiny JPEGs look different in Chrome (guillaumetech.github.io)
284. タブ、スペース、手工具、シートベルト Lobste Comment 08-13 Tabs, Spaces, Hand Tools, and Seat Belts (newsletter.powderworks.dev)
285. Flume Water Monitorのトラフィックの解読 Lobste Comment 08-13 Decrypting Flume Water Monitor Traffic (lithostech.com)
287. Apple、AI関連の報告が殺到したことを受け、バグ報奨金プログラムへの応募を制限 Lobste Comment 08-12 Apple Limits Bug Bounty Submissions After a Barrage of AI Entries (www.pcmag.com)
289. TailscaleがSQLiteのWALリセットのバグ発見にどのように貢献したか Lobste Comment 08-12 How Tailscale helped find the SQLite WAL-Reset bug (tailscale.com)
291. アナリストの視点から見たAndroidハードウェア認証の回避 Lobste Comment 08-12 Bypassing Android Hardware Attestation from the Analyst''s Chair (blog.quarkslab.com)
292. ブラウザ上のNumba：JupyterLiteで新たな科学用Pythonスタックを活用する Lobste Comment 08-12 Numba in the Browser: Unlocking a New Scientific Python Stack in JupyterLite (notebook.link)
293. 新しいDelphi Community Edition「Florence」 Lobste Comment 08-12 New Delphi Community Edition "Florence" (blog.marcocantu.com)
294. fearless_simd v0.7：64ビット整数、ジェネリクスの改良、SSE2、そして近日公開予定のv1.0 Lobste Comment 08-12 fearless_simd v0.7: 64-bit integers, improved generics, SSE2, and upcoming v1.0 (linebender.org)
296. Linux用のソフトウェアをパッケージ化するのは大嫌いだ Lobste Comment 08-12 I hate packaging my software for Linux (getfresh.dev)
297. QRコードを（台無しにしない）ためのガイド Lobste Comment 08-12 Guide to (not) fucking up QR codes (infosec.exchange)
298. Deadbugz：現在進行中のMCPサプライチェーン・キャンペーン Lobste Comment 08-12 Deadbugz: Currently Active MCP Supply-Chain Campaign (www.pillar.security)
299. 「My Lobsters」への投稿を分析する Lobste Comment 08-12 Analyzing My Lobsters Submissions (abhinavsarkar.net)