Lobste の最新の投稿 Lite

1. C言語の矢印（-）演算子はなぜ存在するのでしょうか？ Lobste Comment

04:12 Why does the arrow (-) operator in C exist? (stackoverflow.com)

2. 1台のRaspberry Piには、サンドボックス化されたポッドをいくつまで収容できますか？ Lobste Comment

04:32 How many sandboxed pods can fit in a Pi? (nubificus.co.uk)

3. 息抜きのための空間づくり Lobste Comment

04:23 Engineering for Breathing Room (rfc.earendil.com)

4. Chromiumは4年後に修正済みのエクスプロイトを公開したが、実際には修正されていなかったことが判明した Lobste Comment

04:29 Chromium publishes fixed exploit 4 years later, turns out it''s actually unfixed (infosec.exchange)

5. スマートテレビのソフトウェアをカスタマイズするユーザーの権利を巡る長年の争いが、裁判へと発展した Lobste Comment

02:57 Yearslong fight over users'' right to tweak smart TV software heads to trial (arstechnica.com)

6. XSSはパスキーにとって致命的：認証の隠れたリスク Lobste Comment

03:20 XSS Is Deadly for Passkeys: The Hidden Risk of Attestation None (scotthelme.co.uk)

7. Linuxカーネルの__ptrace_may_access()関数における論理的バグ (CVE-2026-46333) Lobste Comment

03:04 Logic bug in the Linux kernel''s __ptrace_may_access() function (CVE-2026-46333) (cdn2.qualys.com)

8. I2Cに関する注意事項 Lobste Comment

02:52 Notes on I2C (rana-emaan.com)

9. glibcのmallocにおいて、スレッド間での二重解放の検出はどのように機能するのか Lobste Comment

00:11 How cross-thread double free detection could work in glibc malloc (kallus.org)

10. 2026年5月のFEDIソフトウェアの脆弱性 Lobste Comment

05-20 the may 2026 fedi software vulnerability (w.on-t.work)

11. ゴルフ・ジグ ELF バイナリ (2025) Lobste Comment

05-20 Golfing Zig ELF Binaries (2025) (ctf.gg)

12. C26：さらなる関数ラッパー Lobste Comment

05-20 C26: More function wrappers (www.sandordargo.com)

13. modulejail：現在使用されていないすべてのモジュールをブラックリストに登録することで、Linux ホストのカーネルモジュールに対する攻撃対象領域を積極的に縮小する Lobste Comment

05-20 modulejail: Proactively shrink a Linux host''s kernel-module attack surface by blacklisting every module not currently in use (github.com)

14. TanStackのnpmサプライチェーン攻撃により、Grafana LabsのGitHubリポジトリが侵害された Lobste Comment

05-20 Grafana Labs GitHub repos breached via TanStack npm supply chain attack (grafana.com)

15. asm.jsに別れを告げる Lobste Comment

05-20 Saying goodbye to asm.js (spidermonkey.dev)

16. 実存の抹消 Lobste Comment

05-20 Erasing Existentials (wolfgirl.dev)

17. Emacs と org-remark を使ったその場での注釈付け Lobste Comment

05-20 Annotate-in-Place Notes with Emacs and org-remark (www.chiply.dev)

18. 長ダッシュ Lobste Comment

05-20 LLemdashes (wil.to)

19. TeamPCP インタビュー Lobste Comment

05-20 TeamPCP Interview (buymeacoffee.com)

20. プロンプトも技術的負債の一つです Lobste Comment

05-20 Prompts are technical debt too (www.seangoedecke.com)

21. haunt.nvim: Neovim用のゴーストテキストブックマーク Lobste Comment

05-20 haunt.nvim: Ghost text bookmarks for Neovim (github.com)

22. オープンソースプロジェクトが消滅する原因 Lobste Comment

05-20 Ways for an Open Source Project to Die (nesbitt.io)

23. GitHub：内部リポジトリにアクセスされました Lobste Comment

05-20 Github: internal repositories have been accessed (nitter.net)

24. C言語では、すべてが未定義の挙動となる Lobste Comment

05-20 Everything in C is undefined behavior (blog.habets.se)

25. GitHubのソースコード流出 - TeamPCPが内部ソースコードへのアクセスを主張 Lobste Comment

05-20 GitHub Source Code Breach - TeamPCP Claims Access to Internal Source Code (cybersecuritynews.com)

26. ただ座って何もしないなら、せめてきちんと何もしないこと Lobste Comment

05-20 If you''re just going to sit there doing nothing, at least do nothing correctly (devblogs.microsoft.com)

27. なぜ長年経っても、Rubyは今なお居心地が良いのか Lobste Comment

05-20 Why Ruby Still Feels Like Home After All These Years (caio.ca)

28. 考えられるほぼすべてのオペレーティングシステムを網羅したバーチャル博物館を作りました Lobste Comment

05-20 I''ve built a virtual museum with nearly every operating system you can think of (www.youtube.com)

29. Magit 導入後の Emacs Lobste Comment

05-20 Emacs after Magit (sdf.org)

30. TonicがgRPCプロジェクトに参加します Lobste Comment

05-20 Tonic is joining the gRPC project (luciofranco.com)

31. カーネルのインストール時にセグメンテーションフォルトが発生した原因を追跡する Lobste Comment

05-20 Chasing down why installing the kernel segfaulted (sporks.space)

32. 私はソフトウェアエンジニアではありません Lobste Comment

05-20 I am not a Software Engineer (huronbikes.mataroa.blog)

33. pgBackRest（続きを読む） Lobste Comment

05-20 pgBackRest with continue (pgbackrest.org)

34. ポケモン圧縮の都市伝説 Lobste Comment

05-20 Pokemon compression myth (www.reddit.com)

35. jj を使ってより適切なブランチ名を生成する Lobste Comment

05-20 Better generated branch names with jj (ddbeck.com)

36. 形式仕様の検証におけるプロパティベーステストの理不尽な有効性について Lobste Comment

05-20 On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications (proofsandintuitions.net)

37. pg_deltax: PostgreSQL用のApacheライセンスに基づく時系列拡張機能 Lobste Comment

05-20 pg_deltax: Apache-licensed time-series extension for PostgreSQL (github.com)

38. 人的ボトルネック Lobste Comment

05-20 Human Bottlenecks (borretti.me)

39. PinTheft Linux LPE Lobste Comment

05-20 PinTheft Linux LPE (www.openwall.com)

40. 鍛冶場には何を求めますか？ Lobste Comment

05-19 What would you want from a forge? (lobste.rs)

41. Tursoのセキュリティ強化において、Quintを活用してSQLiteのバグを10件以上発見した経緯 Lobste Comment

05-19 How we used Quint to find over 10 bugs in SQLite while hardening Turso (turso.tech)

42. 内部構造：リアルタイム和音認識システムの構築 Lobste Comment

05-19 Under the Hood: Building a Real-Time Chord Recognizer (whatchord.earthmanmuons.com)

43. その名の通り Lobste Comment

05-19 It’s all in the name (plasmasturm.org)

44. コードを入力してください Lobste Comment

05-19 Type out the code (haskellforall.com)

45. 「Super Tiny Compiler」のAda版 Lobste Comment

05-19 The Super Tiny Compiler, but in Ada (github.com)

46. 私のドメインがGitHub Pagesで悪用されました Lobste Comment

05-19 My domain got abused on Github Pages (meertens.dev)

47. OpenBSD 7.9 がリリースされました Lobste Comment

05-19 OpenBSD 7.9 released (www.openbsd.org)

48. ソフトウェアのケンタウロス時代 Lobste Comment

05-19 Software''s Centaur Era (twitchard.github.io)

49. C言語による自己バランス調整型スキップリスト（別名「スプレイリスト」）ライブラリ Lobste Comment

05-19 A self-balancing skip-list (aka "splay-list") library in C (codeberg.org)

50. Lime：実行時に文法を統合できるパーサジェネレータ Lobste Comment

05-19 Lime, a parser generator that can merge grammars at runtime (codeberg.org)

51. Noxu DB：Berkeley DB Java EditionのRust移植版 Lobste Comment

05-19 Noxu DB, a Rust port of Berkeley DB Java Edition (codeberg.org)

52. リッチテキスト変換におけるProseMirrorモデルの驚くべき有効性 Lobste Comment

05-19 The Unreasonable Effectiveness of ProseMirror Model in Rich Text Transformation (smoores.dev)

53. WindowsのDLLローダーロック：RustのスレッドがJVMをハングアップさせる仕組み Lobste Comment

05-19 The Windows DLL loader lock: how a Rust thread can hang your JVM (questdb.com)

54. Facebookにおける包括的な構成管理 Lobste Comment

05-19 Holistic Configuration Management at Facebook (research.facebook.com)

55. Comptime を使った、さらに多くのタグ付きユニオン部分集合 Lobste Comment

05-19 Even More Tagged Union Subsets with Comptime (sinclairtarget.com)

56. SIMDによる整数から文字列への変換の高速化 Lobste Comment

05-19 SIMD-accelerated integer-to-string conversion (lemire.me)

57. 学期末 Lobste Comment

05-19 End of the semester (mtendekuyokwa.github.io)

58. 代数とLLMを用いて、Leanにおける飛行計画のバグ修正を検証する Lobste Comment

05-19 Using algebra and LLMs to verify a flight-plan bug fix in Lean (jameshaydon.github.io)

59. Spork：forkとして使用できるposix_spawn Lobste Comment

05-19 Spork: A posix_spawn you can use as a fork (dl.acm.org)

60. 「ノーと言うだけ」のエンジニアは、ゼロ金利政策（ZIRP）が生んだ現象だった Lobste Comment

05-19 The just-say-no engineer was a ZIRP phenomenon (www.seangoedecke.com)

61. Bournegol (2014) Lobste Comment

05-19 Bournegol (2014) (oldhome.schmorp.de)

62. Casuarina Linuxのご紹介：glibcベースのChimera Linux派生ディストリビューション Lobste Comment

05-19 Introducing Casuarina Linux: A glibc-Based Chimera Linux Derivative (casuarina.org)

63. BambuによるAGPLv3違反に対する包括的な対応 Lobste Comment

05-19 Comprehensive Response to Bambu''s AGPLv3 Violations (sfconservancy.org)

64. CISAの管理者がGitHub上でAWS GovCloudの鍵を漏洩させた Lobste Comment

05-19 CISA Admin Leaked AWS GovCloud Keys on Github (krebsonsecurity.com)

65. 『理論構築としてのプログラミング』（1985年） Lobste Comment

05-19 Programming as Theory Building (1985) (gwern.net)

66. Fil-C最適化呼び出し規約 Lobste Comment

05-19 The Fil-C Optimized Calling Convention (fil-c.org)

67. cargo-crap：AIが生成したRustコードに潜む未検証の複雑性を発見 Lobste Comment

05-19 cargo-crap: Finding Untested Complexity in AI-Generated Rust Code (minikin.me)

68. 大腸菌細胞上で『Doom』を実行する……とてつもなく、とてつもなく遅く Lobste Comment

05-19 Running ‘Doom’ on E. coli cells… very, very slowly (www.popsci.com)

69. Haiku OSは現在、M1搭載Macで動作します Lobste Comment

05-19 Haiku OS runs on M1 Macs now (www.osnews.com)

70. UNIX哲学に関する誤解 Lobste Comment

05-19 Misconceptions about the UNIX Philosophy (posixcafe.org)

71. Bitwardenにおける静かなリニューアル Lobste Comment

05-19 The Quiet Renovation at Bitwarden (blog.ppb1701.com)

72. Flathubは一体どのように機能しているのでしょうか？CDNとキャッシュ層 Lobste Comment

05-19 How does Flathub even work? The CDN and caching layer (barthalion.blog)

73. コード理解のためのGit blame Lobste Comment

05-19 Git blame for code comprehension (matklad.github.io)

74. モバイルOSの選び方 Lobste Comment

05-19 How to select a mobile OS (blog.gridranger.dev)

75. Go言語におけるselectの実装 Lobste Comment

05-19 The implementation of select in Go (internals-for-interns.com)

76. AIエージェントのセキュリティ - MIT 6.566 特別講義 Lobste Comment

05-18 AI Agent Security - MIT 6.566 guest lecture (github.com)

77. ドキュメント間のビュー遷移：誰も語らない落とし穴 Lobste Comment

05-18 Cross-Document View Transitions: The Gotchas Nobody Mentions (css-tricks.com)

78. ブラウザのタブ内で動作するLinux風カーネル ― BrowserPodアーキテクチャの徹底解説 Lobste Comment

05-18 A Linux-like kernel in a browser tab - deep dive in the BrowserPod architecture (labs.leaningtech.com)

79. JavaScriptの肥大化解消 Lobste Comment

05-18 De‐bloating Javascript (github.com)

80. 16バイトのx86デモ：音付きマトリックス・レイン Lobste Comment

05-18 A 16-byte x86 demo: Matrix rain with sound (hellmood.111mb.de)

81. オープンソースOSへの資金提供に伴う課題 Lobste Comment

05-18 Complications of funding an open source operating system (posixcafe.org)

82. OpenCode、Llama.cpp、Qwen3.6を使って、自分のコードのバグを見つけよう Lobste Comment

05-18 Find bugs in YOUR code using OpenCode, Llama.cpp and Qwen3.6 (wtarreau.blogspot.com)

83. FediMeteo、HAProxy、そしてsnacスレッドを無駄にしないための工夫 Lobste Comment

05-18 FediMeteo, HAProxy, and the art of not wasting snac threads (it-notes.dragas.net)

84. 時折発生する ECONNRESET Lobste Comment

05-18 The occasional ECONNRESET (movq.de)

85. カルビン - 決定論、分散型ACIDトランザクション (2020) Lobste Comment

05-18 Calvin - Determinism, Distributed ACID transactions (2020) (www.mydistributed.systems)

86. レビュー：FreeBSD上のSylve Lobste Comment

05-18 Review: Sylve on FreeBSD (distrowatch.com)

87. spr: GitHubに積み上がったプルリクエスト Lobste Comment

05-18 spr: Stacked Pull Requests on GitHub (github.com)

88. ある研究者によると、マイクロソフトはBitLockerに密かにバックドアを仕込んでいたという Lobste Comment

05-18 Researcher says Microsoft secretly built a backdoor into BitLocker (www.techspot.com)

89. Claude Code を用いた Android マルウェアのリバースエンジニアリング Lobste Comment

05-18 Reverse engineering Android malware with Claude Code (zanestjohn.com)

90. Macで『Grateful Dead: D2S2』を再生する（2022年） Lobste Comment

05-18 Reversing ‘Grateful Dead: D2S2’ on Mac (2022) (blog.os9.ca)

91. Rustの非同期処理とARMの汎用タイマー Lobste Comment

05-18 Rust async and the ARM generic timer (thejpster.org.uk)

92. Emacsの革新的なUIとして、ewwをお勧めしてもよろしいでしょうか？ Lobste Comment

05-18 May I recommend eww for Emacs’s innovative UI? (www.matem.unam.mx)

93. FPGAを用いて科学計算用電卓を一から設計する Lobste Comment

05-18 Designing a Scientific Calculator from scratch in FPGA (baltazarstudios.com)

94. フロッピーディスクに収まる――小さなソフトウェアのためのマニフェスト Lobste Comment

05-18 Fits on a Floppy - A Manifesto for Small Software (fitsonafloppy.com)

95. postmarketOS 2026年4月版：新しい起動画面 Lobste Comment

05-18 postmarketOS in 2026-04: new boot splash (postmarketos.org)

96. FreeBSDウェブサイトの新しいデザイン Lobste Comment

05-18 New design for the FreeBSD website (www.freebsd.org)

97. Bitsocial：ソーシャルアプリ向けオープンソースP2Pネットワーク Lobste Comment

05-18 Bitsocial: Open Source P2P Network for Social Apps (bitsocial.net)

98. DFOS、ダーク・フォレスト・OS Lobste Comment

05-18 DFOS, Dark Forest OS (www.dfos.com)

99. バンの問題は、公然と進行しているのかもしれない Lobste Comment

05-18 Bun''s problem may be developing in the open (00f.net)

100. 最初の質問には答えないでください Lobste Comment

05-18 Don''t answer the first question (lalitm.com)

101. 本業でのいわゆるプルリクエストのレビュー Lobste Comment

05-17 Reviewing so called Pull Requests at dayjob (rkta.de)

102. 紙の上でのコーディング Lobste Comment

05-17 Coding on Paper (wickstrom.tech)

103. クロード・コード氏は、Linux上でAdobe Lightroomを動作させることに成功した Lobste Comment

05-17 Claude Code managed to get Adobe Lightroom working on Linux (github.com)

104. テキストが必要になるまでは、ずっとネイティブのまま Lobste Comment

05-17 Native all the way, until you need text (justsitandgrin.im)

105. ヨーロッパの魅力を体験しよう — ヨーロッパの製品やサービスを発見 Lobste Comment

05-17 Go European — Discover European products and services (www.goeuropean.org)

106. ゴディアンの毛玉を解く Lobste Comment

05-17 Cutting the Gordian Hairball (buttondown.com)

107. Fast16：スタックスネット以前の妨害ツールは、核兵器シミュレーションを妨害するために開発された Lobste Comment

05-17 Fast16: Pre-Stuxnet Sabotage Tool Was Built to Subvert Nuclear Weapons Simulations (www.security.com)

108. PyCon US 2026 パッケージング・サミットの振り返り Lobste Comment

05-17 PyCon US 2026 Packaging Summit Recap (discuss.python.org)

109. セーブポイント・プロジェクト Lobste Comment

05-17 Savepoint Project (www.namtao.com)

110. DeepSeek-V4-Flashの登場により、LLMのステアリングが再び注目を集めている Lobste Comment

05-17 DeepSeek-V4-Flash means LLM steering is interesting again (www.seangoedecke.com)

111. 状態思考 Lobste Comment

05-17 Thinking in States (www.metalevel.at)

112. 「Incremental」のご紹介 Lobste Comment

05-17 Introducing Incremental (blog.janestreet.com)

113. Bazelのリモートキャッシュにおけるコンテンツ定義型チャンキング Lobste Comment

05-17 Content-defined chunking in Bazel''s remote cache (www.buildbuddy.io)

114. Hyperpolyglot Lisp：Common Lisp、Racket、Clojure、Emacs Lisp Lobste Comment

05-17 Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)

115. 「The Piece Table」――テキストエディタの陰の立役者 Lobste Comment

05-17 The Piece Table - the Unsung Hero of Your Text Editor (dev.to)

116. Rust GBA：セットアップとピクセル Lobste Comment

05-17 Rust x GBA: Setup and Pixels (jonahnestrick.com)

117. Zig 0.16における非同期I/O、本日 Lobste Comment

05-17 Async I/O in Zig 0.16, today (lalinsky.com)

118. トミー・チューターと1983年の家庭用コンピュータ事情 Lobste Comment

05-17 The Tomy Tutor and the state of 1983 home computers (oldvcr.blogspot.com)

119. 『Dusklight』名作アドベンチャーに再び光を Lobste Comment

05-17 Dusklight • Restoring light to a classic adventure (twilitrealm.dev)

120. Django デバッグツールバーを有効にするチェックボックス Lobste Comment

05-17 A checkbox to enable the Django debug toolbar (mdk.fr)

121. OpenBSDにおけるMAP-E CEの試験的サポート（フィードバック） Lobste Comment

05-17 experimental OpenBSD MAP-E CE support (feedback) (git.sr.ht)

122. 「サブスクリプション・ボンビング」：メールへの攻撃 Lobste Comment

05-17 Subscription Bombing: Email under Attack (cacm.acm.org)

123. ラバランプの無意味さ：ランダムとは本当に何を意味するのか Lobste Comment

05-17 The Futility of Lava Lamps: What Random Really Means (loup-vaillant.fr)

124. OxCamlにおけるデータ競合の排除 Lobste Comment

05-17 Data race freedom in OxCaml (kcsrk.info)

125. triad：River Wayland コンポジター向けのデータ指向ウィンドウマネージャー Lobste Comment

05-16 triad: data-oriented window manager for the River Wayland compositor (github.com)

126. 最近のカーネル脆弱性、攻撃対象領域の縮小、IPSECの例 Lobste Comment

05-16 Recent Kernel exploits, attack surface reduction, example IPSEC (www.openwall.com)

127. システムプログラミング入門、第1部：プログラマーはプログラムを書く (2025) Lobste Comment

05-16 Starting Systems Programming, Pt 1: Programmers Write Programs (2025) (eblog.fly.dev)

128. Unix/Linux向けX11用の、90年代風のKeygen風ツール Lobste Comment

05-16 A 90''s era Keygen-like for X11 for Unix/Linux (github.com)

129. CSSのみを使用してテーマごとの色を指定するいくつかの方法 Lobste Comment

05-16 A few ways of specifying per-theme colours in only CSS (chrismorgan.info)

130. BunのRustによるリライトについての私の考え Lobste Comment

05-16 My Thoughts on Bun''s Rust Rewrite (en.liujiacai.net)

131. 「Virtual Bevy Meetup 13」の録画動画をYouTubeで公開しました Lobste Comment

05-16 Virtual Bevy Meetup 13 Recordings now on YouTube (rustunit.com)

132. アセティック・コンピューティング Lobste Comment

05-16 Ascetic Computing (ratfactor.com)

133. 安価なスマートドアベルにより、車両全体でのアカウント乗っ取りや通話の乗っ取りが可能になる Lobste Comment

05-16 Cheap smart doorbell allows fleet-wide account takeover and call hijacking (www.abgeo.dev)

134. CTFシーンは終わった Lobste Comment

05-16 The CTF scene is dead (kabir.au)

135. SSDへの書き込み方法 Lobste Comment

05-16 How to Write to SSDs (arxiv.org)

136. Windows XPのデスクトップのようにウィキペディアを閲覧する Lobste Comment

05-16 Explore Wikipedia Like a Windows XP Desktop (explorer.samismith.com)

137. Rust を使用して Godot の .tres ファイルを解析し、リソースグラフを走査する Lobste Comment

05-16 Using Rust to parse Godot .tres files and walk the resource graph (assethoard.com)

138. 独自のコンテンツ配信ネットワーク（CDN）を立ち上げる Lobste Comment

05-16 Starting my own Content Delivery Network (www.youtube.com)

139. Prolog プロジェクトのヒント Lobste Comment

05-16 Prolog Projects Tips (occasionallycogent.com)

140. GoogleにおけるIDEの歴史 Lobste Comment

05-16 A History of IDEs at Google (laurent.le-brun.eu)

141. CVE-2026-40369: NtQuerySystemInformation 経由でのカーネルアドレスの任意のインクリメント Lobste Comment

05-16 CVE-2026-40369: Arbitrary Kernel Address Increment via NtQuerySystemInformation (github.com)

142. Zulip財団の設立を発表します Lobste Comment

05-16 Announcing the Zulip Foundation (blog.zulip.com)

143. LLMが生成したテキストは、本題から外れているべきです Lobste Comment

05-16 LLM generated text should be off topic (lobste.rs)

144. Gitはうまくいっていない Lobste Comment

05-16 Git Is Not Fine (www.billjings.com)

145. image-rsにおけるfast_blurの処理速度が5倍に Lobste Comment

05-16 5 faster fast_blur in image-rs (apas.tel)

146. AIエージェントを用いてモノリシックなシステムをリファクタリングして得られた知見 Lobste Comment

05-15 What we learned using AI agents to refactor a monolith (1password.com)

147. Pixel 10向けの0クリック攻撃チェーン：一つの扉が閉まれば、別の扉が開く Lobste Comment

05-15 A 0-click exploit chain for the Pixel 10: When a Door Closes, a Window Opens (projectzero.google)

148. Tailwindから離れ、CSSの構成方法を学ぶ Lobste Comment

05-16 Moving away from Tailwind, and learning to structure my CSS (jvns.ca)

149. バグ考古学：10年越しのSwift/Cの謎を解明（LLMを活用して） Lobste Comment

05-15 Bug Archeology: Solving a decade-old Swift/C mystery (with LLMs) (samkhawase.com)

150. ソフトウェアのEmacs化 Lobste Comment

05-15 The Emacsification of Software (sockpuppet.org)

151. 「ORDER BY」のジャングルへようこそ Lobste Comment

05-15 Welcome to ORDER BY jungle (boringsql.com)

152. オープンソース・レジスタンス Lobste Comment

05-15 Open Source Resistance (ossresistance.com)

153. セキュリティ対策 Ansibleロール Lobste Comment

05-15 security mitigations ansible role (git.sig-io.nl)

154. 旧来のテクノロジーの世界は消えつつあり、新しい世界は生まれようとしていない Lobste Comment

05-15 The old world of tech is dying and the new cannot be born (www.baldurbjarnason.com)

155. SQL：設計上の欠陥 Lobste Comment

05-15 SQL: Incorrect by Construction (chreke.com)

156. 停止しない双方向型チェック Lobste Comment

05-15 Bidirectional Typechecking That Does Not Stop (semantic-domain.blogspot.com)

157. なぜスクリプト作成や自動化にF#を使うのか？ Lobste Comment

05-15 why use F# for scripting and automation? (iev.ee)

158. claude-for-legal: 法務ワークフロー向けプラグインスイート Lobste Comment

05-15 claude-for-legal: A suite of plugins for legal workflows (github.com)

159. Volkswagen - CIサーバー上でテストが実行されていることを検知し、テストを成功させる（2015年） Lobste Comment

05-15 Volkswagen- detects when your tests are being run in a CI server, and makes them pass (2015) (github.com)

160. インターネットの最前線におけるコミュニティ構築 Lobste Comment

05-15 Community building at the edge of the Internet (news.dyne.org)

161. PyCon US 2026 タイピング・サミットの振り返り Lobste Comment

05-15 PyCon US 2026 Typing Summit Recap (bernat.tech)

162. フィンガープリンティングの手法としてのMullvadの出口IPアドレス Lobste Comment

05-15 Mullvad exit IPs as a fingerprinting vector (tmctmt.com)

163. 『プロログ』の基本を『ポケモン』で解説 Lobste Comment

05-15 Prolog Basics Explained with Pokémon (unplannedobsolescence.com)

164. ssh-keysign-pwn: 権限のないユーザーとしてroot所有のファイルを読み取る Lobste Comment

05-15 ssh-keysign-pwn: Read root-owned files as an unprivileged user (github.com)

165. シェルツールのテスト Lobste Comment

05-15 Shell Tool Testing (zork.net)

166. 仕事やテクノロジーへの情熱を持ちつつ、どのような点で（もしあるなら）テクノロジーを最小限に抑える生活を送っていますか？ Lobste Comment

05-15 In what way if any are you a tech minimalist while maintaining your job/love for tech? (lobste.rs)

167. 3D Movie MakerのLinuxへの移植 Lobste Comment

05-15 Porting 3D Movie Maker to Linux (benstoneonline.com)

168. Amazonbotがついにrobots.txtを遵守するようになりました Lobste Comment

05-15 Amazonbot is finally respecting robots.txt (xeiaso.net)

169. int a 5; a a a; a ? (2011) Lobste Comment

05-15 int a 5; a a a; a ? (2011) (gynvael.coldwind.pl)

170. シンプルなランタイム不変条件マイナー Lobste Comment

05-15 A Simple Runtime Invariant Miner (rahul.gopinath.org)

171. 「これはLLMが書いたものです」というコメントは、トピック外として報告してください Lobste Comment

05-15 "This is written by an LLM" comments should be flagged as off-topic (lobste.rs)

172. コアチーム・パネルディスカッション - Gleam Gathering 2026 Lobste Comment

05-15 Core Team Panel - Gleam Gathering 2026 (youtu.be)

173. スパム対策が施されたフォージ Lobste Comment

05-15 Spam Resistant Forges (blog.feld.me)

174. PostgreSQL 18.4、17.10 で 11 件の CVE を修正 Lobste Comment

05-15 PostgreSQL 18.4, 17.10 closing 11 CVEs (www.postgresql.org)

175. SQLのORDER BYは大きく進化してきた Lobste Comment

05-15 SQL’s ORDER BY Has Come a Long Way (modern-sql.com)

176. Apple M5向けmacOSカーネルにおける初の公開されたメモリ破損の脆弱性 Lobste Comment

05-15 First public macOS kernel memory corruption exploit on Apple M5 (blog.calif.io)

177. Linuxのセキュリティ侵害、禁輸措置の破綻、そして短縮されるパッチ適用期間 Lobste Comment

05-15 Linux Compromises, Broken Embargoes, and the Shrinking Patch Window (www.askbaize.com)

178. デジタル環境をヨーロッパに移行した経緯 Lobste Comment

05-15 How I Moved My Digital Stack to Europe (monokai.com)

179. HDDファームウェアのハッキング第1部 Lobste Comment

05-14 HDD Firmware Hacking Part 1 (icode4.coffee)

180. LibreOps Lobste Comment

05-14 LibreOps (libreops.cc)

181. C26は、誰も求めていなかったSIMDライブラリを実装した Lobste Comment

05-14 C26 Shipped a SIMD Library Nobody Asked For (lucisqr.substack.com)

182. 罠としての要素 Lobste Comment

05-14 The element as a trap (hacktivis.me)

183. パスワードは面倒だ。パスキーはパスワードに取って代わることができるだろうか？ Lobste Comment

05-14 Passwords suck. Can passkeys replace them? (kerkour.com)

184. マンディ：GoblinsでのActivityPub Lobste Comment

05-14 Mandy: ActivityPub on Goblins (spritely.institute)

185. Elixirのテストはどのように書けばいいですか？ Lobste Comment

05-14 How do I write Elixir tests? (hauleth.dev)

186. BunのRustによるリライトがマージされました Lobste Comment

05-14 Bun''s Rust rewrite has been merged (www.reddit.com)

187. 「コーディングは思考である：なぜ私は今でも手書きでコードを書くのか」 Lobste Comment

05-14 Coding Is Thinking: Why I Still Write Code by Hand (dev.to)

188. CPUに依存するGoのホットパスの最適化に関するメモ Lobste Comment

05-14 Notes from Optimizing CPU-Bound Go Hot Paths (blog.andr2i.com)

189. アンプの時代 Lobste Comment

05-14 The Age of the Amplifier (www.construction-physics.com)

190. Hoot 0.9.0 をリリースしました Lobste Comment

05-14 Hoot 0.9.0 released (spritely.institute)

191. ブラウザは大規模なサイトを異なる扱いをする Lobste Comment

05-14 Browsers Treat Big Sites Differently (denodell.com)

192. Classic 7 は、Windows 7 と完全に同じ外観になるようにカスタマイズされた Windows 10 LTSC 用モッドです Lobste Comment

05-14 Classic 7 is a Windows 10 LTSC mod to look 1:1 to Windows 7 (classic7.lol)

193. httpx2 - Pydanticによるフォーク Lobste Comment

05-14 httpx2 - Fork by Pydantic (tildeweb.nl)

194. Sculpt OS バージョン 26.04 Lobste Comment

05-14 Sculpt OS release 26.04 (genode.org)

195. ぜひお勧めしたいのは……Emacsの仕組みを理解することです Lobste Comment

05-14 May I recommend… understanding Emacs''s patterns (www.chiply.dev)

196. では、FN-DSAを導入したいのですね Lobste Comment

05-14 So you want to deploy FN-DSA (keymaterial.net)

197. 5年と500万ドルを費やして：Web開発のための新しいプログラミング言語を開発したのは間違いだった Wasp Lobste Comment

05-14 5 Years and 5M Later: Inventing a New Programming Language for Web Development Was a Mistake Wasp (wasp.sh)

198. Pyrefly v1.0がリリースされました Lobste Comment

05-14 Pyrefly v1.0 is here (pyrefly.org)

199. 18年前の脆弱性を悪用したNGINXのリモートコード実行の実現 Lobste Comment

05-14 Achieving NGINX Remote Code Execution via an 18-Year-Old Vulnerability (depthfirst.com)

200. ブラウザテストでウェブサイトの誤字脱字を見つける Lobste Comment

05-14 Catching Typos on My Website with Browser Testing (wickstrom.tech)

201. rqliteがSQLiteのWrite-Ahead Logをどのように（そしてなぜ）制御するのか Lobste Comment

05-14 How (and why) rqlite takes control of the SQLite Write-Ahead Log (philipotoole.com)

202. ポイントは、奇妙で一貫性のない測定単位だ Lobste Comment

05-14 Points are a weird and inconsistent unit of measure (buttondown.com)

203. Fragnesia：Linux向けの新たな権限昇格エクスプロイト Lobste Comment

05-14 Fragnesia: New Linux Privilege Escalation Exploit (github.com)

204. もし『EndBASIC』にBASICがなかったらどうなるでしょうか？ Lobste Comment

05-14 What if there was no BASIC in EndBASIC? (blogsystem5.substack.com)

205. 無料の *.city.state.us 地域ドメインの設定 Lobste Comment

05-13 Setting up a free *.city.state.us locality domain (fredchan.org)

206. 実用的な「ソフト・ベッドロック」言語としてのLua Lobste Comment

05-13 Lua as a practical "soft-bedrock" language (portal.mozz.us)

207. Python 3.14 および 3.15 におけるインクリメンタル GC の元への復帰 Lobste Comment

05-13 Reverting the incremental GC in Python 3.14 and 3.15 (discuss.python.org)

208. C26：標準ライブラリのセキュリティ強化 Lobste Comment

05-13 C26: Standard library hardening (www.sandordargo.com)

209. 「Emacs Bzr」の壮絶な物語 Lobste Comment

05-13 The Most Emacs Bzr Saga (thanosapollo.org)

210. 技術的知識のないアナリスト向けのカスタムクエリ言語の設計 Lobste Comment

05-13 Designing a Custom Query Language for Non-Technical Analysts (nchammas.com)

211. Securitybaseline.eu Lobste Comment

05-13 Securitybaseline.eu (securitybaseline.eu)

212. YellowKeyのBitLockerバイパス脆弱性 Lobste Comment

05-13 YellowKey Bitlocker Bypass Vulnerability (github.com)

213. ソブリン・テック・ファンド、KDEのソフトウェア開発に100万ユーロ以上を投資 Lobste Comment

05-13 Sovereign Tech Fund invests over 1 million in KDE software development (kde.org)

214. 社会技術としてのAI Lobste Comment

05-13 AI as Social Technology (knightcolumbia.org)

215. Claude Code RCE：設定情報の注入によるディープリンクハンドラの悪用 Lobste Comment

05-13 Claude Code RCE: Exploiting Deeplink Handlers via Settings Injection (0day.click)

216. Erlang/OTP 29.0 リリース Lobste Comment

05-13 Erlang/OTP 29.0 Release (www.erlang.org)

217. イースト・リバー・ソース・コントロールの提供状況に関する最新情報 Lobste Comment

05-13 An update on East River Source Control availability (ersc.io)

218. Dart Live：Web上でWasmを介して動作するコンパイラ、VM、アナライザ、およびホットリロード機能 Lobste Comment

05-13 Dart Live, a compiler, VM, analyzer and hot reload on the web via Wasm (modulovalue.github.io)

219. MacBook Neo レビュー：一般ユーザーのためのノートパソコン Lobste Comment

05-13 MacBook Neo Review: The Laptop For The Rest Of Us (fireborn.mataroa.blog)

220. 「Tolaria」、「Rust」、そしてMacアプリが「心地よい」と感じられる要素についての考察 Lobste Comment

05-13 Tolaria, Rust, and Questions About What Makes a Mac App Feel Good to Me (shapeof.com)

221. ヒューリスティックを用いない決定論的完全静的バイナリ全体変換 Lobste Comment

05-13 Deterministic Fully-Static Whole-Binary Translation without Heuristics (arxiv.org)

222. パワーユーザーを目指す方に向けた「カコウネ」の詳細な紹介 Lobste Comment

05-13 A detailed introduction to Kakoune for the aspiring power user (ficd.sh)

223. 部分的な静的単一情報フォーム Lobste Comment

05-13 Partial static single information form (bernsteinbear.com)

224. Stack Overflowにある262,715件の正規表現に関する質問が、まだ答えられていないこと Lobste Comment

05-13 what 262,715 regex questions on stack overflow haven''t answered (iev.ee)

225. ルービックキューブの解き方 Lobste Comment

05-13 Solving the Rubik''s Cube (www.youtube.com)

226. Pycco：100行のLiterateスタイルの並列ドキュメントレンダラー Lobste Comment

05-13 Pycco: 100-line literate-style side-by-side documentation renderer (pycco-docs.github.io)

227. OxCamlのjs_of_ocamlバンドルのサイズを縮小：285 MBから4 MBへ Lobste Comment

05-13 Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB (kcsrk.info)

228. 「BeBox」：BeOSのハードウェア、写真、そして実現しなかったAppleとの提携 Lobste Comment

05-13 The BeBox: BeOS Hardware, Photos, and the Apple Deal That Wasn''t (www.jdhodges.com)

229. もうすぐ、ついにJavaScriptを影の世界へと追放できる Lobste Comment

05-13 Soon We Can Finally Banish JavaScript to the ShadowRealm (css-tricks.com)

230. MPSCチャンネルの隠れたコスト Lobste Comment

05-13 The hidden cost of mpsc channels (blog.howardjohn.info)

231. 「dnsmasqの深刻なセキュリティ脆弱性に関する6件のCVE」 Lobste Comment

05-13 "six CVEs for serious security vulnerabilities in dnsmasq" (lists.thekelleys.org.uk)

232. Quack：DuckDBクライアント・サーバープロトコル Lobste Comment

05-13 Quack: The DuckDB Client-Server Protocol (duckdb.org)

233. BusyBoxとは何ですか？ Lobste Comment

05-13 What is BusyBox? (specular.fi)

234. enumから文字列への変換コスト：C26のリフレクションと従来の方法の比較 Lobste Comment

05-13 cost of enum-to-string: C26 reflection vs the old ways (vittorioromeo.com)

235. Redisと野心の代償 Lobste Comment

05-13 Redis and the Cost of Ambition (charlesleifer.com)

236. Bambu Labはオープンソースの社会契約を乱用している Lobste Comment

05-12 Bambu Lab is abusing the open source social contract (www.jeffgeerling.com)

237. 国境のないタイムトラベル Lobste Comment

05-12 Time travel without borders (guix.gnu.org)

238. Rustコードをモックするあらゆる方法 Lobste Comment

05-12 All the ways to mock your Rust code (blog.appliedcomputing.io)

239. Cowを削除したことで、JSONフォーマッタの処理速度が42%向上した Lobste Comment

05-12 Killing a Cow made my JSON formatter 42% faster (jacobasper.com)

240. ロックスターは、どうやってPlayStation 2のメモリに街全体を収めたのか Lobste Comment

05-12 How Rockstar fit an entire city into PlayStation 2 memory (www.youtube.com)

241. 事後分析：TanStackのnpmサプライチェーン侵害 Lobste Comment

05-12 Postmortem: TanStack npm supply-chain compromise (tanstack.com)

242. 最近のAndroidバージョンでは、どのアプリでも特定のトラフィックが漏洩する可能性があります Lobste Comment

05-12 Any app on recent Android versions can leak certain traffic (mullvad.net)

243. ソフトウェアアーキテクチャの学習 Lobste Comment

05-12 Learning Software Architecture (matklad.github.io)

244. Goツールチェーンのファジングフォーク Lobste Comment

05-12 Fuzzing fork of go toolchain (blog.trailofbits.com)

245. 怒りの団結 Lobste Comment

05-12 Unison In Anger (blog.feld.me)

246. GitLab 第2幕 Lobste Comment

05-12 GitLab Act 2 (about.gitlab.com)

247. LinuxおよびUnixシステムにおけるEmacsのパフォーマンス最適化のためのコンパイル技術ガイド Lobste Comment

05-12 A Technical Guide to Compiling Emacs for Performance on Linux and Unix systems (www.jamescherti.com)

248. 高等数学における教育法の問題 Lobste Comment

05-12 The Problem of Pedagogy in Advanced Mathematics (susam.net)

249. Kettle：検証可能なソフトウェアの出所を保証するビルド Lobste Comment

05-12 Kettle: Attested builds for verifiable software provenance (arxiv.org)

250. テキスト、画像、および表におけるCSSと垂直リズム Lobste Comment

05-12 CSS & vertical rhythm for text, images, and tables (vincent.bernat.ch)

251. floci：軽量で使いやすく、しかも常に無料 ― AWS Local Emulatorの代替ツール Lobste Comment

05-12 floci: Light, fluffy, and always free - The AWS Local Emulator alternative (github.com)

05-12 Popular Go library fsnotify raises supply chain alarms after maintainer access changes (socket.dev)

253. 撮影された Lobste Comment

05-12 taken (sinceyouarrived.world)

254. 特別な序数 Lobste Comment

05-12 Extraordinary Ordinals (text.marvinborner.de)

255. 第12回 Plan 9 国際ワークショップの解説付き要約 Lobste Comment

05-12 An annotated digest of the 12th International Workshop on Plan 9 (n-gate.com)

256. 大聖堂、バザール、そして台所 Lobste Comment

05-12 The Cathedral, the Bazaar and the Kitchen (blog.vrypan.net)

257. 2026年のZig対Rust Lobste Comment

05-12 Zig vs Rust in 2026 (zackoverflow.dev)

258. iwp9 2026 Lobste Comment

05-12 iwp9 2026 (n-gate.com)

259. LLVMにおけるHyrumの法則への対処 Lobste Comment

05-12 Fighting Hyrum''s Law in LLVM (maskray.me)

260. Gram 2.0.0 をリリースしました Lobste Comment

05-12 Gram 2.0.0 released (gram-editor.com)

261. EYGにとって、異例なほど実用的なアップデート Lobste Comment

05-12 An unusually practical update for EYG (eyg.run)

262. トムのネームスペース：オーディンのファンフィクション Lobste Comment

05-11 Tom''s Namespaces: An Odin Fanfic (zylinski.se)

263. Rustにおける「配慮のある」YAMLパッチ適用 Lobste Comment

05-12 "Respectful" YAML patching in Rust (verrchu.github.io)

264. GNU Emacsのlsp-modeからEglotへの移行 Lobste Comment

05-11 Moving from lsp-mode in GNU Emacs to Eglot (utcc.utoronto.ca)

265. 「ミニマリズムへの反動」こそが、Oxygenの復活の背景にある大きな物語である Lobste Comment

05-11 The anti-minimalist backlash is the bigger story behind Oxygen’s revival (filipfila.wordpress.com)

266. 例外アノテーション：概要 Lobste Comment

05-11 Exception Annotations: Lay of the Land (well-typed.com)

267. devenv 2.1: libghostty 経由で zsh、fish、nushell を備えた Nix - devenv Lobste Comment

05-11 devenv 2.1: Nix with zsh, fish, and nushell via libghostty - devenv (devenv.sh)

268. M4でローカルモデルを実行する Lobste Comment

05-11 Running local models on an M4 (jola.dev)

269. 最新のフィードリーダー（2024年） Lobste Comment

05-11 A modern feed reader (2024) (unterwaditzer.net)

270. VPS上でエージェントを実行する Lobste Comment

05-11 Running my agents in a VPS (crowdhailer.me)

271. ランダム生成とは何ですか？ Lobste Comment

05-11 What is random generation? (alperenkeles.com)

272. 2026年のWebフィード：調査報告 Lobste Comment

05-11 Web Feeds in 2026: A Survey (mnot.net)

273. また手書きでコードを書くことにする Lobste Comment

05-11 Im going back to writing code by hand (blog.k10s.dev)

274. omlx：Apple Silicon向け、連続バッチ処理とSSDキャッシュ機能を備えたLLM推論サーバー — macOSのメニューバーから管理可能 Lobste Comment

05-11 omlx: LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar (github.com)

275. プログラム可能なホワイトリストベースの設定：GoへのRyeの組み込み Lobste Comment

05-11 Programmable Whitelist-based Configs: Embedding Rye in Go (ryelang.org)

276. Ratty：インライン3Dグラフィックス対応のターミナルエミュレータ Lobste Comment

05-11 Ratty: A terminal emulator with inline 3D graphics (ratty-term.org)

277. 地域密着型のAIが当たり前になるべきだ Lobste Comment

05-11 Local AI Needs to be the Norm (unix.foo)

278. systemfd を使用してターミナルの出力をブラウザに転送する Lobste Comment

05-11 Piping terminal output to the browser using systemfd (blog.izissise.net)

279. MythosがCurlの脆弱性を発見 Lobste Comment

05-11 Mythos finds a curl vulnerability (daniel.haxx.se)

280. フィッシャー・プライスのピクスターを完全に保存 Lobste Comment

05-11 Fully Preserving Fisher-Price Pixter (dmitry.gr)

281. 最大256MBのFERRITモジュラー型F-RAMストレージデバイスは、重要なデータを最長200年間保存します Lobste Comment

05-11 Up to 256 MB FERRIT modular F-RAM storage device preserves critical data for up to 200 years (www.cnx-software.com)

282. 『ファクトリオ』がネットワーク経由で100万個のオブジェクトを同期させる仕組み Lobste Comment

05-11 How Factorio Syncs A Million Objects over the network (www.youtube.com)

283. Cにおける25年以上にわたる道探し問題 Lobste Comment

05-11 25 years of pathfinding problems with C (www.youtube.com)

284. dBase：1979年2026年 Lobste Comment

05-11 dBase: 1979-2026 (delphinightmares.substack.com)

285. パスキーを使用した暗号化されたZFSボリュームのロック解除 Lobste Comment

05-11 Unlocking Encrypted ZFS Volumes with a Passkey (withblue.ink)

286. メンテナンスコストを削減できるAIが必要です Lobste Comment

05-11 You Need AI That Reduces Maintenance Costs (www.jamesshore.com)

287. TIOCSTI を使わずに Bash で Ctrl-R を置き換える Lobste Comment

05-11 Replacing Ctrl-R in Bash without TIOCSTI (blog.rickardlindberg.me)

288. 私のPastebinクローン「Vivipara」と言語に関する考察 Lobste Comment

05-11 My pastebin clone Vivipara and language musings (akselmo.dev)

289. Tiny-Lua-Compiler：おそらく史上最小のLuaコンパイラ Lobste Comment

05-11 Tiny-Lua-Compiler: Possibly the smallest Lua compiler ever (github.com)

290. ClaudeBleed：Claudeのブラウザ拡張機能に存在する脆弱性により、任意の拡張機能がこれを乗っ取ることが可能 Lobste Comment

05-11 ClaudeBleed: A Flaw In Claude''s Browser Extension Allows Any Extension to Hijack It (layerxsecurity.com)

291. ロボット犬は警備上の悪夢だ Lobste Comment

05-11 Robot Dogs Are a Security Nightmare (www.youtube.com)

292. 子供の頃のコンピューティング Lobste Comment

05-11 Childhood Computing (lilysthings.org)

293. let-go: Go言語で書かれた、ほぼClojureのような言語 Lobste Comment

05-11 let-go: Almost Clojure written in Go (github.com)

294. パッケージマネージャーにおけるパッチ適用とフォーク Lobste Comment

05-10 Patching and forking in package managers (nesbitt.io)

295. 90日間の開示方針は廃止された Lobste Comment

05-11 the 90 day disclosure policy is dead (blog.himanshuanand.com)

296. うまくいくものを見て、それからそれを理解する Lobste Comment

05-10 We see something that works, and then we understand it (lemire.me)

297. SwiftでのLLMのトレーニング、第1部：行列乗算の処理速度をGflop/sからTflop/sへ Lobste Comment

05-10 Training an LLM in Swift, Part 1: Taking matrix multiplication from Gflop/s to Tflop/s (www.cocoawithlove.com)

298. wayland.fyi ミニマリスト・ウェイランド特別関心グループ Lobste Comment

05-10 wayland.fyi minimalist wayland special interest group (wayland.fyi)

299. ChatGPT 5.5 Proを最近使ってみた感想 Lobste Comment

05-10 A recent experience with ChatGPT 5.5 Pro (gowers.wordpress.com)

300. fzfをインストールしました。さて、次は何をすればいいでしょうか？（2023年） Lobste Comment

05-10 So you''ve installed fzf. Now what? (2023) (andrew-quinn.me)