Lobste の最新の投稿 Lite

1. 任意または不規則なカラーパレットを用いた順序付きディザリング Lobste Comment

23:21 Ordered Dithering with Arbitrary or Irregular Colour Palettes (matejlou.blog)

2. モデルの崩壊がAIブームに終止符を打つ Lobste Comment

21:58 Model Collapse Ends AI Hype (youtu.be)

3. コードのパフォーマンスを単体テストする、パート2：速度変化のテスト Lobste Comment

22:50 Unit testing your code’s performance, part 2: Testing for speed changes (pythonspeed.com)

4. maiao: GitHub向け、Gerritスタイルの簡易スタック差分ワークフロー Lobste Comment

19:54 maiao: easy, Gerrit-style, stacked diffs workflow for GitHub (github.com)

5. LLMはSATを受けられるか？ Lobste Comment

21:36 Can LLMs SAT? (blog.aiono.dev)

6. 組み込みLinuxデバイスにおけるストレージ暗号化によるデータ機密性 Lobste Comment

21:25 Data Confidentiality via Storage Encryption on Embedded Linux Devices (sigma-star.at)

7. PostgreSQLにおけるGit Lobste Comment

19:21 Git in Postgres (nesbitt.io)

8. 型テーラリングによる言語進化の加速 (2024) Lobste Comment

16:43 Evolving Languages Faster with Type Tailoring (2024) (lambdaland.org)

9. Unicodeのconfusables.txtの96.5%は高リスクではない Lobste Comment

16:49 96.5% of confusables.txt from Unicode is not high-risk (paultendo.github.io)

10. BuildKit: Dockerの隠れた名品、ほぼ何でもビルド可能 Lobste Comment

15:58 BuildKit: Docker''s hidden gem that can build almost anything (tuananh.net)

11. Google APIキーは秘密ではなかった。しかしジェミニがルールを変えた Lobste Comment

15:42 Google API Keys Weren''t Secrets. But then Gemini Changed the Rules (trufflesecurity.com)

12. Androidにおける強制的な開発者登録に関するGoogleへの公開書簡 Lobste Comment

14:07 An Open Letter to Google regarding Mandatory Developer Registration for Android (keepandroidopen.org)

13. Lyte2Dのご紹介：使い心地の良い小さなゲームエンジン Lobste Comment

12:14 Introducing Lyte2D: A comfy little game engine (lyte2d.com)

14. クエリベースコンパイラに対する批判 Lobste Comment

09:20 Against Query Based Compilers (matklad.github.io)

15. 長距離電動自転車 Lobste Comment

06:54 Long Range E-Bike (jacquesmattheij.com)

16. 菌糸体による複雑性の管理 Lobste Comment

07:49 Managing Complexity with Mycelium (yogthos.net)

17. 輝きはつまらないから、それに関する会議に行った Lobste Comment

04:47 Gleam is boring, so I went to a conference about it (builders.perk.com)

18. LLMを用いた決定論的プログラミング Lobste Comment

06:15 Deterministic Programming with LLMs (www.mcherm.com)

19. パワーユーザーの緩やかな死 Lobste Comment

05:45 The Slow Death of the Power User (fireborn.mataroa.blog)

20. テキストベースのGoogleマップ経路案内 Lobste Comment

05:26 Text-Based Google Directions (gdir.telae.net)

21. 2026年にはどんな興味深い（そして小規模な）カンファレンスがあるでしょうか？ Lobste Comment

05:16 What interesting (and smaller) conferences are there in 2026? (lobste.rs)

22. 非仮想化と静的ポリモーフィズム Lobste Comment

04:47 Devirtualization and Static Polymorphism (david.alvarezrosa.com)

23. 再帰的Makeは有害である [2006] Lobste Comment

04:22 Recursive Make Considered Harmful [2006] (accu.org)

24. 実践的な分散化 Lobste Comment

04:11 Practical Decentralization (pfrazee.com)

25. Firefox pwn2own 2025 ドキュメンタリーパート2 Lobste Comment

03:50 Firefox pwn2own 2025 documentary part 2 (m.youtube.com)

26. 大規模オンライン匿名化解除と大規模言語モデル Lobste Comment

02:50 Large-Scale Online Deanonymization with LLMs (substack.com)

27. ドゥームを20年前のVoIP電話に移植する Lobste Comment

02:49 Porting Doom to a 20-year-old VoIP phone (0x19.co)

28. コンピュータ歴史博物館、貴重なUNIXの歴史を復元 Lobste Comment

02:18 Computer History Museum Recovers Rare UNIX History (youtu.be)

29. 偽の就職面接が開発者のマシンにバックドアを仕込んでいる Lobste Comment

02:27 Fake Job Interviews Are Installing Backdoors on Developer Machines (threatroad.substack.com)

30. LinkedInの本人確認を完了しました。実際に提出したものは以下の通りです Lobste Comment

02:11 I Verified My LinkedIn Identity. Here''s What I Actually Handed Over (thelocalstack.eu)

31. Windows 11のメモ帳がマークダウンをサポート Lobste Comment

01:16 Windows 11 Notepad to support markdown (blogs.windows.com)

32. アルゴリズムとデータ構造辞典 Lobste Comment

00:41 Dictionary of Algorithms and Data Structures (xlinux.nist.gov)

33. ソフトウェア工学は変わった Lobste Comment

00:41 Software Engineering Has Changed (open.substack.com)

34. ANN: Tada 0.4.0 - ローカル（キャッシュ済み）依存関係のサポート Lobste Comment

02-25 ANN: Tada 0.4.0 - local (cached) dependencies support (github.com)

35. AIがモバイルエコシステムを変える方法 Lobste Comment

02-25 How AI Will Change the Mobile Ecosystem (blog.bensontech.dev)

36. HNの新規アカウントはEMダッシュを使用する確率が10倍高い Lobste Comment

02-25 New accounts on HN 10x more likely to use EM-dashes (www.marginalia.nu)

37. テストこそが新たな堀である Lobste Comment

02-25 Tests Are The New Moat (saewitz.com)

38. LocalStackの今後の展望：AWSクラウドエミュレーターの提供方法に関する変更点（2025年） Lobste Comment

02-25 The Road Ahead for LocalStack: Upcoming Changes to the Delivery of Our AWS Cloud Emulators (2025) (blog.localstack.cloud)

39. 現在の大規模音声言語モデルは、聴くというよりむしろ書き起こすことに重点を置いている Lobste Comment

02-25 Current Large Audio Language Models largely transcribe rather than listen (arxiv.org)

40. Lambda World 2019 - Racketによる言語指向プログラミング - Matthias Felleisen Lobste Comment

02-25 Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen (www.youtube.com)

41. システムは問題ありません。ユーザーに問題があります。 Lobste Comment

02-25 Your system is fine. Your users aren''t (blog.incrementalforgetting.tech)

42. DataFusionにおけるインデックスベースのクエリプラン構築 Lobste Comment

02-25 Building Index-Backed Query Plans in DataFusion (pierrezemb.fr)

43. 私は犬にバイブコードゲームを教えた Lobste Comment

02-25 I Taught My Dog to Vibe Code Games (www.calebleak.com)

44. GNU findのチューリング完全性：mkdirを利用したループから独立した計算へ Lobste Comment

02-25 Turing Completeness of GNU find: From mkdir-assisted Loops to Standalone Computation (arxiv.org)

45. テキストの折り返しを正当化: きれいに Lobste Comment

02-25 Justifying text-wrap: pretty (matklad.github.io)

46. ansigpt: c89によるmicrogptの実装 Lobste Comment

02-25 ansigpt: c89 implementation of microgpt (github.com)

47. AIでNext.jsを1週間で再構築した方法 Lobste Comment

02-25 How we rebuilt Next.js with AI in one week (blog.cloudflare.com)

48. RFC 406i - 人工的に生成されたスロープの拒否 (RAGS) Lobste Comment

02-25 RFC 406i - The Rejection of Artificially Generated Slop (RAGS) (406.fail)

49. jjqのご紹介：jj用のローカルマージキュー Lobste Comment

02-25 Introducing jjq, a local merge queue for jj (pauladamsmith.com)

50. 英国、Redditにユーザー年齢の確認が不十分だったとして罰金を科す Lobste Comment

02-25 UK fines Reddit for not checking user ages aggressively enough (arstechnica.com)

51. Charm v2: Go言語のターミナルUI向け「バブルティー」「リップグロス」「バブルズ」のメジャーリリース Lobste Comment

02-25 Charm v2: Major releases for Bubble Tea, Lip Gloss, and Bubbles for terminal UIs in Go (charm.land)

52. nsnotifyd-2.4 リリース Lobste Comment

02-25 nsnotifyd-2.4 released (dotat.at)

53. λProlog: 高階論理における論理プログラミング Lobste Comment

02-25 λProlog: Logic programming in higher-order logic (www.lix.polytechnique.fr)

54. キーパス形式がSQLiteを基盤とすべき理由 Lobste Comment

02-25 Why the KeePass format should be based on SQLite (mketab.org)

55. 時には「すべての」データをロードした方が良い場合もある Lobste Comment

02-25 Sometimes it''s just better to load "all" the data (blog.codingmilitia.com)

56. ベアメタルWebサーバーにおけるスケジューリング Lobste Comment

02-25 Scheduling in a Bare-Metal Web Server (thasso.xyz)

57. macOSのパフォーマンス制御方法：IntelおよびM1プロセッサにおけるQoS (2022年) Lobste Comment

02-24 How macOS controls performance: QoS on Intel and M1 processors (2022) (eclecticlight.co)

58. TLA 実践例 Lobste Comment

02-25 TLA By Example (tlabyexample.com)

59. 「ほんの些細なことで、何も売れないだろう」 Lobste Comment

02-24 “Just a little detail that wouldn’t sell anything” (unsung.aresluna.org)

60. PostgreSQLでは結合を伴う行ロックが予期せぬ結果を生むことがある Lobste Comment

02-24 Row Locks With Joins Can Produce Surprising Results in PostgreSQL (hakibenita.com)

61. 主体的コーディングは品質基準を引き上げられるか？ Lobste Comment

02-24 Can agentic coding raise the quality bar? (lpalmieri.com)

62. Goバイナリのサイズを最大77%削減 Lobste Comment

02-24 Reducing the size of Go binaries by up to 77% (www.datadoghq.com)

63. フレームデッキ：フレームワークメインボードベースのサイバーデッキ Lobste Comment

02-24 framedeck: A Framework mainboard based Cyberdeck (github.com)

64. さようなら innerHTML、こんにちは setHTML：Firefox 148 の強化された XSS 保護 Lobste Comment

02-24 Goodbye innerHTML, Hello setHTML: Stronger XSS Protection in Firefox 148 (hacks.mozilla.org)

65. コード行数が復活した（しかも以前よりひどい） Lobste Comment

02-24 Lines of Code Are Back (And It''s Worse Than Before) (www.thepragmaticcto.com)

66. メモリ圧力、ロック競合、およびデータ指向設計について Lobste Comment

02-24 About memory pressure, lock contention, and Data-oriented Design (mnt.io)

67. ウェブ上のスプライト Lobste Comment

02-24 Sprites on the Web (www.joshwcomeau.com)

68. 私がクロードにDBTを教えてもらうまで Lobste Comment

02-24 How I got Claude to teach me dbt (rmoff.net)

69. Rustデバッグ調査 2026 Lobste Comment

02-24 Rust debugging survey 2026 (blog.rust-lang.org)

70. デスク設定：マルチモニターから仮想デスクトップによるシングルスクリーンへ Lobste Comment

02-24 Desk Setup: From Multi-Monitor to Single Screen with Virtual Desktops (www.ssp.sh)

71. RubyはAIアプリ構築に最適な言語です Lobste Comment

02-24 Ruby Is the Best Language for Building AI Apps (paolino.me)

72. パーマコンピューティング Lobste Comment

02-24 Permacomputing (permacomputing.net)

73. HTML生成を2000%高速化 Lobste Comment

02-24 Speeding up HTML generation by 2000% (bobrubbens.nl)

74. トロリー: ターミナルアプリをどこでも実行 Lobste Comment

02-24 trolley: Run terminal apps anywhere (github.com)

75. コンパイラ教育は革命を必要としている Lobste Comment

02-24 Compiler Education Deserves a Revolution (thunderseethe.dev)

76. Huntarr - あなたのパスワードと、あなたのarrスタック全体のAPIキーは、ネットワーク上の誰にでも、あるいはさらに悪いことにインターネット上に晒されています Lobste Comment

02-24 Huntarr - Your passwords and your entire arr stack''s API keys are exposed to anyone on your network, or worse, the internet (reddit.com)

77. x86CSS - CSSで書かれたx86 CPUエミュレータ Lobste Comment

02-24 x86CSS - An x86 CPU emulator written in CSS (lyra.horse)

78. C言語の列挙型サイズ、あるいはMSVCが再び標準を無視する方法 Lobste Comment

02-24 C Enum Sizes; or, How MSVC Ignores The Standard Once Again (ettolrach.com)

79. 私はCorebootをThinkpad X270に移植しました Lobste Comment

02-24 I ported Coreboot to the Thinkpad X270 (dork.dev)

80. 署名、封印、盗難：危機的状況下で重大な脆弱性をどう修正したか Lobste Comment

02-24 Signed, Sealed, Stolen: How We Patched Critical Vulnerabilities Under Fire (www.youtube.com)

81. 敵対的AIエージェントの調整 Lobste Comment

02-24 Coordinating adversarial AI agents (s2.dev)

82. ポート衝突を回避するため、ポート0を固定する Lobste Comment

02-24 Binding port 0 to avoid port collisions (ntietz.com)

83. ルボコップ300日間 Lobste Comment

02-24 300 Days of RuboCop (lovro-bikic.github.io)

84. Verifpal、Rustで書き直された Lobste Comment

02-24 Verifpal, Rewritten in Rust (symbolic.software)

85. 自慢カエル – GitHub、Jira、その他から自動構築される自慢文書 Lobste Comment

02-24 Brag Frog – The brag doc that builds itself from GitHub, Jira and Co (brag-frog.org)

86. DMMSY: C99による単一ソース最短経路アルゴリズムの実装 Lobste Comment

02-24 DMMSY: C99 implementation of Single-Source Shortest Path (github.com)

87. 私が書いたいくつかのばかげたZ3スクリプト Lobste Comment

02-24 Some Silly Z3 Scripts I Wrote (www.hillelwayne.com)

88. rango: ブラウザ用音声コントロール Lobste Comment

02-24 rango: Voice control for browsers (github.com)

89. がっかりする携帯電話 Lobste Comment

02-23 Disappointing phones (cadence.moe)

90. NixOS オプション値と依存関係の追跡 Lobste Comment

02-23 Tracking NixOS option values and dependencies (oddlama.org)

91. 静的サイトジェネレータについて考えていたんだ Lobste Comment

02-23 So I''ve Been Thinking About Static Site Generators (wolfgirl.dev)

92. C言語でHaskellの''newtype''を使用する Lobste Comment

02-23 Using Haskell''s ''newtype'' in C (blog.nelhage.com)

93. てんとう虫、AIの助けを借りてRustを採用 Lobste Comment

02-23 Ladybird adopts Rust, with help from AI (ladybird.org)

94. 無料のリストは必要ありません Lobste Comment

02-23 You don''t need free lists (jakubtomsu.github.io)

95. オーディンの鋳造構文の設計 Lobste Comment

02-23 Designing Odin''s Casting Syntax (www.gingerbill.org)

96. 呪われたエンジニアリング：自分を傷つけずにCSVファイルをランダムに飛び回る Lobste Comment

02-23 Cursed engineering: jumping randomly through CSV files without hurting yourself (github.com)

97. Kafkaのキューが本番環境対応の準備完了 Lobste Comment

02-23 Queues for Kafka ready for prime time (freedium-mirror.cfd)

98. ヘッツナー価格調整 - Hetzner Docs Lobste Comment

02-23 Hetzner Price Adjustment - Hetzner Docs (docs.hetzner.com)

99. Forgejo、AGit、およびプルリクエストテンプレート Lobste Comment

02-23 Forgejo, AGit, and Pull Request Templates (carlo.zancanaro.id.au)

100. microgpt - LLM ビジュアライザー Lobste Comment

02-23 microgpt - LLM visualizer (microgpt.boratto.ca)

101. わずか24時間強で10億のウェブページをクロールする Lobste Comment

02-23 Crawling a billion web pages in just over 24 hours (andrewkchan.dev)

102. FreeBSD 15 の新たな架け橋を活用する Lobste Comment

02-23 Using The New Bridges of FreeBSD 15 (blog.feld.me)

103. Fireboltにおける効率的でACID準拠のベクター検索インデックス Lobste Comment

02-23 Efficient and ACID Compliant Vector Search Indexes in Firebolt (www.firebolt.io)

104. PowerDNSセカンダリでのnsnotifydの使用 Lobste Comment

02-23 Using nsnotifyd with a PowerDNS Secondary (blog.feld.me)

105. GraalVMのネイティブイメージとCremaで構築された高速起動Clojureランタイム Lobste Comment

02-23 Fast starting Clojure runtime built with GraalVM native-image Crema (github.com)

106. 高速軽量オンライン暗号化（FLOE）の公式仕様および参照コード Lobste Comment

02-23 Official specification and reference code for Fast Lightweight Online Encryption (FLOE) (github.com)

107. jit: ヘッダーのみのクロスプラットフォームJITコンパイラライブラリ（C言語）。x86-32、x86-64、ARM32、ARM64を対象とする。 Lobste Comment

02-23 jit: A header-only, cross-platform JIT compiler library in C. Targets x86-32, x86-64, ARM32 and ARM64 (github.com)

108. Cによる核融合炉のシミュレーション Lobste Comment

02-23 Simulating fusion reactors in C (www.youtube.com)

109. codespelunker - コード構造を理解し、関連性で結果をランク付けするCLIコード検索ツール。インデックス不要 Lobste Comment

02-23 codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required (github.com)

110. 大規模コードベースにおけるC/C Unityビルドと通常ビルドの比較 (2024) Lobste Comment

02-23 Comparing C/C unity build with regular build on a large codebase (2024) (hereket.com)

111. Swift インポート宣言 (2019) Lobste Comment

02-23 Swift Import Declarations (2019) (nshipster.com)

112. confusables.txt と NFKC は 31 文字で一致しない Lobste Comment

02-23 confusables.txt and NFKC disagree on 31 characters (paultendo.github.io)

113. ドナルド・クヌースの涙 Lobste Comment

02-23 The Tears of Donald Knuth (cacm.acm.org)

114. 読み取りロックはあなたの味方ではない Lobste Comment

02-23 Read Locks Are Not Your Friends (eventual-consistency.vercel.app)

115. ビットフィールド Lobste Comment

02-23 Bit-fields (mocelik.com)

116. pwn2ownにおけるMozilla Firefoxに関するドキュメンタリー（パート1） Lobste Comment

02-23 Documentary about Mozilla Firefox at pwn2own (part 1) (www.youtube.com)

117. CSLib: リーンなコンピュータサイエンスライブラリ Lobste Comment

02-23 CSLib: The Lean Computer Science Library (arxiv.org)

118. FreeBSDに戻る：パート1 Lobste Comment

02-23 Back to FreeBSD: Part 1 (hypha.pub)

119. コンパイラは決定論的か？ Lobste Comment

02-23 Are Compilers Deterministic? (blog.onepatchdown.net)

120. 四色定理 1852–1976 Lobste Comment

02-23 The Four-Color Theorem 1852–1976 (www.ams.org)

121. 意図 - エージェントオーケストレーションのための開発者ワークスペース Lobste Comment

02-23 Intent - The developer workspace for agent orchestration (www.augmentcode.com)

122. Drowse: Nixの動的推論を簡単に Lobste Comment

02-22 Drowse: Nix dynamic derivations made easy (github.com)

123. 約40MBのバイナリにバックドアを隠し、AIとGhidraにそれらを探させた Lobste Comment

02-22 We hid backdoors in 40MB binaries and asked AI Ghidra to find them (quesma.com)

124. 解析せよ、検証するな別名 C言語の安全対策 Lobste Comment

02-22 Parse, Don’t Validate AKA Some C Safety Tips (www.lelanthran.com)

125. 速度は死んだ：AI生成コンパイラとソフトウェアの未来 Lobste Comment

02-22 Velocity Is Dead: AI-Generated Compilers and the Future of Software (www.openhands.dev)

126. bcachefsの作成者はLLMを擬人化し、ファイルシステムの開発を任せているようだ Lobste Comment

02-22 Creator of bcachefs seems to have anthropomorphized an LLM and is letting it work on the filesystem (poc.bcachefs.org)

127. スナップをテストするために仮想マシンでRISC-Vを実行する Lobste Comment

02-22 Running RISC-V in a VM to test my snaps (blog.popey.com)

128. タラスはどのようにLLMをチップに「刷り込む」のか？ Lobste Comment

02-22 How Taalas "prints" LLM onto a chip? (www.anuragk.com)

129. あなたは取り残されていません Lobste Comment

02-22 You are not left behind (www.ufried.com)

130. UTS #39: Unicodeセキュリティメカニズム Lobste Comment

02-22 UTS #39: Unicode Security Mechanisms (www.unicode.org)

131. アクセシビリティは公民権である。AIは障壁を送り出すことを止めねばならない Lobste Comment

02-22 Accessibility Is Civil Rights. AI Must Stop Shipping Barriers (conesible.de)

132. 宇宙論的に一意な識別子 Lobste Comment

02-22 Cosmologically Unique IDs (jasonfantl.com)

133. 提案：フラグ理由として「AI生成」を追加する Lobste Comment

02-22 Proposal: add "AI generated" as a flag reason (lobste.rs)

134. FreeBSDにおけるHTTP/3: Bastille Jail環境でnginxとQUICを動作させる Lobste Comment

02-22 HTTP/3 on FreeBSD: Getting QUIC Working with nginx in a Bastille Jail (blog.hofstede.it)

135. cl-kawa: プログラミング言語のターダックン Lobste Comment

02-22 cl-kawa: A Turducken of Programming Languages (atgreen.github.io)

136. RubyにおけるYAMLコメントの保存問題を修正した方法（そしてスポンサーした理由） Lobste Comment

02-22 How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (blog.discourse.org)

137. 道具を修理する Lobste Comment

02-22 Fix your tools (ochagavia.nl)

138. Python用の「凍結」辞書 Lobste Comment

02-22 A ''frozen'' dictionary for Python (lwn.net)

139. ローカルLLMがAMD Strix Pointフレームワーク13上で動作する仕組みと理由 Lobste Comment

02-22 How and Why Local LLMs Perform On Framework 13 AMD Strix Point (msf.github.io)

140. AI時代の数学研究の未来 Lobste Comment

02-22 The Future of Math Research in the Age of AI (siliconreckoner.substack.com)

141. ヘミ/ポスト1460 ヴェルサログ（計算尺エミュレータ） Lobste Comment

02-22 Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)

142. Loon — 飛ぶLISP Lobste Comment

02-22 Loon — A LISP that flies (loonlang.com)

143. ThunderKittens 2.0: GPU向けさらに高速なカーネル Lobste Comment

02-22 ThunderKittens 2.0: Even Faster Kernels for Your GPUs (hazyresearch.stanford.edu)

144. DUMPLING: 細粒度差分JavaScriptエンジンファジング Lobste Comment

02-22 DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing (www.ndss-symposium.org)

145. lobste.rs は MariaDB から SQLite へ移行します Lobste Comment

02-22 lobste.rs migrates from MariaDB to SQLite (lobste.rs)

146. ポリモーフィズムよりもif文を優先する Lobste Comment

02-22 Prefer If Statements To Polymorphism (htmx.org)

147. MeshTNCは、民生用LoRa無線機をKISS TNC互換パケット無線モデムに変換するツールです Lobste Comment

02-22 MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatible packet radio modems (github.com)

148. シングルスレッディングの美学 Lobste Comment

02-22 Aesthetics of Single Threading (ta.fo)

149. パースはするが検証はせず、Rustにおける型駆動設計 Lobste Comment

02-22 Parse, don''t Validate and Type-Driven Design in Rust (www.harudagondi.space)

150. IPv6アドレスの割り当て Lobste Comment

02-22 IPv6 address assignment (lpar.ath0.com)

151. cereggii: Python用スレッド同期ユーティリティ Lobste Comment

02-21 cereggii: Thread synchronization utilities for Python (github.com)

152. クジラの死骸 Lobste Comment

02-21 Whale Fall (nesbitt.io)

153. 飛行機に搭乗する最速の方法 Lobste Comment

02-21 The Fastest Way to Board an Airplane (navendu.me)

154. C氷山 Lobste Comment

02-21 The C Iceberg (www.youtube.com)

155. Librsvgに初のAIスローププルリクエストが提出された Lobste Comment

02-21 Librsvg got its first AI slop pull request (viruta.org)

156. ウィキペディアがArchive.todayをブラックリスト登録、69万5千件のアーカイブリンク削除を開始 Lobste Comment

02-21 Wikipedia blacklists Archive.today, starts removing 695,000 archive links (arstechnica.com)

157. Scalaの興亡：私の心を打ち砕いた言語へのラブレター Lobste Comment

02-21 The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart (medium.com)

158. NetBSDにおけるchrootによるプロセス分離 Lobste Comment

02-21 Process Isolation on NetBSD with chroot (overeducated-redneck.net)

159. ajail: 完全に信頼できないプログラム用の基本的な隔離環境 Lobste Comment

02-21 ajail: a basic jail for programs you don''t completely trust (github.com)

160. joinirc.at: 任意のクライアントであなたのIRCサーバーにリンクし、新規ユーザーをオンボーディングしましょう Lobste Comment

02-21 joinirc.at: Link to your IRC server on any client to onboard new users (joinirc.at)

161. 脆弱性を見つけた。彼らは弁護士を見つけた。 Lobste Comment

02-21 I found a Vulnerability. They found a Lawyer (dixken.de)

162. Dependabotをオフにする Lobste Comment

02-21 Turn Dependabot Off (words.filippo.io)

163. goatstack: Go Templ ウェブアプリケーション向けプロジェクト足場構築ツール Lobste Comment

02-21 goatstack: project scaffolding tool for Go Templ webapps (github.com)

164. 分割キーボード入門ガイド Lobste Comment

02-21 A Beginner’s Guide to Split Keyboards (justinmklam.com)

165. リル・ファン・ラングス Lobste Comment

02-21 Lil'' Fun Langs (taylor.town)

166. ロブスターズによるスティーブ・クラブニックへのインタビュー Lobste Comment

02-21 Lobsters Interview with steveklabnik (alexalejandre.com)

167. スクロールフェードに死を Lobste Comment

02-21 Death to Scroll Fade (dbushell.com)

168. msiexecを使用して.msiファイル内の認証情報を見つける Lobste Comment

02-21 finding credentials in .msi files with msiexec (ljb.fyi)

169. Brat、POSIXシェル用の並列TAPテスト用ハネス Lobste Comment

02-21 Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)

170. 厳密性の移転 Lobste Comment

02-20 Relocating Rigor (aicoding.leaflet.pub)

171. 2026年のIPv6導入状況 Lobste Comment

02-20 IPv6 Adoption in 2026 (www.netmeister.org)

172. ユビキタスAIへの道 Lobste Comment

02-21 The path to ubiquitous AI (taalas.com)

173. WorkLedger向けに最小限の知識で同期を構築した方法 Lobste Comment

02-20 How I built a minimal-knowledge sync for WorkLedger (bastiangruber.ca)

174. DuckDB版DBTパーティーに10年遅れて参加 Lobste Comment

02-20 Ten years late to the dbt party (DuckDB edition) (rmoff.net)

175. より小さなHaskellバイナリのリンク Lobste Comment

02-20 Linking Smaller Haskell Binaries (brandon.si)

176. 視覚的に隠されたものについて、知りたくもなかったすべてのこと Lobste Comment

02-20 Everything you never wanted to know about visually-hidden (dbushell.com)

177. eBPFの難しい道 Lobste Comment

02-20 eBPF the Hard Way (feyor.sh)

178. 「EU製」―思ったより難しかった Lobste Comment

02-20 "Made in EU" - it was harder than I thought (www.coinerella.com)

179. Django ORM スタンドアロン⁽¹⁾: 既存データベースへのクエリ実行 Lobste Comment

02-20 Django ORM Standalone⁽¹⁾: Querying an existing database (www.paulox.net)

180. 私はClaude CodeとGSDを使って、ずっと欲しかったアクセシビリティツールを構築しました Lobste Comment

02-20 I used Claude Code and GSD to build the accessibility tool I’ve always wanted (www.blakewatson.com)

181. ウェブの復活：インターネットは死んでいない、ただ君がそこにいないだけだ Lobste Comment

02-20 A Web Revival: the Internet didn''t die, you''re just not on it (youtu.be)

182. あなたの個人ブログにはコメント機能が必要です Lobste Comment

02-20 Your Personal Blog Should Have Comments (medv.io)

183. Androidをオープンに保つ Lobste Comment

02-20 Keep Android Open (keepandroidopen.org)

184. 動的型チェックのための二つのメカニズム Lobste Comment

02-20 two mechanisms for dynamic type checks (wingolog.org)

185. フェディバースの国際化 Lobste Comment

02-20 Internationalise The Fediverse (shkspr.mobi)

186. クロードCコンパイラ：ソフトウェアの未来を明らかにするもの Lobste Comment

02-20 The Claude C Compiler: What It Reveals About the Future of Software (www.modular.com)

187. AIエージェントが私を中傷する記事を公開した――その操作者が名乗り出た Lobste Comment

02-20 An AI Agent Published a Hit Piece on Me – The Operator Came Forward (theshamblog.com)

188. ディロへの感謝の投稿 Lobste Comment

02-20 The Dillo Appreciation Post (bobbyhiltz.com)

189. 64KBでシューティングゲームを作った方法 Lobste Comment

02-20 How I made a shooter game in 64 KB (youtu.be)

190. Apple Silicon搭載MacBookにおける非公式MEMS加速度計のiOKIT HID経由での読み取り Lobste Comment

02-20 reading the undocumented mems accelerometer on apple silicon macbooks via iokit hid (github.com)

191. A Scheme Shell (1994) Lobste Comment

02-20 A Scheme Shell (1994) (publications.csail.mit.edu)

192. リンデンマイヤーシステムズ Lobste Comment

02-20 Lindenmayer Systems (justinpombrio.net)

193. 綿あめを使ってニューラルネットワークの推論を行う Lobste Comment

02-20 Using candyfloss to do neural net inference (notes.hella.cheap)

194. ハードウェアをしっかり握りしめておけ Lobste Comment

02-20 Hold on to Your Hardware (xn--gckvb8fzb.com)

195. 実世界の産業規模検証に向けて：seL4におけるLLM駆動定理証明 Lobste Comment

02-20 Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)

196. あなたが構築したすべてのアプリはETLパイプラインです（ただそう呼ばなかっただけです） Lobste Comment

02-20 Every app you''ve built is an ETL pipeline (you just didn''t call it that) (www.inngest.com)

197. _whyの夢を蘇らせる Lobste Comment

02-20 Resurrecting _why''s Dream (schwadlabs.io)

198. 具体的な構文は、実は重要だ Lobste Comment

02-20 Concrete syntax matters, actually (www.youtube.com)

199. AIはあなたを退屈にする Lobste Comment

02-20 AI makes you boring (www.marginalia.nu)

200. あなたのコンピュータサイエンス教育に欠けている学期 (2026) Lobste Comment

02-20 The Missing Semester of Your CS Education (2026) (missing.csail.mit.edu)

201. Netbase：Linux向けNetBSDユーティリティの移植版 Lobste Comment

02-20 Netbase a port of the netbsd utilities for linux (github.com)

202. ISBNの危険性 Lobste Comment

02-20 The Perils of ISBN (rygoldstein.com)

203. ClawShell、OpenClaw認証情報のためのプロセスレベル分離 Lobste Comment

02-20 ClawShell, Process-Level Isolation for OpenClaw Credentials (github.com)

204. 構文に基づいて言語を選ぶ？ Lobste Comment

02-20 Choosing a Language Based on its Syntax? (www.gingerbill.org)

205. ブラウザを用いたデータ圧縮 Lobste Comment

02-20 Using the Browser’s for Data Compression (jstrieb.github.io)

206. ファイアウォール上のパケットキャプチャを信用するな Lobste Comment

02-19 Don’t Trust Packet Captures on Firewalls (weberblog.net)

207. Linux CVE割り当てプロセス Lobste Comment

02-19 Linux CVE assignment process (www.kroah.com)

208. Clinejection — 問題対応担当者に問い合わせるだけでClineの製品リリースを侵害する Lobste Comment

02-19 Clinejection — Compromising Cline''s Production Releases just by Prompting an Issue Triager (adnanthekhan.com)

209. Salt: システムプログラミング、数学的に検証済み Lobste Comment

02-19 Salt: Systems programming, mathematically verified (salt-lang.dev)

210. Lilush: バッテリー付き静的LuaJITランタイム Lobste Comment

02-19 Lilush: A static LuaJIT runtime with batteries (lilush.link)

211. フェアストリーム Lobste Comment

02-19 Fairstream (blog.gluegadget.com)

212. ページアウト！ #8 Lobste Comment

02-19 Paged Out! #8 (pagedout.institute)

213. pg-here: プロジェクトフォルダ内でローカルPostgreSQLインスタンスをワンコマンドで実行 Lobste Comment

02-19 pg-here: Run a local PostgreSQL instance in your project folder with one command (github.com)

214. タプル空間 Lobste Comment

02-19 Tuple Spaces (www.mcs.anl.gov)

215. Clojure 2025 現状調査結果 Lobste Comment

02-19 State of Clojure 2025 Results (clojure.org)

216. 許容的、そして制限的：Haskellにおける具体的な解決策と事例 (2020) Lobste Comment

02-19 Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (www.williamyaoh.com)

217. UPKIに関する最新情報 Lobste Comment

02-19 An update on upki (discourse.ubuntu.com)

218. データ依存の時間的パターンの監視 Lobste Comment

02-19 Monitoring Data-Dependent Temporal Patterns (imiron.io)

219. C26: std::is_within_lifetime Lobste Comment

02-19 C26: std::is_within_lifetime (www.sandordargo.com)

220. 例によるCEL Lobste Comment

02-19 CEL by Example (celbyexample.com)

221. OpenAI、米国政府、ペルソナが、あなたに関する報告書を連邦当局に提出する個人監視システムを構築した経緯 Lobste Comment

02-19 how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (vmfunc.re)

222. ディスコードを捨てる Lobste Comment

02-19 Ditching Discord (wiki.alopex.li)

223. ソーシャルエンジニアリングと未だ検知されていないチートで世界トップ20入り Lobste Comment

02-19 Top 20 worldwide with social-engineering and a cheat that''s still undetected (ud2.rip)

224. DBML: ER図を簡単に作成するためのDSL Lobste Comment

02-19 DBML: DSL for easily creating ER diagrams (dbml.dbdiagram.io)

225. ブータブルコンテナを使用したウェブサイトのセルフホスティング Lobste Comment

02-19 Self-hosting my websites using bootable containers (yorickpeterse.com)

226. マニュアルページの明確化に関する注記 Lobste Comment

02-19 Notes on clarifying man pages (jvns.ca)

227. CHERIoTの錆: 状況更新 #0 Lobste Comment

02-19 Rust on CHERIoT: Status update #0 (rust.cheriot.org)

228. なぜ私はAGIが差し迫っているとは思わないのか Lobste Comment

02-19 Why I don''t think AGI is imminent (dlants.me)

229. 2週間で13万行の形式トポロジー：誰もが使えるシンプルで安価な自動形式化？ Lobste Comment

02-19 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)

230. Bitwardenのマスターパスワードをブルートフォース攻撃で解読しようとした Lobste Comment

02-19 Bruteforcing the Bitwarden master password I forgor (compilercrim.es)

231. Current - RSSリーダー Lobste Comment

02-19 Current - An RSS reader (www.terrygodier.com)

232. Bluetoothデバイスが明かすあなたの秘密 Lobste Comment

02-19 What Your Bluetooth Devices Reveal About You (blog.dmcc.io)

233. 行列における非寄与キー Lobste Comment

02-19 Non-Contributory Keys in the Matrix (blog.erinshepherd.net)

234. F9 カーネル Lobste Comment

02-19 F9 Kernel (github.com)

235. DNS-PERSIST-01: DNSベースのチャレンジ検証のための新たなモデル Lobste Comment

02-19 DNS-PERSIST-01: A New Model for DNS-based Challenge Validation (letsencrypt.org)

236. グローバル信託登録簿（1999年） Lobste Comment

02-18 The Global Trust Register (1999) (www.cl.cam.ac.uk)

237. Dank Linux - WaylandおよびNiri向けデスクトップ環境 Lobste Comment

02-18 Dank Linux - Desktop Environment for Wayland and Niri (danklinux.com)

238. プログラム全体のパスとパスプロファイリングの理解 Lobste Comment

02-18 Understanding Whole Program Paths and Path Profiling (abhamra.com)

239. AVX2はWindowsのARMエミュレーション環境下ではSSE2-4.xよりも遅い Lobste Comment

02-18 AVX2 is slower than SSE2-4.x under Windows ARM emulation (blogs.remobjects.com)

240. 15年以上後、マイクロソフトが私の図を盗用した Lobste Comment

02-18 15 years later, Microsoft morged my diagram (nvie.com)

241. ゲートキーピングの意義、あるいは：中世ギルドがそれを理解していた理由 Lobste Comment

02-18 The case for gatekeeping, or: why medieval guilds had it figured out (www.joanwestenberg.com)

242. SourceHutで何が進行中？ 2026年第1四半期 Lobste Comment

02-18 What''s cooking on SourceHut? Q1 2026 (sourcehut.org)

243. model-context-shell: MCP向けUnixスタイルのパイプライン。決定論的なツール呼び出し Lobste Comment

02-18 model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com)

244. 朝日Linux進捗レポート：Linux 6.19 Lobste Comment

02-18 Asahi Linux Progress Report: Linux 6.19 (asahilinux.org)

245. BarraCUDA: AMD GPU向けオープンソースCUDAコンパイラ（将来的にはさらに多くのGPUをサポート予定！） Lobste Comment

02-18 BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (github.com)

246. Zig言語による最小限のx86カーネル Lobste Comment

02-18 Minimal x86 Kernel in Zig (github.com)

247. 6502エミュレーション - ジャンプ間接バグ Lobste Comment

02-18 6502 Emulation - The Jump Indirect Bug (markjames.dev)

248. クレームチェック：証明と意図の間の隔たりを縮める Lobste Comment

02-18 claimcheck: Narrowing the Gap between Proof and Intent (midspiral.com)

249. 「ベンダーリング」は卑劣なアンチパターンである（2014年） Lobste Comment

02-18 "Vendoring" is a vile anti-pattern (2014) (gist.github.com)

250. MatrixのRustライブラリにおける暗号問題Vodozemac Lobste Comment

02-18 Cryptographic Issues in Matrix’s Rust Library Vodozemac (soatok.blog)

251. printfループにコンパイルするアセンブラ Lobste Comment

02-18 An assembler that compiles to a printf loop (git.sr.ht)

252. レブロン・ジェームズが大統領に – 「アラインメント」文脈注入によるLLMの悪用 Lobste Comment

02-18 LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)

253. 私たちはLLMの建築家になるのか、それとも執事になるのか？ Lobste Comment

02-18 Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)

254. AsteroidOS 2.0 がリリースされました Lobste Comment

02-18 AsteroidOS 2.0 Has Landed (asteroidos.org)

255. 非同期Rustの1ページ Lobste Comment

02-18 One page of async Rust (dotat.at)

256. Oat、超軽量UIライブラリ、意味論的、ミニマル、依存関係ゼロ Lobste Comment

02-18 Oat, Ultra-lightweight UI library, Semantic, minimal, zero dependencies (oat.ink)

257. 端末は256色パレットを生成すべきである Lobste Comment

02-18 Terminals should generate the 256-color palette (gist.github.com)

258. GPUコードでRustのasync/awaitが使用可能になりました Lobste Comment

02-18 GPU code can now use Rust''s async/await (vectorware.com)

259. Plasma 6.6 リリース Lobste Comment

02-18 Plasma 6.6 released (kde.org)

260. コードバーグ上のジェントゥー Lobste Comment

02-18 Gentoo on Codeberg (www.gentoo.org)

261. go fixを使用してGoコードを近代化する Lobste Comment

02-18 Using go fix to modernize Go code (go.dev)

262. ゼロ知識（暗号化に関する）暗号化：3つのクラウドベースパスワード管理ツールの比較セキュリティ分析 Lobste Comment

02-17 Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers (eprint.iacr.org)

263. Slackではここに@マークを付けないでください Lobste Comment

02-17 Please don''t at-here on Slack (noathere.org)

264. メッセージング層セキュリティ（MLS）とは何ですか？ Lobste Comment

02-17 What is Messaging Layer Security (MLS)? (messaginglayersecurity.rocks)

265. ババシュカ 1.12.215: TUIsの復讐 Lobste Comment

02-17 Babashka 1.12.215: Revenge of the TUIs (blog.michielborkent.nl)

266. たった一つのタイプミスがFirefoxのRCEを引き起こした経緯 Lobste Comment

02-17 How a single typo led to RCE in Firefox (kqx.io)

267. Vinyl Cache は GitHub を離れました Lobste Comment

02-17 Vinyl Cache has left github (vinyl-cache.org)

268. x86 SIMDの進化：SSEからAVX-512へ Lobste Comment

02-17 The Evolution of x86 SIMD: From SSE to AVX-512 (bgslabs.org)

269. ドクター・ゼロン、あるいは：心配するのをやめてAIを愛する方法を学んだ話 Lobste Comment

02-17 Doctor Xælong, or: How I learnt to stop worrying and love AI (tweag.io)

270. --危険なほど読み飛ばすコード Lobste Comment

02-17 --dangerously-skip-reading-code (olano.dev)

271. Viおよびその後継における元に戻す操作 Lobste Comment

02-17 Undo in Vi and its successors (utcc.utoronto.ca)

272. シンジケーションフィードリーダーに適切なエラーを返すことが、時に誤りとなることがある Lobste Comment

02-17 Sometimes giving syndication feed readers good errors is a mistake (utcc.utoronto.ca)

273. AIエージェントが主要なオープンソースプロジェクトでプルリクエストを成功させ、コールドアウトリーチでメンテナをターゲットに Lobste Comment

02-17 AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach (socket.dev)

274. カーリングIOの次期バージョン Lobste Comment

02-17 The Next Version of Curling IO (curling.io)

275. 高速ソート、設計上分岐なし Lobste Comment

02-17 Fast sorting, branchless by design (00f.net)

276. 小さなスウォームでSQLiteをビルドする Lobste Comment

02-17 building sqlite with a small swarm (kiankyars.github.io)

277. LCM: ロスレス・コンテキスト管理 Lobste Comment

02-17 LCM: Lossless Context Management (papers.voltropy.com)

278. LLM支援型逆コンパイルのロングテール Lobste Comment

02-17 The Long Tail of LLM-Assisted Decompilation (blog.chrislewis.au)

279. java.evolved コードスニペット Lobste Comment

02-17 java.evolved Code Snippets (javaevolved.github.io)

280. 傷ついた心 Lobste Comment

02-17 A Broken Heart (allenpike.com)

281. サーボプロジェクトとウェブプラットフォームエコシステムへの影響 Lobste Comment

02-17 The Servo project and its impact on the web platform ecosystem (servo.org)

282. ウィンターと呼ばれるAI：神経記号的計算か、それとも幻想か？ -- ダスティクラウドのブレインストーミング Lobste Comment

02-17 An AI Called Winter: Neurosymbolic Computation or Illusion? -- Dustycloud Brainstorms (dustycloud.org)

283. シンボリック実行を用いた超バグの全存在探索 Lobste Comment

02-17 Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)

284. 2026年は「デスクトップにおけるLinuxの年」にはならないだろう。それでよかったと思う。 Lobste Comment

02-17 2026 will not be the ‘Year of Linux on the Desktop’, and I’m glad (kevinboone.me)

285. 詳細レベル Lobste Comment

02-17 Level of Detail (phinze.com)

286. テキストからトークンへ：トークン化パイプラインの仕組み Lobste Comment

02-17 From Text to Token: How Tokenization Pipelines Work (www.paradedb.com)

287. かわいそうなデミングは最初から勝ち目などなかった Lobste Comment

02-17 Poor Deming never stood a chance (surfingcomplexity.blog)

288. fixapl Lobste Comment

02-17 fixapl (fixapl.netlify.app)

289. モダンCSSコードスニペット Lobste Comment

02-17 Modern CSS Code Snippets (modern-css.com)

290. トライフォースの覚醒 Lobste Comment

02-17 Rise of the Triforce (dolphin-emu.org)

291. 私はMariaDB Foundationに参加しました Lobste Comment

02-17 I joined the MariaDB Foundation (lefred.be)

292. 安らかに眠れ Lobste Comment

02-17 R.I.P. Rest In Prompt (hugodaniel.com)

293. 練習しよう！(bsd.rd) Lobste Comment

02-17 Let''s practice! (bsd.rd) (openbsdjumpstart.org)

294. トイオプティマイザにおける型ベースのエイリアス解析 Lobste Comment

02-17 Type-based alias analysis in the Toy Optimizer (bernsteinbear.com)

295. disko-zfs: ZFSデータセットの宣言的管理 Lobste Comment

02-17 disko-zfs: Declaratively Managing ZFS Datasets (redalder.org)

296. GGML GGUF ファイル形式の脆弱性 Lobste Comment

02-16 GGML GGUF File Format Vulnerabilities (www.databricks.com)

297. カーボン・ディスフォリア Lobste Comment

02-16 Carbon Dysphoria (deadsimpletech.com)

298. 今日知ったこと：Dockerのログローテーション Lobste Comment