1. ブール値にはいくつの選択肢が含まれますか？ Lobste Comment

15:48  How many options fit into a boolean? (herecomesthemoon.net)

2. インターネットのために働いた――さて、これからどうする？ Lobste Comment

14:48  I worked for the Internet – now what? (trynova.dev)

3. PythonでCI/CDパイプラインランナーを一から構築する Lobste Comment

12:54  Building a CI/CD Pipeline Runner from Scratch in Python (muhammadraza.me)

4. Ironclad：Ada言語で記述された形式的に検証されたUnixライクなカーネル Lobste Comment

12:16  Ironclad, a formally verified Unix-like kernel written in Ada (ironclad-os.org)

5. なぜ私はRustも好きではないのか Lobste Comment

12:08  Why I don''t love Rust (either) (cbarrete.com)

6. Ofcomファイル、第2部：オンライン安全法への準拠には、英国におけるIPブロックだけでは不十分である Lobste Comment

11:15  The Ofcom Files, Part 2: IP Blocking the UK is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)

7. メカニカルキーボードの最大の問題点を解決する Lobste Comment

08:55  Fixing the Biggest Problem With Mechanical Keyboards (youtu.be)

8. Rustにおける特性制約付き列挙型 Lobste Comment

07:43  Trait-Constrained Enums in Rust (kcsongor.github.io)

9. Dijkstraのアルゴリズム in JS Lobste Comment

07:17  Dijkstra’s Algorithm in JS (github.com)

10. スニッファを用いたBeagleBoard USBブートのデバッグ：現代のPCにおけるomap_loaderの修正 Lobste Comment

06:28  Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (www.downtowndougbrown.com)

11. GSOC 2025 レポート: NetBSDへのサンドボックス機能追加にバブルラップを活用 Lobste Comment

03:02  GSOC 2025 Reports: Using bubblewrap to add sandboxing to NetBSD (blog.netbsd.org)

12. opencloud - Go言語で書かれたNextcloudの代替 Lobste Comment

00:37  opencloud - an alternative to nextcloud written in Go (github.com)

13. ローカルファースト HTMX Lobste Comment

11-08  Local First HTMX (elijahm.com)

14. 小型言語モデルはエージェント型AIの未来である Lobste Comment

11-08  Small Language Models are the Future of Agentic AI (arxiv.org)

15. Valdiは、開発速度を犠牲にすることなくネイティブパフォーマンスを実現するクロスプラットフォームUIフレームワークです。 Lobste Comment

11-08  Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity (github.com)

16. ゼリースライダー Lobste Comment

11-08  Jelly Slider (docs.swmansion.com)

17. QEMUストレージ性能最適化に使用するプロファイリングツール Lobste Comment

11-08  Profiling tools I use for QEMU storage performance optimization (blog.vmsplice.net)

18. ワークステーション用ブートC Lobste Comment

11-08  Bootc for workstation use (lwn.net)

19. スペクトルレンダリング、パート1：スペクトル Lobste Comment

11-08  Spectral rendering, part 1: Spectra (momentsingraphics.de)

20. 『Sea of Thieves』のC14からC20へのアップグレードにおける課題と利点 Lobste Comment

11-08  Challenges and Benefits of Upgrading Sea of Thieves From C14 to C20 (www.youtube.com)

21. ミリアンペアからマイクロアンペアへ：低電力ガジェット作りの教訓 Lobste Comment

11-08  From Milliamperes to Microamperes: Lessons in Low-Power Gadgetmaking (www.crowdsupply.com)

22. Nextcloudの操作が遅く感じられる理由 Lobste Comment

11-08  Why Nextcloud feels slow to use (ounapuu.ee)

23. FFmpeg アセンブリ言語レッスン Lobste Comment

11-08  FFmpeg Assembly Language Lessons (github.com)

24. Rust依存関係エコシステムの現状 Lobste Comment

11-08  The state of the Rust dependency ecosystem (00f.net)

25. SelfHostLLM - LLM推論用GPUメモリ計算ツール Lobste Comment

11-08  SelfHostLLM - GPU Memory Calculator for LLM Inference (selfhostllm.org)

26. ポジションの奇妙な部分：スティッキー Lobste Comment

11-08  The Weird Parts of position: sticky (frontendmasters.com)

27. ワープストック2025 (OS/2、ArcaOS) Lobste Comment

11-07  Warpstock 2025 (OS/2, ArcaOS) (www.youtube.com)

28. ウェブ開発者からデータベース開発者へ 10年で Lobste Comment

11-08  From web developer to database developer in 10 years (notes.eatonphil.com)

29. Magika 1.0 の発表：より高速に、より賢く、Rust で再構築されました Lobste Comment

11-07  Announcing Magika 1.0: now faster, smarter, and rebuilt in Rust (opensource.googleblog.com)

30. 燃えゆく世界のための遅いソフトウェア Lobste Comment

11-07  Slow Software for a Burning World (bonfirenetworks.org)

31. GNOME 50 は Mutter X11 バックエンドを廃止します Lobste Comment

11-07  GNOME 50 drops Mutter X11 backend (www.phoronix.com)

32. Cにおける移動セマンティクスの問題点 Lobste Comment

11-07  Problems With Move Semantics in C (youtu.be)

33. 制御フローのエラーコード Lobste Comment

11-07  Error Codes for Control Flow (matklad.github.io)

34. なぜ私は異なるデザインを同時にテストしないのか Lobste Comment

11-07  Why I don’t test different designs at the same time (adamsilver.io)

35. 5分でClojureScriptネイティブデスクトップアプリを作成する Lobste Comment

11-07  Build a ClojureScript native desktop app in 5 minutes (www.youtube.com)

36. クロキシリアス Lobste Comment

11-07  Kroxylicious (kroxylicious.io)

37. Typst-Unlit: Typstで洗練されたHaskellプログラムを記述する Lobste Comment

11-07  Typst-Unlit: Write literate Haskell programs in Typst (cdn.oppi.li)

38. Rust静的ライブラリのリンクと縮小：炎の物語 Lobste Comment

11-07  Linking and shrinking Rust static libraries: a tale of fire (centricular.com)

39. このサイトの構築方法 Lobste Comment

11-07  How This Site Is Build (ryan.freumh.org)

40. IncusOS入門 Lobste Comment

11-07  Introduction to IncusOS (linuxcontainers.org)

41. AIの70％問題 Lobste Comment

11-07  AI''s 70% Problem (zed.dev)

42. 高度なセキュリティ脆弱性に対する6つのAIモデルのテスト結果 Lobste Comment

11-07  Results from Testing Six AI Models on Advanced Security Exploits (blog.kilocode.ai)

43. エージェントに手紙を書くべきです Lobste Comment

11-07  You Should Write An Agent (fly.io)

44. qq.fish: LMStudioを使ってコマンドを提案する、小さなローカルLLMアシスタント。ほぼ誰でも実行可能 Lobste Comment

11-07  qq.fish: A tiny, local, LLM assistant to propose commands using LMStudio that (almost) everyone can run (github.com)

45. 私は今Typstを使っています Lobste Comment

11-07  I use Typst now (www.christopherbiscardi.com)

46. 一体全体、お前は何を作ったんだ Lobste Comment

11-07  What the hell have you built (wthhyb.sacha.house)

47. ユタ大学で発見されたUnix V4テープ Lobste Comment

11-07  Unix V4 tape found at The University of Utah (phanpy.social)

48. ハッシュが文字列になる時：Rubyの100万分の1の確率のメモリバグを追跡する Lobste Comment

11-07  When Your Hash Becomes a String: Hunting a Ruby Million-to-One Memory Bug (mensfeld.pl)

49. マストドン 4.5 Lobste Comment

11-07  Mastodon 4.5 (blog.joinmastodon.org)

50. Claude CodeやCodexのような非同期コーディングエージェントを用いたコード研究プロジェクト Lobste Comment

11-07  Code research projects with async coding agents like Claude Code and Codex (simonwillison.net)

51. Cranelift および Wasmtime の例外 Lobste Comment

11-07  Exceptions in Cranelift and Wasmtime (cfallin.org)

52. マニュアルページ（第1部） Lobste Comment

11-07  Man Pages (Part 1) (abochannek.github.io)

53. FirefoxがLLM機能を強制 Lobste Comment

11-06  Firefox Forcing LLM Features (equk.co.uk)

54. AWS障害におけるDNS競合状態のTLAモデリング Lobste Comment

11-07  TLA Modeling of AWS outage DNS race condition (muratbuffalo.blogspot.com)

55. 携帯電話用8pen入力方式 [2010] Lobste Comment

11-06  The 8pen input method for phones [2010] (www.youtube.com)

56. 20年間解読されなかったファイル形式 Lobste Comment

11-07  A File Format Uncracked for 20 Years (landaire.net)

57. Puma 7 にアップグレードして、公平なスケジュール型キープアライブの力を解き放つ Lobste Comment

11-06  Upgrade to Puma 7 and Unlock the Power of Fair Scheduled Keep-alive (www.heroku.com)

58. Building blobd: 1ミリ秒未満の読み取りと15GB/sのアップロードを実現する単一マシン向けオブジェクトストア Lobste Comment

11-06  Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads (blog.wilsonl.in)

59. 柔術 v0.35.0 リリース Lobste Comment

11-06  jujutsu v0.35.0 released (github.com)

60. カレンダー.txtに恋をした話 Lobste Comment

11-06  How I fell in love with calendar.txt (ploum.net)

61. gem.coop 更新 #1 Lobste Comment

11-06  gem.coop update #1 (gem.coop)

62. Fil-Cに関する注記 Lobste Comment

11-06  A note on Fil-C (graydon2.dreamwidth.org)

63. SeaweedFSでMastodonメディアをセルフホスティングする Lobste Comment

11-06  Self-hosting your Mastodon media with SeaweedFS (it-notes.dragas.net)

64. systemd のセキュリティモデル Lobste Comment

11-06  A security model for systemd (lwn.net)

65. 輝けるコンピューター Lobste Comment

11-06  Radiant Computer (radiant.computer)

66. Löbとmöb：Haskellにおける奇妙なループ Lobste Comment

11-06  Löb and möb: strange loops in Haskell (github.com)

67. JEP 401 バリュークラスとオブジェクトを試す Lobste Comment

11-06  Try Out JEP 401 Value Classes and Objects (inside.java)

68. Mörk - Gleamで書かれたCommonmark準拠のマークダウンパーサー Lobste Comment

11-06  Mörk - a Commonmark compliant markdown parser written in Gleam (hexdocs.pm)

69. 失われたIBM PC/ATモデル？ 新たに発見された古いBIOSの分析 Lobste Comment

11-06  A Lost IBM PC/AT Model? Analyzing a Newfound Old BIOS (int10h.org)

70. 2025年におけるRustのSIMDの現状 Lobste Comment

11-06  The state of SIMD in Rust in 2025 (shnatsel.medium.com)

71. SLOの設定方法、改善の推進、そして仲間作り Lobste Comment

11-06  How to set SLOs, drive improvements, and make friends (www.youtube.com)

72. スネークメイク Lobste Comment

11-06  Snakemake (danmackinlay.name)

73. グレースケールの力で Lobste Comment

11-06  By the power of grayscale (zserge.com)

74. Flirtの開発を発表します Lobste Comment

11-06  Announcing Development on Flirt (blog.buenzli.dev)

75. バイクシェディング ハンドル とその他の追伸 Lobste Comment

11-06  Bikeshedding Handle and other follow-up thoughts (smallcultfollowing.com)

76. XDPを使用したアウトバウンドトラフィック Lobste Comment

11-06  Using XDP for Egress Traffic (www.loopholelabs.io)

77. Myna: 記号の多いプログラミング言語向けに設計された等幅フォント Lobste Comment

11-06  Myna: monospace typeface designed for symbol-heavy programming languages (github.com)

78. OSSセキュリティ - procfs書き込みによるruncコンテナの脱走: CVE-2025-31133、CVE-2025-52565、およびCVE-2025-52881 Lobste Comment

11-06  oss-security - runc container breakouts via procfs writes: CVE-2025-31133, CVE-2025-52565, and CVE-2025-52881 (www.openwall.com)

79. リックスコン2026 Lobste Comment

11-06  LixCon in 2026 (lix.systems)

80. 2025年、ロブスターたちが愛用しているノートパソコンは？――収集データ Lobste Comment

11-06  What laptops are Lobsters rocking in 2025 -- collected data (alopex.li)

81. テラバイト規模のランダムデータをZigとCapstoneで分解し、主張を立証する Lobste Comment

11-05  Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point (jstrieb.github.io)

82. 退屈な会議中だったので、AI百科事典も作ってみた Lobste Comment

11-05  I was in a boring meeting so I made an AI encyclopedia too (encyclopedai.stavros.io)

83. C言語における再帰マクロ、その謎を解き明かす（泣きじゃくりが収まったら） Lobste Comment

11-05  Recursive macros in C, demystified (once the ugly crying stops) (h4x0r.org)

84. Kubernetesがインターネットから一時停止イメージを取得するのを防止する Lobste Comment

11-05  Preventing Kubernetes from Pulling the Pause Image from the Internet (kyle.cascade.family)

85. Zensical: モダンな静的サイトジェネレーター Lobste Comment

11-05  Zensical: A modern static site generator (squidfunk.github.io)

86. なぜBAMLなのか？ Lobste Comment

11-05  Why BAML? (docs.boundaryml.com)

87. ストレンジアトラクター Lobste Comment

11-05  Strange Attractors (blog.shashanktomar.com)

88. コンパイラ・バックエンドの概説 Lobste Comment

11-05  A Short Survey of Compiler Backends (abhinavsarkar.net)

89. apps.apple.com: App Store ウェブ版 Lobste Comment

11-05  apps.apple.com: App Store web version (github.com)

90. アイソテンプ OCXO107-10 オーブン制御水晶発振器内部 Lobste Comment

11-05  Inside an Isotemp OCXO107-10 Oven Controlled Crystal Oscillator (tomverbeure.github.io)

91. Rust Foundation メンテナー基金の設立を発表します Lobste Comment

11-05  Announcing the Rust Foundation Maintainers Fund (rustfoundation.org)

92. ティフ氏 Lobste Comment

11-05  Mr TIFF (inventingthefuture.ghost.io)

93. 設定言語で嫌いなこと Lobste Comment

11-05  Things I Don''t Like in Configuration Languages (medv.io)

94. cosh(List(Bool))とは何か？あるいは代数を超えて：データ型の分析 Lobste Comment

11-05  What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)

95. Microsoft SoftCard for Apple II: 2つのプロセッサ、同一メモリ Lobste Comment

11-05  Microsoft SoftCard for Apple II: two processors, same memory (devblogs.microsoft.com)

96. ESP32-C3 RISC-VマイクロコントローラへのLean移植 Lobste Comment

11-05  Porting Lean to the ESP32-C3 RISC-V microcontroller (kuruczgy.com)

97. pg_lake: Icebergとデータレイクアクセスを備えたPostgres Lobste Comment

11-05  pg_lake: Postgres with Iceberg and data lake access (github.com)

98. 非同期ミューテックスについて Lobste Comment

11-05  On Async Mutexes (matklad.github.io)

99. チャームズ・ファンタジー：GoでAIエージェントを構築。複数のプロバイダー、複数のモデル、単一のAPI Lobste Comment

11-05  Charm''s Fantasy: Build AI agents with Go. Multiple providers, multiple models, one API (github.com)

100. FreeBSDがOCIランタイム仕様v1.3で正式サポートされました Lobste Comment

11-05  FreeBSD Officially Supported in OCI Runtime Specification v1.3 (freebsdfoundation.org)

101. SocketAddrV6 は往復シリアライズ可能ではありません Lobste Comment

11-05  SocketAddrV6 is not roundtrip serializable (sunshowers.io)

102. カフカは必要ない：たった2つのUNIXシグナルだけでメッセージキューを構築する Lobste Comment

11-05  You don''t need Kafka: Building a message queue with only two UNIX signals (leandronsp.com)

103. ReScriptビルドシステムの再構築 Lobste Comment

11-04  Reforging the ReScript Build System (rescript-lang.org)

104. 協調型AIエージェントのオーケストレーションのためのキャンバス Lobste Comment

11-04  A canvas for collaborative AI agent orchestration (agor.live)

105. 自分で雰囲気をコード化するウェブサイトを作った Lobste Comment

11-04  I made a website that vibe-codes itself (theboard.stavros.io)

106. スパースストリップを用いたCPU上での高性能2Dグラフィックスレンダリング Lobste Comment

11-04  High-performance 2D graphics rendering on the CPU using sparse strips (github.com)

107. タグ提案: セルフホスティング Lobste Comment

11-04  Tag proposal: self-hosting (lobste.rs)

108. AWS DynamoDB サービス停止の分析 Lobste Comment

11-04  AWS DynamoDB Outage Analysis (entropicthoughts.com)

109. reagami: SquintとClojureScript向けの最小限の依存関係ゼロのReagent風ライブラリ Lobste Comment

11-04  reagami: A minimal zero-deps Reagent-like for Squint and ClojureScript (github.com)

110. JVM例外は奇妙だ：逆コンパイラ視点 Lobste Comment

11-04  JVM exceptions are weird: a decompiler perspective (purplesyringa.moe)

111. 今月のレドックス - 2025年10月号 Lobste Comment

11-04  This Month in Redox - October 2025 (www.redox-os.org)

112. OCamlの課題点 Lobste Comment

11-04  Pain points of OCaml (quamserena.com)

113. なぜエンジニアはプログラミング言語について合理的に判断できないのか Lobste Comment

11-04  Why Engineers Can''t Be Rational About Programming Languages (spf13.com)

114. 優れた並列言語が欲しい[動画] Lobste Comment

11-04  I want a good parallel language [video] (www.youtube.com)

115. 2025年、ロブスターたちはどんなノートパソコンを使っているのか？ Lobste Comment

11-04  What laptops are Lobsters rocking in 2025? (lobste.rs)

116. Linuxカーネル向けWebAssemblyアーキテクチャサポート Lobste Comment

11-04  WebAssembly arch support for the Linux kernel (github.com)

117. 何もしないことでKASLRを無効化する Lobste Comment

11-04  Defeating KASLR by Doing Nothing at All (googleprojectzero.blogspot.com)

118. フリーソフトウェアは普通の人を怖がらせる Lobste Comment

11-04  Free software scares normal people (danieldelaney.net)

119. Bluetui - LinuxにおけるBluetooth管理用TUI Lobste Comment

11-04  Bluetui - A TUI for managing bluetooth on Linux (github.com)

120. アーサー・ホイットニーのCを学ぶことで賢くなる Lobste Comment

11-04  Learning to read Arthur Whitney''s C to become Smart (needleful.net)

121. agent-shell 0.17 の改善点 MELPA Lobste Comment

11-04  agent-shell 0.17 improvements MELPA (xenodium.com)

122. フェッチ（Fetch）の夜 Lobste Comment

11-04  The fetch()ening (htmx.org)

123. 「カフカなんていらない、Postgresを使え」という主張の危険性 Lobste Comment

11-04  "You Don''t Need Kafka, Just Use Postgres" Considered Harmful (www.morling.dev)

124. AMD「Zen 5」プロセッサにおけるRDSEEDの失敗 Lobste Comment

11-04  RDSEED Failure on AMD “Zen 5” Processors (www.amd.com)

125. 2025年のターミナルエミュレータの現状：誤ったチャンピオンたち · 記事 Lobste Comment

11-04  State of Terminal Emulators in 2025: The Errant Champions · Articles (www.jeffquast.com)

126. 自分でGoogleドライブを作った Lobste Comment

11-04  I Built My Own Google Drive (lorbic.com)

127. JSON解析において埋め込みインデックス作成のボトルネックを発見した Lobste Comment

11-04  We found an embedding indexing bottleneck in JSON parsing (nixiesearch.substack.com)

128. CHERIoT 1.0 リリース Lobste Comment

11-04  CHERIoT 1.0 Released (cheriot.org)

129. ブラウザAPI：ウェブの無料SaaS Lobste Comment

11-03  Browser APIs: The Web’s Free SaaS (blog.jim-nielsen.com)

130. CAST(x AS STRING) は SQLite で整数に変換する Lobste Comment

11-03  CAST(x AS STRING) casts to integer in SQLite (lalitm.com)

131. Cの移動セマンティクスを基礎から学ぶ（2022年） Lobste Comment

11-03  C move semantics from scratch (2022) (cbarrete.com)

132. デザイン文書に対する有意義なフィードバックを得る方法 Lobste Comment

11-03  How to Get Meaningful Feedback on Your Design Document (refactoringenglish.com)

133. 退屈な技術を選ぶ Lobste Comment

11-03  Prefer boring technology (itwont.work)

134. 目次ブックマークレット Lobste Comment

11-03  Table of Contents Bookmarklet (zoebijl.github.io)

135. cgp-serde の発表: コンテキスト汎用プログラミングによる Serde 向けモジュール式シリアライゼーションライブラリ Lobste Comment

11-03  Announcing cgp-serde: A modular serialization library for Serde powered by Context-Generic Programming (contextgeneric.dev)

136. ルビーにおける記号の夕べ Lobste Comment

11-03  A Soiree into Symbols in Ruby (tech.stonecharioteer.com)

137. a11y.css Lobste Comment

11-03  a11y.css (ffoodd.github.io)

138. RustでAsciidocパーサーを書く：Asciidocr Lobste Comment

11-03  Writing an Asciidoc Parser in Rust: Asciidocr (www.bikesbooksandbullshit.com)

139. Cure - BEAMのための検証ファーストプログラミング Lobste Comment

11-03  Cure - Verification-First Programming for the BEAM (cure-lang.org)

140. 不合理なワークフロー：Postgresだけで実現する永続的な実行 Lobste Comment

11-03  Absurd Workflows: Durable Execution With Just Postgres (lucumr.pocoo.org)

141. APMのパラドックス：データは過剰、答えは不足 Lobste Comment

11-03  The APM paradox: Too much data, too few answers (www.honeybadger.io)

142. Postgresにメモリを過剰に割り当てないでください Lobste Comment

11-03  Don''t give Postgres too much memory (vondra.me)

143. 「依存型を使ってみたらどうですか？」 Lobste Comment

11-03  "Why don''t you use dependent types?" (lawrencecpaulson.github.io)

144. 抽象構文木: C言語での例 Lobste Comment

11-03  Abstract Syntax Tree: An Example in C (keleshev.com)

145. OpenBSDで非常にシンプルなホームルーターを設定する Lobste Comment

11-03  Setting up a very simple home router with OpenBSD (www.blog.montgomerie.net)

146. プログラミング言語における制御構造 Lobste Comment

11-03  Control structures in programming languages (xavierleroy.org)

147. 「モンスター・スプラッシュ」Apple IIe用ダブル・ハイアーズ・デモ Lobste Comment

11-03  "Monster Splash" a double-hires demo for Apple IIe (www.deater.net)

148. AIツールの使用禁止ではなく、アシスト付きコミットフッターの使用 Lobste Comment

11-03  Using Assisted-by commit footers instead of banning AI tools (xeiaso.net)

149. ホモトピー型理論入門 Lobste Comment

11-03  Homotopy Type Theory for Dummies (www.chriswarbo.net)

150. 科学がクソほど嫌いだ Lobste Comment

11-03  I ****ing hate Science (buttondown.com)

151. アヌビスは必要ない Lobste Comment

11-03  You don''t need anubis (fxgn.dev)

152. ノストルは一見すると理解するのが難しい Lobste Comment

11-03  Nostr is deceptively tricky to understand (njump.me)

153. スキナ先住民書体 Lobste Comment

11-03  Skeena Indigenous Typeface (microsoft.github.io)

154. Pythonで簡単にインストールできるアプリケーションの作成 Lobste Comment

11-03  Making an Easy-to-Install Application in Python (gokmengorgen.net)

155. AWK技術ノート (2023) Lobste Comment

11-03  AWK technical notes (2023) (maximullaris.com)

156. react-native-godot: React Native Godot - React NativeアプリにGodotエンジンを組み込む Lobste Comment

11-03  react-native-godot: React Native Godot - Embed Godot Engine in React Native apps (github.com)

157. ザップストア Lobste Comment

11-03  Zapstore (zapstore.dev)

158. ビルドシステムのトレードオフ Lobste Comment

11-02  build system tradeoffs (jyn.dev)

159. サイクル精度の6502エミュレータが、そうでないものより容易である理由の簡潔な説明 Lobste Comment

11-02  Concise explanation of why a cycle-accurate 6502 emulator is easier than not (github.com)

160. 自ら築いた牢獄 Lobste Comment

11-02  A prison of my own making (jsteuernagel.de)

161. djbによるFil-C (2025)の使用に関する注記 Lobste Comment

11-02  Notes by djb on using Fil-C (2025) (cr.yp.to)

162. LLMを用いた思考についての考察 Lobste Comment

11-02  Thinking About Thinking With LLMs (davi.sh)

163. PostgreSQLインスタンス間でテーブルを移動する Lobste Comment

11-02  Moving tables across PostgreSQL instances (ananthakumaran.in)

164. FreeBSDでセルフホスティングを再び楽しくする Lobste Comment

11-02  Using FreeBSD to make self-hosting fun again (jsteuernagel.de)

165. 私がすべてのクロードコード機能をどう活用しているか Lobste Comment

11-02  How I Use Every Claude Code Feature (blog.sshh.io)

166. Visopsys 単一開発者向け「ビジュアルオペレーティングシステム」 Lobste Comment

11-02  Visopsys single developer "Visual Operating System" (visopsys.org)

167. macOS XPCヘルパーへの攻撃：プロトコルリバースエンジニアリングとインターフェース分析 Lobste Comment

11-02  Attacking macOS XPC helpers: Protocol reverse engineering and interface analysis (tonygo.tech)

168. Coqにおけるフィンガーツリーのプログラミング (2007) Lobste Comment

11-02  Program-ing Finger Trees in Coq (2007) (sozeau.gitlabpages.inria.fr)

169. Tailscale CGNAT競合の緩和 Lobste Comment

11-02  De-escalating Tailscale CGNAT conflict (ysun.co)

170. X.Org セキュリティ勧告: X.Org X サーバーおよび Xwayland の複数のセキュリティ問題 Lobste Comment

11-02  X.Org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)

171. LinuxからWebAssemblyへの移植 Lobste Comment

11-02  Port of Linux to WebAssembly (lore.kernel.org)

172. クロード・コードは低レベル暗号技術をデバッグできる Lobste Comment

11-02  Claude Code Can Debug Low-level Cryptography (words.filippo.io)

173. GPUで計算された距離を用いたテキストのレンダリングと効果 Lobste Comment

11-02  Text rendering and effects using GPU-computed distances (blog.pkh.me)

174. オープンソースAda：ゲートウェアからアプリケーションへ Lobste Comment

11-01  Open-Source Ada: From Gateware to Application (blog.adacore.com)

175. 深く再帰的なGoの深層分析 Lobste Comment

11-01  A deep dive into deeply recursive Go (mattermost.com)

176. テイルスケール秋アップデートを8分未満で Lobste Comment

11-01  The Tailscale Fall Update in under 8 minutes (youtube.com)

177. 5月以降のハード・ラスト要件 Lobste Comment

11-01  Hard Rust requirements from May onward (lists.debian.org)

178. 効果システムの主張される利点について Lobste Comment

11-01  On the purported benefits of effect systems (typesanitizer.com)

179. コンピューターがノーと言う：LTLのエラー報告 Lobste Comment

11-01  Computer Says No: Error Reporting for LTL (wickstrom.tech)

180. あなたのURLはあなたの状態です Lobste Comment

11-01  Your URL Is Your State (alfy.blog)

181. 廃止および削除の意向：XSLTを廃止し削除する Lobste Comment

11-01  Intent to Deprecate and Remove: Deprecate and remove XSLT (groups.google.com)

182. 図書館とデジタル・ヒューマニティーズにおけるデータ発見の再考 Lobste Comment

11-01  Rethinking Data Discovery for Libraries and Digital Humanities (lil.law.harvard.edu)

183. 7TiBものメモリが無駄に放置されていた理由 Lobste Comment

11-01  How We Found 7 TiB of Memory Just Sitting Around (render.com)

184. wasm-アドベンチャー Lobste Comment

11-01  wasm-adventure (github.com)

185. 変更履歴: nix nario の導入 Lobste Comment

11-01  Changelog: introducing nix nario (determinate.systems)

186. スモールトレーニングプレイブック：世界クラスのLLM構築の秘訣 Lobste Comment

11-01  The Smol Training Playbook: The Secrets to Building World-Class LLMs (huggingface.co)

187. フューチャーロック Lobste Comment

11-01  Futurelock (rfd.shared.oxide.computer)

188. AIスクレイパーはコメント付きスクリプトを要求する Lobste Comment

11-01  AI scrapers request commented scripts (cryptography.dog)

189. コードレビュー用ヒートマップ差分ビューア Lobste Comment

11-01  A heatmap diff viewer for code reviews (0github.com)

190. Ubuntu 25.10 に PostgreSQL 18 をインストールする Lobste Comment

11-01  Install PostgreSQL 18 on Ubuntu 25.10 (www.paulox.net)

191. 2025年度下半期のプロジェクト目標 Lobste Comment

11-01  Project goals for 2025H2 (blog.rust-lang.org)

192. ボタンを使うだけ Lobste Comment

11-01  Just use a button (gomakethings.com)

193. Ubuntuはアーキテクチャのバリエーションを導入します Lobste Comment

11-01  Ubuntu introduces architecture variants (lwn.net)

194. Elixir Loggerモジュールの詳細解説 Lobste Comment

10-31  Deep dive into the Elixir Logger module (www.honeybadger.io)

195. 混沌の中に見いだす秩序：Kotlinコンパイラを改善した革新的な並行性テストツール Lobste Comment

10-31  Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler (blog.jetbrains.com)

196. 集合体への省察 (2020) Lobste Comment

10-31  Reflection for aggregates (2020) (akrzemi1.wordpress.com)

197. MiniZincにおけるローテーション勤務スケジューリング Lobste Comment

10-31  Rotating Workforce Scheduling in MiniZinc (zayenz.se)

198. コンピレーションの中の亡霊たち Lobste Comment

10-31  Ghosts in the Compilation (predr.ag)

199. NetBSD GSOC 2025 メンターサミット（ドイツ・ミュンヘン開催）：旅行記録 Lobste Comment

10-31  NetBSD GSOC 2025 Mentor Summit in Munich, Germany: travel notes (blog.netbsd.org)

200. Perfetto: Linuxクライアント追跡のための万能ツール Lobste Comment

10-31  Perfetto: Swiss Army Knife for Linux Client Tracing (lalitm.com)

201. FreeBSDにおける高度なドキュメント検索 Lobste Comment

10-31  Advanced Documentation Retrieval on FreeBSD (adventurist.me)

202. MacBook Pro M4の印象 Lobste Comment

10-31  My impressions of the MacBook Pro M4 (michael.stapelberg.ch)

203. GHC 9.14.1-rc1 が利用可能になりました Lobste Comment

10-31  GHC 9.14.1-rc1 is now available (discourse.haskell.org)

204. 最速のOSSワークフローエンジンへの挑戦 Lobste Comment

10-31  Challenging the Fastest OSS Workflow Engine (obeli.sk)

205. インド最大の自動車メーカー、タタ・モーターズをハッキング Lobste Comment

10-31  Hacking India’s largest automaker: Tata Motors (eaton-works.com)

206. Swift型チェッカー改善ロードマップ Lobste Comment

10-31  Roadmap for improving the Swift type checker (forums.swift.org)

207. 浪費家、WebAssemblyの浪費的な実装 Lobste Comment

10-31  wastrel, a profligate implementation of webassembly (wingolog.org)

208. LISP：その過去と未来に関する覚書（1980年） Lobste Comment

10-31  LISP: Notes on its Past and Future (1980) (www-formal.stanford.edu)

209. マルチプラットフォームZ80アセンブリプログラミングを学ぶ…吸血鬼と共に Lobste Comment

10-31  Learn Multiplatform Z80 Assembly Programming... With Vampires (www.chibiakumas.com)

210. GHCがブラウザ上で動作するようになりました Lobste Comment

10-31  GHC now runs in your browser (discourse.haskell.org)

211. FODを修正してください Lobste Comment

10-31  Fix your FODs (garnix.io)

212. アードバークのご紹介：OpenAIの自律型セキュリティ研究者 Lobste Comment

10-31  Introducing Aardvark: OpenAI’s agentic security researcher (openai.com)

213. 言語モデルは単射であり、したがって逆写像を持つ Lobste Comment

10-31  Language Models are Injective and Hence Invertible (arxiv.org)

214. Rust 1.91.0 のリリースをお知らせします Lobste Comment

10-31  Announcing Rust 1.91.0 (blog.rust-lang.org)

215. Rubyの型変換はめちゃくちゃだ Lobste Comment

10-30  Conversions in Ruby are a mess (github.com)

216. 腐食 - ノードクラスター全体でSQLiteの状態を伝播する分散システム Lobste Comment

10-30  Corrosion - a distributed system for propagating SQLite state across a cluster of nodes (fly.io)

217. （さびた）クリッピー変更履歴猫コンテスト、短い回顧録 Lobste Comment

10-31  The (rust) Clippy Changelog Cat Contest, a brief retrospective (blog.goose.love)

218. Typstにおける数学モードの問題 Lobste Comment

10-30  The Math Mode Problem in Typst (laurmaedje.github.io)

219. 信頼性の高いDjangoシグナル Lobste Comment

10-30  Reliable Django Signals (hakibenita.com)

220. Fevela.me – Nostrソーシャルネットワーク向けニュースリーダー風クライアント Lobste Comment

10-30  Fevela.me – A newsreader-like client for the Nostr social network (github.com)

221. ニックスの導出狂気 Lobste Comment

10-30  Nix derivation madness (fzakaria.com)

222. クランチロールは正当な理由もなく字幕を破壊している Lobste Comment

10-30  Crunchyroll is destroying its subtitles for no good reason (daiz.moe)

223. NPMに悪意のあるパッケージが大量に流入、86,000回以上ダウンロードされる Lobste Comment

10-30  NPM flooded with malicious packages downloaded more than 86,000 times (arstechnica.com)

224. fnoxのご紹介：miseと相性の良いシークレットマネージャー Lobste Comment

10-30  Introducing fnox: A secret manager that pairs well with mise (fnox.jdx.dev)

225. 文書埋め込みに対するword2vecスタイルのベクトル演算 Lobste Comment

10-30  word2vec-style vector arithmetic on docs embeddings (technicalwriting.dev)

226. Googleでの柔術 Lobste Comment

10-30  Jujutsu at Google (www.youtube.com)

227. XDGベースディレクトリ仕様を使用する Lobste Comment

10-30  Use the XDG Base Directory Specification (xdgbasedirectoryspecification.com)

228. 巡回セールスマン問題 Lobste Comment

10-30  Traveling Salesman Game (prolog.univie.ac.at)

229. KDE Plasmaにカスタマイズ可能なフレームコントラストを追加する Lobste Comment

10-30  Adding Customizable Frame Contrast to KDE Plasma (akselmo.dev)

230. 緑茶ガベージコレクタ - Goプログラミング言語 Lobste Comment

10-30  The Green Tea Garbage Collector - The Go Programming Language (go.dev)

231. 私はGoの再現可能なビルドを独立して検証しています Lobste Comment

10-30  I''m Independently Verifying Go''s Reproducible Builds (www.agwa.name)

232. C言語とFastCGIを用いたWebサーバーの開発 Lobste Comment

10-30  Developing a web server with C and FastCGI (jsloop.net)

233. Zig の新しい非同期 I/O (テキスト版) - アンドルー・ケリー Lobste Comment

10-30  Zig''s New Async I/O (Text Version) - Andrew Kelley (andrewkelley.me)

234. WezTermを徹底的に調整する方法 Lobste Comment

10-30  How to Obsessively Tune WezTerm (rashil2000.me)

235. uvは過去10年間でPythonエコシステムに起きた最高の出来事だ Lobste Comment

10-30  uv is the best thing to happen to the Python ecosystem in a decade (emily.space)

236. Redisにおける自動マージ機能付きCRDTドキュメント Lobste Comment

10-30  CRDT Documents in Redis with Automerge (github.com)

237. ディザリング - 第1部 Lobste Comment

10-29  Dithering - Part 1 (visualrambling.space)

238. ソフトウェアにおける企業デバイスの識別を標準化する Lobste Comment

10-29  Normalize Identifying Corporate Devices in Your Software (lgug2z.com)

239. デフォルトでHTTPS Lobste Comment

10-29  HTTPS by default (security.googleblog.com)

240. コンテキストが終端マウスクリックにもたらしうるもの Lobste Comment

10-29  What Context Can Bring to Terminal Mouse Clicks (tratt.net)

241. Kafkaは高速だ - Postgresを使う Lobste Comment

10-29  Kafka is Fast - I''ll use Postgres (topicpartition.io)

242. マイクロサービス環境で遭遇した災難、その二 Lobste Comment

10-29  Disasters I''ve seen in a microservices world, part II (world.hey.com)

243. VS CodeからHelixへ Lobste Comment

10-29  From VS Code to Helix (ergaster.org)

244. 同じアプリを10回構築した：モバイルパフォーマンスのためのフレームワーク評価 Lobste Comment

10-29  I Built the Same App 10 Times: Evaluating Frameworks for Mobile Performance (www.lorenstew.art)

245. AWSからベアメタルへ移行：2年後の今、AWS離脱に関する最も難しい疑問にお答えします Lobste Comment

10-29  AWS to Bare Metal Two Years Later: Answering Your Toughest Questions About Leaving AWS (oneuptime.com)

246. ジグの新しい非同期I/O Lobste Comment

10-29  Zig''s New Async I/O (www.youtube.com)

247. ネイティブCSSにおけるバウンスとバウンス効果 Lobste Comment

10-29  Springs and Bounces in Native CSS (www.joshwcomeau.com)

248. FDD - フロッピーディスク Lobste Comment

10-29  FDD - Diskettes (retrocmp.de)

249. ダービー工場でエリザベス線の新車両を製造する様子を初公開 Lobste Comment

10-29  First look inside the Derby factory building the Elizabeth line’s new trains (www.ianvisits.co.uk)

250. Linuxの豆知識と小石集め Lobste Comment

10-29  Linux Tidbits And Collecting Pebbles (unixbhaskar.wordpress.com)

251. TEE.fail: DDR5メモリバス介在による信頼実行環境の侵害 Lobste Comment

10-29  TEE.fail: Breaking Trusted Execution Environments via DDR5 Memory Bus Interposition (tee.fail)

252. バブルソートの正当性 Lobste Comment

10-29  The Vindication of Bubble Sort (entropicthoughts.com)

253. Rustで実際に高速なNotionを構築した Lobste Comment

10-29  I built an actually faster Notion in Rust (imedadel.com)

254. ZigでCコンパイラを書く Lobste Comment

10-29  Writing a C Compiler, in Zig (asibahi.github.io)

255. データベースのバックアップ、ダンプファイル、およびrestic Lobste Comment

10-29  Database backups, dump files and restic (strugglers.net)

256. filepizza: ブラウザ内でのピアツーピアファイル転送 Lobste Comment

10-29  filepizza: Peer-to-peer file transfers in your browser (github.com)

257. Pythonによるモンテカルロシミュレーションと確率論 Lobste Comment

10-29  Monte Carlo modeling in Python with probabilit (tommyodland.com)

258. Dockerの内部構造を理解する：Pythonでコンテナランタイムを構築する Lobste Comment

10-29  Understanding Docker Internals: Building a Container Runtime in Python (muhammadraza.me)

259. SpiderMonkeyのSSAコンパイラ向け新規グラフレイアウトアルゴリズム Lobste Comment

10-29  New graph layout algorithm for SpiderMonkey’s SSA compiler (spidermonkey.dev)

260. yensid: より優れたNixリモートビルドのためのプロキシ Lobste Comment

10-29  yensid: A proxy for better Nix remote builds (github.com)

261. サイドローディングについて語る時、私たちが語っていること Lobste Comment

10-29  What We Talk About When We Talk About Sideloading (f-droid.org)

262. Fil-C: メモリ安全なC言語実装 Lobste Comment

10-29  Fil-C: A memory-safe C implementation (lwn.net)

263. Notionでコーヒーをインデックス化 Lobste Comment

10-29  Indexing coffee with Notion (xvw.lol)

264. 仮想マシンソフトウェアなしのLinux VM - ユーザーモードLinux Lobste Comment

10-29  Linux VM without VM software - User Mode Linux (popovicu.com)

265. Windows 95のユーザーインターフェースコードは、どのようにWindows NTのコードベースに組み込まれたのか？ Lobste Comment

10-29  How did the Windows 95 user interface code get brought to the Windows NT code base? (devblogs.microsoft.com)

266. 進歩的な画像レンダリングの現在と将来の可能性 Lobste Comment

10-29  The present and potential future of progressive image rendering (jakearchibald.com)

267. インビジキャップス 実例で学ぶ Lobste Comment

10-28  InvisiCaps By Example (fil-c.org)

268. 凍結された文字列リテラル：過去、現在、未来？ Lobste Comment

10-28  Frozen String Literals: Past, Present, Future? (byroot.github.io)

269. 乱数の簡単な歴史 Lobste Comment

10-28  A brief history of random numbers (crates.io)

270. Tailscale Services: 細かな制御で、Tailnet上のリソースを定義 Lobste Comment

10-28  Tailscale Services: Define resources on your tailnet, with granular controls (tailscale.com)

271. 同種最大規模の研究が示すところでは、AIアシスタントは言語や地域に関係なく、ニュースコンテンツを45％の確率で誤って表現している Lobste Comment

10-28  Largest study of its kind shows AI assistants misrepresent news content 45% of the time – regardless of language or territory (www.bbc.co.uk)

272. Firefox セキュリティ＆プライバシー ニュースレター 2025年第3四半期 Lobste Comment

10-28  Firefox Security & Privacy Newsletter 2025 Q3 (attackanddefense.dev)

273. お前の雰囲気を装ったごまかしPRは歓迎されない Lobste Comment

10-28  Your vibe coded slop PR is not welcome (samsaffron.com)

274. minicoro: 純粋なC言語で実装された、単一ヘッダーのスタック型クロスプラットフォームコルーチンライブラリ Lobste Comment

10-28  minicoro: Single header stackful cross-platform coroutine library in pure C (github.com)

275. Firefoxにおける現代的なネットワーキング：マックス・インデンと Lobste Comment

10-28  Modern networking in Firefox with Max Inden (netstack.fm)

276. いろーブロブス Lobste Comment

10-28  iroh-blobs (www.iroh.computer)

277. 高速化されたスタックフルコルーチン Lobste Comment

10-28  Stackful Coroutine Made Fast (photonlibos.github.io)

278. ヨクトプロジェクト設定の進化する状況：bitbake-setup 対 KAS Lobste Comment

10-28  The Evolving Landscape of Yocto Project Setup: bitbake-setup vs. KAS (sigma-star.at)

279. 複雑さを切り刻む：Hanamiで実現するスライシングとダイシング Lobste Comment

10-28  Slicing and Dicing Through Complexity with Hanami (www.youtube.com)

280. 値渡しオーバーヘッドについて Lobste Comment

10-28  On pass-by-value overhead (owen.cafe)

281. J言語における手書き認識プログラム Lobste Comment

10-28  Handwriting Programs in J (www.hillelwayne.com)

282. DNS以上の問題：AWS us-east-1リージョンの14時間に及ぶサービス停止 Lobste Comment

10-28  More Than DNS: The 14 hour AWS us-east-1 outage (thundergolfer.com)

283. 最近のRustの変更点 Lobste Comment

10-28  Recent Rust Changes (www.ncameron.org)

284. Easy RISC-V: RISC-Vアセンブリプログラミングの対話型入門 Lobste Comment

10-28  Easy RISC-V: An interactive introduction to RISC-V assembly programming (dramforever.github.io)

285. IPアドレスの切り捨てが匿名化に失敗する理由 Lobste Comment

10-28  Why IP address truncation fails at anonymization (00f.net)

286. gleescript: Gleam-on-Erlangプロジェクトをescript（単一の実行可能ファイル）にバンドルする Lobste Comment

10-28  gleescript: Bundle your Gleam-on-Erlang project into an escript, a single executable file (github.com)

287. オープンソースライセンススキャナーの仕組み Lobste Comment

10-28  How Open Source License Scanners Work (fossa.com)

288. Re: 「年齢」に関する所見（2019年） Lobste Comment

10-28  Re: A few comments on ‘age’ (2019) (groups.google.com)

289. フェデックスでの印刷 Lobste Comment

10-28  Printing at FedEx (v7.robweychert.com)

290. 『AI』はプログラミングの楽しさを奪う Lobste Comment

10-28  ‘AI’ Sucks the Joy Out of Programming (alexn.org)

291. 必ずしもDNSとは限らない Lobste Comment

10-28  It''s NOT always DNS (notes.pault.ag)

292. AIベースのコーディングにおける新たな計算法 Lobste Comment

10-28  The New Calculus of AI-based Coding (blog.joemag.dev)

293. なぜ多忙なビーバー狩り人たちはアンチハイドラを恐れるのか Lobste Comment

10-28  Why Busy Beaver Hunters Fear the Antihydra (benbrubaker.com)

294. Raconn - SSH複数ホスト名 Lobste Comment

10-28  Raconn - Ssh multi hostname (blog.izissise.net)

295. PSFは米国政府の助成プログラムに対し、150万ドルの提案を取り下げた Lobste Comment

10-28  The PSF has withdrawn a 1.5 million proposal to US government grant program (pyfound.blogspot.com)

296. JSONクエリ - 小規模で柔軟性があり、拡張可能なJSONクエリ言語 Lobste Comment

10-28  JSON Query - a small, flexible, and expandable JSON query language (jsonquerylang.org)

297. 不可能な最適化、そしてそれを達成するためのメタプログラミング Lobste Comment

10-28  The Impossible Optimization, and the Metaprogramming To Achieve It (verdagon.dev)

298. 最初の恒星間ソフトウェア更新 - ボイジャー1号を救った狂気のハッキング Lobste Comment

10-27  The First Interstellar Software Update - The Insane Hack That Saved Voyager 1 (www.youtube.com)

299. 生成AIの使用に関する左派的立場は実質的に維持できるか？ - ジャッキー・アルシネ Lobste Comment

10-27  Can a leftist position on the use of generative AI be materially held? - Jacky Alciné (www.jacky.wtf)

300. GopayはWhatsAppに対応していますか？ Lobste Comment

10-27  apakah gopay ada wa (lobste.rs)