Lobste の最新の投稿 Lite

1. AMD GPU デバッガー Lobste Comment

07:24 AMD GPU Debugger (thegeeko.me)

2. 予測：AIによって形式検証が主流になるだろう ― マーティン・クレップマンのブログ Lobste Comment

07:17 Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog (martin.kleppmann.com)

3. 警告による非推奨化はPythonライブラリでは機能しない Lobste Comment

04:47 Deprecations via warnings don’t work for Python libraries (sethmlarson.dev)

4. Linuxシステムの動作を監視する新たな方法 Lobste Comment

03:14 A New Way to Watch Your Linux System Work (www.both.org)

5. イチイ 0.22 - 今回は本気だ Lobste Comment

02:37 Yew 0.22 - For Real This Time (yew.rs)

6. 読みやすいコードは読めない Lobste Comment

02:20 Readable Code is Unreadable (blog.wilsonb.com)

7. TLSにおけるポスト量子暗号に関する意見の相違 Lobste Comment

03:56 Disagreements over post-quantum encryption for TLS (lwn.net)

8. Linuxにおける不足しているPKIインフラストラクチャへの対応 Lobste Comment

03:34 Addressing Linux''s Missing PKI Infrastructure (discourse.ubuntu.com)

9. ジェプセン: NATS 2.12.1 Lobste Comment

03:01 Jepsen: NATS 2.12.1 (jepsen.io)

10. 経営の到来 Lobste Comment

01:25 Advent of Management (github.com)

11. ノヴァプログラミング言語 Lobste Comment

01:32 Nova Programming Language (nova-lang.net)

12. ゴーファーの簡単な歴史 Lobste Comment

00:29 A Brief History of Gopher (www.youtube.com)

13. Meilisearch: Hannoyでベクトル検索を10倍高速化 Lobste Comment

00:08 Meilisearch: Speeding up vector search 10x with Hannoy (blog.kerollmops.com)

14. クロードと共に1996年版スペース・ジャムのウェブサイトを再現できなかった Lobste Comment

12-08 Failing to recreate the 1996 Space Jam Website with Claude (j0nah.com)

15. Mac Cleaner CLI: 無料＆オープンソースのMacクリーンアップツール Lobste Comment

12-08 Mac Cleaner CLI: Free & Open Source Mac cleanup tool (github.com)

16. クソったれな連絡先ページ Lobste Comment

12-08 The f*** off contact page (www.nicchan.me)

17. メニュー内のアイコンが至る所に — ヘルプを送る Lobste Comment

12-08 Icons in Menus Everywhere — Send Help (blog.jim-nielsen.com)

18. 2Dにおけるレイマーチングによるソフトシャドウ Lobste Comment

12-08 Ray Marching Soft Shadows in 2D (www.rykap.com)

19. 仮想DOMに15万ノード？問題ありません Lobste Comment

12-08 150.000 nodes in a Virtual DOM? No problem (www.youtube.com)

20. 高トラフィックサービス向けGo言語最適化 Lobste Comment

12-08 Golang optimizations for high‑volume services (medium.com)

21. XHTML実践ガイド Lobste Comment

12-08 Practical guide to XHTML (www.nayuki.io)

22. インターネットは忘れるが、私は忘れたくない Lobste Comment

12-08 The Internet forgets, but I don’t want to (alexwlchan.net)

23. AT&Tの2000ドルのKornシェルとその他のUsenetトピックに関する余計な言葉 Lobste Comment

12-08 One too many words on AT&T''s 2,000 Korn shell and other Usenet topics (blog.gabornyeki.com)

24. エリクサーの現状 2025 - コミュニティ調査結果 Lobste Comment

12-08 State of Elixir 2025 - Community Survey Results (elixir-hub.com)

25. オープンソースの共有化と成長ハック型オープンソース Lobste Comment

12-08 Commoning open-source versus growth-hacking open-source (garagehq.deuxfleurs.fr)

26. burningboard.net マストドンインスタンスのマルチジェイルFreeBSD環境への移行 Lobste Comment

12-08 Migrating burningboard.net Mastodon instance to a Multi-Jail FreeBSD Setup (blog.hofstede.it)

27. syncthing-forkにおける潜在的なセキュリティ侵害 Lobste Comment

12-08 potential security breach in syncthing-fork (mastodon.pirateparty.be)

28. RCLへのアンパック構文の追加 Lobste Comment

12-08 Adding unpack syntax to RCL (ruudvanasseldonk.com)

29. Azure Functions から FreeBSD へ Lobste Comment

12-08 From Azure Functions to FreeBSD (jmmv.dev)

30. IDEsaster：AI統合開発環境における新たな脆弱性分類 Lobste Comment

12-08 IDEsaster: A Novel Vulnerability Class in AI IDEs (maccarita.com)

31. スクイークルを探して必死（2018） Lobste Comment

12-08 Desperately seeking squircles (2018) (www.figma.com)

32. Forthの実用的な強みと永遠の有用性についての説得力ある説明の試み Lobste Comment

12-08 An Attempt at a Compelling Articulation of Forth''s Practical Strengths and Eternal Usefulness (im-just-lee.ing)

33. Pulldash: 高速でフィルタリング可能なGitHubプルリクエストレビュー。完全にクライアントサイドで動作 Lobste Comment

12-08 Pulldash: Fast, filterable GitHub PR review. Entirely client-side (github.com)

34. 生産現場における測定装置（調査論文） Lobste Comment

12-08 Measuring Agents In Production (survey paper) (arxiv.org)

35. なぜSanitizer APIは単なるsetHTML()なのか Lobste Comment

12-08 Why the Sanitizer API is just setHTML() (frederikbraun.de)

36. 見積もりは開発者とプロダクトオーナーにとって難しい Lobste Comment

12-08 Estimates are difficult for developers and product owners (thorsell.io)

37. 設計によるプロンプトインジェクション対策 Lobste Comment

12-08 Defeating Prompt Injections by Design (arxiv.org)

38. F35戦闘機のCコーディング標準 Lobste Comment

12-08 F35 Fighter Jet’s C Coding Standards (www.stroustrup.com)

39. Gerritコードレビューの氷山 Lobste Comment

12-08 The Gerrit code review iceberg (www.haiku-os.org)

40. KOllector - KOReader ハイライトの公開 Lobste Comment

12-07 KOllector - Publishing KOReader Highlights (tech.stonecharioteer.com)

41. サイトの画像を最適化することは価値があります Lobste Comment

12-07 It Is Worth It To Optimize Images For Your Site (brainbaking.com)

42. JavaScript/TypeScriptではTypedArraysを何に使用しますか？ Lobste Comment

12-07 What do you use TypedArrays for in JavaScript/TypeScript? (lobste.rs)

43. 求職・ギグ探し・役割探しの現状は？（2025年12月時点） Lobste Comment

12-07 What''s the State of Jobseeking/Gigseeking/Roleseeking (Dec 2025)? (lobste.rs)

44. 構造的継承は期待通りに機能しない Lobste Comment

12-07 Structural inheritance doesn''t work where you expect it to (trynova.dev)

45. KJS: 形式的JavaScript意味論インタプリタ Lobste Comment

12-07 KJS: Formal JS Semantics Interpreter (fsl.cs.illinois.edu)

46. ポストPOSIX I/Oインターフェースの無法地帯 Lobste Comment

12-07 The Wild West of Post-POSIX IO Interfaces (youtu.be)

47. シンタクラースはゲームボーイで遊ぶのが好きだ Lobste Comment

12-07 Sinterklaas Likes Playing On The Game Boy (brainbaking.com)

48. 二千のウェブページを読んで学んだウェブサイト制作の心得 Lobste Comment

12-07 What I learnt about making websites by reading two thousand web pages (alexwlchan.net)

49. 深淵のカード難題 Lobste Comment

12-07 The Deep Card Conundrum (frontendmasters.com)

50. バニラCSSだけで十分です Lobste Comment

12-07 Vanilla CSS is all you need (www.zolkos.com)

51. パッケージ管理システムの設計上のトレードオフ Lobste Comment

12-07 Package Manager Design Tradeoffs (nesbitt.io)

52. 穏やかなテクノロジーでインディウェブを発見する Lobste Comment

12-07 Discovering the indieweb with calm tech (alexsci.com)

53. オブラスト：コモドール64向けブラストの進化版ゲーム Lobste Comment

12-07 Oblast: a better Blasto game for the Commodore 64 (oldvcr.blogspot.com)

54. Eurydice: RustからCへのコンパイラ（はい） Lobste Comment

12-07 Eurydice: a Rust to C compiler (yes) (jonathan.protzenko.fr)

55. オキサイドにおける大規模言語モデル（LLM）の活用 Lobste Comment

12-07 Using LLMs at Oxide (rfd.shared.oxide.computer)

56. macOSのスクリーンセーバーの作成方法 Lobste Comment

12-07 How to make a macOS screen saver (wadetregaskis.com)

57. 音楽の代数的理論への苦闘 Lobste Comment

12-07 Struggling Towards an Algebraic Theory of Music (reasonablypolymorphic.com)

58. ロブスターズ・セイズ - ロブスターズ（Lobste.rs）の議論を見つけるお手伝いをするブラウザ拡張機能 Lobste Comment

12-07 What Lobsters Says - a browser extension to help you find Lobste.rs discussions (github.com)

59. PocketMageは現代のE Ink PDAです Lobste Comment

12-07 PocketMage Is an E Ink PDA For the Modern Era (www.hackster.io)

60. スクリプト作成にPythonを使用する Lobste Comment

12-07 Use Python for Scripting (hypirion.com)

61. 固定価格とストライク・マンデート (2012) Lobste Comment

12-07 Fixed Points and Strike Mandates (2012) (www.pvk.ca)

62. GitHub Actionsにはパッケージマネージャーがあるが、おそらく最悪のものだ Lobste Comment

12-07 GitHub Actions Has a Package Manager, and It Might Be the Worst (nesbitt.io)

63. Perlの衰退は文化的なものだった Lobste Comment

12-07 Perl''s decline was cultural (www.beatworm.co.uk)

64. FreeBSD 15: なぜ必要になるのか Lobste Comment

12-07 FreeBSD 15: Why You’ll Want It (freebsdfoundation.org)

65. クラウドウォッチメトリクスの非集計化 Lobste Comment

12-07 Unaggregating Cloud Watch Metrics (tomlarkworthy.github.io)

66. 中国製NanoKVMに隠されたマイクを発見した経緯 Lobste Comment

12-07 How I discovered a hidden microphone on a Chinese NanoKVM (telefoncek.si)

67. ディフィー・ヘルマン鍵交換可視化ツール Lobste Comment

12-07 Diffie-Hellman Key Exchange Visualizer (sidney.sh)

68. AIエネルギースコア v2：刷新されたリーダーボード、理由付き表示機能を追加 Lobste Comment

12-07 AI Energy Score v2: Refreshed Leaderboard, now with Reasoning (huggingface.co)

69. アドベント・オブ・コードの解答用に小さなRSS生成ツールを作りました Lobste Comment

12-06 I built a tiny RSS generator for my Advent of Code solutions (hamatti.org)

70. モーダルとは何か？ Lobste Comment

12-06 What is Modal? (modal.cx)

71. フロー制御：プログラマーのためのテキストエディタ Lobste Comment

12-06 Flow Control: a programmer''s text editor (flow-control.dev)

72. CVE-2023-20078 技術分析：シスコIP電話におけるコマンドインジェクション脆弱性の特定と悪用 Lobste Comment

12-06 CVE-2023-20078 technical analysis: Identifying and triggering a command injection vulnerability in Cisco IP phones (www.ibm.com)

73. フレームワークノートパソコンに関するお知らせ Lobste Comment

12-06 Reminder about Framework Laptop (community.frame.work)

74. インテルを去る Lobste Comment

12-06 Leaving Intel (www.brendangregg.com)

75. なぜ私たちはLightpandaをZigで構築したのか Lobste Comment

12-06 Why We Built Lightpanda in Zig (lightpanda.io)

76. CSSは制約であるべきか？ Lobste Comment

12-06 Should CSS be Constraints? (pavpanchekha.com)

77. 関数型プログラミングを学ぶ意味とは？ Lobste Comment

12-06 What''s the Point of Learning Functional Programming? (blog.daniel-beskin.com)

78. ARMのバレルシフタのトリック Lobste Comment

12-06 ARM''s barrel shifter tricks (xania.org)

79. JuliaによるAdvent of Code 2025の最適化 Lobste Comment

12-06 Julia trimming for Advent of Code 2025 (viralinstruction.com)

80. OSS Friday Update - Ruby I/Oの未来像 Lobste Comment

12-06 OSS Friday Update - The Shape of Ruby I/O to Come (noteflakes.com)

81. モジョへの道 1.0 Lobste Comment

12-06 The Path to Mojo 1.0 (www.modular.com)

82. より優れたビルド実行ツールが欲しい Lobste Comment

12-06 I want a better build executor (jyn.dev)

83. 最適なトークンIDの選択 Lobste Comment

12-06 Picking Optimal Token IDs (notes.hella.cheap)

84. Framework Laptop 13がサードパーティ製アップグレードキットにより12コアのARMプロセッサを搭載 Lobste Comment

12-06 Framework Laptop 13 gets ARM processor with 12 cores via third-party upgrade kit (www.notebookcheck.net)

85. 正方形のピクセルが正方形でないとき Lobste Comment

12-06 When square pixels aren’t square (alexwlchan.net)

86. CにおけるC#スタイルのプロパティ Lobste Comment

12-06 C#-style property in C (vorbrodt.blog)

87. 共鳴コンピューティング宣言 Lobste Comment

12-06 The Resonant Computing Manifesto (resonantcomputing.org)

88. ビデオコーデックがエミー賞を受賞したとき Lobste Comment

12-06 When a video codec wins an Emmy (blog.mozilla.org)

89. CPythonにおける最終的な錆 Lobste Comment

12-06 Eventual Rust in CPython (lwn.net)

90. Coupongogo：GitHubの開発者を標的とした遠隔操作型暗号通貨窃取マルウェア Lobste Comment

12-06 Coupongogo: Remote-Controlled Crypto Stealer Targeting Developers on GitHub (www.rastersec.com)

91. タイプライタープロッタ Lobste Comment

12-05 Typewriter plotters (biosrhythm.com)

92. PostgreSQLの1600列制限 - テーブルに収まる列の数 Lobste Comment

12-05 The 1600 columns limit in PostgreSQL - how many columns fit into a table (andreas.scherbaum.la)

93. Layoutz – Haskellのためのシンプルで美しいCLI出力 Lobste Comment

12-05 Layoutz – Simple, beautiful CLI output for Haskell (flora.pm)

94. 非営利団体を通じた信頼できるソフトウェア？ Lobste Comment

12-05 Trustworthy software through non-profits? (www.more-magic.net)

95. Golangのメモリアリーナにおける大きな見落とし Lobste Comment

12-05 Golang’s Big Miss on Memory Arenas (avittig.medium.com)

96. JavaScriptツールにおけるパフォーマンス革命 Lobste Comment

12-05 The Performance Revolution in JavaScript Tooling (blog.appsignal.com)

97. LISPのスタイルとデザイン Lobste Comment

12-05 LISP Style & Design (archive.org)

98. アンレッドイッテッド・マガジン第008号 2025年9月 Lobste Comment

12-05 Unredacted Magazine Issue 008 SEP 2025 (unredactedmagazine.com)

99. 2025年12月にRustコンパイラの速度を向上させる方法 Lobste Comment

12-05 How to speed up the Rust compiler in December 2025 (nnethercote.github.io)

100. Go vs. Rust vs. Zig についての考察 Lobste Comment

12-05 Thoughts on Go vs. Rust vs. Zig (sinclairtarget.com)

101. ロブスターズによるアクスへのインタビュー Lobste Comment

12-05 Lobsters Interview with Aks (lobste.rs)

102. 今月のレドックス - 2025年11月 Lobste Comment

12-05 This Month in Redox - November 2025 (www.redox-os.org)

103. rsync.net 技術ノート Q4 Lobste Comment

12-05 rsync.net technical notes Q4 (www.rsync.net)

104. ルックアップテーブルと列挙型、どちらが優れているか？ Lobste Comment

12-05 What is better: a lookup table or an enum type? (www.cybertec-postgresql.com)

105. パッケージマネージャーとは何ですか？ Lobste Comment

12-05 What is a Package Manager? (nesbitt.io)

106. 8086 マイクロコードエクスプローラー Lobste Comment

12-05 8086 Microcode Explorer (nand2mario.github.io)

107. jujutsu v0.36.0 リリース Lobste Comment

12-05 jujutsu v0.36.0 released (github.com)

108. JavaScriptが発表されて30年 Lobste Comment

12-05 JavaScript Announced 30 Years Ago (web.archive.org)

109. フェアフォンはフェアフォン5および6のソフトウェアとMomentsスイッチをオープンソース化しました Lobste Comment

12-05 Fairphone open-sources Fairphone 5 and 6 software, and Moments switch (www.fairphone.com)

110. なぜed(1)なのか？ Lobste Comment

12-05 Why ed(1)? (blog.thechases.com)

111. ][ こんにちはブログ Lobste Comment

12-05 ][ Hello blog (nobloat.org)

112. bcachefs 1.33.0 - 調整 Lobste Comment

12-05 bcachefs 1.33.0 - reconcile (lore.kernel.org)

113. ZJITへのIongraphサポートの追加 Lobste Comment

12-05 Adding Iongraph support to ZJIT (railsatscale.com)

114. Plan9用APL Lobste Comment

12-05 APL for Plan9 (apl.pmikkelsen.com)

115. 機能的クワッドツリー Lobste Comment

12-05 Functional Quadtrees (www.lindelystables.dk)

116. Pixelfedはフェディバースが座っている枝を切っているのか？ Lobste Comment

12-05 Is Pixelfed sawing off the branch that the Fediverse is sitting on? (ploum.net)

117. Django 6.0 リリース Lobste Comment

12-05 Django 6.0 released (www.djangoproject.com)

118. SvelteKitにおける本番環境限定プロキシバグの追跡 Lobste Comment

12-04 Hunting a production-only proxy bug in SvelteKit (drew.silcock.dev)

119. 製品の使い方：味見して調整する Lobste Comment

12-04 How to work with Product: Taste and Adjust (blog.nilenso.com)

120. SVGフィルター - クリックジャッキング2.0 Lobste Comment

12-04 SVG Filters - Clickjacking 2.0 (lyra.horse)

121. tunnl.gg ローカルホストをインターネットに公開する Lobste Comment

12-04 tunnl.gg Expose localhost to the internet (tunnl.gg)

122. スタッフエンジニアとしてなぜスポットライトを避けるのか Lobste Comment

12-04 Why I Ignore The Spotlight as a Staff Engineer (lalitm.com)

123. PGlite - 組み込み可能なPostgreSQL Lobste Comment

12-04 PGlite - Embeddable Postgres (pglite.dev)

124. 壊れてないなら、… Lobste Comment

12-04 If it ain’t broke, … (www.dra27.uk)

125. セイウチ（高性能分散ログストリーミングエンジン） Lobste Comment

12-04 walrus (High Performance distributed log streaming engine) (github.com)

126. 失われたSDKを再現する——42年前のオペレーティングシステム「VisiCorp Visi On」のために Lobste Comment

12-04 On recreating the lost SDK for a 42-year-old operating system: VisiCorp Visi On (git.sr.ht)

127. ヒューマンライツフォント Lobste Comment

12-04 The Human Writes Font (humanwritesfont.com)

128. SWI-Prolog 10.0.0 リリース Lobste Comment

12-04 SWI-Prolog 10.0.0 released (swi-prolog.discourse.group)

129. 超平坦AST Lobste Comment

12-04 Super-flat ASTs (jhwlr.io)

130. foreign-dlopen: 静的プログラムからdlopenを呼び出す Lobste Comment

12-04 foreign-dlopen: call dlopen from static programs (github.com)

131. DeepSeekモデルのV3からV3.2までの技術的ツアー Lobste Comment

12-04 A Technical Tour of the DeepSeek Models from V3 to V3.2 (magazine.sebastianraschka.com)

132. 木々 - J Wiki Lobste Comment

12-04 Trees - J Wiki (code.jsoftware.com)

133. 意見を持った最小限のコーディングエージェントを構築して学んだこと Lobste Comment

12-04 What I learned building an opinionated and minimal coding agent (mariozechner.at)

134. Alpine Linux 3.23.0 リリース: apk-tools v3、linux-stable が linux-edge に取って代わる Lobste Comment

12-04 Alpine Linux 3.23.0 Released: apk-tools v3, linux-stable replaces linux-edge (alpinelinux.org)

135. ゴーストティは非営利団体となりました Lobste Comment

12-04 Ghostty Is Now Non-Profit (mitchellh.com)

136. Solve Go challenge: octantconway Lobste Comment

12-04 Solve Go challenge: octantconway (github.com)

137. 誤りの余地なし - UncoverにおけるGleamの本番運用事例 Lobste Comment

12-04 No room for error - A case study of Gleam in production at Uncover (gleam.run)

138. 37 SignalsがFizzyをオープンソース化 Lobste Comment

12-04 37 Signals open-sources Fizzy (github.com)

139. LLMにニッチな図式化言語を教える Lobste Comment

12-04 Teaching an LLM a Niche Diagraming Language (huy.rocks)

140. Cの列挙型クラスとエラーコード Lobste Comment

12-04 C Enum Class and Error Codes (mropert.github.io)

141. フェロセン 25.11.0 が利用可能になりました Lobste Comment

12-04 Ferrocene 25.11.0 now available (ferrous-systems.com)

142. ローカルファーストはオフラインファーストではない Lobste Comment

12-04 Local-first is not offline-first (shortdiv.com)

143. Reactサーバーコンポーネントにおける重大なセキュリティ脆弱性 Lobste Comment

12-04 Critical Security Vulnerability in React Server Components (react.dev)

144. サイバーレジリエンス法 - 実施 Lobste Comment

12-04 Cyber Resilience Act - Implementation (digital-strategy.ec.europa.eu)

145. マラソンOS：BB10に着想を得たジェスチャーベースのモバイルシェルおよびLinuxシステム Lobste Comment

12-04 Marathon OS: A gesture-based mobile shell and Linux system inspired by BB10 (marathonos.xyz)

146. Redditのコメントバックエンドインフラの近代化 Lobste Comment

12-04 Modernizing Reddit''s Comment Backend Infrastructure (www.reddit.com)

147. 機械に価値観を教える Lobste Comment

12-03 Teaching Values to Machines (lord.technology)

148. テスト済みから実戦経験済みへ Lobste Comment

12-03 Getting from tested to battle-tested (blog.janestreet.com)

149. 幾何代数の紹介 Lobste Comment

12-03 Introducing geometric algebra (www.youtube.com)

150. 具体構文と抽象構文の関係の脱糖化 Lobste Comment

12-03 Desugaring the Relationship Between Concrete and Abstract Syntax (thunderseethe.dev)

151. 必ずしもICacheとは限らない Lobste Comment

12-03 It''s Not Always ICache (matklad.github.io)

152. DOMサイズの大きさがインタラクティブ性に与える影響と、その対策 (2023) Lobste Comment

12-03 How large DOM sizes affect interactivity, and what you can do about it (2023) (web.dev)

153. 最適化ツールをだますことはできない Lobste Comment

12-03 You can''t fool the optimiser (xania.org)

154. ソースグラフとAmpが独立した企業となる理由 Lobste Comment

12-03 Why Sourcegraph and Amp Are Becoming Independent Companies (sourcegraph.com)

155. ジグの非同期プログラム向け新計画 Lobste Comment

12-03 Zig''s new plan for asynchronous programs (lwn.net)

156. いかなる代償を払ってもスペースリークを回避する Lobste Comment

12-03 Avoiding space leaks at all costs (chshersh.com)

157. Luarrow - Luaのための真のパイプライン演算子と洗練されたHaskellスタイルの関数合成 Lobste Comment

12-03 Luarrow - True pipeline operators and elegant Haskell-style function composition for Lua (github.com)

158. RiscPCでLinuxを動かすのは、なぜこんなに難しいのか？ Lobste Comment

12-03 Running Linux on a RiscPC, why is it so hard? (www.thejpster.org.uk)

159. ロコの踊るバジリスク Lobste Comment

12-03 Roko''s dancing basilisk (boston.conman.org)

160. ソフトウェアのピアレビューはどのように行うべきか？ Lobste Comment

12-03 How should we peer review software? (mirawelner.com)

161. 構成能力セキュリティと競合のない複製データ型 Lobste Comment

12-03 Composing capability security and conflict-free replicated data types (spritely.institute)

162. はじめまして：実用的なMLIR抽象化変換器の合成 Lobste Comment

12-03 Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers (users.cs.utah.edu)

163. Rustにおけるロックポイズニングの擁護 Lobste Comment

12-03 In defense of lock poisoning in Rust (sunshowers.io)

164. オープンなウェブ標準を使用してWeChatミニアプリを構築することは可能ですか？ Lobste Comment

12-03 Can we build WeChat Mini Apps using open web standards? (dmathewwws.com)

165. 情報損失の定量化 Lobste Comment

12-03 Quantifying Information Loss (www.testingbranch.com)

166. 10億行を超えるデータで100,000 TPSを達成：SQLiteの非現実的な効率性 Lobste Comment

12-03 100000 TPS over a billion rows: the unreasonable effectiveness of SQLite (andersmurphy.com)

167. 永続的なDNS TXTレコード検証のためのACMEチャレンジ Lobste Comment

12-03 ACME Challenge for Persistent DNS TXT Record Validation (datatracker.ietf.org)

168. AI機能のないウェブベースのマークダウンエディター Lobste Comment

12-03 Web-based markdown editor with no AI (kraa.io)

169. ノイズ、安定性、および機械学習モデルのキャリブレーション Lobste Comment

12-03 Noise, Stability, and ML model Calibration (www.testingbranch.com)

170. TypeScript 7 の進捗状況 - 2025年12月 Lobste Comment

12-03 Progress on TypeScript 7 - December 2025 (devblogs.microsoft.com)

171. EmacsConf 2025 Lobste Comment

12-03 EmacsConf 2025 (emacsconf.org)

172. 固体状態体積表示装置 Lobste Comment

12-03 Solid state volumetric display (mastodon.social)

173. zmx: ターミナルプロセスのセッション永続化 Lobste Comment

12-03 zmx: session persistence for terminal processes (github.com)

174. QにおけるAoCの解決 Lobste Comment

12-02 Solving AoC in Q (mkst.github.io)

175. nixtml: Nixで書かれた静的ウェブサイトおよびブログ生成ツール Lobste Comment

12-02 nixtml: Static website and blog generator written in nix (github.com)

176. 集合論的型のための遅延バイナリ決定図（BDDs） Lobste Comment

12-02 Lazier Binary Decision Diagrams (BDDs) for set-theoretic types (elixir-lang.org)

177. MeshCoreオフグリッドメッセージングの第一印象 Lobste Comment

12-02 My First Impressions of MeshCore Off-Grid Messaging (mtlynch.io)

178. ソフトウェアがファストフードになる時 Lobste Comment

12-02 When software becomes fast food (world.hey.com)

179. Go提案: 型安全なエラーチェック Lobste Comment

12-02 Go proposal: Type-safe error checking (antonz.org)

180. 新しいAIスロープ信号：変なインデントのコードブロック Lobste Comment

12-02 New AI slop signal: code blocks with weird indentation (xeiaso.net)

181. 追加状況への対応 Lobste Comment

12-02 Addressing the adding situation (xania.org)

182. librsvgの変異テスト Lobste Comment

12-02 Mutation testing for librsvg (viruta.org)

183. PtrHash: RAMスループットにおける最小限の完全ハッシュ Lobste Comment

12-02 PtrHash: Minimal Perfect Hashing at RAM Throughput (curiouscoding.nl)

184. インド政府、スマートフォンメーカーに国営サイバー安全アプリのプリインストールを義務付け Lobste Comment

12-02 India orders smartphone makers to preload state-owned cyber safety app (www.reuters.com)

185. 証明書の有効期間を45日に短縮 Lobste Comment

12-02 Decreasing Certificate Lifetimes to 45 Days (letsencrypt.org)

186. Gitmal - Gitリポジトリ用静的ページ生成ツール Lobste Comment

12-02 Gitmal - a static pages generator for Git repos (github.com)

187. 型チェッカーを構築する最も簡単な方法 Lobste Comment

12-02 The Easiest Way to Build a Type Checker (jimmyhmiller.com)

188. FreeBSD 15.0-RELEASE リリースのお知らせ Lobste Comment

12-02 FreeBSD 15.0-RELEASE Announcement (www.freebsd.org)

189. ページアウト - ページ募集 Lobste Comment

12-02 Paged Out - Call for pages (pagedout.institute)

190. クロード4.5 オパス・ソウル・ドキュメント Lobste Comment

12-02 Claude 4.5 Opus'' Soul Document (www.lesswrong.com)

191. Guix G式を用いた複雑なエンドツーエンドテスト Lobste Comment

12-02 Complex end-to-end tests using Guix G-expressions (systemreboot.net)

192. AWS S3、S3 Express、EBS、インスタンスストアの読み取りレイテンシのベンチマーク Lobste Comment

12-02 Benchmarking read latency of AWS S3, S3 Express, EBS and Instance store (nixiesearch.substack.com)

193. ここをクリックしないでください Lobste Comment

12-02 Don''t Click Here (www.dont-click-here.com)

194. なんでそんなに深刻なの？ (「Rubyは真面目なプログラミング言語ではない」への反論) Lobste Comment

12-02 Why So Serious? (A Response to Ruby Is Not a Serious Programming Language) (robbyonrails.com)

195. なぜ xor eax, eax なのか？ Lobste Comment

12-02 Why xor eax, eax? (xania.org)

196. 大規模言語モデルは失敗作だ。新たなAI冬の時代が到来する Lobste Comment

12-02 LLMs are a failure. A new AI winter is coming (taranis.ie)

197. コールスタックの圧縮：キーレスハッシュマップで駆動されるビットパッキングDAG Lobste Comment

12-02 Compressing callstacks: a bitpacked DAG powered by a keyless hashmap (superluminal.eu)

198. MADstack: Rust WebスタックにAI要素を加えたもの Lobste Comment

12-02 MADstack: rust web stack with some AI bits (github.com)

199. 初心者向けメドレー・インターリスピ Lobste Comment

12-01 Medley Interlisp for the Newcomer (primer.interlisp.org)

200. メッシュタスティックによるオフグリッド船舶通信 Lobste Comment

12-01 Off-grid Boat Communications with Meshtastic (blog.noforeignland.com)

201. 世界初のJPEG XL MD5ハッシュクワインの構築 Lobste Comment

12-01 Constructing The Word''s First JPEG XL MD5 Hash Quine (stackchk.fail)

202. 世界一周、第27話：植樹 Lobste Comment

12-01 Around The World, Part 27: Planting trees (frozenfractal.com)

203. Qt 6、KDE Frameworks などのオンラインドキュメント（C言語およびZig言語向け） Lobste Comment

12-01 Online Documentation for Qt 6, KDE Frameworks, etc. for C & Zig (gist.github.com)

204. リヌス・トーバルズと作る完璧なLinux PC Lobste Comment

12-01 Building the perfect Linux PC with Linus Torvalds (youtu.be)

205. Punycode: 私の新しいお気に入りのアルゴリズム Lobste Comment

12-01 Punycode: My New Favorite Algorithm (www.iankduncan.com)

206. インターネットハンドル Lobste Comment

12-01 Internet Handle (internethandle.org)

207. サイズは重要だ Lobste Comment

12-01 Size Matters (matklad.github.io)

208. すべてを統べる一つのジョブサーバー Lobste Comment

12-01 One jobserver to rule them all (blogs.gentoo.org)

209. ボイン Lobste Comment

12-01 Boing (boing.greg.technology)

210. FreeBSDへのラブレター Lobste Comment

12-01 A Love Letter to FreeBSD (www.tara.sh)

211. ty - Python型チェッカー Lobste Comment

12-01 ty - Python type checker (docs.astral.sh)

212. NixOS 25.11 リリース Lobste Comment

12-01 NixOS 25.11 released (nixos.org)

213. 数兆ドルを費やしても大規模ソフトウェアプロジェクトは依然として失敗している Lobste Comment

12-01 Trillions Spent and Big Software Projects Are Still Failing (spectrum.ieee.org)

214. reMarkable 2のハッキング Lobste Comment

12-01 Hacking on the reMarkable 2 (sgt.hootr.club)

215. マイクロサービスが欲しい——でも本当に必要か？ Lobste Comment

12-01 You Want Microservices—But Do You Need Them? (www.docker.com)

216. JPEG圧縮テクスチャを用いたリアルタイムレンダリング Lobste Comment

12-01 Real-Time Rendering with JPEG-Compressed Textures (github.com)

217. Linuxカーネルエクスプローラー reverser.dev Lobste Comment

12-01 Linux Kernel Explorer reverser.dev (reverser.dev)

218. ドットコム・サバイバー症候群 ― Perlの初期の成功が衰退の種をまいた経緯 Lobste Comment

12-01 Dotcom Survivor Syndrome – How Perl’s Early Success Created the Seeds of Its Downfall (perlhacks.com)

219. 相互運用性とMathMLコア Lobste Comment

12-01 interop and mathml core (conflor.es)

220. Windowsのドライブ文字はAからZに限定されません Lobste Comment

12-01 Windows drive letters are not limited to A-Z (www.ryanliptak.com)

221. ゼロからGitHubへ：新しいjj（呪術）リポジトリの開始 Lobste Comment

12-01 From Zero to GitHub: Starting A New jj (Jujutsu) Repo (www.visualmode.dev)

222. GitHubからCodebergへ：私の経験 Lobste Comment

12-01 GitHub to Codeberg: my experience (eldred.fr)

223. アドベント・オブ・コード 2025 Lobste Comment

11-30 Advent of Code 2025 (adventofcode.com)

224. HTTPクエリメソッド Lobste Comment

11-30 The HTTP Query Method (datatracker.ietf.org)

225. GitHubからのDillo移行 Lobste Comment

11-30 Migrating Dillo from GitHub (dillo-browser.org)

226. アンチフラジャイルなプログラミングと、AIがあなたの仕事を奪わない理由 Lobste Comment

11-30 Antifragile Programming and Why AI Won’t Steal Your Job (lemire.me)

227. おっと！カーネルスタックのフリー後使用：NVIDIAのGPU Linuxドライバの悪用 Lobste Comment

11-30 Oops! It''s a kernel stack use-after-free: Exploiting NVIDIA''s GPU Linux drivers (blog.quarkslab.com)

228. ZigbookはZigtools Playgroundを盗作している Lobste Comment

11-30 Zigbook is Plagiarizing the Zigtools Playground (zigtools.org)

229. 宇宙にあるデータセンターは、とんでもなく、ひどく、まったくもって良くない考えだ Lobste Comment

11-30 Datacenters in space are a terrible, horrible, no good idea (taranis.ie)

230. 陸封型Linux Lobste Comment

11-30 Landlock-ing Linux (blog.prizrak.me)

231. pgFirstAid-PostgreSQLヘルスチェックブログ記事 Lobste Comment

11-30 pgFirstAid-The PostgreSQL Health Check Blog Post (randoneering.tech)

232. elf: 入力キャッシュと安全な提出機能を備えた、Advent of Code向けPython CLIおよびライブラリ Lobste Comment

11-30 elf: Python CLI and library for Advent of Code with input caching and safe submissions (github.com)

233. アゴダカスタマーセンター 24時間対応お問い合わせは 0813.707.1535 まで Lobste Comment

11-30 Call Center Agoda 24-jam hubungi 0813.707.1535 (lobste.rs)

234. アゴダ予約変更サービス 24時間対応 0813 707 1535 Lobste Comment

11-30 Layanan Reschedule Agoda 24 jam 0813 707 1535 (lobste.rs)

235. Eraser: マルチスレッドプログラム向け動的データ競合検出器 (1997) Lobste Comment

11-30 Eraser: A Dynamic Data Race Detector for Multithreaded Programs (1997) (web.stanford.edu)

236. アゴダ予約変更コールセンター - 24時間カスタマーサポート Lobste Comment

11-30 Call Center Agoda Reschedule - Bantuan Pelanggan 24 jam (lobste.rs)

237. コンピューターはあなたのデータを消去したがっている：おまけ情報 Lobste Comment

11-30 The Computer Wants to Lose Your Data: Bonus Bits (blog.sinjakli.co.uk)

238. アゴダコールセンター番号：アゴダ再予約サービス - アゴダカスタマーサポート Lobste Comment

11-30 Nomor Call Center Agoda: Layanan Agoda Reschedule - Bantuan Pelanggan Agoda (sites.google.com)

239. The Clade折りたたみ式テキストエディタ Lobste Comment

11-30 The Clade folding text editor (tibleiz.net)

240. Imgurが英国を地域制限したため、私はネットワーク全体を地域制限解除した Lobste Comment

11-30 Imgur Geo-Blocked the UK, So I Geo-Unblocked My Entire Network (blog.tymscar.com)

241. Scalaの起源 (2009) Lobste Comment

11-30 The Origins of Scala (2009) (www.artima.com)

242. DevOps向けAIエージェントの構築：CI/CD自動化から自律的デプロイメントへ Lobste Comment

11-30 Building AI Agents for DevOps: From CI/CD Automation to Autonomous Deployments (muhammadraza.me)

243. 主要なAIカンファレンスに、AIが完全に執筆した査読論文が殺到 Lobste Comment

11-30 Major AI conference flooded with peer reviews written fully by AI (www.nature.com)

11-30 Schubfach: The smallest state-of-the-art double-to-string implementation (vitaut.net)

245. 250KB未満の壁紙を設定する Lobste Comment

11-30 Setting a wallpaper with less than 250 Kb (www.lgfae.com)

246. System 7 は Mac mini G4 でネイティブに起動します Lobste Comment

11-30 System 7 natively boots on the Mac mini G4 (macos9lives.com)

247. コンテキスト配管 Lobste Comment

11-30 Context plumbing (interconnected.org)

248. Langjam Gamejam: プログラミング言語を構築し、それを使ってゲームを作ろう Lobste Comment

11-29 Langjam Gamejam: Build a programming language then make a game with it (langjamgamejam.com)

249. SymfonyCon 2025の講演資料、スライド、コードサンプルはGitHubにあります Lobste Comment

11-29 SymfonyCon 2025 talks, slides and code examples are on GitHub (github.com)

250. CodeQLデータベースの作成に失敗した場合の対処法 – cviseを使用した完璧な再現環境の報告方法 Lobste Comment

11-29 What to Do When Creating Your CodeQL Database Fails – and How to Report the Perfect Reproducer Using cvise (intrigus.org)

251. エアバス、ソフトウェア問題によりA320の大型リコールを実施 Lobste Comment

11-29 Airbus issues major A320 recall due to software issue (www.reuters.com)

252. Immichで写真をセルフホスティングする Lobste Comment

11-29 Self-hosting my photos with Immich (michael.stapelberg.ch)

253. acmeleaf: シンプルな宣言型 DNS-01 ACME クライアント Lobste Comment

11-29 acmeleaf: Simple declarative DNS-01 ACME client (codeberg.org)

254. 自己検閲はもう終わりだ Lobste Comment

11-29 No More Self-Censorship (kerrick.blog)

255. キメラLinuxとの冒険 Lobste Comment

11-29 Adventures with Chimera Linux (blog.xiaket.org)

256. ポッピング・アンド・ロッキング・ゼッド・テーマ Lobste Comment

11-29 popping-and-locking-zed-theme (github.com)

257. git-embigenner: 空のコミットをスパムとして報告する Lobste Comment

11-29 git-embigenner: Spam empty commits (github.com)

258. Fabric: Node Creative Coding / 3D / Quartz Composerに着想を得た画像処理ツール Lobste Comment

11-29 Fabric: Node Creative Coding / 3D / Image Processing tool inspired by Quartz Composer (github.com)

259. ロープ科学、第11部 - 実用的な構文強調表示 (2017) Lobste Comment

11-29 Rope science, part 11 - practical syntax highlighting (2017) (xi-editor.io)

260. 大企業で優秀なエンジニアがなぜ悪いコードを書くのか Lobste Comment

11-29 How good engineers write bad code at big companies (www.seangoedecke.com)

261. 「カスタムプロパティ」の代わりに（または併せて）「CSS変数」と言っても問題ありません Lobste Comment

11-29 It is OK to Say “CSS Variables” Instead of (or Alongside) “Custom Properties” (blog.kizu.dev)

262. universal-tbxi-patchset: TBXI（クラシックMac OS New World ROM）パッチセット（System 7.5以降を起動するため） Lobste Comment

11-29 universal-tbxi-patchset: TBXI (classic Mac OS New World ROM) patchset to boot System 7.5 (github.com)

263. グーグルの悪ふざけ Lobste Comment

11-29 Google Shenanigans (huijzer.xyz)

264. NSAのバックドアの簡単な歴史 Lobste Comment

11-29 A Brief History of NSA Backdoors (www.ethanheilman.com)

265. MetaFun: Haskell風のコードをCテンプレートメタプログラムへコンパイルする Lobste Comment

11-29 MetaFun: Compile Haskell-like code to C template metaprograms (gergo.erdi.hu)

266. 剛体の静止 Lobste Comment

11-29 Putting Rigid Bodies to Rest (hbaktash.github.io)

267. OSS Friday Update - ファイバースケジューラが形になりつつある Lobste Comment

11-29 OSS Friday Update - The Fiber Scheduler is Taking Shape (noteflakes.com)

268. ボンネット下のストップウォッチ (2016) Lobste Comment

11-29 Stopwatch under the hood (2016) (aakinshin.net)

269. 小型TPU Lobste Comment

11-29 Tiny TPU (www.tinytpu.com)

270. bfs: UNIXのfindコマンドの幅優先探索版 Lobste Comment

11-28 bfs: A breadth-first version of the UNIX find command (github.com)

271. それを引っ張らないで、何につながっているか分からないんだから Lobste Comment

11-28 Don''t tug on that, you never know what it might be attached to (blog.plover.com)

272. テキストから3Dメッシュを生成する Lobste Comment

11-28 Generating 3D Meshes From Text (cprimozic.net)

273. オープンソースの電動XYZマイクロマニピュレーター - 手頃な価格でサブマイクロメートル級モーションコントロールを実現 Lobste Comment

11-28 An Open Source Motorized XYZ Micro-Manipulator - Affordable sub µm Motion Control (youtube.com)

274. インシデントデータと統計的工程管理で楽しむ Lobste Comment

11-28 Fun with incident data and statistical process control (surfingcomplexity.blog)

275. 100万ドルのアップル・マッキントッシュ・パワーブック170 Lobste Comment

11-28 A 1 Million Dollar Apple Macintosh PowerBook 170 (www.ebay.ca)

276. ファーフォンのバッテリーに関する最新情報 Lobste Comment

11-28 An update on the farphone''s battery (far.computer)

277. プロジェクトハミングバードを使っている人はいますか？ Lobste Comment

11-28 Is anyone using Project Hummingbird? (www.redhat.com)

278. 助けて、Javaオブジェクトが消えた（しかもGCのせいじゃない） Lobste Comment

11-28 Help, My Java Object Vanished (and the GC is Not at Fault) (arraying.de)

279. 秘密を守る要塞 - 暗号化やクラウドプロバイダーで秘密を管理 Lobste Comment

11-28 Fort Knox for your secrets - Manage secrets with encryption or cloud providers (fnox.jdx.dev)

280. CRDT辞書：競合のない複製データ型のフィールドガイド Lobste Comment

11-28 The CRDT Dictionary: A Field Guide to Conflict-Free Replicated Data Types (www.iankduncan.com)

281. OpenReviewにおける匿名査読者、著者、分野別委員の身元漏洩 Lobste Comment

11-28 Leak of identity of anonymous reviewers, authors, and area chairs on OpenReview (lobste.rs)

282. 行列の乗算は醜いのか？ Lobste Comment

11-28 Is Matrix Multiplication Ugly? (mathenchant.wordpress.com)

283. Unisonを使用したATプロトコル上のツール構築基盤 Lobste Comment

11-28 A foundation for building tools on the AT Protocol using Unison (notes.kaushikc.org)

284. Goにおけるデータ競合で死ぬ無数の方法 Lobste Comment

11-28 A million ways to die from a data race in Go (gaultier.github.io)

285. ML-KEM 誤解を解く Lobste Comment

11-28 ML-KEM Mythbusting (keymaterial.net)

286. 最近のCloudflareサービス停止に関する所感 Lobste Comment

11-28 Brief thoughts on the recent Cloudflare outage (surfingcomplexity.blog)

287. ボタンに何があるのか？ Lobste Comment

11-28 What''s in a Button? (belkadan.com)

288. つまらないもの Lobste Comment

11-28 Bauble (bauble.studio)

289. 環境変数にシークレットを設定する Lobste Comment

11-28 Setting secrets in env vars (hugovk.dev)

290. ベンド・エマクス - 第6話: オーバーレイ Lobste Comment

11-28 Bending Emacs - Episode 6: Overlays (xenodium.com)

291. Snapdragon 8 Elite Gen 5モバイルプラットフォーム向けLinuxの即日アップストリームサポート Lobste Comment

11-28 Same-day upstream Linux support for Snapdragon 8 Elite Gen 5 mobile platform (www.qualcomm.com)

292. ポインターに関する小テスト Lobste Comment

11-28 Pointer pop quiz (dave.cheney.net)

293. エレクトロン対タウリ Lobste Comment

11-28 Electron vs. Tauri (www.dolthub.com)

294. オベリスクとDBOSの比較 Lobste Comment

11-28 Comparing Obelisk with DBOS (obeli.sk)

295. Linuxにおける入力スタックエンドツーエンドのアーキテクチャ概要 Lobste Comment

11-28 The Input Stack on Linux An End-To-End Architecture Overview (venam.net)

296. 作品を共有することは、脚で持ち上げるようなものだ Lobste Comment

11-28 Sharing Your Work Is Like Lifting With Your Legs (devonzuegel.com)

297. アンブリック可能な誓約 Lobste Comment

11-27 The Unbrickable Pledge (usetrmnl.com)

298. Lowtype: Rubyにおけるエレガントな型 Lobste Comment

11-27 Lowtype: Elegant types in Ruby (codeberg.org)

299. ocaml-eglotによるOCamlのLSPサーバーへのEmacsサポートの実現 Lobste Comment

11-27 Bringing Emacs Support to OCaml''s LSP Server with ocaml-eglot (tarides.com)

300. 冪等性キーについて Lobste Comment

11-27 On Idempotency Keys (www.morling.dev)