Lobste の最新の投稿 Lite

1. Cにおけるfloatからintへの変換は、未定義の挙動となる可能性があります Lobste Comment

11:47 C float-to-int conversion can be undefined behavior (kttnr.net)

2. これまで取り組んだサイドプロジェクトの中で、一番楽しかったものは何ですか？ Lobste Comment

09:40 What side projects have you enjoyed the most? (lobste.rs)

3. ソニックの物理エンジン……って、実は物理エンジンじゃないの？ Lobste Comment

08:07 Sonic''s Physics Engine... Isn''t a Physics Engine? (www.youtube.com)

4. ローレンツとリトル：あなたの尻尾はいくらですか？ Lobste Comment

04:17 Lorenz and Little: How Much Does Your Tail Cost? (brooker.co.za)

5. 脳にかかる負担 Lobste Comment

04:22 The strain in your brain (anirudh.fi)

6. 初のCHERIoT用シリコン Lobste Comment

02:11 First CHERIoT Silicon (cheriot.org)

7. フライチェック 38：マイト＆マジック Lobste Comment

07-29 Flycheck 38: Might & Magic (emacsredux.com)

8. const_cast：必要悪 Lobste Comment

00:14 const_cast: A Necessary Evil (www.elbeno.com)

9. シンプルなゲームでのタイマー設定（フレームルールを活用して） Lobste Comment

00:26 Setting timers in simple games (feat. the frame rule) (lynn.github.io)

10. basebrowserproject Lobste Comment

07-29 basebrowserproject (mastodon.social)

11. xyは、Python用の非常に高速でカスタマイズ性の高いチャート作成ライブラリです Lobste Comment

07-29 xy is very fast and customizable charting library for Python (github.com)

12. Anthropicの新たな結果に関する補足 Lobste Comment

07-29 Some notes about Anthropic’s new results (blog.cryptographyengineering.com)

13. Gleamの言語サーバーにとって絶好の機会 Gleam v.1.18.0 リリース Lobste Comment

07-29 A field day for Gleam’s language server Gleam v.1.18.0 release (gleam.run)

14. PostgreSQLのMVCC：他のエンジンとの比較におけるトレードオフ Lobste Comment

07-29 PostgreSQL MVCC: tradeoffs compared to other engines (boringsql.com)

15. 過剰設計の電卓：Zig QBE Lobste Comment

07-29 Overengineered calculator: Zig QBE (tomekw.com)

16. 「マッツはいい人だ」かどうかは問題ではない Lobste Comment

07-29 It doesn’t matter whether “Matz is nice” (po-ru.com)

17. 「Hyperbole Implicit Buttons」：Hyperverseを構築しよう Lobste Comment

07-29 Hyperbole Implicit Buttons: Build your Hyperverse (www.chiply.dev)

18. 数学の暗黒の夜 Lobste Comment

07-29 The Dark Night of Mathematics (kirwinhampshire.substack.com)

19. Copilotは、あるWord文書から別のWord文書へと悪意のあるワームを拡散させます Lobste Comment

07-29 Copilot will propagate a malicious worm from one Word document to another (enklypesalt.com)

20. AIブームが世界の意思決定を根底から覆している Lobste Comment

07-29 AI Mania Is Eviscerating Global Decision-Making (hermit-tech.com)

21. MoQを使ってIETFのMoQセッションをストリーミング…というか、まあそんな感じ Lobste Comment

07-29 Streaming the IETF MoQ sessions with MoQ… kinda (www.meetecho.com)

22. 主権は基盤である Lobste Comment

07-29 Sovereignty is a substrate (negroniventurestudios.com)

23. C26：未定義の挙動の低減 Lobste Comment

07-29 C26: Reducing undefined behaviour (www.sandordargo.com)

24. 危険に満ちた世界における安全 Lobste Comment

07-29 Safety in an unsafe world (joshlf.com)

25. デモシーンのユーザーインターフェース Lobste Comment

07-29 User Interfaces of the Demo Scene (datagubbe.se)

26. Manganin：ツールは重要だ Lobste Comment

07-29 Manganin: tools matter (blog.manganin.dev)

27. おもちゃのソフトウェアを書くのは楽しい (2025) Lobste Comment

07-29 Writing Toy Software Is A Joy (2025) (blog.jsbarretto.com)

28. Spinel上のLobste.rs Lobste Comment

07-29 Lobste.rs on Spinel (intertwingly.net)

29. CP/M-68K エミュレータ Lobste Comment

07-29 CP/M-68K emulator (kobolt.github.io)

30. 一から開発されたLinuxデスクトップ「Starling」 Lobste Comment

07-29 Starling, a Linux Desktop written from scratch (starling.build)

31. Dartにおける証明型：finalクラスを計算的証人として使用する Lobste Comment

07-29 Proof types in Dart: Using final classes as computational witnesses (modulovalue.com)

32. フロンティア・ラボのエージェントによる侵入の全容：2026年7月のインシデントに関する技術的タイムライン Lobste Comment

07-29 Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (huggingface.co)

33. プログラム検証において、RocqがLeanよりも優れている理由 Lobste Comment

07-29 Why Rocq is better than Lean for program verification (joomy.korkutblech.com)

34. Waylandのマルチプレイヤー機能の現状 Lobste Comment

07-29 State of multi-player Wayland (blinry.org)

35. 「QSYRUPWD」の謎：IBM i パスワードハッシュの復元 Lobste Comment

07-29 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)

36. 「平均」には何の意味もない Lobste Comment

07-29 The mean means nothing (fzakaria.com)

37. 「キミ・デルタ・アテンション」を思いつくこともできたはずだ Lobste Comment

07-29 You Could Have Come Up With Kimi Delta Attention (blog.doubleword.ai)

38. 破壊的な利便性 Lobste Comment

07-29 Destructive Convenience (volpeon.ink)

39. Bastillion 5.1：単一JARのSSHゲートウェイが、すべてのセッションの監査と再生を行うようになりました Lobste Comment

07-29 Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (github.com)

40. 依存関係の文化 - リチャード・フェルドマン（Software Should Work Conf 2026） Lobste Comment

07-28 Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (www.youtube.com)

41. コンピュートシェーダーを用いたGPU上での並列JSON解析 Lobste Comment

07-28 Parallel JSON parsing on the GPU with compute shaders (github.com)

42. 学習者にとっての「サードプレイス」はどこにあるのでしょうか？ Lobste Comment

07-28 Where are the third places for learners? (kernelkennel.com)

43. Zigのインクリメンタルコンパイルの仕組み Lobste Comment

07-28 Inside Zig''s Incremental Compilation (mlugg.co.uk)

44. ボタンを3回押す手間を省くために、カスタムPCBを設計しました Lobste Comment

07-28 I Designed A Custom PCB To Avoid Pressing A Button Three Times (blog.tymscar.com)

45. issetugid() の設計上の欠陥 (2017) Lobste Comment

07-28 Design flaws in issetugid() (2017) (gist.github.com)

46. Nix を使った（システム）ソフトウェアの構築 Lobste Comment

07-28 Building (systems) software with Nix (hondu.co)

47. Aux Control — 部屋中のみんなで音楽を選ぼう Lobste Comment

07-28 Aux Control — Let the whole room vote on the music (auxcontrol.live)

48. エージェントの安全性を高める追跡機能 Lobste Comment

07-28 Tracked Capabilities for Safer Agents (martinodersky.substack.com)

49. そもそもマイクロサービスって何？ Lobste Comment

07-28 What even are microservices? (var0.xyz)

50. Goのマップ：スイス式テーブルが従来のバケット設計に取って代わった経緯 Lobste Comment

07-28 Golang Maps: How Swiss Tables Replaced the Old Bucket Design (blog.gaborkoos.com)

51. ヒューリスティクスの改善 (2015) Lobste Comment

07-28 Improving Heuristics (2015) (www.redblobgames.com)

52. Tcl/Tk を使用したクロスプラットフォームの CLI および GUI ツールの開発 Lobste Comment

07-28 Develop Cross-Platform CLI and GUI Tools With Tcl/Tk (cgicoffee.com)

53. KIOで多数のファイルを高速にコピーする方法 Lobste Comment

07-28 Making KIO copy many files fast (blogs.kde.org)

54. すべてを支配する一つの指輪：ラジオとノートパソコンを「手間のかかる方法」で接続する Lobste Comment

07-28 One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way (www.lysk.ai)

55. PyTorch：リファレンス言語 Lobste Comment

07-28 PyTorch: a reference language (docs.pytorch.org)

56. J用のObject Pascalバインディング Lobste Comment

07-28 Object Pascal bindings for J (github.com)

57. ベンチマークと評価の実践、第7回：DeepSWE、Senior SWE-Bench、ナプキン計算、そして冬用タイヤ Lobste Comment

07-28 Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires (danluu.com)

58. 世界で最も価値のあるものは「摩擦」である Lobste Comment

07-28 The Most Valuable Commodity in the World is Friction (kyla.substack.com)

59. CIをマージキューに置き換える Lobste Comment

07-28 Replace Your CI With a Merge Queue (blog.exe.dev)

60. 「Framework 13 Pro」レビュー：バッテリー性能は大幅に向上、価格は大幅に高くなった Lobste Comment

07-28 Framework 13 Pro review: Much better battery, much worse price (arstechnica.com)

61. Nightlyで新しいFirefoxのデザインをお試しください Lobste Comment

07-28 Try the New Firefox Design in Nightly (blog.nightly.mozilla.org)

62. Apple MIE 脆弱性攻撃チャレンジ Lobste Comment

07-28 Apple MIE exploitation challenge (blog.calif.io)

63. 「バグの理論」に向けて：予期せぬ事象の「ルリオロジー」 Lobste Comment

07-28 Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)

64. OpenBSD を使って、シンプルなセルフホスト型 Web サーバーをセットアップする Lobste Comment

07-28 Setup a Simple, Self-Hosted Web Server with OpenBSD (btxx.org)

65. Pad-O-Maticは、ボタンを押すだけでワンタイムパッドを印刷します Lobste Comment

07-28 The Pad-O-Matic prints one-time pads at the press of a button (spectrum.ieee.org)

66. マジで、あの巨大なコードモデルって一体何のためにあるの？ Lobste Comment

07-28 Seriously, what is the large code-model even for? (fzakaria.com)

67. 建設的なデータモデリングの理不尽なほど高い有効性 Lobste Comment

07-28 The Unreasonable Effectiveness of Constructive Data Modeling (www.youtube.com)

68. Windows NT 3.1の長所と短所 Lobste Comment

07-28 Advantages and disadvantages of Windows NT 3.1 (dfarq.homeip.net)

69. Raftの実装におけるバグの発見 Lobste Comment

07-28 Finding bugs in Raft implementations (antithesis.com)

70. ボルボ／アイチャーのフリート管理プラットフォームを活用し、すべてのユーザーと車両を管理下に置く Lobste Comment

07-28 Exploiting Volvo/Eicher’s fleet management platform to gain control over all users and vehicles (eaton-works.com)

71. 手軽で簡単なパーサーコンビネータ Lobste Comment

07-28 Quick & Easy Parser Combinators (www.cyan.sh)

72. オープンソースは楽しいものでなければならない（そうでなければ消滅してしまう） Lobste Comment

07-27 Open Source Must Be Fun (Or It Will Die) (mikemcquaid.com)

73. 電磁界 2026 Lobste Comment

07-27 Electromagnetic Field 2026 (media.ccc.de)

74. 第二次世界大戦の勝利に貢献したコンピュータ：コロッサスはドイツの暗号通信を解読した Lobste Comment

07-27 The Computer That Helped Win World War II: Colossus cracked Germany’s encrypted communications (spectrum.ieee.org)

75. Paged Out - 第9号 Lobste Comment

07-27 Paged Out - Issue #9 (pagedout.institute)

76. 音楽プレーヤーを作りました（2022年） Lobste Comment

07-27 I wrote a music player (2022) (www.omarpolo.com)

07-27 Building a Fast Lock-Free Queue in Modern C From Scratch (blog.jaysmito.dev)

78. Zstandard 演習問題（2022年） Lobste Comment

07-27 Zstandard Worked Example (2022) (nigeltao.github.io)

79. 現在のテクノロジー全体を「フォーク」として見てみたいと思いませんか？ Lobste Comment

07-27 Would you like to see a “fork” of current tech as a whole? (lobste.rs)

80. ブログとは、単に当たり前のことを述べるだけのことかもしれない Lobste Comment

07-27 Blogging Can Just Be Stating The Obvious (blog.jim-nielsen.com)

81. RustでのBunのリライトは、どう進んでいますか？ Lobste Comment

07-27 How is the Bun Rewrite in Rust Going? (lockwood.dev)

82. Haskellによるデジタル回路シミュレータ Lobste Comment

07-27 Digital circuit simulator in Haskell (entropicthoughts.com)

83. 「適合」と「理解」 Lobste Comment

07-27 Conformance vs Comprehension (intertwingly.net)

84. 「生産性の蜃気楼」 Lobste Comment

07-27 The Productivity Mirage (frantic.im)

85. Googlebotのほとんどは偽物です Lobste Comment

07-27 Most Googlebots are fake (digitalseams.com)

86. 『日常の暗号技術の設計』 Lobste Comment

07-27 The Design of Everyday Cryptography (www.dlp.rip)

87. lobste.rs で JavaScript エラーが発生しています。以下に回避策を記載します。 Lobste Comment

07-27 lobste.rs has a js-error: here is a mitigation (lobste.rs)

88. どこからともなく聞こえてくる声 Lobste Comment

07-27 A Voice From Nowhere (zanlib.dev)

89. Parquetにおける固定長リストのための高速パス Lobste Comment

07-27 A Fast Path for Fixed-Length Lists in Parquet (www.morling.dev)

90. 第一原理から学ぶ関数型プログラミング、第1部――動機 Lobste Comment

07-27 Functional programming from first principles, part 1 – motivation (www.endoflineblog.com)

91. AIについて Lobste Comment

07-27 On AI (jcs.org)

92. O(N)でのN体重力シミュレーション Lobste Comment

07-27 N-body gravity simulation in O(N) (www.youtube.com)

93. この簡単な裏技で、レビューを再び可能にしましょう Lobste Comment

07-27 Make Reviews Possible Again With This One Simple Trick (silky.github.io)

94. PGSimCity：PostgreSQLの仕組みを3Dで解説 Lobste Comment

07-27 PGSimCity: How PostgreSQL Works, in 3D (nikolays.github.io)

95. 正規表現エンジン上で動作するDOOM Lobste Comment

07-27 DOOM running on a regex engine (4rh1t3ct0r7.github.io)

96. ジョン・バックスによる関数型プログラミング言語の歴史 Lobste Comment

07-27 History of John Backus''s FP languages (softwarepreservation.computerhistory.org)

97. GitHubのセキュリティチームは、一体どんな仕事をしているのでしょうか？ Lobste Comment

07-27 What does GitHub’s security team even do? (orchidfiles.com)

98. std::function と copyable_function の相互変換 Lobste Comment

07-27 Interconverting std::function with copyable_function (quuxplusone.github.io)

99. MikroTikコンテナ内の権威DNSサーバーとしてのdnsmasq Lobste Comment

07-27 Authoritative dnsmasq in a MikroTik container (op-co.de)

100. Linuxのトーバルズであること Lobste Comment

07-27 Being Linux Torvalds (antirez.com)

101. ThinkPad T480を携帯電話として使う Lobste Comment

07-27 Using ThinkPad T480 as a mobile phone (grego.site)

102. SQLiteのWALモードは、短時間の読み取り処理をロックしてしまう可能性がある Lobste Comment

07-27 SQLite WAL Mode Can Lock Short-Lived Readers (hynek.me)

103. Valkey：Valkeyにおけるデータの知られざる一面 Lobste Comment

07-27 Valkey: The secret life of data in Valkey (valkey.io)

104. 子供たちにForthを教える Lobste Comment

07-27 Teaching Kids Forth (gracefulliberty.com)

105. Forth から Lisp へ、Lisp から Forth へ Lobste Comment

07-27 Forth Moving Lisp Moving Forth (letoverlambda.com)

106. OpenLoco バージョン 26.07 リリース Lobste Comment

07-27 OpenLoco version 26.07 Release (openloco.io)

107. Leanにおける高速DEFLATE圧縮 Lobste Comment

07-26 Fast DEFLATE compression in Lean (kim-em.github.io)

108. ザビエル・ルロワによるプログラミング、プログラミング言語、および形式検証に関する考察 Lobste Comment

07-26 Xavier Leroy on programming, languages and formal verification (www.youtube.com)

109. jQueryに関するドミトリー・ガスキン Lobste Comment

07-26 Dmitri Gaskin on jQuery (www.youtube.com)

110. 初心者J：カードの配り方 Lobste Comment

07-26 Beginner J: Dealing Cards (www.youtube.com)

111. Scanwheel：自分で組み立てられるドラム式機械式テレビ Lobste Comment

07-26 Scanwheel: a drum style mechanical television you can build yourself (github.com)

112. Himalaya v2.0.0：メールを管理するためのCLI Lobste Comment

07-26 Himalaya v2.0.0: CLI to manage emails (fosstodon.org)

113. マイクロカーネルについて、改めて検討してみるべきかもしれません Lobste Comment

07-26 Maybe we should revisit microkernels (notes.hella.cheap)

114. バナー・ハイウェイ01 Lobste Comment

07-26 Banner Highway 01 (highway-01.banner-depot-2000.net)

115. メモリセーフティの絶対主義者たち Lobste Comment

07-26 Memory Safety Absolutists (itsallaboutthebit.com)

116. 自宅のリビングで静的IPアドレスを使用してサーバーを自前で運用する方法 Lobste Comment

07-26 How to self-host servers in your living room on static IPs (vimuser.org)

117. スタッフエンジニアとして、解決すべき課題をどのように見つけているか Lobste Comment

07-26 How I Find Problems to Solve as a Staff Engineer (lalitm.com)

118. おそらく、ハードディスクの容量がいっぱいになっているようです Lobste Comment

07-26 Your harddrive is probably full (www.marginalia.nu)

119. 総括決議：DebianにおけるLLMの利用 Lobste Comment

07-26 General Resolution: LLM usage in Debian (www.debian.org)

120. Verse：新しいスクリプト言語 Lobste Comment

07-26 Verse: A New Scripting Language (youtube.com)

121. 設計された潜在空間としての言語 Lobste Comment

07-25 Languages as designed latent spaces (blog.jsbarretto.com)

122. Zigの実例 Lobste Comment

07-25 Zig by Example (zigbyexample.neocities.org)

123. シェルコロンは何も行いません。それでも使ってください Lobste Comment

07-25 A shell colon does nothing. Use it anyway (refp.se)

124. Emacs ライティングマシン Lobste Comment

07-25 Emacs Writing Machine (chainsawriot.com)

125. Androidがまもなく端末上のADBを制限する可能性があり、「Shizuku」や「libadb」、そして開発者に影響が及ぶ見込み Lobste Comment

07-25 Android May Soon Restrict On-Device ADB, Affecting Shizuku, libadb and Developers (kitsumed.github.io)

126. BPFから直接パケットを送信する Lobste Comment

07-25 Sending packets directly from BPF (lwn.net)

127. stinkpot：SQLiteを基盤としたシェル履歴 Lobste Comment

07-25 stinkpot: sqlite-backed shell history (tangled.org)

128. C言語における型推論宣言の解析に伴う危険性 Lobste Comment

07-25 the perils of parsing type inference declarations in c (sebsite.pw)

129. 私はICFPプログラミングコンテスト（2026年）を主催しています。 Lobste Comment

07-25 I''m running the ICFP programming contest (2026) (eieio.games)

130. 私たちは特別ではない Lobste Comment

07-25 We Are Not Special (www.hillelwayne.com)

131. マイクロフォーマット ― データ豊富なウェブページの構成要素 Lobste Comment

07-25 Microformats – building blocks for data-rich web pages (microformats.org)

132. 2026年 Stack Overflow 開発者アンケート Lobste Comment

07-25 2026 Stack Overflow Developer Survey (take.survey.stackoverflow.co)

133. Chromeは、Geminiのポップアップウィンドウ用のグローバルショートカットを登録します Lobste Comment

07-25 Chrome registers a global shortcut for Gemini popup window (unsung.aresluna.org)

134. 『システムと遅延』（2026年） Lobste Comment

07-25 Systems and Delays (2026) (martin.janiczek.cz)

135. weblings: WASM内部からRustをWASMにコンパイルする Lobste Comment

07-25 weblings: Compiling Rust to WASM from inside WASM (github.com)

136. Goの新しいガベージコレクタがヒープ内を移動する様子を見る Lobste Comment

07-25 Watching Go''s new garbage collector move through the heap (theconsensus.dev)

137. オブジェクト指向へのラブレター Lobste Comment

07-25 A Love Letter to Object Orientation (blog.mempko.com)

138. Rustでの楽しい統合テスト Lobste Comment

07-25 Delightful integration tests in Rust (github.com)

139. PostgresのLISTEN/NOTIFYは実際にスケーラビリティを発揮する Lobste Comment

07-25 Postgres LISTEN/NOTIFY Actually Scales (www.dbos.dev)

140. APLにおける拡張接続性フィンガープリント Lobste Comment

07-25 Extended Connectivity Fingerprint in APL (butwhyisthat.substack.com)

141. git rebase -i はそれほど怖くない Lobste Comment

07-25 git rebase -i is not that scary (cachebag.sh)

142. 週末で学ぶ3Dガウス・スプラッティング Lobste Comment

07-25 3D Gaussian Splatting in a Weekend (bfeldman.me)

143. GLib 向けの ffi_call_plan キャッシュ Lobste Comment

07-25 ffi_call_plan caching for GLib (blogs.gnome.org)

144. ALP：適応型ロスレス浮動小数点圧縮 Lobste Comment

07-25 ALP: Adaptive Lossless Floating-Point Compression (github.com)

145. メンテナーへのインタビュー Lobste Comment

07-24 Interview with a Maintainer (nesbitt.io)

146. 「黒い錠剤」を飲んではいけない Lobste Comment

07-24 Don''t take the black pill (www.youtube.com)

147. オープンウェイトと米国のAIリーダーシップ Lobste Comment

07-24 Open Weights and American AI Leadership (www.microsoft.com)

148. 折り紙で回路基板を作ろう Lobste Comment

07-24 Make an Origami Circuit Board (spectrum.ieee.org)

149. 7月21日の断片 Lobste Comment

07-24 Fragments of July 21 (martinfowler.com)

150. 現代におけるMUDの存在意義 Lobste Comment

07-24 The case for MUDs in modern times (www.andrewzigler.com)

151. 鎖につながれた実存主義者たち Lobste Comment

07-24 Existentials on a Leash (cdfa.github.io)

152. クエリサイクル：コンパイラの殺人ミステリー Lobste Comment

07-24 Query cycles: A compiler murder mystery (ferrous-systems.com)

153. 「Malleable Computing」、Emacs、そしてあなた Lobste Comment

07-24 Malleable Computing, Emacs, and You (yummymelon.com)

154. 2025年から2026年にかけて、アクセシビリティに関するエラーが10％増加した Lobste Comment

07-24 Accessibility errors increased 10% from 2025 to 2026 (webaim.org)

155. 35mmフィルム写真からGIFを作成する Lobste Comment

07-24 Making GIFs from 35mm film photography (blog.willgrant.org)

156. FreeBSDのportsが凍結されました Lobste Comment

07-24 FreeBSD ports frozen (www.osnews.com)

157. 基本発振器の迅速な合成 Lobste Comment

07-24 Fast Synthesis of Basic Oscillators (artemis.sh)

158. Codebergへの移行を後悔している Lobste Comment

07-24 I Regret Migrating to Codeberg (xn--gckvb8fzb.com)

159. MLIR ツアー：誰もが頼りにしている方言スタック Lobste Comment

07-24 A tour of MLIR: The Dialect Stack Everyone Depends On (hiraditya.github.io)

160. ダン・ウィリアムズ氏を悼んで Lobste Comment

07-24 Mourning Dan Williams (lwn.net)

161. そもそも、その自由は誰のものなのか？ Lobste Comment

07-24 Whose freedom is it anyway? (collectivefutures.blog)

162. 私が愛用しているLinuxデバッグツール（2016年） Lobste Comment

07-24 Linux debugging tools I love (2016) (jvns.ca)

163. eBPF を用いた TCP ライフスパンの追跡 (2016) Lobste Comment

07-24 Tracking TCP lifespans using eBPF (2016) (www.brendangregg.com)

164. 「Augmental MouthPad」は、舌で操作するタッチパッド／トラックパッドです。 Lobste Comment

07-24 Augmental MouthPad is a tongue-controlled touchpad/trackpad (www.cnx-software.com)

165. Fil-C：ゴミを入れれば、メモリセーフな出力が得られる Lobste Comment

07-24 Fil-C: Garbage In, Memory Safety Out (www.youtube.com)

166. （2026年には）メールを自前で運用すべきです Lobste Comment

07-24 You should selfhost your mail (in 2026) (blog.haschek.at)

167. ソフトウェアは動作するはずだった動作していた Lobste Comment

07-24 Software Should Work Worked (isaacvando.com)

168. Jolt：Chez Scheme上でClojureを実行する Lobste Comment

07-24 Jolt: running Clojure on Chez Scheme (yogthos.net)

169. std::simd::swizzle_dyn の改善 Lobste Comment

07-24 Improving std::simd::swizzle_dyn (shnatsel.github.io)

170. エージェントにおけるプロンプトのキャッシュ Lobste Comment

07-24 Prompt Caching In Agents (earendil.com)

171. agent-shell 0.63 の更新情報 Lobste Comment

07-24 agent-shell 0.63 updates (xenodium.com)

172. AIがオープンソースにどのような変化をもたらしているか Lobste Comment

07-24 How AI Is Changing Open Source (enblog.eischmann.cz)

173. PImpl イディオムと C26 の std::indirect 型 Lobste Comment

07-24 The PImpl idiom and the C26 std::indirect type (mariusbancila.ro)

174. RocksDBにおけるMVCCとトランザクションの仕組み Lobste Comment

07-24 How MVCC and Transactions Work in RocksDB (artem.krylysov.com)

175. 誰もがSIMDについて知っておくべきだ Lobste Comment

07-23 Everyone Should Know SIMD (mitchellh.com)

176. 単なる数値以上のもの：実運用に向けた量子化モデルの評価 Lobste Comment

07-23 Beyond a Single Number: Evaluating Quantized Models for Deployment (byteshape.com)

177. 信頼済み macOS アプリの実行ファイルのサイレント置換 Lobste Comment

07-23 Silent Replacement of Trusted macOS App Executables (mysk.blog)

178. 空間言語：2Dでのコーディング Lobste Comment

07-23 Spatial languages: writing code in 2D (shukla.io)

179. 説明責任について Lobste Comment

07-23 On Accountability (addisoncrump.info)

180. 500行の純粋なCによるソフトウェアレンダリング Lobste Comment

07-23 Software rendering in 500 lines of bare C (ssloy.github.io)

181. 「カーボン・メモリー」安全第一の徹底解説 Lobste Comment

07-23 Carbon Memory Safety first deep dive (drive.google.com)

182. パッケージ名の接頭辞 Lobste Comment

07-23 Package Name Prefixes (nesbitt.io)

183. Linuxのパッチにより、カーネル内でネットワーク処理をAMD GPUに直接オフロードするための「KNOD」が導入された Lobste Comment

07-23 Linux Patches Introduce "KNOD" For In-Kernel Network Offloading Directly To AMD GPUs (www.phoronix.com)

184. 史上初の「暴走AIエージェント」か、それとも極めて拙劣な宣伝作戦か？ Lobste Comment

07-23 The first known runaway AI agent - or a very bad marketing stunt? (martinalderson.com)

185. Wanix — Web向けのWasmネイティブUnixサンドボックス Lobste Comment

07-23 Wanix — Wasm-native Unix sandboxing for the web (wanix.dev)

186. Justif：ウェブ向けのクヌース・プラス式文字揃えとマイクロタイポグラフィ Lobste Comment

07-23 Justif: Knuth-Plass justification and microtypography for the web (justif.lyall.co)

187. XMPPのアドレスに絵文字は使用できますか？ Lobste Comment

07-23 Are Emojis Allowed in XMPP Addresses? (op-co.de)

188. Pip 26.2：–only-deps オプションが、16年間にわたるアプリデプロイの「その場しのぎの対策」を解決 Lobste Comment

07-23 Pip 26.2: –only-deps solves 16 years of app deployment hacks (jamesoclaire.com)

189. バラの花びらが「帰納法」について教えてくれること Lobste Comment

07-23 What Rose Petals Teach Us about Induction (www.oranlooney.com)

190. あなたの分析データは嘘をついている Lobste Comment

07-23 Your analytics are lying to you (ankursethi.com)

191. 私がワクワクする「穏やかなテクノロジー」 Lobste Comment

07-23 Calm technologies that excite me (abhi.now)

192. ポータブルなC99における代数的効果とハンドラ Lobste Comment

07-23 Algebraic effects and handlers in portable C99 (github.com)

193. ジョン・C・ドヴォラック氏が死去した Lobste Comment

07-23 John C. Dvorak has died (oldvcr.blogspot.com)

194. 持ち帰りインタビューの課題を点検してみた。それはまさに一大作戦だった。 Lobste Comment

07-23 I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)

195. LLMからFLOSSのコモンズを守る Lobste Comment

07-23 Protecting our FLOSS commons from LLMs (blog.codeberg.org)

196. Frag Gap（CVE-2026-53362、CVE-2026-53366） Lobste Comment

07-23 Frag Gap (CVE-2026-53362, CVE-2026-53366) (blog.qwerty.or.kr)

197. OCamlとEioを試してみる Lobste Comment

07-23 Taking OCaml and Eio for a spin (mattjhall.co.uk)

198. なぜプログラミング言語を気にする必要があるのか Lobste Comment

07-23 Why care about programming languages (ebellani.github.io)

199. RefluXFS：XFS における Linux カーネルのローカル特権昇格（CVE-2026-64600） Lobste Comment

07-23 RefluXFS: A Linux Kernel Local Privilege Escalation to Root in XFS (CVE-2026-64600) (blog.qualys.com)

200. Dark Elevator：Windows Install Service のローカル特権昇格（CVE-2026-50343） Lobste Comment

07-23 Dark Elevator: Windows Install Service Local Privilege Escalation (CVE-2026-50343) (blog.calif.io)

201. 「Topcoat」の発表：Rust を用いたフルスタック・リアクティブWebアプリ構築のためのフレームワーク Lobste Comment

07-23 Announcing Topcoat: a framework for building full-stack reactive web apps with Rust (tokio.rs)

202. Unicode バリエーションセレクタ-15 と、私の流した涙の数々 Lobste Comment

07-22 Unicode Variation Selector-15 and some of my tears (benjaminwil.info)

203. dcmake：新しいCMakeデバッガのUI Lobste Comment

07-22 dcmake: a new CMake debugger UI (nullprogram.com)

204. PyPIのリリースでは、14日を経過した新しいファイルは拒否されるようになりました Lobste Comment

07-22 PyPI releases now reject new files after 14 days (blog.pypi.org)

205. Oric Atmos用『Snake Temple』、BASIC 10行で実装（2022年） Lobste Comment

07-22 Snake Temple for Oric Atmos, in 10 lines of BASIC (2022) (bunsen.itch.io)

206. ランク外、systemd、クロール Lobste Comment

07-22 Unranked, systemd, crawls (www.marginalia.nu)

207. ブラウザ上で動作する旧式のPCエミュレータ Lobste Comment

07-22 Old PC emulators that run in the browser (www.pcjs.org)

208. 衝突検出のためのSIMD Lobste Comment

07-22 SIMD for Collision (box2d.org)

209. PHPおよびLuaにおいて、log関数は単調ではない Lobste Comment

07-22 log is non-monotonous in PHP and Lua (purplesyringa.moe)

210. Notionにおける2年間のベクター検索：10倍のスケール、10分の1のコスト Lobste Comment

07-22 Two years of vector search at Notion: 10x scale, 1/10th cost (www.notion.com)

211. そこでRedditは、プレーンなHTMLは安全ではないと判断した Lobste Comment

07-22 So Reddit has decided that plain HTML is unsafe (www.cole-k.com)

212. XDG RemoteDesktop および InputCapture ポータルにおける Libei との連携 Lobste Comment

07-22 libei integrations in the XDG RemoteDesktop and InputCapture portals (who-t.blogspot.com)

213. フサルク型チェッカーの書き換え Lobste Comment

07-22 Rewriting the Futhark type checker (futhark-lang.org)

214. スラッシュページ Lobste Comment

07-22 Slash Pages (slashpages.net)

215. 事前リファクタリング：新機能の導入に向けた道筋をつける Lobste Comment

07-22 Prefactoring: Clear the Way for Your New Feature (testing.googleblog.com)

216. エンジニアのためのUSB Type-Cガイド Lobste Comment

07-22 An Engineer’s Guide to USB Type-C (www.ti.com)

217. ECCとDDR5 Lobste Comment

07-22 ECC and DDR5 (etbe.coker.com.au)

218. LG、スマートテレビのアプリから住宅用プロキシを禁止へ Lobste Comment

07-22 LG to Ban Residential Proxies from Smart TV Apps (krebsonsecurity.com)

219. Djangoについて、私が最近気に入っている点をいくつか紹介します Lobste Comment

07-22 Some more things about Django I''ve been enjoying (jvns.ca)

07-22 Bringing the modern web to the original iPad mini (seg6.space)

221. コンパイルの並列化：単一プロセス対マルチプロセス Lobste Comment

07-22 Parallelizing Compilation: In-Process vs Multi-Process (lobste.rs)

222. Free Ink · 電子書籍リーダーのためのオープンなエコシステム Lobste Comment

07-22 Free Ink · An open ecosystem for e-readers (freeink.org)

223. OpenAIのモデルがセキュリティサンドボックスを突破し、テストに合格するためにHugging Faceからデータを不正取得した Lobste Comment

07-22 OpenAI model breaks out of security sandbox, hacks Hugging Face for data to pass test (openai.com)

224. AP8L - apl Lobste Comment

07-22 AP8L - apl (www.lexaloffle.com)

225. Agenticワークフローのキャッシュキープアライブのコストが8倍も高すぎる Lobste Comment

07-22 Your Agentic Workflow''s Cache Keepalive Costs 8x Too Much (blog.mempko.com)

226. COSMIC DEの最初の7か月 Lobste Comment

07-22 COSMIC DE’s First Seven Months (system76.com)

227. コージー・ランゲージ Lobste Comment

07-22 Cosy Language (cosy.com)

228. 中小企業におけるインフラ監視へのNagiosの活用 Lobste Comment

07-22 Using Nagios for small business infrastructure monitoring (tech.chrishardie.com)

229. 「Claude」はコンパイラではありません Lobste Comment

07-21 Claude Is Not a Compiler (blog.exe.dev)

230. 「AI不使用」という表明は、単なる表明以上の意味を持つ Lobste Comment

07-22 “No AI” Statements Are Much More Than Mere Statements (journal.james-zhan.com)

231. WebベースのJujutsuリビジョンセットエクスプローラーおよびデバッガー Lobste Comment

07-22 Web-based Jujutsu revset explorer & debugger (juju.bi)

232. K2 リファレンスマニュアル (1998) Lobste Comment

07-22 K2 Reference Manual (1998) (web.archive.org)

233. FPTalks 2026 — 8月6日（木）、参加無料、オンライン開催 Lobste Comment

07-21 FPTalks 2026 — Thu Aug 6, free, online (fptalks.org)

234. C言語でのCronジョブをゼロから学ぶ Lobste Comment

07-22 Cron Jobs in C from Scratch (www.youtube.com)

235. キャプチャ節を効果として扱う Lobste Comment

07-21 Capture Clauses as Effects (blog.yoshuawuyts.com)

236. iCloudやGoogleフォトのオープンソース版 Lobste Comment

07-21 An open-source alternative to iCloud and Google Photos (github.com)

237. lazy-tmux: スクロールバック機能付きで、tmuxセッションを遅延的に復元する Lobste Comment

07-21 lazy-tmux: restore tmux sessions lazily, with scrollback (lazy-tmux.xyz)

238. 実用的なローエンド・ミッドレンジのスマートフォン Lobste Comment

07-21 Low- and Mid-Tier Mobile for the Real World (csswizardry.com)

239. スナップ写真の歴史における5つの瞬間 Lobste Comment

07-21 Five moments in snapping history (unsung.aresluna.org)

240. Linuxカーネルは、ある意味でORIGINをサポートするようになる Lobste Comment

07-21 Linux kernel will support ORIGIN, sort of (fzakaria.com)

241. git --end-of-options Lobste Comment

07-21 git --end-of-options (nesbitt.io)

242. 「整数についての考察」（2023年） Lobste Comment

07-21 Thoughts On Integers (2023) (blog.xoria.org)

243. GitHubが突然私のSSHキーを拒否してしまった（解決策は.pubファイルだった？！） Lobste Comment

07-21 GitHub suddenly rejected my SSH key (the fix was a .pub file?!) (thorsell.io)

244. IntelliJからの脱却：Emacs Eglot での Scala および Kotlin の LSP Lobste Comment

07-21 Escape IntelliJ: Scala and Kotlin LSPs on Emacs Eglot (jointhefreeworld.org)

245. GGG – Guile Scheme と SXML を用いた宣言型 SVG バッジ生成 Lobste Comment

07-21 GGG – Declarative SVG badge generation using Guile Scheme and SXML (codeberg.org)

246. エンタープライズ向けKDEには、堅牢なPIMインフラストラクチャが必要である Lobste Comment

07-21 KDE for Enterprise Needs a Strong PIM Infrastructure (ervin.ipsquad.net)

247. なぜ l なのか（k と q の新しい実行環境） Lobste Comment

07-21 Why l (new runtime for k and q) (lv1.sh)

248. 1日3070件のPR：システムをダウンさせずにやり遂げた方法 Lobste Comment

07-21 30 to 70 PRs a Day: How We Managed to Not Wreck Our Systems (www.honeycomb.io)

249. セキュリティインシデントの開示 — 2026年7月 Lobste Comment

07-21 Security incident disclosure — July 2026 (huggingface.co)

250. 過去24時間に公開されたLinuxカーネルのCVEは432件 Lobste Comment

07-21 432 Linux kernel CVEs published in the last 24 hours (lore.kernel.org)

251. 独自のウェブサイトを持つべき95の理由 Lobste Comment

07-21 95 reasons for having your own website (bellkiosk.website)

252. SSHバスティオンを使っていますが、それは私が「草の上を歩いている」ときだけです Lobste Comment

07-21 Using a SSH bastion, but only when I''m touching grass (evertpot.com)

253. 設定ファイルに秘密を書き込むべきではない Lobste Comment

07-21 Secrets Don’t Belong in Config (secretspec.dev)

254. Joyに関するカジュアルなチュートリアル Lobste Comment

07-21 An informal tutorial on Joy (www.kevinalbrecht.com)

255. 不透明で相互運用可能なパスキーレコード Lobste Comment

07-21 Opaque, Interoperable Passkey Records (words.filippo.io)

256. 人間の数学者は、反例によってその主張を覆されつつある Lobste Comment

07-21 Human mathematicians are being outcounterexampled (xenaproject.wordpress.com)

257. Gnutellaがクエリトラフィックに対応するためにどのように拡張したか Lobste Comment

07-21 How Gnutella Scaled to Handle Query Traffic (rickcarlino.com)

258. Postgres 19 の圧縮：pglz から LZ4 へ Lobste Comment

07-21 Postgres 19 Compression: from pglz to LZ4 (www.crunchydata.com)

259. SleeperGem：RubyGemsのサプライチェーン攻撃が、活動停止中のメンテナアカウントを標的にしている Lobste Comment

07-21 SleeperGem: RubyGems supply chain attack targets dormant maintainer accounts (www.aikido.dev)

260. Wolfram MathWorld 掲載のヤコビアン予想 Lobste Comment

07-21 Jacobian Conjecture from Wolfram MathWorld (mathworld.wolfram.com)

261. 『ゴール・コード』の個人選集 Lobste Comment

07-21 Personal Anthology of Goal Code (goalprogramming.info)

262. Linuxカーネルのゼロデイ脆弱性を追う――限定的なUAFから物理メモリの読み書きまで Lobste Comment

07-21 A Linux Kernel 0-day Journey - From a limited UAF to Physical Memory R/W (1day.dev)

263. リアルタイムデータベースなんて、誰が必要とするのでしょうか？ Lobste Comment

07-21 Who needs a real-time database? (dataintellect.com)

264. TLA における MVCC のシリアライズ可能性への拡張 (2024) Lobste Comment

07-21 Extending MVCC to be serializable, in TLA (2024) (surfingcomplexity.blog)

265. 私のForgejo環境を徹底解説 Lobste Comment

07-21 A deep dive into my Forgejo setup (a.l3x.in)

266. 型安全なサーヴァント認証ロール Lobste Comment

07-21 Type Safe Servant Auth Roles (blog.cofree.coffee)

267. InvisiCaps：Fil-C機能モデル Lobste Comment

07-20 InvisiCaps: The Fil-C Capability Model (fil-c.org)

268. EUは、ビザ免除の旅行を実現するため、私たちの最も機密性の高いデータを米国に売却しようとしている Lobste Comment

07-20 The EU is about to sell our most sensitive data to the US for visa-free travel (edri.org)

269. 4社のコーディングエージェントベンダーにまたがる7件のサンドボックス脱出の脆弱性 Lobste Comment

07-20 7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors (www.pillar.security)

270. Rust for Morello：安全でないコードであっても常に確保されるメモリ安全性 Lobste Comment

07-20 Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (drops.dagstuhl.de)

271. メタガベージコレクション：OCamlのGCを使ってRustのGCを行う Lobste Comment

07-20 Meta Garbage Collection: Using OCaml''s GC to GC Rust (soteria-tools.com)

272. LLMを活用した検証によるLinuxのネットワークスタックにおけるバグの排除 Lobste Comment

07-20 Using LLM-based Verification to Eliminate Bugs in Linux''s Network Stack (www.basis.ai)

273. Gitolite Lobste Comment

07-20 Gitolite (gitolite.com)

274. 2026年にAmigaOSの開発環境を構築する Lobste Comment

07-20 Building an AmigaOS Development Environment in 2026 (turtleware.eu)

275. JSON5E - 人間向けのJSON5 Lobste Comment

07-20 JSON5E - JSON5 for Humans (github.com)

276. フックを活用した最小限のGit CI Lobste Comment

07-20 Minimal Git CI using hooks (mccd.space)

277. クロードは、ヤコビアン予想に対する反例を発見した。 Lobste Comment

07-20 Claude found a counterexample to the Jacobian Conjecture (news.ycombinator.com)

278. アンチエイリアシングのためのスキャンラインエッジフラグアルゴリズム Lobste Comment

07-20 Scanline edge-flag algorithm for antialiasing (mlab.taik.fi)

279. 遊びとしてのファジング - snac2における認証不要のサービス拒否（DoS） Lobste Comment

07-20 Fuzzing for fun - unauthenticated denial of service in snac2 (nullenvk.pl)

280. 水冷式ベッド用にAPIクライアントを作成しました Lobste Comment

07-20 I wrote an API client for my water-cooled bed (tinkering.xyz)

281. 電子メールの暗号化 Lobste Comment

07-20 email encryption (computer.rip)

282. 古いソフトウェアバージョンのバグ報告については、誰が責任を負うのでしょうか？ Lobste Comment

07-20 Who’s responsible for bug reports on old software versions? (pointieststick.com)

283. Cagire - Forthベースのライブコーディング・シーケンサー Lobste Comment

07-20 Cagire - Forth-based live coding sequencer (cagire.raphaelforment.fr)

284. 並列プログラミングの禅 Lobste Comment

07-20 The Zen of Parallel Programming (smolnero.com)

285. 信頼性の高いC Lobste Comment

07-20 Dependable C (dependablec.org)

286. Proxmox VE でマイクロVMを簡単に実行する方法 Lobste Comment

07-20 Running microVMs in Proxmox VE, The Easy Way (taoofmac.com)

287. 1分後に表示を中止した通知 Lobste Comment

07-20 The notification that gave up after a minute (jva.lol)

288. Leanを用いた形式検証入門（第1部） Lobste Comment

07-20 Introduction to Formal Verification with Lean (Part 1) (hashcloak.com)

289. さらに優れたロープボットの犬を作りました Lobste Comment

07-19 I Built an Even Better Ropebot Dog (www.youtube.com)

290. CodeSizer：なぜそのバイナリファイルはこんなに大きいのか？ Lobste Comment

07-19 CodeSizer: Why is that binary so big? (github.com)

291. ZTA：ゼロ・トークン・アーキテクチャ Lobste Comment

07-19 ZTA: Zero Token Architecture (www.youtube.com)

292. Thunderbird用Gitメールパッチレビューアドオン Lobste Comment

07-19 Git email patch review addon for Thunderbird (mccd.space)

293. シェイク・ブログ Lobste Comment

07-19 Shake Blog (abhin4v.github.io)

294. 最近、よく読んでいるお気に入りのブログはありますか？ Lobste Comment

07-19 What is your favorite blog to read recently? (lobste.rs)

295. Skredは、MIDI対応のシンセサイザーおよびドラムマシンの構築キットとなりました Lobste Comment

07-19 Skred is now a MIDI aware synth and drum machine construction kit (lobste.rs)

296. Alibaba SAIL向けTriton言語 Lobste Comment

07-19 Triton language for Alibaba SAIL (github.com)

297. 私のホームサーバーの死と再生 Lobste Comment

07-19 The death and rebirth of my home server (sgt.hootr.club)

298. エミュレーションのさらなる魅力――Windowsを起動できるIntel Itanium（IA-64）エミュレータ Lobste Comment

07-19 More emulation goodness, an Intel Itanium (IA-64) emulator that boots Windows (raymii.org)

299. 数学者たちは、数字を掛ける最も速い方法をいまだに知らない Lobste Comment

07-19 Mathematicians still don’t know the fastest way to multiply numbers (www.scientificamerican.com)

300. 運河の底にあるコンピューター Lobste Comment

07-19 The computer at the bottom of a canal (negroniventurestudios.com)