Lobste の最新の投稿 Lite

1. 困難な問題に対する満足のいく解決策 Lobste Comment

10-22 SATisfying Solutions to Difficult Problems (vaibhavsagar.com)

2. 私が書いたスクリプトで、いつも使っているもの Lobste Comment

01:07 Scripts I wrote that I use all the time (evanhahn.com)

3. jjに未来を見出す Lobste Comment

01:22 I see a future in jj (steveklabnik.com)

4. Slint 1.14 リリース Lobste Comment

10-22 Slint 1.14 Released (slint.dev)

5. オムアルキーについて一言 Lobste Comment

10-22 A Word on Omarchy (xn--gckvb8fzb.com)

6. awesome-tiny-crates: Rustの記述をより楽しくする小さな箱の集まり Lobste Comment

10-22 awesome-tiny-crates: A bunch of small crates that make writing Rust more fun (github.com)

7. Rust用パワーレター Lobste Comment

10-22 Powerletters for Rust (brson.github.io)

8. エンジニアリングマネージャーとして1対1面談を実施する方法 Lobste Comment

10-22 How to Run 1:1s as an Engineering Manager (justoffbyone.com)

9. 486Tang - クレジットカードサイズのFPGAボード上の486 Lobste Comment

10-22 486Tang - 486 on a credit-card-sized FPGA board (nand2mario.github.io)

10. 15の知られざる微妙なポイント Lobste Comment

10-22 15 Go Subtleties You May Not Already Know (harrisoncramer.me)

11. なぜMITライセンスにおける特許許諾条項への評価は低いのか？ (2018) Lobste Comment

10-22 Why so little love for the patent grant in the MIT License? (2018) (opensource.com)

12. 非同期DNS解決 Lobste Comment

10-22 Async DNS Resolution (ziglang.org)

13. フレークなしでNix構成を整理する Lobste Comment

10-22 Organizing your Nix configuration without flakes (somas.is)

14. 高度な自己認識型ed(1) Lobste Comment

10-22 Advanced Self-Aware ed(1) (aartaka.me)

15. Go言語で書かれた、ジェネリクスを用いたシンプルで最小限のSQLデータベース移行ツール。標準ライブラリのdatabase/sqlとSQLXを標準でサポート。 Lobste Comment

10-22 Simple, minimal SQL database migrations written in Go with generics. Std lib database/sql and SQLX supported OOTB (github.com)

16. BPF LPMトライのパフォーマンスと最適化に関する詳細な分析 Lobste Comment

10-22 A deep dive into BPF LPM trie performance and optimization (blog.cloudflare.com)

17. 要素: setHTML() メソッド (MDN) Lobste Comment

10-22 Element: setHTML() method on MDN (developer.mozilla.org)

18. AMD Strix HaloにおけるInfinity Cacheの評価 Lobste Comment

10-22 Evaluating the Infinity Cache in AMD Strix Halo (chipsandcheese.com)

19. modshim: Pythonパッケージのコードを変更せずに上書き・カスタマイズする Lobste Comment

10-22 modshim: Override and customize Python packages without touching their code (github.com)

20. 移動、破壊、忘却、そして錆びる Lobste Comment

10-22 Move, Destruct, Forget, and Rust (smallcultfollowing.com)

21. リソースパックを使用して、MinecraftサーバーがアカウントやIPを跨いでユーザーを追跡する方法 Lobste Comment

10-22 How Minecraft servers can track you across accounts and IPs using resource packs (alaggydev.github.io)

22. テキストアドベンチャーの偉大さ Lobste Comment

10-22 The Greatness of Text Adventures (entropicthoughts.com)

23. パイプカールイントゥーシャに何の問題があるの？ Lobste Comment

10-22 What’s the problem with pipe-curl-into-sh? (lobste.rs)

24. 手頃な価格での伐採への道のり Lobste Comment

10-22 Our journey to affordable logging (techblog.cloudkitchens.com)

25. なぜSSAなのか？ Lobste Comment

10-22 Why SSA? (mcyoung.xyz)

26. OpenBSD 7.8 Lobste Comment

10-21 OpenBSD 7.8 (www.openbsd.org)

27. GlassWorm：不可視コードを用いた初の自己増殖型ワームがOpenVSXマーケットプレイスに登場 Lobste Comment

10-22 GlassWorm: First Self-Propagating Worm Using Invisible Code Hits OpenVSX Marketplace (www.koi.ai)

28. Magitは素晴らしい Lobste Comment

10-22 Magit is Amazing (heiwiper.com)

29. モーダル編集とは、まったくの偶然によって生じた奇妙な歴史的偶然性である Lobste Comment

10-22 Modal editing is a weird historical contingency we have through sheer happenstance (buttondown.com)

30. SCHEME-78 Lispベースのマイクロプロセッサの設計（1980年） Lobste Comment

10-22 Design of the SCHEME-78 Lisp-based microprocessor (1980) (dl.acm.org)

31. デッカーとのまた一年 (v1.44 - v1.60) Lobste Comment

10-22 Yet Another Year With Decker (v1.44 - v1.60) (beyondloom.com)

32. TARmageddon（CVE-2025-62518）はオープンソースの放棄ソフトウェアが抱える課題を浮き彫りにする Lobste Comment

10-21 TARmageddon (CVE-2025-62518) highlights the challenges of open source abandonware (edera.dev)

33. プラズマ 6.5 Lobste Comment

10-21 Plasma 6.5 (kde.org)

34. 算術演算向け高速バイトコードVM：仮想マシン Lobste Comment

10-21 A Fast Bytecode VM for Arithmetic: The Virtual Machine (abhinavsarkar.net)

35. AVFoundationとyt-dlpを使用したmacOSスクリーンセーバーとしてのライブ動画ストリーミング Lobste Comment

10-21 Streaming live video as a macOS screensaver using AVFoundation and yt-dlp (github.com)

36. 時計なしで時間を追う Lobste Comment

10-21 Tracking Time Without Clock (tigerbeetle.com)

37. cURLを使えばいい Lobste Comment

10-21 Just use cURL (justuse.org)

38. 6ヶ月の『塔の上のラプンツェル』 Lobste Comment

10-21 6 months of Tangled (blog.tangled.org)

39. StarGrid：2025年登場、まったく新しいPalm OS戦略ゲーム Lobste Comment

10-21 StarGrid: Brand-New Palm OS Strategy Game in 2025 (quarters.captaintouch.com)

40. Forgejoと共にフェドーラの未来を創る Lobste Comment

10-21 Forging Fedora’s Future with Forgejo (communityblog.fedoraproject.org)

41. 私の最も人気のあるアプリケーション Lobste Comment

10-21 My most popular application (blog.6nok.org)

42. Clangの新定数式インタプリタの進捗状況 Lobste Comment

10-21 Progress update on Clang''s new constant expression interpreter (developers.redhat.com)

43. 余白検索の言語サポート Lobste Comment

10-21 Language Support for Marginalia Search (www.marginalia.nu)

44. Vercel Functions向けWebSocketサーバーの構築方法 Lobste Comment

10-21 How We Built WebSocket Servers for Vercel Functions (www.rivet.dev)

45. 柔道（柔術 GUI） Lobste Comment

10-21 Judo (Jujutsu GUI) (judojj.com)

46. カーソルをオフに、思考をオンに Lobste Comment

10-21 Turn off Cursor, turn on your mind (allvpv.org)

47. atproto チェックイン（2025年秋） Lobste Comment

10-21 atproto Check-in (Fall 2025) (docs.bsky.app)

48. Perlを再発見する喜び Lobste Comment

10-21 The joy of rediscovering Perl (blog.zerodogg.org)

49. 私が偶然にもPureGymの非公式Apple Wallet開発者になった経緯 Lobste Comment

10-21 How I accidentally became PureGym''s unofficial Apple Wallet developer (drobinin.com)

50. Emacsのタイムゾーン Lobste Comment

10-21 Emacs time-zones (xenodium.com)

51. エンジニアリング生産性の測定 Lobste Comment

10-21 Measuring Engineering Productivity (justoffbyone.com)

52. AWSで12時間以上に及ぶ複数サービスの障害が発生 Lobste Comment

10-21 AWS experiences 12 hour multi-service outage (health.aws.amazon.com)

53. Nix CI ベンチマーク Lobste Comment

10-21 Nix CI Benchmarks (garnix-io.github.io)

54. ルビー・バトラー：RubyGemsとBundlerを見直す時が来た Lobste Comment

10-21 Ruby Butler: It’s Time to Rethink RubyGems and Bundler (rubyelders.com)

55. フィル-C Lobste Comment

10-21 Fil-C (fil-c.org)

56. ローカルメールボックスをIMAPサーバーと常に同期状態に保つ Lobste Comment

10-21 Continuously keep local mailboxes in sync with an IMAP server (whynothugo.nl)

57. Rubyのループについて少し話そう Lobste Comment

10-20 Some Smalltalk about Ruby Loops (tech.stonecharioteer.com)

58. コメントを支持する立場から、経験的工学はどのような見解を示すか？（2022年） Lobste Comment

10-20 In favor of comments, what does empirical engineering says? (2022) (sadraskol.com)

59. EchoKit、ESP32、Rustを使って独自のAI音声エージェントを作成する Lobste Comment

10-20 Create Your Own AI Voice Agent Using EchoKit, ESP32, and Rust (www.instructables.com)

60. TermuxとTailscaleを使ってスマホでClaude Codeを使う方法 Lobste Comment

10-20 How I Use Claude Code on My Phone with Termux and Tailscale (www.skeptrune.com)

61. 技術的負債をソフトウェア負債として再定義せよ。AAA格付けのCDOのように扱え。 Lobste Comment

10-20 Reframe Technical Debt as Software Debt. Treat it like a AAA-rated CDO (www.evalapply.org)

62. Servo 0.0.1 リリース Lobste Comment

10-20 Servo 0.0.1 Release (servo.org)

63. Flinkのウォーターマーク…マジかよ？ Lobste Comment

10-20 Flink Watermarks…WTF? (flink-watermarks.wtf)

64. マトリックス・カンファレンス2025 ハイライト Lobste Comment

10-20 Matrix Conference 2025 Highlights (element.io)

65. 既読コメントを非表示にする Lobste Comment

10-20 Hide read comments (lobste.rs)

66. Go提案: IPサブネットの比較 Lobste Comment

10-20 Go proposal: Compare IP subnets (antonz.org)

67. Gleam v1.13.0 リリース Lobste Comment

10-20 Gleam v1.13.0 released (gleam.run)

68. 技術的でない理由からウェブブロックを開始する必要があります Lobste Comment

10-20 We need to start doing web blocking for non-technical reasons (utcc.utoronto.ca)

69. コピー＆パッチ：仕組み Lobste Comment

10-20 Copy-and-Patch: How It Works (transactional.blog)

70. Gitプリコミットフックの利点と欠点に関する考察 Lobste Comment

10-20 Discussion of the Benefits and Drawbacks of the Git Pre-Commit Hook (yeldirium.de)

71. 整数集合ライブラリ（ISL） - 入門編 Lobste Comment

10-20 Integer Set Library (ISL) - A Primer (www.jeremykun.com)

72. エクティズム - あらゆるソフトウェアをプログラム可能に。内部から拡張する Lobste Comment

10-20 Extism - make all software programmable. Extend from within (extism.org)

73. SM64における完璧なジャンプ - アークタンの負荷について解説 Lobste Comment

10-20 Perfect Jumps in SM64 - Arctan Straining Explained (youtu.be)

74. 火星探査機パスの失敗 Lobste Comment

10-20 Mars pathfinder disaster (guitarvydas.github.io)

75. 軍事資金なし（2004年） Lobste Comment

10-20 No Military Funding (2004) (web.eecs.umich.edu)

76. MCPに関しては、API設計に関する我々の知識はすべて間違っている Lobste Comment

10-20 When it comes to MCPs, everything we know about API design is wrong (blog.fsck.com)

77. ビンテージシンセファームウェアのリバースエンジニアリング入門 Lobste Comment

10-20 Introduction to reverse-engineering vintage synth firmware (ajxs.me)

78. 遅延インポートで3倍高速化 Lobste Comment

10-20 Three times faster with lazy imports (hugovk.dev)

79. コンテキストパラメータとAPI設計 Lobste Comment

10-20 Context parameters and API design (serranofp.com)

80. 圧縮におけるエントロピー (2013) Lobste Comment

10-20 Entropy in Compression (2013) (youtu.be)

81. Rust Binder ドライバーを追加 Lobste Comment

10-20 Add Rust Binder Driver (git.kernel.org)

82. スマート掃除機が反旗を翻した日 Lobste Comment

10-20 The Day My Smart Vacuum Turned Against Me (codetiger.github.io)

83. シングルボードコンピュータの比較 Lobste Comment

10-20 Compare Single Board Computers (sbc.compare)

84. AT&Tの長い電話回線 – 忘れ去られたシステム (2018) Lobste Comment

10-20 AT&T Long Lines – A Forgotten System (2018) (personal.garrettfuller.org)

85. Mesa 3Dにおける回帰現象の追跡 Lobste Comment

10-19 Tracking Down a Regression in Mesa 3D (vkoskiv.com)

86. Gleamで自分だけのウェブサーバーを作った方法 Lobste Comment

10-19 How I made my own web server in Gleam (wskiy.de)

87. ソフトウェア設計における結合のバランス調整 Lobste Comment

10-19 Balancing Coupling in Software Design (olano.dev)

88. PixelMeltのKindle Webデオブファスカタの改善 Lobste Comment

10-19 Improving PixelMelt''s Kindle Web Deobfuscator (shkspr.mobi)

89. 変だけど、Haskellは簡単だと感じる Lobste Comment

10-19 Weird, but Haskell feels easy (xlii.space)

90. ThinkPad T480のリブリーブート Lobste Comment

10-19 Librebooting the ThinkPad T480 (ezntek.com)

91. 私の望む初期化システム／サービス管理者の姿 Lobste Comment

10-19 How I’d like my init system / service supervisor to be (runxiyu.org)

92. Pythonウェブサービスの未来はGILフリーになる見込みだ Lobste Comment

10-19 The future of Python web services looks GIL-free (blog.baro.dev)

93. 実市場におけるAI取引 Lobste Comment

10-19 AI Trading in Real Market (nof1.ai)

94. みんなすごくクリエイティブだ Lobste Comment

10-19 Everybody''s so Creative (daymare.net)

95. 幻覚は避けられないが、統計的に無視できるレベルに抑えられる Lobste Comment

10-19 Hallucinations are inevitable but can be made statistically negligible (doi.org)

96. scx: sched_ext スケジューラとツール Lobste Comment

10-19 scx: sched_ext schedulers and tools (github.com)

97. 一貫性ハッシュ Lobste Comment

10-19 Consistent Hashing (eli.thegreenplace.net)

98. STDIOについて知りたいことすべて Lobste Comment

10-19 All You Wanted to Know About STDIO (memorici.de)

99. ./watch Lobste Comment

10-19 ./watch (dotslashwatch.com)

100. JanetにおけるPEGの使用 Lobste Comment

10-19 Using PEGs in Janet (articles.inqk.net)

101. スコッティ、俺を満腹にしろ Lobste Comment

10-19 Feed me up, Scotty (feed-me-up-scotty.vincenttunru.com)

102. 知識は技術的負債を生み出す Lobste Comment

10-19 Knowledge creates technical debt (lukeplant.me.uk)

103. ソフトウェアは完成させることができる Lobste Comment

10-19 Software can be finished (rosswintle.uk)

104. マイクロマシーンズ BIC-23 PCB ハードウェアROMパッチ付き Lobste Comment

10-19 Micro Machines BIC-23 PCB with hardware ROM patch (forums.nesdev.org)

105. スキーム報告書50周年：今後の方向性は？ Lobste Comment

10-19 Scheme Reports at Fifty: Where do we go from here? (crumbles.blog)

106. AIコーディングツールのデザイン空間 Lobste Comment

10-19 The design space of AI coding tools (austinhenley.com)

107. Ripgrep 15.0.0 Lobste Comment

10-19 Ripgrep 15.0.0 (github.com)

108. オブシディアンチームへの公開書簡 Lobste Comment

10-19 An open letter to the Obsidian team (www.emilebangma.com)

109. パーフェット、オープンソース、そして企業の優先事項について Lobste Comment

10-19 On Perfetto, Open Source, and Company Priorities (lalitm.com)

110. ジョー・デキュア技術ノート 1978年 Lobste Comment

10-19 Joe Decuir Engineering Notebook 1978 (archive.org)

111. 制約ソルバーを用いたNYTimesピップスパズルの解法 Lobste Comment

10-19 Solving the NYTimes Pips puzzle with a constraint solver (www.righto.com)

112. Flowistry: Rust向けIDEプラグイン。関連するコードに焦点を当てた設計 Lobste Comment

10-18 Flowistry: An IDE plugin for Rust that focuses on relevant code (github.com)

113. もしLinuxのユーザーランドを一から再設計できるとしたら、どのような点を変えますか？ Lobste Comment

10-18 If you could redesign Linux userland from scratch, what would you do differently? (lobste.rs)

114. CUEを用いたIoTセンサーデータの統合 Lobste Comment

10-18 Using CUE to unify IoT sensor data (aran.dev)

115. 使い捨てコードを活用したエージェントの構築 Lobste Comment

10-18 Building an Agent That Leverages Throwaway Code (lucumr.pocoo.org)

116. GPU上での三次ベジエ曲線への距離の高速計算 Lobste Comment

10-18 Fast calculation of the distance to cubic Bezier curves on the GPU (blog.pkh.me)

117. PostgreSQL 18の新機能：UUIDv7サポートの探求 Lobste Comment

10-18 Exploring PostgreSQL 18''s new UUIDv7 support (aiven.io)

118. OpenAIにおけるPostgresの次なるレベルへの拡張 Lobste Comment

10-18 Scaling Postgres to the next level at OpenAI (www.youtube.com)

119. なぜ数学を形式化するのか―誤りを発見する以上の理由 Lobste Comment

10-18 Why formalize mathematics - more than catching errors (rkirov.github.io)

120. TXRバイトコード最適化事例研究 Lobste Comment

10-18 TXR Bytecode Optimization Case Study (www.nongnu.org)

121. TailscaleがNATトラバーサルを改善する方法（その1） Lobste Comment

10-18 How Tailscale is improving NAT traversal (Part 1) (tailscale.com)

122. REAP: 兆規模パラメータを持つ混合専門家モデルのためのワンショット剪定 Lobste Comment

10-18 REAP: One-Shot Pruning for Trillion-Parameter Mixture-of-Experts Models (www.cerebras.ai)

123. Unix実行ファイルをSmalltalkメソッドとして Lobste Comment

10-18 Unix Executable as Smalltalk Method (programmingmadecomplicated.wordpress.com)

124. AIの多数派の見解 Lobste Comment

10-18 The Majority AI View (www.anildash.com)

125. Rust Clippyの機能凍結をどのように組織化したか Lobste Comment

10-18 How we organized the Rust Clippy feature freeze (blog.goose.love)

126. ifが単なる関数であるとき Lobste Comment

10-18 When if is just a function (ryelang.org)

127. すべての雰囲気をコード化したウェブサイトは、同じページに異なる言葉が書かれているだけだ。だから私はそのページを作った Lobste Comment

10-18 Every vibe-coded website is the same page with different words. So I made that page (vibe-coded.lol)

128. 最小非循環有限状態オートマトンの漸進的構築 (2000) Lobste Comment

10-18 Incremental Construction of Minimal Acyclic Finite-State Automata (2000) (aclanthology.org)

129. 例外とステータス返却 (2003) Lobste Comment

10-18 Exceptions vs. status returns (2003) (nedbatchelder.com)

130. クロード・スキルはMCPよりも重要かもしれない Lobste Comment

10-18 Claude Skills may be a bigger deal than MCP (simonwillison.net)

131. コンパイルはコミュニケーションである Lobste Comment

10-18 Compilation is communication (mmapped.blog)

132. Ruby CentralによるRubyGemsおよびBundlerに関する声明 [ruby GHネームスペースへの移行について] Lobste Comment

10-18 Ruby Central Statement on RubyGems & Bundler [moving to ruby GH namespace] (mailchi.mp)

133. Rustでマクロを書いてみよう Lobste Comment

10-18 Let''s write a macro in Rust (hackeryarn.com)

134. Bundler 2.6: 組み込みチェックサム検証によるセキュリティ強化 Lobste Comment

10-17 Bundler 2.6: Enhanced Security with Built-in Checksum Verification (mensfeld.pl)

135. 世界最速のスクラブルプログラム（1988年） Lobste Comment

10-17 The World''s Fastest Scrabble Program (1988) (dl.acm.org)

136. jj part 4: 設定 Lobste Comment

10-17 jj part 4: configuration (andre.arko.net)

137. 構文ハイライトではなく語彙差分ハイライト Lobste Comment

10-17 Lexical differential highlighting instead of syntax highlighting (wordsandbuttons.online)

138. GitHub Actions上のフリースレッドPython Lobste Comment

10-17 Free-threaded Python on GitHub Actions (hugovk.dev)

139. RubyGemsリポジトリ所有権の移行 Lobste Comment

10-17 The Transition of RubyGems Repository Ownership (www.ruby-lang.org)

140. ゼロから実装して解き明かす [Kubernetes] CNI Lobste Comment

10-17 Demystifying the [Kubernetes] CNI by Writing One From Scratch (isovalent.com)

141. レイクハウス：低コストで無限にスケーラブル、かつロックインのない可観測性への道？ Lobste Comment

10-17 Lakehouses: the path to low-cost, infinitely scalable, and no-lock-in observability? (clickhouse.com)

142. 『面接』を装ったハッカーに騙されかけた話 Lobste Comment

10-17 How I Almost Got Hacked By A ''Job Interview'' (blog.daviddodda.com)

143. 飛行経路 - GPUインスタンス化レンダリング Lobste Comment

10-17 Flight Path - GPU Instanced Rendering (jeantimex.github.io)

144. 構文強調表示は情報伝達手段の無駄遣いだ Lobste Comment

10-17 Syntax highlighting is a waste of an information channel (buttondown.com)

145. OCamlプラットフォームロードマップ（2023年） Lobste Comment

10-17 OCaml Platform Roadmap (2023) (ocaml.org)

146. アリーナと非自明なデストラクタに関する考察 Lobste Comment

10-17 Speculations on arenas and non-trivial destructors (nullprogram.com)

147. HTMLダイアログ：アクセシビリティとUXを適切に実現する Lobste Comment

10-17 HTML dialog: Getting accessibility and UX right (jaredcunha.com)

148. アマゾンのアプリがクソだったから、Kindleウェブサイトの難読化をどう逆転させたか Lobste Comment

10-17 How I Reversed Amazon''s Kindle Web Obfuscation Because Their App Sucked (blog.pixelmelt.dev)

149. 100万のアクティブノードを持つK8sクラスターの作成への取り組み Lobste Comment

10-17 An effort to create a K8s cluster with 1M active nodes (bchess.github.io)

150. 自動マージ Lobste Comment

10-17 Automerge (automerge.org)

151. 大規模システムソフトウェア Lobste Comment

10-17 Systems Software in the Large (oxide.computer)

152. Pythonを構成言語として（Starlark経由） Lobste Comment

10-17 Python as a Configuration Language (via Starlark) (openrun.dev)

153. マルチセット入門 Lobste Comment

10-17 An Introduction to Multisets (arxiv.org)

154. フラグメントシェーダーにおけるガンマ補正 Lobste Comment

10-17 Gamma correction on fragment shaders (riccardoscalco.it)

155. Hyperflask - HTMXと統合されたFlaskベースのWebフレームワーク Lobste Comment

10-16 Hyperflask - Flask-based Web Framework Integrated with HTMX (hyperflask.dev)

156. イベント理論入門 Lobste Comment

10-16 An Introduction To Event Theory (yonkeltron.com)

157. Forgejo v13.0 が利用可能になりました Lobste Comment

10-16 Forgejo v13.0 is available (forgejo.org)

158. ZedエディターがWindowsで利用可能になりました Lobste Comment

10-16 Zed editor is now available on Windows (zed.dev)

159. Pythonでシングルトンクラスを作成する方法、そして（おそらく）それが必要ない理由 Lobste Comment

10-16 Creating a Singleton Class in Python And Why You (Probably) Don’t Need It (www.thepythoncodingstack.com)

160. スキーム運営委員会選挙 Lobste Comment

10-16 Scheme Steering Committee election (r7rs.org)

161. カラーハイライター - コマンド出力内の特定の単語を色分けして強調表示するターミナルツール Lobste Comment

10-16 Colored Highlighter - A terminal tool to highlight specific words in your command output with colors (github.com)

162. ゴミ箱のデザイン Lobste Comment

10-16 Design for the trash can (arpi.se)

163. cl-tuition: Charmに着想を得たTUI構築用Common Lispライブラリ Lobste Comment

10-16 cl-tuition: a Common Lisp library for building TUIs inspired by Charm (github.com)

164. Nix: サンドボックスへの接続 Lobste Comment

10-16 Nix: connecting to the Sandbox (bmcgee.ie)

165. エンジニアに本番環境へのアクセス権を付与する際、あなたの定番戦略は何ですか？ Lobste Comment

10-16 What’s your go-to strategy for giving engineers access to production? (lobste.rs)

166. Elixir v1.19 リリース Lobste Comment

10-16 Elixir v1.19 Released (elixir-lang.org)

167. Coral NPU：エッジAIのためのフルスタックプラットフォーム Lobste Comment

10-16 Coral NPU: A full-stack platform for Edge AI (research.google)

168. kanagawa: ハードウェア設計のための高水準合成言語 Lobste Comment

10-16 kanagawa: High level synthesis language for hardware design (github.com)

169. MNT 2025年9月更新 Lobste Comment

10-16 MNT September 2025 Update (mntre.com)

170. RustにおけるQNXリソースマネージャ：メッセージパッシングとリソースマネージャ Lobste Comment

10-16 QNX Resource Manager in Rust: Message Passing and Resource Managers (membarrier.wordpress.com)

171. 無料アプリケーション、ハンドルパターン、およびリモートシステム Lobste Comment

10-16 Free applicatives, the handle pattern, and remote systems (exploring-better-ways.bellroy.com)

172. カジノのカードシャッフルマシンをハッキングしてポーカーで不正をした Lobste Comment

10-16 I Cheated At Poker By Hacking A Casino Card Shuffling Machine (youtu.be)

173. 銀の弾丸など存在しない：ソフトウェアのサイクルタイムを理解することが魔法ではなく厄介な理由 Lobste Comment

10-16 No Silver Bullets: Why Understanding Software Cycle Time is Messy, Not Magic (johnflournoy.science)

174. BQNでJSONパーサーを書く Lobste Comment

10-16 Writing a JSON Parser in BQN (tony-zorman.com)

175. Paneru - MacOS用スライディングタイルウィンドウマネージャ Lobste Comment

10-16 Paneru - A sliding, tiling window manager for MacOS (github.com)

176. 申し訳ありませんが、皆さんが構文ハイライトを間違えています Lobste Comment

10-16 I am sorry, but everyone is getting syntax highlighting wrong (tonsky.me)

177. Python REPL の変更 Lobste Comment

10-16 Modifying the Python REPL (treyhunner.com)

178. F5、国家支援ハッカーによるソースコードと脆弱性データの窃取を公表 Lobste Comment

10-16 F5 Says Nation-State Hackers Stole Source Code and Vulnerability Data (www.securityweek.com)

179. cmux – コーディングエージェント多重化装置 Lobste Comment

10-16 cmux – Coding Agent Multiplexer (github.com)

180. PerlからGoへの移植：プラットフォームエンジニアリングのための簡素化 Lobste Comment

10-16 Porting from Perl to Go: Simplifying for Platform Engineering (phoenixtrap.com)

181. ニックスエコシステム全体を支配する Lobste Comment

10-15 Pwning the Entire Nix Ecosystem (ptrpa.ws)

182. 不公平な反転世界記録戦略 Lobste Comment

10-15 Unfair Flips World Record Strategy (graham.build)

183. C言語の可変引数関数が忌むべき存在である理由（そしてその対処法） H4X0R**** Lobste Comment

10-15 Why C variable argument functions are an abomination (and what to do about it) H4X0R**** (h4x0r.org)

184. キャノンキャット文書インターフェースの再構築 Lobste Comment

10-15 Recreating the Canon Cat document interface (lab.alexanderobenauer.com)

185. 本番環境における凍結された文字列リテラルのテスト Lobste Comment

10-15 Testing Frozen String Literals in Production (intertwingly.net)

186. iWorkのリバースエンジニアリング Lobste Comment

10-15 Reverse Engineering iWork (andrews.substack.com)

187. OSM 完璧な交差点エディター Lobste Comment

10-15 OSM Perfect Intersection Editor (www.openstreetmap.org)

188. Rustのガベージコレクション：ファイナルライザーのフロンティア Lobste Comment

10-15 Garbage Collection for Rust: The Finalizer Frontier (soft-dev.org)

189. AIがアクセントをどう認識するか Lobste Comment

10-15 How AI Hears Accents (accent-explorer.boldvoice.com)

190. C (2010) においてエクスポートテンプレートが有用である理由 Lobste Comment

10-15 Why export templates would be useful in C (2010) (warp.povusers.org)

191. ペイントで動画のスクリーンショットを開くと、その中に動画が再生されていた Lobste Comment

10-15 When you opened a screen shot of a video in Paint, the video was playing in it (devblogs.microsoft.com)

192. 苦い教訓の時代のための職人の手によるスペーサー Lobste Comment

10-15 Artisanal shims for the bitter lesson age (blog.nilenso.com)

193. API設計原則：ユーザーにゼロ除算を誘発させない Lobste Comment

10-15 API design principle: Don''t tempt people to divide by zero (devblogs.microsoft.com)

194. FSFがLibrephoneプロジェクトを発表 Lobste Comment

10-15 FSF announces Librephone project (www.fsf.org)

195. 私はプログラマーであり、Copilotが生成したコードを承認するだけの杓子定規な存在ではない Lobste Comment

10-15 I am a programmer, not a rubber-stamp that approves Copilot generated code (prahladyeri.github.io)

196. 古きは金なり：Exgen-Mallocによるシングルスレッドアプリケーションの最適化 Lobste Comment

10-15 Old is Gold: Optimizing Single-threaded Applications with Exgen-Malloc (arxiv.org)

197. 直線性から借用へ Lobste Comment

10-15 From Linearity to Borrowing (dl.acm.org)

198. キャッシュ性能の測定 perf (2018) Lobste Comment

10-15 Measuring cache performance perf (2018) (josephmuia.ca)

199. プロファイラーの正確性を知ることはできるのか？ Lobste Comment

10-15 Can We Know Whether a Profiler is Accurate? (stefan-marr.de)

200. Cloudflare WorkersのCPUパフォーマンスベンチマークを分析する Lobste Comment

10-15 Unpacking Cloudflare Workers CPU Performance Benchmarks (blog.cloudflare.com)

201. binmoji: コンパクトでロスレスな64ビット絵文字エンコーディング Lobste Comment

10-15 binmoji: a compact, lossless, 64-bit emoji encoding (github.com)

202. RubyコミュニティにはDHH問題がある Lobste Comment

10-15 The Ruby community has a DHH problem (tekin.co.uk)

203. 空区間は有効な区間である Lobste Comment

10-15 Empty Intervals are Valid Intervals (nigeltao.github.io)

204. 聴覚障害者問題 Lobste Comment

10-15 The DHH Problem (tomstu.art)

205. rumdl: Rustで書かれたMarkdownリンター Lobste Comment

10-15 rumdl: A Markdown Linter written in Rust (github.com)

206. PostgreSQL 17 と 18 のベンチマーク比較 Lobste Comment

10-15 Benchmarking Postgres 17 vs 18 (planetscale.com)

207. なぜ上司はAIを心配しないのか - 「電源を切ればいいだけじゃないの？」 Lobste Comment

10-15 Why your boss isn''t worried about AI - "can''t you just turn it off?" (boydkane.com)

208. 見上げるな：GEO衛星には機密の内部リンクが平文で公開されている Lobste Comment

10-15 Don''t Look Up: There Are Sensitive Internal Links in the Clear on GEO Satellites (satcom.sysnet.ucsd.edu)

209. デルタ符号、デルタ・オブ・デルタ符号、および前符号との異値和符号におけるデコードスループットが1.5倍から2.2倍/秒 Lobste Comment

10-15 1.5x to 2.2x GB/s decoding throughput for delta, delta-of-delta and xor-with-previous codes (github.com)

210. SwiftUIアプリのホットリロード Lobste Comment

10-15 Hot Reloading SwiftUI Apps (danielchasehooper.com)

211. Litestream 0.5.0 のリリースを延期する Lobste Comment

10-15 Hold Off on Litestream 0.5.0 (mtlynch.io)

212. GoにおけるCSRF防止の現代的アプローチ Lobste Comment

10-14 A modern approach to preventing CSRF in Go (www.alexedwards.net)

213. カニラッチング並行処理における実用上の障壁 Lobste Comment

10-14 Practical Hurdles In Crab Latching Concurrency (jacobsherin.com)

214. nanochat: 100ドルで買える最高のChatGPT Lobste Comment

10-14 nanochat: The best ChatGPT that 100 can buy (github.com)

215. ChkTag: x86 メモリ安全 Lobste Comment

10-14 ChkTag: x86 Memory Safety (community.intel.com)

216. 描画テキストは単純ではない：コンソールとグラフィカルレンダリングのベンチマーク比較 Lobste Comment

10-14 Drawing Text Isn''t Simple: Benchmarking Console vs. Graphical Rendering (cv.co.hu)

217. 2025年10月のLixに関するメタニュース Lobste Comment

10-14 Meta news on Lix in October 2025 (lix.systems)

218. 暗号化しないでおこう Lobste Comment

10-14 Let''s not Encrypt (michael.orlitzky.com)

219. ゴーギャン、デカルト、ベイズ：昼間のゴーレムの脳 Lobste Comment

10-14 Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain (dl.acm.org)

220. KDEの誕生日おめでとう Lobste Comment

10-14 Happy Birthday to KDE (kde.org)

221. ビーズ: ビーズ - コーディングエージェントの記憶容量アップグレード Lobste Comment

10-14 beads: Beads - A memory upgrade for your coding agent (github.com)

222. Mergiraf - 構文認識型gitマージドライバー Lobste Comment

10-14 Mergiraf - syntax-aware git merge driver (mergiraf.org)

223. [2022] JSONSki: 高速転送によるJSONPathクエリのストリーミング処理 Lobste Comment

10-14 [2022] JSONSki: Streaming Processing of JSONPath Queries with Fast Forwarding (github.com)

224. 鳥類物理学 0.4 Lobste Comment

10-14 Avian Physics 0.4 (joonaa.dev)

225. ビル・ヴェナーズ著スカラ3の型を解き明かす Lobste Comment

10-14 Demystifying Scala 3 Types By Bill Venners (watch.softinio.com)

226. リテラートレーシング Lobste Comment

10-14 Literate Tracing (arxiv.org)

227. ジャンゴ・フォーエバー · 応用地図学 Lobste Comment

10-14 Django forever · Applied Cartography (jmduke.com)

228. コピー＆パッチチュートリアル Lobste Comment

10-14 A Copy-and-Patch Tutorial (transactional.blog)

229. トップk補完のための空間効率的なデータ構造 (2013) Lobste Comment

10-14 Space-Efficient Data Structures for Top-k Completion (2013) (groups.di.unipi.it)

230. pglinter: PostgreSQL 向けデータベースのリンティングと分析 Lobste Comment

10-14 pglinter: Database linting and analysis for PostgreSQL (pglinter.readthedocs.io)

231. MPTCP / Linux向けマルチパスTCP Lobste Comment

10-14 MPTCP / Multipath TCP for Linux (www.mptcp.dev)

232. Flash: Rustで書かれたシェルパーサー、フォーマッタ、インタプリタ Lobste Comment

10-14 Flash: shell parser, formatter, and interpreter written in Rust (github.com)

233. nitro: 小さくて柔軟な初期化システムおよびプロセス監視ツール Lobste Comment

10-14 nitro: tiny but flexible init system and process supervisor (github.com)

234. ボタンを押す：非同期設計でLuaJIT FFI CoreBluetoothを活用し、単純なタスクを自動化する Lobste Comment

10-14 Push the Button: Using LuaJIT FFI CoreBluetooth with an async design to automate a trivial task (github.com)

235. 配列言語の動物園 Lobste Comment

10-14 zoo of array languages (ktye.github.io)

236. 決定論的ワークフローによるAI支援コードの制御 Lobste Comment

10-14 Taming AI-Assisted Code with Deterministic Workflows (obeli.sk)

10-14 Modern iOS Security Features -- A Deep Dive into SPTM, TXM, and Exclaves (arxiv.org)

238. Litex: 2時間で習得可能な最初の形式言語 Lobste Comment

10-13 Litex: The First Formal Language Learnable in 2 Hours (litexlang.com)

239. ピーチ・ミーム：CRT、ピクセル、そして信号品質について（再び） Lobste Comment

10-13 The Peach meme: On CRTs, pixels and signal quality (again) (www.datagubbe.se)

240. 動的型付けの目的とは Lobste Comment

10-13 What Dynamic Typing Is For (unplannedobsolescence.com)

241. オクトソープ Lobste Comment

10-13 Octothorpes (octothorp.es)

242. （少なくとも）人間工学に基づいた明確な操作手段が必要です Lobste Comment

10-13 We need (at least) ergonomic, explicit handles (smallcultfollowing.com)

243. フリーソフトウェアは勝利していない Lobste Comment

10-13 Free Software hasn''t won (dorotac.eu)

244. 行列はあなたの味方になる Lobste Comment

10-13 Matrices can be your Friends (www.sjbaker.org)

245. コンテナはなぜ生まれたのか？Docker元CTOジャスティン・コーマックによる10年間の現場経験から見た視点 Lobste Comment

10-13 Why did containers happen? A view from ten years in the trenches by Docker''s former CTO Justin Cormack (buttondown.com)

246. Djangoのbulk_updateにおけるメモリ問題 Lobste Comment

10-13 Django bulk_update memory issue (blog.pecar.me)

247. リミックス3についての考察 Lobste Comment

10-13 Thoughts on Remix 3 (frantic.im)

248. 外は戦場だ - HtDTYで補給線を掌握せよ Lobste Comment

10-13 It Is A War Out There - Take Control of Your Supply Lines with HtDTY (sheep.horse)

249. SailfishOSの再考 Lobste Comment

10-13 Revisiting SailfishOS (geekyschmidt.com)

250. smolBSD — 自分だけの最小限のBSDシステムを構築しよう Lobste Comment

10-13 smolBSD — build your own minimal BSD system (smolbsd.org)

251. 小さなランダム、それができた Lobste Comment

10-13 The little Random that could (blog.julik.nl)

252. Strudel REPL - ブラウザ上で動作する音楽ライブコーディング環境 Lobste Comment

10-13 Strudel REPL - a music live coding environment living in the browser (strudel.cc)

253. Git開発者、来年末までにGit 3.0をリリースする可能性について語る Lobste Comment

10-13 Git Developers Talk About Potentially Releasing Git 3.0 By The End Of Next Year (www.phoronix.com)

254. GitHub Copilotの重大な脆弱性により非公開ソースコードが漏洩 Lobste Comment

10-13 Critical GitHub Copilot Vulnerability Leaks Private Source Code (www.legitsecurity.com)

255. JIT: つまり、現代のCPU上でインタプリタよりも高速になりたいということか… Lobste Comment

10-13 JIT: so you want to be faster than an interpreter on modern CPUs… (www.pinaraf.info)

256. DevToolsを使用してJavaScriptで特定のオブジェクトが割り当てられた場所を見つける Lobste Comment

10-13 Find where a specific object was allocated in JavaScript with DevTools (heikkila.dev)

257. Goランタイムクラッシュのデバッグ：ワンインストラクションウィンドウ Lobste Comment

10-13 Debugging a Go runtime crash: the one-instruction window (www.nsrip.com)

258. Wireguard FPGA Lobste Comment

10-13 Wireguard FPGA (github.com)

259. NSAとIETF：攻撃者は弱体化された暗号技術の標準化を単純に購入できるのか？ Lobste Comment

10-13 NSA and IETF: Can an attacker simply purchase standardization of weakened cryptography? (blog.cr.yp.to)

260. Django: django-http-compression の紹介 - Adam Johnson Lobste Comment

10-13 Django: Introducing django-http-compression - Adam Johnson (adamj.eu)

261. なぜ2025年になっても、DjangoでREST APIを書くのにサードパーティ製アプリが必要なのか？ Lobste Comment

10-13 Why, in 2025, do we still need a 3rd party app to write a REST API with Django? (emma.has-a.blog)

262. パスワードマネージャーと良好に連携する多段階ログインフォームの構築 Lobste Comment

10-13 Building multi-step login forms that work well with password managers (evertpot.com)

263. 抽象化、構文ではない Lobste Comment

10-13 Abstraction, not syntax (ruudvanasseldonk.com)

264. C2BF: Rustで書かれたC言語からBrainfuckへのコンパイラ Lobste Comment

10-13 C2BF: A C-to-Brainfuck compiler written in Rust (iacgm.pages.dev)

265. Next.jsはバイブエンジニアリングに適していない Lobste Comment

10-13 Next.js is not a good fit for vibe engineering (fabianlindfors.se)

266. 制約充足法を用いたMinecraftにおけるバンドルアイテム選択の最適化 Lobste Comment

10-13 Using Constraint Satisfaction to Optimize Item Selection for Bundles in Minecraft (www.robw.fyi)

267. レンダリングパイプラインの満足度 Lobste Comment

10-13 Satisfaction of Render Pipelines (azeemba.com)

268. ソースから魔術へ - Kotlin Nativeの相互運用性の魔法 Lobste Comment

10-13 From Source to Sorcery - Kotlin Native''s Interop Magic (staticvar.dev)

269. Kotlinを壊した国 Lobste Comment

10-13 The Country That Broke Kotlin (sam-cooper.medium.com)

270. oavifのご紹介：高速ターゲット品質画像圧縮 Lobste Comment

10-13 Introducing oavif: faster target quality image compression (giannirosato.com)

271. fzf 0.66.0 で「--raw モード」が導入されました Lobste Comment

10-12 fzf 0.66.0 introduces “--raw mode” (github.com)

272. ベルコアのマネージャーとお話ししたいのですが Lobste Comment

10-12 I''d like to speak to the Bellcore ManaGeR (www.ninakalinina.com)

273. GCCがライブラリではない理由 (2000) Lobste Comment

10-12 The reason GCC is not a library (2000) (gcc.gnu.org)

274. 私のジャンゴ・オン・ザ・メド 2025 Lobste Comment

10-12 My Django On The Med 2025 (www.paulox.net)

275. もう呪術に切り替えよう：チュートリアル Lobste Comment

10-12 Switch to Jujutsu already: a tutorial (www.stavros.io)

276. シャープな双線形フィルタ：ピクセルアートのための大きなクリーンなピクセル Lobste Comment

10-12 Sharp Bilinear Filters: Big Clean Pixels for Pixel Art (bumbershootsoft.wordpress.com)

277. 「形式的に検証された」が失敗する3つのパターン Lobste Comment

10-12 Three ways "formally verified" can go wrong (buttondown.com)

278. ksmbd - CVE-2025-37947 の悪用 Lobste Comment

10-12 ksmbd - Exploiting CVE-2025-37947 (blog.doyensec.com)

279. LineageOS 23 リリース Lobste Comment

10-12 LineageOS 23 released (lineageos.org)

280. TinymistはTypst向けの統合言語サービスです Lobste Comment

10-12 Tinymist is an integrated language service for Typst (myriad-dreamin.github.io)

281. datablocks.devの18TBホワイトラベルSATAハードドライブ2台のテスト Lobste Comment

10-12 Testing two 18 TB white label SATA hard drives from datablocks.dev (ounapuu.ee)

282. バローズ・ウィーラー変換 (BWT) Lobste Comment

10-12 Burrows-Wheeler Transform (BWT) (sandbox.bio)

283. 少ないほど豊か：小さなネットワークによる再帰的推論 Lobste Comment

10-12 Less is More: Recursive Reasoning with Tiny Networks (alexiajm.github.io)

284. 難解なプログラミング言語を真剣に考えよう Lobste Comment

10-11 Let''s Take Esoteric Programming Languages Seriously (arxiv.org)

285. WSL-For-FreeBSD: WSL2におけるFreeBSDの実験的プロジェクト Lobste Comment

10-12 WSL-For-FreeBSD: Experimental project to FreeBSD in WSL2 (github.com)

286. モニュメントエンジン：Jx Lobste Comment

10-11 Monument Engine: Jx (www.monument.ai)

287. 非自明なGhostty機能のバイブを捉える Lobste Comment

10-11 Vibing a Non-Trivial Ghostty Feature (mitchellh.com)

288. Tokio I/O ストリームを用いた非同期 Rust: バックプレッシャー、並行処理、および人間工学的設計 Lobste Comment

10-11 Async Rust with Tokio I/O Streams: Backpressure, Concurrency, and Ergonomics (biriukov.dev)

289. 欧州アクセシビリティ法は、ウェブをすべての人にとってより良いものにする Lobste Comment

10-11 The European Accessibility Act will make the Web Better for Everyone (denodell.com)

290. 合成開口レーダーオートフォーカスとキャリブレーション Lobste Comment

10-11 Synthetic aperture radar autofocus and calibration (hforsten.com)

291. ダイクストラ、自然言語プログラミングの愚かさについて（1978年） Lobste Comment

10-11 Dijkstra on the foolishness of natural language programming (1978) (www.cs.utexas.edu)

292. iOS 26ではリキッドグラスが破損し、操作性が低下している Lobste Comment

10-11 Liquid Glass Is Cracked, and Usability Suffers in iOS 26 (www.nngroup.com)

293. 電磁放射の健康への影響について Lobste Comment

10-11 On the Health Effects of Electromagnetic Radiation (huijzer.xyz)

294. Eon - エフェクトベースのOCamlネームサーバー Lobste Comment

10-11 Eon - an Effects-based OCaml Nameserver (ryan.freumh.org)

295. ブラックウェルにおける行列乗算：第4部 - SOTAの突破 Lobste Comment

10-11 Matrix Multiplication on Blackwell: Part 4 - Breaking SOTA (www.modular.com)

296. HTMLの知られざる秘密：outputタグ Lobste Comment

10-11 HTML’s Best Kept Secret: The output Tag (denodell.com)

297. DebDroid - Android上のDebian (v1.1) Lobste Comment

10-11 DebDroid - Debian on Android (v1.1) (github.com)

298. lavandula: 現代的なウェブアプリケーション構築のための、C言語による高速で軽量なウェブフレームワーク Lobste Comment

10-11 lavandula: A fast, lightweight web framework in C for building modern web applications (github.com)

299. OCaml 5.4 リリース: 新機能、修正、その他 Lobste Comment

10-11 OCaml 5.4 Release: New Features, Fixes, and More (tarides.com)

300. ロックファイル仕様の策定に4年を要した理由 Lobste Comment

10-11 Why it took 4 years to get a lock files specification (snarky.ca)