Lobste の最新の投稿 Lite

1. Postgresのレプリケーションスロットの習得：WALの肥大化とその他の生産環境の問題を防止する Lobste Comment

07-08 Mastering Postgres Replication Slots: Preventing WAL Bloat and Other Production Issues (www.morling.dev)

2. Gitの複数の脆弱性が修正されました。 Lobste Comment

01:20 Multiple vulnerabilities fixed in Git (www.openwall.com)

3. 危険なRustを少し安全にする：GWP-ASanを使用して本番環境でメモリエラーを検出する Lobste Comment

07-08 Making Unsafe Rust a Little Safer: Find Memory Errors in Production with GWP-ASan (blog.colinbreck.com)

4. FOKS（フェデレーテッド・オープン・キー・サービス）の発表 Lobste Comment

00:37 Announcing FOKS, the Federated Open Key Service (blog.foks.pub)

5. 最も小さなKubernetesはどれか？Talos Linux、K3s、K0sなどを見ていく Lobste Comment

07-08 Which Kubernetes is the Smallest? Examining Talos Linux, K3s, K0s, and More (www.siderolabs.com)

6. bitchatは、Bluetooth Low Energy（BLE）メッシュネットワーク上で動作する分散型ピアツーピアメッセージングアプリケーションです。 Lobste Comment

07-08 bitchat is a decentralized, peer-to-peer messaging application that operates over Bluetooth Low Energy (BLE) mesh networks (github.com)

7. ChromeのキーボードショートカットをChrome拡張機能でカスタマイズできます。 Lobste Comment

07-08 Customize your keyboard shortcuts in Chrome with a Chrome extension (taupiqueur.github.io)

8. Rustにおける確定的シミュレーションテスト：状態マシン劇場 Lobste Comment

07-08 Deterministic Simulation Testing in Rust: A Theater Of State Machines (www.polarsignals.com)

9. 私が毎日配信するQ-lessパズルがすべて解けるようにする方法を説明します。 Lobste Comment

07-08 How I ensure every Daily Q-less puzzle is solvable (www.damiensnyder.com)

10. 私がソフトウェアを迅速に開発する方法 Lobste Comment

07-08 How I build software quickly (evanhahn.com)

11. エンタープライズループパターン（複数言語対応） Lobste Comment

07-08 Enterprise Loop pattern in multiple languages (github.com)

12. 統一メモリ管理 Lobste Comment

07-08 Unified Memory Management (buttondown.com)

13. BMesh Lobste Comment

07-08 BMesh (developer.blender.org)

14. 「悪いリンゴ!!」しかし、これは3288のリーン戦術でVSCodeをスパム攻撃している。 Lobste Comment

07-08 “Bad Apple!!” But It’s 3288 Lean Tactics Spamming VSCode (unnamed.website)

15. 「which-key」に対する批判：論争 Lobste Comment

07-08 The case against which-key: a polemic (www.matem.unam.mx)

16. 2週間のウェイバック Lobste Comment

07-08 Two weeks of wayback (ariadne.space)

17. Google WiFi ProをルートからEL3までグリッチングする Lobste Comment

07-08 Glitching Google WiFi Pro from Root to EL3 (raelize.com)

18. #[derive(Clone)] が破損しています Lobste Comment

07-08 #[derive(Clone)] is broken (rgbcu.be)

19. TouchFS - コンテキスト認識型ファイル生成 Lobste Comment

07-08 TouchFS - Context-Aware File Generation (touchfs.io)

20. Cocoaの基本パートゼロ：はじめに Lobste Comment

07-08 Cocoa Basics Part Zero: Introduction (blog.xoria.org)

21. WebAssembly：はい、でも何のために？ Lobste Comment

07-08 WebAssembly: Yes, but for What? (queue.acm.org)

22. RustでCGPを使った拡張可能なデータ型のプログラミング - 第1回：モジュラーアプリの構築と拡張可能なビルダー Lobste Comment

07-08 Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders (contextgeneric.dev)

23. すべてのプログラミング言語は速い Lobste Comment

07-08 All Programming Languages are Fast (orgpad.info)

24. 初めての検証済み（必須）プログラム Lobste Comment

07-08 My first verified (imperative) program (markushimmel.de)

25. ジャネットのPEGモジュールの仕組み Lobste Comment

07-08 How Janet''s PEG module works (bakpakin.com)

26. 証明書の透明性ログを実行する必要があります。 Lobste Comment

07-08 You Should Run a Certificate Transparency Log (words.filippo.io)

27. コードと信頼：バイブレーターからペースメーカーまで Lobste Comment

07-08 CODE AND TRUST: vibrators to pacemakers (punkx.org)

28. 応用暗号学：クリエイティブ・コモンズの下で公開された包括的で斬新なコース教材 Lobste Comment

07-08 Applied Cryptography: comprehensive, novel course materials released under Creative Commons (appliedcryptography.page)

29. アイスバーグ、正しいアイデア - 間違ったスペック - 前編／後編：歴史 Lobste Comment

07-08 Iceberg, The Right Idea - The Wrong Spec - Part 1 of 2: History (database-doctor.com)

30. ChatGPTが誤って存在すると考えているため、機能を追加する Lobste Comment

07-08 Adding a feature because ChatGPT incorrectly thinks it exists (www.holovaty.com)

31. 汎用インターフェース Lobste Comment

07-08 Generic interfaces (go.dev)

32. 過剰設計されたCコードのケーススタディ Lobste Comment

07-07 Case study of over-engineered C code (blog.kowalczyk.info)

33. チェックインした.envrcファイルにnixのセットアップを入れるのをやめる。 Lobste Comment

07-08 Stop putting nix setup in your checked-in .envrc files (offby1.website)

34. フォーラムの未来は嘘だと思う Lobste Comment

07-08 The Future of Forums is Lies, I Guess (aphyr.com)

35. 逆三角形の不等式 Lobste Comment

07-08 Inverse Triangle Inequality (matklad.github.io)

36. スワップを守るために：よくある誤解（2018年） Lobste Comment

07-08 In defence of swap: common misconceptions (2018) (chrisdown.name)

37. HaskellライブラリをSwiftバイナリとして自動的にパッケージ化する XCFramework Lobste Comment

07-08 Automatically Packaging a Haskell Library as a Swift Binary XCFramework (alt-romes.github.io)

38. ジェプセン＆タイガービートル Lobste Comment

07-07 Jepsen & TigerBeetle (open.substack.com)

39. 25ギガビット・インターネット・ルーターをVyOSにアップグレードする Lobste Comment

07-07 Upgrading my 25gbit internet router to VyOS (sschueller.github.io)

40. プロンプトのコーディング実験：コード編集なし、完全な書き換えのみ Lobste Comment

07-07 Prompt Coding Experiment: No code edits, only complete rewrites (www.gibney.org)

41. ディープ・ダイブ十分なプログラミング Lobste Comment

07-07 Deep Dive: Good Enough Programming (danielbmarkham.com)

42. 私はオンラインですか？ Lobste Comment

07-07 Am I online? (antonz.org)

43. nix-envの使用停止 Lobste Comment

07-07 Stop using nix-env (stop-using-nix-env.privatevoid.net)

44. ドットファイルの管理にNixを使う必要はない Lobste Comment

07-07 You don''t have to use Nix to manage your dotfiles (jade.fyi)

45. パーソナライズされたマイクロエージェントの構築 Lobste Comment

07-07 Building personalized micro agents (blog.meain.io)

46. AfriNIC：希望、ハイジャック、そしてアフリカのマルチステークホルダー主義の厳しい教訓 Lobste Comment

07-07 AfriNIC: Hope, Hijack, and the Harsh Lessons of African Multistakeholderism (medium.com)

47. フィルタを含むApple Intelligenceの生成モデル安全ファイルの復号化 Lobste Comment

07-07 Decrypted Generative Model safety files for Apple Intelligence containing filters (github.com)

48. LLMを擬人化しない見方 Lobste Comment

07-07 A non-anthropomorphized view of LLMs (addxorrol.blogspot.com)

49. 逆張りスタック礼賛 Lobste Comment

07-07 In Praise of the Contrarian Stack (hackers.pub)

50. ジグリング壊れたプログラムを直してジグを学ぶ Lobste Comment

07-07 Ziglings: Learn Zig by fixing broken programs (codeberg.org)

51. マッツォの味：ランダムテキストのための言語 Lobste Comment

07-07 A Taste of Matzo: A Language for Random Text (journal.infinitenegativeutility.com)

52. テイク2：エシェル Lobste Comment

07-07 Take Two: Eshell (yummymelon.com)

53. Plasma 6.4 Wayland vs X11、プロセッサと消費電力のベンチマーク Lobste Comment

07-07 Plasma 6.4 Wayland vs X11, processor and power benchmarks (www.dedoimedo.com)

54. ラス・コックス、AcmeでGoを使ってAoC 2021 24日目を解く【コンパイラ解析 Lobste Comment

07-07 Russ Cox solves AoC 2021 Day 24 using Go in Acme [Compiler Analysis] (www.youtube.com)

55. GCCによるRustコンパイラのビルド Lobste Comment

07-07 Building the Rust compiler with GCC (fractalfir.github.io)

56. メンターなしの理論構築 Lobste Comment

07-07 theory building without a mentor (jyn.dev)

57. Linux: ポータブル・オペレーティング・システム (1997) Lobste Comment

07-07 Linux: a Portable Operating System (1997) (www.cs.helsinki.fi)

58. ベルギーはCVDにとって安全ではない Lobste Comment

07-07 Belgium is unsafe for CVD (floort.net)

59. 真のGenAI問題 Lobste Comment

07-07 The Real GenAI Issue (www.tbray.org)

60. コールトンCommon Lispによる安全で柔軟かつ効率的なソフトウェアの実現に向けて Lobste Comment

07-07 Coalton: Toward safe, flexible, and efficient software in Common Lisp (www.youtube.com)

61. マイクロコモンリスプ Lobste Comment

07-07 Micro Common Lisp (t3x.org)

62. rustc_codegen_craneliftの進捗報告（2025年6月） Lobste Comment

07-07 Progress report on rustc_codegen_cranelift (June 2025) (bjorn3.github.io)

63. コンベンショナル・コミットは私を悲しませる Lobste Comment

07-07 Conventional Commits makes me sad (srazkvt.codeberg.page)

64. OpenTelemetryとは？[基本ガイド］ Lobste Comment

07-07 What is OpenTelemetry? [a basic guide] (signoz.io)

65. アップルペイと代替決済サービス Lobste Comment

07-07 Apple Pay vs. Alternative Payment Services (www.taler.net)

66. djotからhtmlmathmlへの素早い変換 Lobste Comment

07-07 quickly converitng djot to htmlmathml (www.unix.dog)

67. curlコードに存在する脆弱性のうちCのミス Lobste Comment

07-07 C mistakes among the vulnerabilities present in curl code (mastodon.social)

68. Readline v8.3リリース Lobste Comment

07-06 Readline v8.3 release (lists.gnu.org)

69. ChatGPTを使ってGadzetto.comを1日で構築しました。 Lobste Comment

07-06 I built Gadzetto.com in a single day using ChatGPT (gadzetto.com)

70. target_feature]属性の不健全性と偶然性 Lobste Comment

07-06 Unsoundness and accidental features in the #[target_feature] attribute (predr.ag)

71. GISを考えすぎる Lobste Comment

07-06 Overthinking GIS (scottsexton.co)

72. 我々は悪者なのか？ Lobste Comment

07-06 Are we the baddies? (geohot.github.io)

73. オープンWebUIのライセンスがCLA付きオープンWebUIライセンスに変更された Lobste Comment

07-06 Open WebUI changed its license to Open WebUI License with a CLA (github.com)

74. デッカー・ファンタジー・キャンプ Lobste Comment

07-06 Decker Fantasy Camp (www.arraycast.com)

75. cgi-binで1日2億リクエストに対応 Lobste Comment

07-06 Serving 200 million requests per day with a cgi-bin (jacob.gold)

76. シングルM.2上の160コアRISC-Vスーパークラスター Lobste Comment

07-06 160 Core RISC-V supercluster on a single M.2 (www.youtube.com)

77. ユーザーやプログラマーではなく、オペレーター Lobste Comment

07-06 operators, not users and programmers (jyn.dev)

78. LLMへのアプローチとその他の考察 Lobste Comment

07-06 Approach to LLMs and Other Reflections (matttproud.com)

79. ウェブを修正する？ Lobste Comment

07-06 Fixing the Web? (www.youtube.com)

80. ネオビム・プラグインをすべて削除した理由 Lobste Comment

07-06 Why I got rid of all my neovim plugins (yobibyte.github.io)

81. KDE Plasma 6.4 が OpenBSD に上陸 Lobste Comment

07-06 KDE Plasma 6.4 has landed in OpenBSD (undeadly.org)

82. SIMD（ベクトル）関数の厄介な現実 Lobste Comment

07-06 The messy reality of SIMD (vector) functions (johnnysswlab.com)

83. スティーブ・クラブニクと壊れたAI談義 Lobste Comment

07-06 Broken AI Discourse with Steve Klabnik (www.youtube.com)

84. 電卓オンチップ（2015年） Lobste Comment

07-06 The Calculator-on-a-Chip (2015) (www.vintagecalculators.com)

85. 4096色とブリンク属性 Lobste Comment

07-05 4096 colours and the blink attribute (research.exoticsilicon.com)

86. OpenMW 0.49.0 リリース Lobste Comment

07-05 OpenMW 0.49.0 Released (openmw.org)

87. AIを使うと脳が怠け者になる、新しい研究で判明 Lobste Comment

07-05 Using AI Makes Your Brain Lazy, Even After You Stop Using It, New Study Shows (www.youtube.com)

88. CPythonのJITコンパイラの2年間を振り返って：良いこと、悪いこと、醜いこと Lobste Comment

07-05 Reflections on 2 years of CPython’s JIT Compiler: The good, the bad, the ugly (fidget-spinner.github.io)

89. bgcmd: AIに任意のREPLと対話させる Lobste Comment

07-05 bgcmd: let AI interact with any REPL (github.com)

90. アヌビス・パイロット・プロジェクト報告書 - 2025年6月 Lobste Comment

07-05 Anubis Pilot Project Report - June 2025 (dukespace.lib.duke.edu)

91. 最近のArchive of Our Ownの障害は、整数の枯渇が原因だった Lobste Comment

07-05 Recent Archive of Our Own outage was caused by integer exhaustion (otwarchive.atlassian.net)

92. 開発環境を管理するために、どのような賢いツールやワークフローを使っていますか？ Lobste Comment

07-05 What clever tools/workflows do you use to manage development environments? (lobste.rs)

93. 言語モデルを作る馬場はあなた Lobste Comment

07-05 Making Language Models Play Baba is You (fi-le.net)

94. AIによる大脳強奪 - そして大学はどう反撃するか Lobste Comment

07-05 AI’s great brain robbery — and how universities can fight back (www.thetimes.com)

95. apl87 Lobste Comment

07-05 apl87 (www.jsoftware.com)

96. actix-passport：actix-webのための包括的で柔軟な認証フレームワーク Lobste Comment

07-05 actix-passport: A comprehensive, flexible authentication framework for actix-web (github.com)

97. ITTAGE間接分岐予測因子 Lobste Comment

07-05 The ITTAGE indirect branch predictor (blog.nelhage.com)

98. ゲーデルのビーバー、あるいは知識の限界 Lobste Comment

07-05 Gödel''s beavers, or the limits of knowledge (lcamtuf.substack.com)

99. NVIDIAはクソだらけだ Lobste Comment

07-05 NVIDIA is full of shit (blog.sebin-nyshkim.net)

100. アイリスコードにおける脆弱性検出のための神経記号的フレームワーク Lobste Comment

07-05 iris: A neurosymbolic framework for vulnerability detection in code (github.com)

101. リフLLMはソフトウェアのダイヤモンド Lobste Comment

07-05 Riff: LLMs are Software Diamonds (www.evalapply.org)

102. 時のオカリナ」のセーブファイルで使用されているコンパクトなビットセットの実装 Lobste Comment

07-05 A compact bitset implementation used in Ocarina of Time save files (github.com)

103. gremllmです：あなたのコードのグレムリンをちょっとアップグレード Lobste Comment

07-05 gremllm: A slight upgrade to the Gremlins in your code (github.com)

104. awk で実装された軽量で行指向のテキストマークアップツール、mawkdown Lobste Comment

07-05 mawkdown, a lightweight, line-oriented(ish) text markup tool implemented in awk (codeberg.org)

105. 永遠のメインフレーム Lobste Comment

07-05 The Eternal Mainframe (www.winestockwebdesign.com)

106. awesome-standards：技術標準の厳選リスト Lobste Comment

07-05 awesome-standards: A curated list of technical standards (github.com)

107. ギットの専門家は柔術を試すべき Lobste Comment

07-05 Git experts should try Jujutsu (pksunkara.com)

108. 二度とやらない価値のある契約 Lobste Comment

07-05 A supposedly worthwhile contract I''ll never do again (ahelwer.ca)

109. 圧縮辞書トランスポート Lobste Comment

07-04 Compression Dictionary Transport (developer.mozilla.org)

110. 10億個の細胞、Clojureによるもうひとつのマルチプレイ・デモ Lobste Comment

07-04 One Billion Cells, Another Multiplayer Demo with Clojure (cells.andersmurphy.com)

111. 技術者を辞めたい。 Lobste Comment

07-04 I want to leave tech: what do I do? (write.as)

112. フリースレッドのPythonで拡張機能を動作させる Lobste Comment

07-04 Getting extensions to work with free-threaded Python (lwn.net)

113. どうでもいいことの台頭 Lobste Comment

07-04 The rise of Whatever (eev.ee)

114. ディスク・キャッシュを使用したNonce CSPバイパス Lobste Comment

07-04 Nonce CSP bypass using Disk Cache (jorianwoltjer.com)

115. Steamはitch.ioから盗まれたゲームで溢れている Lobste Comment

07-04 Steam has been flooded with games stolen from itch.io (www.gamepressure.com)

116. ジグ・ロードマップ2026 Lobste Comment

07-04 Zig Roadmap 2026 (www.youtube.com)

117. ベクター・データベース会社での2年間で情報検索について学んだ37のこと Lobste Comment

07-04 37 Things I Learned About Information Retrieval in Two Years at a Vector Database Company (www.leoniemonigatti.com)

118. カタモーフィックなラムダ計算インタプリタ Lobste Comment

07-04 A catamorphic lambda-calculus interpreter (www.michaelpj.com)

119. ツール必要なのはコードだけ Lobste Comment

07-04 Tools: Code Is All You Need (lucumr.pocoo.org)

120. 私たちのフルスタック・アーキテクチャEta、HTMX、Lit Lobste Comment

07-04 Our Fullstack Architecture: Eta, HTMX, and Lit (www.lorenstew.art)

121. ラストの仮設住宅に潜む、恐ろしくも驚くほど深いウサギの穴 Lobste Comment

07-04 The scary and surprisingly deep rabbit hole of Rust''s temporaries (taping-memory.dev)

122. タイニー・グレート・ランゲージズマウス Lobste Comment

07-04 Tiny Great Languages: MOUSE (zserge.com)

123. データベースの無秩序：データベース管理システムの拡張性に関する調査と評価 Lobste Comment

07-04 Anarchy in the Database: A Survey and Evaluation of Database Management System Extensibility (www.vldb.org)

124. プロジェクト・ヴェンドクロードは小さな店を経営できるか？ Lobste Comment

07-04 Project Vend: Can Claude run a small shop? (And why does that matter?) (www.anthropic.com)

125. ちょっとゴーシュを書く Lobste Comment

07-04 writing a little gosh (flak.tedunangst.com)

126. アドベントのコーディング Lobste Comment

07-04 Coding in Advent (panadestein.github.io)

127. 複合的かつ直交的な持続性 Lobste Comment

07-04 complected and orthogonal persistence (jyn.dev)

128. 要因問題解決 Lobste Comment

07-04 Factor Problem Solving (github.com)

129. AIがコード化したとき、私に残されたものは？ Lobste Comment

07-04 When AI Codes, What’s Left for me? (corecursive.com)

130. キヤノニカルに就職するためのアドバイス Lobste Comment

07-04 Advice on how to get a job at Canonical (canonical.com)

131. エージェント工学を飼いならす - プロンプトはコード、.json/.mdファイルは状態 Lobste Comment

07-04 Taming agentic engineering - Prompts are code, .json/.md files are state (mariozechner.at)

132. pgstreamにおけるPostgreSQLスナップショットの高速化 Lobste Comment

07-04 Speeding up PostgreSQL snapshots, in pgstream (xata.io)

133. tmux-rsのご紹介 Lobste Comment

07-04 Introducing tmux-rs (richardscollin.github.io)

134. タール機能の移植性 Lobste Comment

07-04 Portability of tar features (mgorny.pl)

135. コンパイラーとしてのLLM Lobste Comment

07-03 LLMs as compilers (resync-games.com)

136. SQLインジェクションで6万人以上のスパイウェアユーザーアカウントを奪取 Lobste Comment

07-03 Taking over 60k spyware user accounts with SQL injection (ericdaigle.ca)

137. 私はトーメント・ネクサスを築いた（政治ポッドキャスト版） Lobste Comment

07-03 I Built The Torment Nexus (Political Podcast Edition) (www.jamesrball.com)

138. ラッキー13ロブスター Lobste Comment

07-03 Lucky 13 Lobsters (lobste.rs)

139. OpenBSD の RISC-V ISA への移植 (2020) Lobste Comment

07-03 Porting OpenBSD to RISC-V ISA (2020) (www.openbsd.org)

140. 職場で解決した最も謎めいたバグ Lobste Comment

07-03 The most mysterious bug I solved at work (cadence.moe)

141. 私が愛するDの10の特徴 Lobste Comment

07-03 10 features of D that I love (bradley.chatha.dev)

142. goHardDrive、数千人の顧客の個人情報を流出 Lobste Comment

07-03 goHardDrive Leaked Personal Data for Thousands of Customers (mtlynch.io)

143. コードを書くことがボトルネックになることはない Lobste Comment

07-03 Writing Code Was Never The Bottleneck (ordep.dev)

144. RFC 9799：.onion "のACME拡張機能 Lobste Comment

07-03 RFC 9799: ACME Extensions for ".onion" (datatracker.ietf.org)

145. Go Web アプリケーションで構成設定を管理する方法 Lobste Comment

07-03 How to manage configuration settings in Go web applications (www.alexedwards.net)

146. Laravel Cloudの範囲入力をネイティブHTMLで再現する Lobste Comment

07-03 Recreating Laravel Cloud’s range input with native HTML (phare.io)

147. Tursoの最初のアルファ版を紹介：SQLiteの次の進化形 Lobste Comment

07-03 Introducing the first alpha of Turso: The next evolution of SQLite (turso.tech)

148. 私はまだVimを使っています。AIも使っています。それはまだ私のように感じる Lobste Comment

07-03 I Still Use Vim. I Also Use AI. It Still Feels Like Me (www.godaddy.com)

149. コピーレフト-ネクスト Lobste Comment

07-03 copyleft-next (next.copyleft.org)

150. Amiga 3000 UNIXとサン・マイクロシステムズ：取引成立か不成立か？ Lobste Comment

07-03 The Amiga 3000 UNIX and Sun Microsystems: Deal or no deal? (www.datagubbe.se)

151. テストはできますか？はい、できます。 Lobste Comment

07-03 Can we test it? Yes, we can (youtu.be)

152. 柔術 v0.31.0 リリース Lobste Comment

07-03 jujutsu v0.31.0 released (github.com)

153. 私がLLMの利用をダイヤルバックする理由 Lobste Comment

07-03 Why I''m Dialing Back My LLM Usage (zed.dev)

154. IKKO Activebudsの "AI搭載 "イヤホンを悪用、DOOMを実行、OpenAI APIキーと顧客データを盗む Lobste Comment

07-03 Exploiting the IKKO Activebuds "AI powered" earbuds, running DOOM, stealing their OpenAI API key and customer data (blog.mgdproductions.com)

155. より速く失敗する：高性能な特性ベースのテストのためのステージングと高速ランダム性 Lobste Comment

07-03 Fail Faster: Staging and Fast Randomness for High-Performance Property-Based Testing (www.youtube.com)

156. ツリー構造型並行処理II：バックグラウンド・タスクをアクターに置き換える Lobste Comment

07-03 Tree-Structured Concurrency II: Replacing Background Tasks With Actors (blog.yoshuawuyts.com)

157. 500倍速くなる：コードを高速化する4つの方法 Lobste Comment

07-03 500 faster: Four different ways to speed up your code (pythonspeed.com)

158. KubernetesへのPython（Django）のデプロイ：完全なDevOpsパイプラインによる実践的ガイド Lobste Comment

07-03 Deploying Python (Django) to Kubernetes: A practical guide with a complete DevOps Pipeline (denibertovic.com)

159. 理論構築としてのプログラミング Lobste Comment

07-03 Programming as Theory Building (pablo.rauzy.name)

160. sslcheck複数のドメインのSSL証明書の有効期限を確認・監視するコマンドラインツール Lobste Comment

07-03 sslcheck: Command-line tool to check and monitor SSL certificate expiration across multiple domains (github.com)

161. Linuxカーネルのヒッグスバグソン Lobste Comment

07-03 A Higgs-bugson in the Linux Kernel (blog.janestreet.com)

162. 不平等労働組合の調査結果洗練へのベイビーステップ Eグラフ Lobste Comment

07-03 Inequality Union Finds: Baby Steps to Refinement E-graphs (www.philipzucker.com)

163. この長すぎる変数名はコメントだったかもしれない Lobste Comment

07-03 This Overly Long Variable Name Could Have Been a Comment (jonathan-frere.com)

164. クロード・コードだけで作られたmacOSアプリを出荷してみた Lobste Comment

07-03 I Shipped a macOS App Built Entirely by Claude Code (www.indragie.com)

165. GitHubの "Oops Commits "をすべてスキャンして、バグ報奨金2万5000ドル相当の流出秘密を探し出した方法 Lobste Comment

07-02 How I Scanned all of GitHub’s “Oops Commits” for Leaked Secrets worth 25k in Bug Bounties (trufflesecurity.com)

166. TLAによるMongoDBの安全でログレスな再構成プロトコルのラピッドプロトタイピング Lobste Comment

07-02 Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA (www.mongodb.com)

167. ケーラー曲率テンソルにおける陽性含意の反例 Lobste Comment

07-02 Counterexamples of positivity implications in Kähler curvature tensors (www.magnusson.io)

168. ニックスとNixOSの3年間：良いこと、悪いこと、そして醜いこと Lobste Comment

07-02 Three Years of Nix and NixOS: The Good, the Bad, and the Ugly (pierrezemb.fr)

169. Uncloud - コンテナ化されたアプリケーションのデプロイと管理のためのツール Lobste Comment

07-02 Uncloud - tool for deploying and managing containerised applications (github.com)

170. チャペル・プログラミング言語 Lobste Comment

07-02 The Chapel Programming Language (chapel-lang.org)

171. さらに別のZIPトリック Lobste Comment

07-02 Yet another ZIP trick (hackarcana.com)

172. 大規模言語モデルの規模は？(2025) Lobste Comment

07-02 How large are large language models? (2025) (gist.github.com)

173. ウェブとAI企業との破談 Lobste Comment

07-02 The web''s broken deal with AI companies (dri.es)

174. c2rust：CコードをRustに移行する Lobste Comment

07-02 c2rust: Migrate C code to Rust (github.com)

175. FFIXの地獄テトラマスター Lobste Comment

07-02 The Hell of FFIX Tetra Master (xvw.lol)

176. VaultのコミュニティフォークであるOpenBaoが、名前空間を含むv2.3.1をリリースした。 Lobste Comment

07-02 OpenBao, the community fork of Vault, released v2.3.1 with namespaces (github.com)

177. テストを削除する Lobste Comment

07-02 You should delete tests (andre.arko.net)

178. クランプ／中央値／範囲 Lobste Comment

07-02 clamp / median / range (dotat.at)

179. RFC 2119を必ずお聞きください。 Lobste Comment

07-02 You MUST listen to RFC 2119 (ericwbailey.website)

180. 2025年にサン・レイ・シンクライアントを使用 Lobste Comment

07-02 using Sun Ray thin clients in 2025 (catstret.ch)

181. 数字カウンターのアニメーション Lobste Comment

07-02 Animating Number Counters (css-tricks.com)

182. エージェントセッションごとのストリーム Lobste Comment

07-02 Stream per agent session (s2.dev)

183. 種類の種類：一般的なものからエキゾチックなものまで Lobste Comment

07-02 Types of Types: Common to Exotic (www.stephendiehl.com)

184. ネイティブのDOMテンプレートAPIはどうあるべきか？ Lobste Comment

07-02 What should a native DOM templating API look like? (justinfagnani.com)

185. 2025年のLLMによるソフトウェア工学：現実の確認 Lobste Comment

07-02 Software engineering with LLMs in 2025: reality check (www.youtube.com)

186. レイアウトの解析、あるいは：Haskellの文法は混乱している Lobste Comment

07-02 Parsing Layout, or: Haskell''s Syntax is a Mess (amelia.how)

187. 絵文字キッチン - Googleのユニークな絵文字の組み合わせを見る Lobste Comment

07-01 Emoji Kitchen - Browse Google''s unique emoji combinations (emojikitchen.dev)

188. ローカルLLMツール呼び出し：どのLLMを使うべきか？ Lobste Comment

07-01 Local LLM Tool Calling: Which LLM Should You Use? (www.docker.com)

189. rustc_codegen_cranelift における例外処理 Lobste Comment

07-01 Exception handling in rustc_codegen_cranelift (tweedegolf.nl)

190. FUZZING''25 基調講演："あなたは本当に学界に属しているのですか？" Lobste Comment

07-01 FUZZING''25 Keynote: "Are you sure you belong in academia?" (www.youtube.com)

191. ヘリックス言語 Lobste Comment

07-01 Helix language (github.com)

192. 検索可能な圧縮アルゴと分散コンパクションを備えたクラウド・ネイティブのLSMキー・バリュー・ストア Lobste Comment

07-01 Cloud native LSM Key-Value Store with searchable compression algo and distributed compaction (github.com)

193. input-branches：インポートされたgitブランチを使ったflake入力パッチのためのワークフローとflake-part Lobste Comment

07-01 input-branches: Workflow and flake-part for flake input patching using imported git branches (github.com)

194. ペイ・パー・クロールの導入：コンテンツ所有者がAIクローラーにアクセス料を請求できるようにする Lobste Comment

07-01 Introducing pay per crawl: enabling content owners to charge AI crawlers for access (blog.cloudflare.com)

195. Pythonプログラマーから分散システム研究者へ、博士号なしで10年で転身 Lobste Comment

07-01 From Python Programmer to Distributed Systems Researcher in 10 Years Without a PhD (emptysqua.re)

196. Cコンパイラのバグを発見し理解する (2011) Lobste Comment

07-01 Finding and understanding bugs in C compilers (2011) (www.cse.unr.edu)

197. 単一のRust形質に対する代替の包括的実装 Lobste Comment

07-01 Alternative Blanket Implementations for a Single Rust Trait (www.greyblake.com)

198. HaskellとRustについての考察 Lobste Comment

07-01 Reflections on Haskell and Rust (academy.fpblock.com)

199. 同型とは何ですか？ ugBASICユーザーマニュアル Lobste Comment

07-01 What is isomorphism? ugBASIC user manual (ugbasic.iwashere.eu)

200. git stage over git add. Lobste Comment

07-01 git stage over git add (bhoot.dev)

201. プロリー・ツリーを発明し続ける人々 Lobste Comment

07-01 People Keep Inventing Prolly Trees (www.dolthub.com)

202. NomadによるJetson Orin Nano上でのエッジAIワークロードのオーケストレーション Lobste Comment

07-01 Orchestrating Edge AI workloads on a Jetson Orin Nano with Nomad (atodorov.me)

203. Google Developer Search Appliance - Proxmoxポート Lobste Comment

07-01 Google Developer Search Appliance – Proxmox Port (archive.org)

204. Chimera Linuxで本業をこなす Lobste Comment

07-01 Doing My Day Job on Chimera Linux (www.wezm.net)

205. llvm：InstCombine: オーバーフローを伴わない天井除算の最適化の改善- Alex Gaynor と Claude Code による PR Lobste Comment

07-01 llvm: InstCombine: improve optimizations for ceiling division with no overflow—a PR by Alex Gaynor and Claude Code (simonwillison.net)

206. Postgresにおけるレプリケーション・セーフなLSMツリーの構築 Lobste Comment

07-01 Building Replication-Safe LSM Trees in Postgres (www.paradedb.com)

207. HMPL-DOM：JavaScriptなしでリアクティブなHTMLを書くためのHTMX代替ソフト Lobste Comment

07-01 HMPL-DOM: The HTMX Alternative for Writing Reactive HTML Without JavaScript (github.com)

208. CVE-2025-32463 脆弱性勧告: Sudo chroot における特権の昇格 Lobste Comment

07-01 CVE-2025-32463 Vulnerability Advisory: Sudo chroot Elevation of Privilege (www.stratascale.com)

209. 正確な住所照合システムの構築 Lobste Comment

07-01 Building Accurate Address Matching Systems (www.robinlinacre.com)

210. VibeTunnel - ブラウザからコマンドエージェントへのアクセスターミナル Lobste Comment

07-01 VibeTunnel - access terminal from the browser to command agents (github.com)

211. キャッシュは抽象化であり、最適化ではない Lobste Comment

07-01 Caching is an Abstraction, not an Optimization (buttondown.com)

212. ジグ・コミュニティ・ミラー Lobste Comment

07-01 Zig Community Mirrors (ziglang.org)

213. Pironman 5 Max、デュアルM.2搭載の高級Raspberry Pi 5タワーPC筐体 Lobste Comment

07-01 Pironman 5 Max, A fancy Raspberry Pi 5 Tower PC enclosure with dual M.2 (www.cnx-software.com)

214. C言語で型安全な汎用データ構造を書く方法 Lobste Comment

07-01 How I Write Type Safe Generic Data Structures in C (danielchasehooper.com)

215. 大学の役割はAIに対抗すること Lobste Comment

07-01 The role of the University is to resist AI (www.danmcquillan.org)

216. Linuxにおけるパスキーサポートの改善に関する最新情報 Lobste Comment

07-01 An update on improving passkey support in Linux (www.iinuwa.xyz)

217. Railsのdelegated_typeをわかりやすくする Lobste Comment

06-30 Making Rails delegated_type’s clearer (kaspth.com)

218. クエリプランが最適になる頻度は？ Lobste Comment

06-30 How often is the query plan optimal? (vondra.me)

219. テール・レイテンシーはあなたが考えている以上に重要かもしれない Lobste Comment

06-30 Tail Latency Might Matter More Than You Think (brooker.co.za)

220. このブーリアンは、おそらく別のものであるべきだ。 Lobste Comment

06-30 That boolean should probably be something else (ntietz.com)

221. マエストロがGCCをサポート Lobste Comment

06-30 Maestro now supports GCC (blog.lenot.re)

222. ヴェルセルのBotIDをリバース・エンジニアリング Lobste Comment

06-30 Reverse Engineering Vercel''s BotID (www.nullpt.rs)

223. TypeSanitizer: 厳密な型エイリアス違反の検出器 Lobste Comment

06-30 TypeSanitizer: a detector for strict type aliasing violations (clang.llvm.org)

224. Lixの致命的な正しさのバグ Lobste Comment

06-30 Critical correctness bug in Lix (lix.systems)

225. アンティキートのアップデートを追跡 Lobste Comment

06-30 Tracking Anticheat Updates (not-matthias.github.io)

226. UNIXマンページの歴史 Lobste Comment

06-30 History of UNIX Manpages (manpages.bsd.lv)

227. Cの実績記憶モデル Lobste Comment

06-30 The provenance memory model for C (gustedt.wordpress.com)

228. Pythonのデータクラスでキーワードのみの引数を使う Lobste Comment

06-30 Use keyword-only arguments in Python dataclasses (chipx86.blog)

229. Rustのエラー処理について Lobste Comment

06-30 On Error Handling in Rust (felix-knorr.net)

230. 好きな道具：ミセ（アン・プレイス） Lobste Comment

06-30 Tools I love: mise(-en-place) (blog.vbang.dk)

231. Yコンビネーター（数学）の説明 Lobste Comment

06-30 Y Combinator (Math) Explained (anish.ink)

232. アジャイルはあなたの問題ではなかった Lobste Comment

06-30 Agile Was Never Your Problem (thecynical.dev)

233. BYOC（Bring Your Own Cloud）のためのゼロ・トラスト Lobste Comment

06-30 Zero Trust for Bring Your Own Cloud (BYOC) (signoz.io)

234. SQL Noir: 犯罪を解決してSQLを学ぶ Lobste Comment

06-30 SQL Noir: Learn SQL by Solving Crimes (www.sqlnoir.com)

235. PythonのGIL削除で、その背後にある2つ目の強力なGILが判明 Lobste Comment

06-29 Python GIL Removal Reveals Second, Stronger GIL Behind It (medium.com)

236. プログラミング歴20年 Lobste Comment

06-29 20 years of programming (sidhion.com)

237. RSSをデフォルトのウェブブラウザにする（いくつかのことで） Lobste Comment

06-29 RSS as my default web browser (for some stuff) (neilzone.co.uk)

238. VMにCPUファンを搭載していると思わせた Lobste Comment

06-29 I made my VM think it has a CPU fan (wbenny.github.io)

239. Starlink、OpenWrt、そしてEeros。 Lobste Comment

06-29 Starlink, OpenWrt, and Eeros… Oh My (btxx.org)

240. ジェネレーティブAIが世界のロバストモデルを生み出せない不具合が蔓延している Lobste Comment

06-29 Generative AI’s crippling and widespread failure to induce robust models of the world (garymarcus.substack.com)

241. Podmanフックを使ってZFSデータセットをエフェメラルコンテナにマウントする Lobste Comment

06-29 Using Podman hooks to mount persistent ZFS datasets into ephemeral Containers (people.freebsd.org)

242. アンペール・アルトラシステムを購入 Lobste Comment

06-29 Bought myself an Ampere Altra system (marcin.juszkiewicz.com.pl)

243. ウェブブラウザの歴史 Lobste Comment

06-29 A brief history of web browsers (eclecticlight.co)

244. WebAssemblyトラブルその4：Microwasm（2019年） Lobste Comment

06-29 WebAssembly Troubles part 4: Microwasm (2019) (troubles.md)

245. IPv4接続なしでインターネットを利用する Lobste Comment

06-29 Using the Internet without IPv4 connectivity (jamesmcm.github.io)

246. GPTuner: GPTガイド付きベイズ最適化による手読みデータベースチューニングシステム Lobste Comment

06-29 GPTuner: A Manual-Reading Database Tuning System via GPT-Guided Bayesian Optimization (github.com)

247. 週末の改装グレムリン・ブラスト・アーケードボード Lobste Comment

06-29 Refurb weekend: Gremlin Blasto arcade board (oldvcr.blogspot.com)

248. wayback: 実験的X11互換レイヤー Lobste Comment

06-29 wayback: experimental X11 compatibility layer (github.com)

249. Haskellで英国パスポート申請を解く Lobste Comment

06-29 Solving UK Passport Application with Haskell (jameshaydon.github.io)

250. フィルC Lobste Comment

06-29 Fil-C (github.com)

251. メモリ安全言語：現代のソフトウェア開発における脆弱性を減らす Lobste Comment

06-29 Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development (media.defense.gov)

252. EmacsConf 2025 参加者募集のお知らせ Lobste Comment

06-29 EmacsConf 2025 Call for Participation (emacsconf.org)

253. AIマネージャー - マネジメントの未来 Lobste Comment

06-28 AI Manager - The Future of Management (aimanagers.app)

254. ヘリックスのエディターは本当に気に入っている Lobste Comment

06-28 I really like the Helix editor (herecomesthemoon.net)

255. Usborneのコンピュータとコーディングの本（1982-1985） Lobste Comment

06-28 Computer and coding books from Usborne (1982-1985) (usborne.com)

256. メドレー・インターリスプ・プロジェクト：歴史的ソフトウェア・システムの復活 Lobste Comment

06-28 The Medley Interlisp Project: Reviving a Historical Software System (interlisp.org)

257. コモドールの新CEOは誰だ？- コモドールを買おうパート2 Lobste Comment

06-28 Wait… Who’s the New CEO of Commodore?! • Let''s Buy Commodore Part 2 (www.youtube.com)

258. 初心者による（Rust for）Linuxへの最初の貢献 Lobste Comment

06-28 A Newbie''s First Contribution to (Rust for) Linux (blog.buenzli.dev)

259. Bcachefsはカーネルから消えるかもしれない Lobste Comment

06-28 Bcachefs may be headed out of the kernel (lwn.net)

260. オマーキーオピニオン・アーチ／ハイパーランド・セットアップ Lobste Comment

06-28 omarchy: Opinionated Arch/Hyprland Setup (github.com)

261. Windows用Common Lispのクロスコンパイル Lobste Comment

06-28 Cross-compiling Common Lisp for Windows (www.fosskers.ca)

262. ビルド可能でテスト可能なコード例のガイドライン Lobste Comment

06-28 Guidelines for buildable and testable code examples (pigweed.dev)

263. Goは80/20言語である Lobste Comment

06-28 Go is an 80/20 language (blog.kowalczyk.info)

264. コンピューティングの代替史（2018年） Lobste Comment

06-28 alternate histories of computing (2018) (archive.fosdem.org)

265. Sniffnet v1.4を発表：PCAPファイルの処理がWiresharkより2倍速い Lobste Comment

06-28 Announcing Sniffnet v1.4: it’s 2X faster than Wireshark at processing PCAP files (sniffnet.net)

266. Ubuntuの非特権名前空間制限を回避する旅 Lobste Comment

06-28 The Journey of Bypassing Ubuntu’s Unprivileged Namespace Restriction (u1f383.github.io)

267. シェル起動スクリプト（2020） Lobste Comment

06-28 Shell startup scripts (2020) (blog.flowblok.id.au)

268. Android携帯が通信を盗み見る「スティングレイ」を警告する日が近いかもしれない Lobste Comment

06-28 Android phones could soon warn you of “Stingrays” snooping on your communications (arstechnica.com)

269. PythonがMojoを実行できるようになった Lobste Comment

06-28 Python can run Mojo now (koaning.io)

270. PostgreSQLの落とし穴を避ける：挿入失敗の隠れたコスト Lobste Comment

06-28 Avoiding PostgreSQL Pitfalls: The Hidden Cost of Failing Inserts (johnnymetz.com)

271. シグナルのミッシングマニュアルPython開発者のための状態管理 Lobste Comment

06-28 The Missing Manual for Signals: State Management for Python Developers (bui.app)

272. 代数的形状を用いた配列の構造化 Lobste Comment

06-28 Structuring Arrays with Algebraic Shapes (dl.acm.org)

273. テストのカバレッジを実行する Lobste Comment

06-28 Run coverage on tests (hugovk.dev)

274. 新しいタグ互換性ルールを使ったC言語のパラメータ化された型 Lobste Comment

06-28 Parameterized types in C using the new tag compatibility rule (nullprogram.com)

275. 特別な装置なしに超音波でデータを送信する Lobste Comment

06-28 Transmitting data via ultrasound without any special equipment (halcy.de)

276. エージェント型開発のためのWSLにおけるコンテナ利用の統合 Lobste Comment

06-28 Integrating Container-Use in WSL for Agentic Development (blog.techdecline.dev)

277. オープンソースの資金調達と会計士の混同 Lobste Comment

06-28 Confusing an accountant with Open Source funding (www.youtube.com)

278. リチャード・フェルドマン、LLM時代の新言語採用について Lobste Comment

06-27 Richard Feldman on new language adoption in the LLM age (youtu.be)

279. 記憶の安全は単なるテーブルの杭：Omniglotによる外国語との安全な対話 Lobste Comment

06-27 Memory Safety is Merely Table Stakes: Safe Interactions with Foreign Languages through Omniglot (www.usenix.org)

280. 会議、明快さ、そして煙幕 Lobste Comment

06-27 Conferences, Clarity, and Smokescreens (infrequently.org)

281. バッシュで走る私のライト - トマシュ・クラムコフスキ Lobste Comment

06-27 My Lights Run on Bash - Tomasz Kramkowski (kramkow.ski)

282. LispmFPGA: このプロジェクトの目標は、FPGAで小さなLispマシンを作ることである。 Lobste Comment

06-27 LispmFPGA: the goal of this project is to create a small Lisp-Machine in an FPGA (www.aviduratas.de)

283. Vulkan同期の簡素化 Lobste Comment

06-27 Simplifying Vulkan Synchronization (www.khronos.org)

284. アダプティブでシンプルなデザインシステムカラー Lobste Comment

06-27 Adaptive, simplified design system colors (www.gfor.rest)

285. ブレージング・マトリックス製品 Lobste Comment

06-27 Blazing matrix products (panadestein.github.io)

286. ビットセットは正規表現にコンパクトにマッチする (2013) Lobste Comment

06-27 Bitsets match regular expressions, compactly (2013) (pvk.ca)

287. Chrome、Safari、Firefoxよりもわずかに優れた名前付き文字参照トークン化 Lobste Comment

06-27 Slightly better named character reference tokenization than Chrome, Safari, and Firefox (www.ryanliptak.com)

288. アップル、EUにおけるApp Storeの大幅な変更を発表 Lobste Comment

06-27 Apple announces sweeping App Store changes in the EU (9to5mac.com)

289. 学ぶ時間がない（ウェブ）フレームワークX Lobste Comment

06-27 No Time To Learn (Web) Framework X (brainbaking.com)

290. trash-cliでLinuxにゴミ箱を追加する Lobste Comment

06-27 Adding a trash can to Linux with trash-cli (ittavern.com)

291. マトリックスv1.15リリース Lobste Comment

06-27 Matrix v1.15 release (matrix.org)

292. 新しいZINEターミナルの秘密のルール Lobste Comment

06-27 New zine: The Secret Rules of the Terminal (jvns.ca)

293. Rust 1.88.0を発表 Lobste Comment

06-27 Announcing Rust 1.88.0 (blog.rust-lang.org)

294. "なぜRustコンパイラーは遅いのか？" Lobste Comment

06-26 "Why is the Rust compiler so slow?" (sharnoff.io)

295. 丸や四角のチェックボックスとラジオボタンを最初に区別したUIとは？ Lobste Comment

06-27 What UI first distinguished radio buttons from checkboxes with circles and squares? (retrocomputing.stackexchange.com)

296. 1.25インタラクティブ・ツアーへ Lobste Comment

06-26 Go 1.25 interactive tour (antonz.org)

297. 10,000以上のRust CLIクレートを静的にクロスコンパイルする Lobste Comment

06-26 Cross-Compiling 10,000 Rust CLI Crates Statically (blog.pkgforge.dev)

298. コンパイル時にJSONをCオブジェクトに反映する Lobste Comment