Lobste の最新の投稿 Lite

1. Linuxのマニュアルページに誤りがある、またしても別の箇所 Lobste Comment

19:18 yet another place where a linux man page is inaccurate (sebsite.pw)

2. Firefox Enterpriseのご紹介 Lobste Comment

19:06 Introducing Firefox Enterprise (blog.mozilla.org)

3. 私のゲームのプロシージャル対話システム Lobste Comment

18:50 My Game''s Procedural Dialogue System (www.youtube.com)

4. ESUG 2026 における Pulsar（新しい Smalltalk IDE） Lobste Comment

18:27 Pulsar at ESUG 2026 (new Smalltalk IDE) (blog.lorenzano.eu)

5. UAFからRCEへと変更されたもの Lobste Comment

17:44 A UAF turned RCE (daniel.haxx.se)

6. Linuxのロックダウンとハイバネーション（再） Lobste Comment

16:52 Linux Lockdown and Hibernation (again) (codon.org.uk)

7. AIR-LLM：RFコンピューティングを用いたメモリ不要のエッジLLM推論のための、無線によるAI重みのブロードキャスト Lobste Comment

16:45 AIR-LLM: Broadcasting AI Weights over Radio for Memory-Free Edge LLM Inference via RF Computing (arxiv.org)

8. レジャー社、ウォレットからの仮想通貨盗難の背景にスパイチップの埋め込みがあったことを確認 Lobste Comment

15:54 Ledger confirms spy chip implant behind wallet crypto thefts (www.bleepingcomputer.com)

9. ファンシーカールのサイト Lobste Comment

14:24 Fancy Curl Sites (nytpu.com)

10. AIモデルは、データセンターにアクセスしなくても自己複製できる可能性がある Lobste Comment

14:00 AI models may be capable of self-replicating without access to a datacenter (www.anthropic.com)

11. コンパイラのブートストラップは、想像以上に多くの要素に依存している Lobste Comment

13:34 Compiler bootstrapping depends on more than you might think (utcc.utoronto.ca)

12. 再帰の攻略 Lobste Comment

13:07 Conquering Recursion (nsl.com)

13. Apple：Safari に切り替える（Chrome から） Lobste Comment

12:18 Apple: Switch to Safari (from Chrome) (www.apple.com)

14. Bru：ブラウザからSMSを送信・閲覧 Lobste Comment

09:14 Bru: Send and read SMS from the browser (sverre.me)

15. 2026年メンテナー・サミット Lobste Comment

06:25 The 2026 Maintainers Summit (lwn.net)

16. まず公開鍵のハッシュ化をやめてください（あるいは：ML-DSAのµが気になります） Lobste Comment

06:01 Please stop hashing the public key first (or: ML-DSA''s µ annoys me) (blog.erincandescent.net)

17. Anthropicにおけるソース管理の再設計 Lobste Comment

04:37 Redesigning source control at Anthropic (www.anthropic.com)

18. Lix 2.96「Bingsu」のリリースのお知らせ Lobste Comment

05:17 Announcing Lix 2.96 “Bingsu” (lix.systems)

19. Zig トークナイザーの高速化（AVX-512 を使用） Lobste Comment

04:36 Accelerating the Zig Tokenizer (with AVX-512) (www.youtube.com)

20. フロントエンド操作が苦手な人向けのNixpkgs Lobste Comment

10-13 Nixpkgs for the frontend impaired (fzakaria.com)

21. 一般人向けのデータ指向設計 Lobste Comment

02:54 Data-oriented Design for Mortals (www.youtube.com)

22. ブラウザ上で（小規模な）言語モデルを使用してRAGを実行する Lobste Comment

10-13 Running RAG with a (small) language model in the browser (bart.degoe.de)

23. Ente Lockerは、出典を明記せずに私のコードをコピーしたのでしょうか？ Lobste Comment

10-13 Did Ente Locker copy my code without attribution? (fairscan.org)

24. uv-build を使用しないようお願い Lobste Comment

10-13 A plea not to use uv-build (blogs.gentoo.org)

25. 2026年のLLMの動向（現時点） Lobste Comment

10-13 2026 in LLMs (so far) (www.wearedevelopers.com)

26. 制作の容易さは、品質や価値の低下につながるのか？ Lobste Comment

10-13 Can Ease of Creation Lead to Decrease in Quality & Value? (pikuma.com)

27. Easylang：かつてのホームコンピュータ用BASICの精神を受け継いだ、シンプルなブラウザベースのプログラミング言語 Lobste Comment

10-13 Easylang: A Simple, Browser-Based Programming Language in the Spirit of the Old Home Computer BASIC (easylang.online)

28. モデルのバックドアは作成は簡単だが、確実に除去するのは難しい Lobste Comment

10-13 Model backdoors are easy to create and hard to reliably remove (equistamp.substack.com)

29. DataCube：Group-By、クロス集計、および小計を一般化したリレーショナル集計演算子 (1997) Lobste Comment

10-13 DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) (arxiv.org)

30. ウェブにはインタラクティブなリストが必要だ Lobste Comment

10-13 The web needs interactive lists (sarahmhigley.com)

31. 士気が回復するまで、元に戻す措置は継続される Lobste Comment

10-13 The reverts will continue until morale improves (peter.eisentraut.org)

32. NeXT上のLotus Improv Lobste Comment

10-13 Lotus Improv on the NeXT (stonetools.ghost.io)

33. 高速フーリエ変換 Lobste Comment

10-13 Faster Fourier Transforms (www.argmin.net)

34. デスクトップ・メタファーはどうなったのか？ Lobste Comment

10-13 What Happened to the Desktop Metaphor? (deadparrotbbs.com)

35. antccにおける-O2のペシミゼーションの追跡 Lobste Comment

10-13 Chasing a -O2 pessimization in antcc (386s.org)

36. 新しくて優れたソフトウェアは、一体どこにあるのでしょうか？ Lobste Comment

10-13 Where is all the new, good software? (www.natemeyvis.com)

37. Creusot 0.14.0 リリース - Rust 向け契約（Contracts for Rust）、形式的に証明済み Lobste Comment

10-13 Creusot 0.14.0 release - Contracts for Rust, formally proved (devlog.creusot.rs)

38. コントローラーを凍結させ、食品を解凍する：ダンフォス製冷凍用コントローラーの脆弱性を暴く Lobste Comment

10-13 Freeze the Controller, Defrost the Food: Uncovering Vulnerabilities in Danfoss Refrigeration Controllers (claroty.com)

39. 5,000億以上のトークンを処理した後：AIエージェントにFPSゲームの逆コンパイルをさせる Lobste Comment

10-13 500 Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter (momo5502.com)

40. ほんの少し速く、よりスリムなカール Lobste Comment

10-13 A slightly faster slimmer curl (daniel.haxx.se)

41. vfmaddrnd231pdって誰？ Lobste Comment

10-13 Who is vfmaddrnd231pd?? (purplesyringa.moe)

42. ヴィ・ハートの「ナビエ・ストークス方程式」に関する大特集記事 Lobste Comment

10-13 Vi Hart''s Big Navier-Stokes Post (www.patreon.com)

43. 不必要にセキュリティの高いハッシュ関数を使わないことで、Unrealエディタの動作を高速化する Lobste Comment

10-13 Speeding up the Unreal editor by… not using unnecessarily secure hash methods (larstofus.com)

44. Raspberry PiのLinux用ワイヤレス・コプロセッサとしてのESP32 Lobste Comment

10-13 ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor (hackaday.com)

45. C言語で書かれた最新のWebアプリ Lobste Comment

10-13 A modern web app in c (prophitt.me)

46. 一度に512バイト：IBM i セーブファイルのチェックサムの再構築 Lobste Comment

10-13 512 bytes at a time: reconstructing IBM i save-file checksums (blog.silentsignal.eu)

47. あなたのCは標準Cではありません Lobste Comment

10-13 your c is not standard c (sebsite.pw)

48. 最近（ソフトウェアに関して）目にするもの Lobste Comment

10-13 What I''ve been seeing lately (in software) (mei.puppycat.house)

49. nobloat/poll - 最小限の投票ツールの設計 Lobste Comment

10-13 nobloat/poll - designing a minimal poll tool (nobloat.org)

50. 1秒あたり数十ギガバイトのJSONを解析…Pythonで Lobste Comment

10-12 Parsing JSON at tens of gigabytes per second… in Python (lemire.me)

51. Googleで9万ドル相当のリモートコード実行の脆弱性を発見 Lobste Comment

10-12 Finding a 90,000 Remote Code Execution Vulnerability in Google (simonkoeck.com)

52. （ポスト量子）暗号における正しい解答 Lobste Comment

10-12 (Post-Quantum) Cryptographic Right Answers (words.filippo.io)

53. フランスのスーパーマーケットチェーン各社は、サイバー攻撃により冷蔵庫の稼働を停止せざるを得なかったと述べている Lobste Comment

10-12 French supermarket chains say cyberattack forced refrigerator shutdown (www.afp.com)

54. コードの内容がわからなくなってしまったときに、効果的にデバッグを行う方法 Lobste Comment

10-12 How to effectively debug when you no longer understand the code (copyconstruct.medium.com)

55. Rubyのワイマール時代を生きる Lobste Comment

10-12 Living in the Weimar era of Ruby (blog.julik.nl)

56. Zigにおける型安全なHTMLテンプレート機能 Lobste Comment

10-12 Type-safe HTML templating in Zig (lalinsky.com)

57. ライナス・トーバルズ氏、Claude Codeを活用してLinuxカーネルの大幅な改良に取り組んでいる Lobste Comment

10-12 Linus Torvalds Working On A Hefty Linux Kernel Improvement With Claude Code (www.phoronix.com)

58. 指紋は、新しいクッキーのようなものだ Lobste Comment

10-12 Fingerprints are the new cookies (royfish.dev)

59. iPhone 11でLinuxが起動する Lobste Comment

10-12 Linux boots on iPhone 11 (www.patreon.com)

60. PK-88 TNC のハードウェア改造 Lobste Comment

10-12 PK-88 TNC Hardware Modifications (blog.thelifeofkenneth.com)

61. ZX Spectrum用のデモシーン・イントロの作成 Lobste Comment

10-12 Writing a Demoscene Intro for the ZX Spectrum (www.markround.com)

62. Kubernetes ノードのビンパッキングの実装 Lobste Comment

10-12 Implementing kubernetes node bin packing (blog.costgraph.ai)

63. 『Brood War』に格闘ゲームのネットコードを実装しました Lobste Comment

10-12 We Put Fighting Game Netcode in Brood War (www.youtube.com)

64. 3-2-1 restic と Backblaze B2 を用いたバックアップ戦略 Lobste Comment

10-12 3-2-1 Backup Strategy with restic and Backblaze B2 (chuck.is)

65. LLMデコンパイラが再コンパイルを多く行い、保存する情報を少なくする場合 Lobste Comment

10-12 When LLM Decompilers Recompile More and Preserve Less (arxiv.org)

66. リファブ・ウィークエンド II：Alpha Micro Eagle 300 とその仲間たち Lobste Comment

10-12 Refurb weekend II: Alpha Micro Eagle 300 and friends (oldvcr.blogspot.com)

67. 下線用のCSS Lobste Comment

10-12 CSS for underlines (www.rubenerd.au)

68. 「AI」は単なるツールではない Lobste Comment

10-12 ''AI'' is Not a Tool (www.linkedin.com)

69. 「Rustで6年間かけてゲームを開発し、つい先日リリースしました。AMA」からのハイライト（2024年） Lobste Comment

10-12 Highlights from "I spent 6 years developing a game in Rust and it just shipped, AMA" (2024) (gamesbymason.com)

70. Linux用のXboxコントローラーとしてのTello製GameSir T1dコントローラー Lobste Comment

10-12 Tello''s GameSir T1d controller as a Linux Xbox controller (blog.jacq.cc)

71. D-Busの地獄 Lobste Comment

10-12 D-Bus Hell (dbushell.com)

72. 次世代の借用チェッカー。Rustの借用チェック機能をそのまま置き換えることができる Lobste Comment

10-12 The next-gen borrow checker, a drop-in replacement for Rust borrow checking (gist.github.com)

73. React Compiler を使って React コンテキストのオーバーヘッドを低減する Lobste Comment

10-12 Making React Context Cheap with React Compiler (jjenzz.com)

74. 申し訳ありませんが、やはりご自身で考えていただく必要があります Lobste Comment

10-12 I''m sorry, but you still have to think (itsallaboutthebit.com)

75. 多言語ドキュメントサイトの「ワイルド・ウェスト」 Lobste Comment

10-12 The wild west of polyglot docs sites (technicalwriting.dev)

76. C言語におけるアリーナアロケータ Lobste Comment

10-12 Arena Allocators in C (eliasebner.com)

77. エイリアスの伝播について、最終的に私たちがとった対応 Lobste Comment

10-12 What we ended up doing about alias propagation (futhark-lang.org)

78. まだここにいるよ……ただ、ここには書いていないだけ Lobste Comment

10-11 I''m still around.. I''m just not writing here (rachelbythebay.com)

79. Quaesito：友達とのクイズナイトに最適な、セルフホスト型アプリ Lobste Comment

10-11 Quaesito: a self-hosted app for quiz nights with friends (github.com)

80. Valenのメモリセーフティ：新しいタイプの借用チェック Lobste Comment

10-11 Valen''s Memory Safety: A New Kind of Borrow Checking (verdagon.dev)

81. Eufyのドアベルとベースステーションのハッキング Lobste Comment

10-11 Hacking the Eufy Doorbell and Base Station (adepts.of0x.cc)

82. GitHubの何が問題なのか Lobste Comment

10-11 What''s Wrong with GitHub (www.gnu.org)

83. Gitのコミットのサイズはどれくらい？ - ratfactor Lobste Comment

10-11 How big is a Git commit? - ratfactor (ratfactor.com)

84. JSON Tiles：半構造化データに対する高速分析 (2021) Lobste Comment

10-11 JSON Tiles: Fast Analytics on Semi-Structured Data (2021) (db.cit.tum.de)

85. LineageOS 24.0 がリリースされました Lobste Comment

10-11 LineageOS 24.0 released (lineageos.org)

86. JSONの細分化がLogfireのクエリ速度を1000倍向上させている理由 Lobste Comment

10-11 How shredding JSON is giving Logfire 1000x query speedups (pydantic.dev)

87. 一貫性は局所的な性質ではない Lobste Comment

10-11 Consistency is not a localized property (n-the-loop.com)

88. NumPy 2.5 で np.searchsorted の処理速度を最大 25 倍高速化 Lobste Comment

10-11 Making np.searchsorted up to 25 Faster in NumPy 2.5 (blog.scientific-python.org)

89. バイト言語モデル：スケーリング、創発的抽象化、および情報の配分 Lobste Comment

10-11 Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation (arxiv.org)

90. スイッチド・キャパシタ方式を採用した1980年代のフィルタチップの内部 Lobste Comment

10-11 Inside a 1980s filter chip that uses switched capacitors (www.righto.com)

91. GTAの乗り物を支える2D物理エンジンプロトタイプ Lobste Comment

10-11 The 2D physics prototype behind GTA’s vehicles (patkerr.co.uk)

92. Kiesel 開発ブログ #15: バージョン 0.4.0 のリリース Lobste Comment

10-11 Kiesel Devlog #15: Release 0.4.0 (linus.dev)

93. SNTPings：ICMPv6 を使用してキャンバスに描画する Lobste Comment

10-11 SNTPings, draw on a canvas using ICMPv6 (pings.utwente.io)

94. 循環的な特性実装の「外部化された」証明が機能しない理由 Lobste Comment

10-11 Why ''externalized'' proofs of cyclic trait impls does not work (smallcultfollowing.com)

95. エストニアの企業への脆弱性の報告 Lobste Comment

10-10 Reporting vulnerabilities to Estonian companies (www.youtube.com)

96. culpert - スパン認識機能と回帰テストツールを備えたRustのヒーププロファイリング Lobste Comment

10-10 culpert - rust heap profiling with span awareness and regression tooling (github.com)

97. dasSDL3: daslang 向けの SDL3 標準準拠のバインディング Lobste Comment

10-10 dasSDL3: Idiomatic SDL3 bindings for daslang (spiiin.github.io)

98. コンテンツにぴったり収まるiframe Lobste Comment

10-10 Iframes that finally fit their content (alfy.blog)

99. 火星探査機「パスファインダー」の優先順位反転バグ：実際に何が起きたのか Lobste Comment

10-10 Mars Pathfinder Priority Inversion Bug: What Really Happened (nerdyelectronics.com)

100. 「電球型コンピュータ」：プロジェクターを用いた空間・アンビエント・コンピューティングの再構築 Lobste Comment

10-10 The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors (lightbulbcomputer.com)

101. AIに関して「避けられない」と言えることはほとんどない Lobste Comment

10-10 There''s little that''s "inevitable" about AI (deadsimpletech.com)

102. Voxlocal：Rustで書かれたミニマルな音声エージェント Lobste Comment

10-10 Voxlocal: a minimal voice agent written in Rust (samkhawase.com)

103. Androidにおける1クリックMMIの実行 Lobste Comment

10-10 1-click MMI execution in Android (karansaini.com)

104. ああ、どうやら標準Cでは、文字列から浮動小数点数への変換エラーをプラットフォームに依存せずにチェックすることはできないらしい Lobste Comment

10-10 oh, apparently it''s not possible to portably check for string-to-float conversion errors in standard c (sebsite.pw)

105. TypeScript コンパイラへの Go の defer の追加 Lobste Comment

10-10 Adding Go''s defer to the TypeScript Compiler (healeycodes.com)

106. Linux x32 ABI の削除を開始するためのパッチが更新されました Lobste Comment

10-10 Patches Updated To Begin Removing The Linux x32 ABI (www.phoronix.com)

107. 人は誰も孤島ではない Lobste Comment

10-10 No Man Is an Island (borretti.me)

108. ペネトレーションテスターと防御担当者向け「Plug&Pwn」実践ガイド Lobste Comment

10-10 A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (blog.scrt.ch)

109. ソフトウェアを取り巻くコミュニティの重要性 Lobste Comment

10-10 The importance of communities around software (lumi.codeberg.page)

110. CloudflareによるDenoのサービス終了は、単なる広報発表にとどまらないニュースだ Lobste Comment

10-10 Cloudflare shutting down Deno is news, not just PR (lobste.rs)

111. 「平等」の飽和：ある「未完」のプロジェクト Lobste Comment

10-10 Equality Saturation: An “Incomplete” Project (blog.sigplan.org)

112. Lifeguard：Pythonの遅延インポートとの互換性を確認するための静的解析ツール Lobste Comment

10-10 Lifeguard: A static analyzer for Python lazy imports compatibility (github.com)

113. 共有ライブラリの作成方法 (2011) Lobste Comment

10-10 How To Write Shared Libraries (2011) (www.cs.dartmouth.edu)

114. ブランチフリーコード内のブランチ Lobste Comment

10-10 Branches in branch-free code (00f.net)

115. ベクトル化されたCLZおよびCTZ Lobste Comment

10-10 Vectorized CLZ and CTZ (purplesyringa.moe)

116. 数学分野におけるLLMの2つの未来 Lobste Comment

10-10 Two Futures for LLMs in Mathematics (wiredream.com)

117. Python 3.15.0 Lobste Comment

10-10 Python 3.15.0 (www.python.org)

118. Unison Cloudがオープンソース化されました Lobste Comment

10-09 Unison Cloud is now open source (www.unison-lang.org)

119. 「ロボット」は社会的構築物である：なぜ食器洗い機はロボットではないのか Lobste Comment

10-09 "Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (robotgirlgang.com)

120. 4つの定理証明器をめぐる物語、あるいは：Isabelle/HOL、Lean、HOL4、Agdaの（かなり主観的な）比較 Lobste Comment

10-09 A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (blueberrywren.dev)

121. なぜコーディングエージェントはそんなに間抜けなのか？ Lobste Comment

10-09 Why Are Coding Agents So Dumb? (mtlynch.io)

122. 「スピンロックは有害である」（2020年） Lobste Comment

10-09 Spinlocks Considered Harmful (2020) (matklad.github.io)

123. Supabaseのディープティ・シギレッディ Lobste Comment

10-09 Deepthi Sigireddi from Supabase (theconsensus.dev)

124. DenoがCloudflareに加わります Lobste Comment

10-09 Deno is joining Cloudflare (deno.com)

125. GuixにおけるHIPとROCmの第一級オブジェクトとしての扱い Lobste Comment

10-09 HIP and ROCm as first-class citizens in Guix (hpc.guix.info)

10-09 On modern hardware, who handles what bit of hardware state can be unclear (utcc.utoronto.ca)

127. Swiftで書かれた最小限のカーネル。QEMU上で動作する。 Lobste Comment

10-09 A minimal kernel in Swift, running in QEMU (carette.xyz)

128. テーマはたくさんありますが、これはあなたのためのものです Lobste Comment

10-09 There are many themes, but this one is yours (earendil.com)

129. あらゆるものをリバースエンジニアリングする Lobste Comment

10-09 Reverse Engineer Anything (github.com)

130. 超高速SPIフラッシャーの製作 Lobste Comment

10-09 The making of a very fast SPI flasher (localcc.cc)

131. Telegram Desktop：IPCインジェクションによるワンクリックでのアカウント乗っ取り Lobste Comment

10-09 Telegram Desktop: one-click account takeover via IPC injection (beaksec.github.io)

132. プログラミングは特別なことではない Lobste Comment

10-09 Programming Isn’t Special (blog.glyph.im)

133. C言語における未定義挙動の低減 Lobste Comment

10-09 Reducing undefined behavior in the C language (lwn.net)

134. en-html.org は詐欺サイトです Lobste Comment

10-09 en-html.org is a Scam Site (etbe.coker.com.au)

135. さらに詳しく：WindowsとMacのキーボードの違い Lobste Comment

10-09 Deeper dive: Keyboard differences between Windows and Macs (unsung.aresluna.org)

136. i686 Windows ターゲットを std-only に降格 Lobste Comment

10-09 Demoting i686 Windows targets to std-only (blog.rust-lang.org)

137. B-ツリーの復活：高速かつページ単位で管理可能なノード配置の設計 Lobste Comment

10-09 B-Trees Are Back: Engineering Fast and Pageable Node Layouts (www.cs.cit.tum.de)

138. プログラミング言語「Goose」 Lobste Comment

10-08 The Goose Programming Language (github.com)

139. Bevy 0.20 Lobste Comment

10-09 Bevy 0.20 (bevy.org)

140. ルートキーのローリング（更新） Lobste Comment

10-09 Rolling the Root Key (Update) (ispcol.potaroo.net)

141. 2027年2月から64日間の証明書有効期間が導入されます Lobste Comment

10-09 64-Day Certificate Lifetimes Coming Feb 2027 (letsencrypt.org)

142. DVDメニューの美しさ Lobste Comment

10-08 Beauty in DVD Menus (vale.rocks)

143. レトロゲームで解説する「継承よりも構成」 Lobste Comment

10-09 Composition over Inheritance Explained using Retro Games (www.youtube.com)

144. 翻訳の過程で失われたナビエ・ストークス方程式：AIによる自動形式化のリーン検証が、正しい自然言語による証明を保証しない理由 Lobste Comment

10-09 Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs (arxiv.org)

145. Hetzner Cloudのネットワークスタックの沿革 Lobste Comment

10-08 The history of the Hetzner Cloud network stack (www.hetzner.com)

146. Rustのエラー処理における欠けていたピース Lobste Comment

10-08 The Missing Piece in Rust Error Handling (mcmah309.github.io)

147. カズアリナ・リナックス実験の終了 Lobste Comment

10-08 Ending the Casuarina Linux Experiment (casuarina.org)

148. 読み込みが中心となるワークロードにおけるRwLockのパフォーマンス上のコスト Lobste Comment

10-08 The Performance Cost of RwLock in Our Read-Heavy Workload (pranitha.dev)

149. Guixの拡張 Lobste Comment

10-08 Extending Guix (guix.gnu.org)

150. 「考えること」が趣味になる Lobste Comment

10-08 Thinking will become a hobby (www.spinellis.gr)

151. specialArgs は有害であると考えられている Lobste Comment

10-08 specialArgs considered harmful (ysun.co)

152. 「&」の向こう側 Lobste Comment

10-08 Beyond the & (lwn.net)

153. Shopifyはネイティブに戻りました。より大きな変化は、形式検証にあると思います。 Lobste Comment

10-08 Shopify went back to native. I think the bigger shift is formal verification (martinalderson.com)

154. SPA 対ハイパーメディア：PLANKA を基準とした共同カンバンボードの比較 Lobste Comment

10-08 SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA (zweiundeins.gmbh)

155. Gentooのインフラストラクチャのスポンサーを募集しています Lobste Comment

10-08 Gentoo infrastructure sponsors wanted (www.gentoo.org)

156. GitリポジトリをSHA-256へ移行する Lobste Comment

10-08 Migrating Git repos to SHA-256 (exa.y2k.diy)

157. 柔術 (jj) 0.46.0 Lobste Comment

10-08 jujutsu (jj) 0.46.0 (github.com)

158. 言語モデルの時代におけるClojure Lobste Comment

10-08 Clojure in the Age of Language Models (yogthos.net)

159. エージェント・スウォームを用いたプロパティ検証 Lobste Comment

10-08 Property Testing with Agent Swarms (recursion.wtf)

160. インターネットを支えている人々 Lobste Comment

10-08 The people holding up the internet (sheets.works)

161. 未定義のオペコード ud0 と ud1 に、どうしてパラメータがあるのでしょうか？ Lobste Comment

10-08 How can undefined opcodes ud0 and ud1 have parameters? (devblogs.microsoft.com)

162. Googleからインデックスから削除されてしまいました Lobste Comment

10-08 I''ve Been Deindexed by Google (kennyqin.com)

163. 新gTLDプログラム：2026年ラウンドの申請 Lobste Comment

10-08 New gTLD Program: 2026 Round applications (newgtldprogram-aps.icann.org)

164. APIに関する愚痴 Lobste Comment

10-08 A rant about APIs (dev.clintonblackburn.com)

165. モンテカルロシミュレーション Lobste Comment

10-08 Monte-Carlo simulations (eli.thegreenplace.net)

166. AIを執筆アシスタントとして活用することについて Lobste Comment

10-08 On using AI as a writing assistant (ninashamsi.com)

167. 「マソカリプス」 Lobste Comment

10-08 The Mathocalypse (scottaaronson.blog)

168. アポロ計画のソフトウェア開発を率いたコンピューティング界の先駆者、マーガレット・ハミルトン氏が90歳で死去した Lobste Comment

10-08 Margaret Hamilton, computing pioneer who led software development for the Apollo program, dies at 90 (news.mit.edu)

169. 今では、当社の住宅はすべて砂地の上に建てられています Lobste Comment

10-08 All our houses are built on sand now (po-ru.com)

170. 海底ケーブルが不通になったとき：台湾の国際インターネット接続遮断のリスクを理解し、備える Lobste Comment

10-08 When Submarine Cables Go Dark: Understanding and Preparing for the Risks of Taiwan''s International Internet Disconnection (resilience.ocf.tw)

171. ソフトウェア開発者の状況は良くない Lobste Comment

10-08 Software developers are not okay (www.baldurbjarnason.com)

172. GitのRefについて Lobste Comment

10-08 On Git Refs (matklad.github.io)

173. C言語で関数を名前を指定せずに呼び出す Lobste Comment

10-08 Calling a function in C without naming it (wiro.world)

174. ratのミニマルなレジスタ割り当てアルゴリズム Lobste Comment

10-08 rat''s minimal register allocator (hexrat.cc)

175. ゼロ化、その1：データを消去すると事態が悪化する可能性がある Lobste Comment

10-08 Zeroization, part 1: Wiping can make things worse (00f.net)

176. 小規模なコミュニティ向けのディストリビューション構築ツールの作成 Lobste Comment

10-08 Creating distro build tooling for a small community (chimera-linux.org)

177. AI・MLの学習内容を飛躍的に深めるのに最適な書籍・講座・チャンネル Lobste Comment

10-07 Best Books/Courses/Channels to Leapfrog on AI/ML Material (lobste.rs)

178. 未修正のcurlの脆弱性が22件 Lobste Comment

10-07 Twenty-two pending curl vulnerabilities (daniel.haxx.se)

179. RustプログラマーのためのC言語 Lobste Comment

10-07 C for Rust Programmers (bd103.dev)

180. Chromiumのハードニングガイド Lobste Comment

10-07 Chromium Hardening Guide (rknf404.github.io)

181. 展開されたコード Lobste Comment

10-07 Unrolled code (noteflakes.com)

182. mapsnapのご紹介：歴史的なサンボーン保険地図のための自動地理参照機能 Lobste Comment

10-07 Introducing mapsnap: Automated Georeferencing for Historic Sanborn Insurance Maps (www.danvk.org)

183. ソフトウェアブログにおけるアンチパターン Lobste Comment

10-07 Anti-Patterns in Software Blogging (refactoringenglish.com)

184. バグではなかったデータ競合（そしてバグだったもの） Lobste Comment

10-07 The Data Race That Wasn''t a Bug (and the One That Was) (victoriametrics.com)

185. Goにおけるエスケープ解析：スタックかヒープか？ - YouTube Lobste Comment

10-07 Escape Analysis in Go: Stack or Heap? - YouTube (www.youtube.com)

186. Adobe Photoshopを純粋なRustで実装した、オープンソースのクリーンルーム再実装版 Lobste Comment

10-07 An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust (github.com)

187. ゲーム内オーバーレイの仕組み（2022年） Lobste Comment

10-07 How In-Game Overlays Work (2022) (fredemmott.com)

188. ChromeでのJPEG XLの送信 Lobste Comment

10-07 Shipping JPEG XL in Chrome (developer.chrome.com)

189. Mojoコンパイラの内部 Lobste Comment

10-07 Inside the Mojo compiler (www.youtube.com)

190. Koreaderの読書統計と、間隔反復学習のためのハイライトの同期 Lobste Comment

10-07 Koreader reading statistics and highlights sync for spaced repetition (blog.zm.is)

191. バッチ処理と集計機能によるHTMLストリーミングの高速化 Lobste Comment

10-07 Faster streaming HTML with batches and aggregates (andersmurphy.com)

192. 『スカイリム』における「Magelight XP」の不具合について解説 Lobste Comment

10-07 Explaining the Magelight XP glitch in Skyrim (blog.alexbeals.com)

193. json2dir: ディレクトリ形式のアーカイブを、人間が読みやすい形式に変換する Lobste Comment

10-07 json2dir: Directory archives, made human-readable (github.com)

194. ヘッダーに注目！ httpd と relayd の新機能 Lobste Comment

10-07 Headers Up! What''s New in httpd and relayd (rsadowski.de)

195. AIコーディングが嫌われる理由 Lobste Comment

10-07 Reasons to dislike AI coding (www.sicpers.info)

196. Python 3.15の処理速度はどれくらいですか？ Lobste Comment

10-07 How fast is Python 3.15? (blog.miguelgrinberg.com)

197. OpenAIが数学研究のカタログを公開 Lobste Comment

10-07 OpenAI shares mathematics research catalogue (github.com)

198. 「ランダム」が実際には十分にランダムでない場合 Lobste Comment

10-07 When random is not actually random enough (ersc.io)

199. 「Raspberry Pi Desktop」がPCおよびMac向けにリリースされました Lobste Comment

10-07 Raspberry Pi Desktop now available for PC and Mac (www.raspberrypi.com)

200. COSMIC DEはKDE Plasmaをモッギングしているのでしょうか？ Lobste Comment

10-07 Is COSMIC DE mogging KDE Plasma? (thelibre.news)

201. Burn 0.22.0：ビルド速度の向上、拡張機能の簡素化、そしてよりスマートな自動チューニング Lobste Comment

10-07 Burn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning (tracel.ai)

202. x32におけるジャネット：32ビットポインタ、64ビット並みの速度、RAM使用量を25％削減 Lobste Comment

10-07 Janet on x32: 32-bit Pointers, 64-bit Speed, 25% Less RAM (alexalejandre.com)

203. プログラムステータス用ターミナルプロトコル（OSC 7501） Lobste Comment

10-07 A Terminal Protocol for Program Status (OSC 7501) (mitchellh.com)

204. 修正プログラムに含まれるバグを修正する方法 Lobste Comment

10-07 How to fix a bug in a fix (projectzero.google)

205. あの時、ノートパソコン泥棒と一緒に仕事をした話 Lobste Comment

10-07 That Time I Worked With a Laptop Thief (blog.pipetogrep.org)

206. Windows I/O マネージャーの内部：読み取り I/O 要求がどのように初期化されるかを詳しく解説 Lobste Comment

10-07 Inside the Windows I/O Manager: Deep dive into how read I/O requests are initialized (winware31.blogspot.com)

207. この騒動が収まった後のために――持続可能なウェブ業界でのキャリア Lobste Comment

10-07 A sustainable web career, for when all this blows over (dbushell.com)

208. Pared - SIPを無効にすることなく、不要なApple Intelligenceモデルを削除する Lobste Comment

10-07 Pared - remove unwanted Apple Intelligence models without disabling SIP (github.com)

209. Perseus：クラウドストレージシステム向けのフェイルスロー検出フレームワーク (2023) Lobste Comment

10-07 Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems (2023) (www.usenix.org)

210. 依存関係を注入すべき理由 Lobste Comment

10-07 Why We Should Inject Dependencies (gist.github.com)

211. 最近のccTLDレジストリ乗っ取り事件に対するChromeの対応 Lobste Comment

10-07 Chrome''s Response to Recent ccTLD Registry Hijacks (blog.google)

212. GentooのChromiumパッケージの最終処理 Lobste Comment

10-07 Last rites for Gentoo''s Chromium package (lwn.net)

213. Brut――Unixツール向けの「過激な」ルーター Lobste Comment

10-07 Brut, the Brutal Router for Unix Tools (brut.sh)

214. kahawai - オープンソースのモジュール式メディアシステム Lobste Comment

10-06 kahawai - an open source, modular media system (github.com)

215. DOS：システムの稼働時間の確認 Lobste Comment

10-06 DOS: Determining system uptime (movq.de)

216. Percona Server および MySQL におけるスレッドプール（第1部） Lobste Comment

10-05 Thread Pool in Percona Server and MySQL (Part 1) (www.percona.com)

217. Polars 2.0 のリリース Lobste Comment

10-06 Release of Polars 2.0 (pola.rs)

218. Codemodeとは Lobste Comment

10-06 What is Codemode (lucumr.pocoo.org)

219. 双方向型スライシング Lobste Comment

10-06 Bidirectional Type Slicing (arxiv.org)

220. Zig を使って Lua を拡張する 1：Hello World Lobste Comment

10-06 Extend Lua with Zig 1: Hello World (www.robbielyman.com)

221. AIが人類にとって最大の脅威となった Lobste Comment

10-06 AI Just Became Humanity’s Biggest Threat (www.youtube.com)

222. Montray - systemd サービスの状態を示すトレイアイコン Lobste Comment

10-06 Montray - a tray icon for systemd service health (github.com)

223. セルフホスティングを利用している皆さん、どんなサービスを使っていますか？ Lobste Comment

10-06 Email Self Hosters - what are you using? (lobste.rs)

224. arm64 向け特有の 2 つのコンパイルエラーが、curl に脆弱性を引き起こしている Lobste Comment

10-06 Two arm64-specific miscompiles induce vulnerabilities in curl (mastodon.social)

225. なぜCommon Lispが今、最高のプログラミング言語なのか Lobste Comment

10-06 Why Common Lisp Is Now the Best Programming Language (www.vivienhenz.com)

226. hutch：Emacs でのローカルコードレビュー ― 少し取り残された人たちのための Lobste Comment

10-06 hutch: local code reviews in emacs for the mildly disenfranchised (kitallis.in)

227. なぜJavaに継続が導入されるのか（2019年） Lobste Comment

10-06 Why Continuations are Coming to Java (2019) (www.infoq.com)

228. ループを展開して、シェーダーの処理速度を10倍に高速化する Lobste Comment

10-06 Unroll a loop, make shader 10x faster (aras-p.info)

229. 私たちが知っているようなオープンソースは死んだ Lobste Comment

10-06 Open Source as We Know It Is Dead (jross.me)

230. Cloudflareがコンテナにおけるテナント間データ漏洩の脆弱性にどのように対処したか Lobste Comment

10-06 How Cloudflare addressed a cross-tenant data exposure vulnerability in Containers (blog.cloudflare.com)

231. ドストエフスキー：余分なマージの適応的除去による、LSMツリーベースのキーバリューストアにおける空間・時間のトレードオフの改善 Lobste Comment

10-06 Dostoevsky: Better Space-Time Trade-Offs for LSM-Tree Based Key-Value Stores via Adaptive Removal of Superfluous Merging (nivdayan.github.io)

232. メールサーバーのSPF、DKIM、TLSA、TLS設定を確認するためのGo言語ツール Lobste Comment

10-06 Golang tool to check SPF, DKIM, TLSA, and TLS settings for mailservers (git.sig-io.nl)

233. spoonful：Nixで書かれた静的サイトジェネレータ Lobste Comment

10-06 spoonful: static site generator written in Nix (tangled.org)

234. エフェクトシステムは必要ありません Lobste Comment

10-06 You don''t need an effect system (burningwitness.github.io)

235. Async Rust：スケジューラはどこにあるのか？ Lobste Comment

10-06 Async Rust: Where does the scheduler live? (herecomesthemoon.net)

236. Gleamは、もはやErlangソースコードにコンパイルされなくなりました Lobste Comment

10-06 Gleam doesn''t compile to Erlang source anymore (gleam.run)

237. Mold 3.0.0 がリリースされました Lobste Comment

10-05 Mold 3.0.0 Released (github.com)

238. HaskellでGTKアプリケーションを作成する、その1 Lobste Comment

10-05 Making a GTK application in Haskell, part 1 (floreal.tech)

239. Steamフレーム上のNix Lobste Comment

10-05 Nix on the Steam Frame (johns.codes)

240. elm v1 に向けた新たな一歩 Lobste Comment

10-05 Another step towards elm v1 (elm-lang.org)

241. Goツールチェーンとの連携 Lobste Comment

10-05 Hooking into the Go Toolchain (internals-for-interns.com)

242. ファクターの概要 Lobste Comment

10-05 Factor Overview (re.factorcode.org)

243. 一時的なテスト Lobste Comment

10-05 Ephemeral testing (lemire.me)

244. コマンチ族の地形図のリバースエンジニアリング Lobste Comment

10-05 Reverse Engineering Comanche Terrain Maps (pikuma.com)

245. オリジナルの『Doom』をSQLに移植しました Lobste Comment

10-05 We ported the original Doom to SQL (cedardb.com)

246. デノとの友情は終わったけど、今はノードが僕の親友だ Lobste Comment

10-05 Friendship ended with Deno, now Node is my best friend (dbushell.com)

247. Jekyllに代わる、新しく特注の静的サイトジェネレータ Lobste Comment

10-05 A new, bespoke static site generator to replace Jekyll (nullprogram.com)

248. Podman rootless で docker-compose を使用する Lobste Comment

10-05 Using docker-compose with Podman rootless (elou.world)

249. 「Flirt」がオープンソースになりました Lobste Comment

10-05 Flirt is now Open-Source (blog.buenzli.dev)

250. タフテの剃刀：データ・インク比に関するインタラクティブガイド Lobste Comment

10-05 Tufte''s Razor: an interactive guide to the data-ink ratio (tuftesrazor.scienceux.org)

251. 出典：[email protected] - 任意のApple iCloud IDのなりすまし Lobste Comment

10-05 From: [email protected] - Spoofing Arbitrary Apple iCloud Identities (sec-consult.com)

252. コンピュートリソースを無駄にしている Lobste Comment

10-05 You''re Leaving Compute on the Table (nishantjosh.dev)

253. 安らかに眠れ、ベクターデータベース Lobste Comment

10-05 RIP, vector database (turbopuffer.com)

254. クロードはこう言っている Lobste Comment

10-05 Claude Says (ohhfishal.net)

255. 「元に戻す」機能の実装 - Computerphile Lobste Comment

10-05 Implementing Undo - Computerphile (www.youtube.com)

256. 大手放送グループが地上波テレビの買収を図っている。我々はこれを守らなければならない Lobste Comment

10-05 Broadcasting conglomerates are attempting a takeover of over-the-air television. We must defend it (place.reeseric.ci)

257. ジェネシス Lobste Comment

10-05 Jenesis (jenesis.build)

258. セマンティックコード検索のためのRAGパイプラインの構築 Lobste Comment

10-05 Building a RAG Pipeline for Semantic Code Search (blog.jetbrains.com)

259. E-Graphsの洗練 Lobste Comment

10-05 Refinement E-Graphs (www.philipzucker.com)

260. コンセンサス型ストレージのためのプロトコル対応型復旧 (2018) Lobste Comment

10-05 Protocol-aware recovery for consensus-based storage (2018) (www.usenix.org)

261. ncdu: NCurses ディスク使用量表示ツール（更新版フォーク） Lobste Comment

10-05 ncdu: NCurses Disk Usage (an updated fork) (github.com)

262. Iroh グローバルコンテンツディスカバリー Lobste Comment

10-05 Iroh global content discovery (www.iroh.computer)

263. SSHとnginxを用いたセルフホスト型HTTPトンネル Lobste Comment

10-05 Self-hosted HTTP tunnels with SSH and nginx (vincent.bernat.ch)

264. Goコンパイラを改造して、IPv4からIPv6へのマッピングを効率化する Lobste Comment

10-05 Hacking the Go compiler to efficiently map IPv4 to IPv6 (vincent.bernat.ch)

265. git-sim によって描かれた、アニメーション付きでカスタマイズ可能な Git チートシート Lobste Comment

10-05 An animated, customizable Git cheat sheet drawn by git-sim (initialcommit.com)

266. ソロー BASIC Lobste Comment

10-05 Thoreau BASIC (thoreaubasic.com)

267. CLIからのFlatpakの使い勝手は最悪だ Lobste Comment

10-04 Flatpak from the CLI sucks (kowalski7cc.xyz)

268. Obelisk 0.42：耐久性の高いエージェント、階層型サンドボックス Lobste Comment

10-04 Obelisk 0.42: Durable Agents, Layered Sandboxes (obeli.sk)

269. NetBSDにおけるracoon2 IKEデーモンの改善と安定化 Lobste Comment

10-04 Improving and Stabilizing the racoon2 IKE Daemon in NetBSD (blog.netbsd.org)

270. 「真」の補集合は「真」である。ただし、それが「偽」である場合は除く。 Lobste Comment

10-04 The complement of true is true, except when it''s false (dryperspective.github.io)

271. JavaScriptエンジンにおけるJITの脆弱性に関する、素人向けの入門ガイド Lobste Comment

10-04 A Mere Mortal''s Introduction to JIT Vulnerabilities in JavaScript Engines (trustfoundry.net)

272. grubby：Rubyで書かれたGitリポジトリ用の静的サイトジェネレータ Lobste Comment

10-04 grubby: static site generator for git repos written in Ruby (git.btxx.org)

273. 12のパラダイム（中立条件と人間によるプライミング条件を各1回ずつ）における規範的スコアに基づくモデルの順位付け Lobste Comment

10-04 Models ranked by normative score across twelve paradigms, once neutral and once human-primed (cognit.rajtilak.tech)

274. 当社のRISC-Vエミュレータ「PasRISCV」 Lobste Comment

10-04 Our RISC-V emulator PasRISCV (againstallodds.games)

275. ほぼすべての項目について、デフォルトの厳格な予算上限を設ける必要があるでしょう Lobste Comment

10-04 We’re going to need default hard budget caps on pretty much everything (simonwillison.net)

276. Kolibri：主権型オープンウェイトモデル Lobste Comment

10-04 Kolibri: A Sovereign Open-Weight Model (aleph-alpha.com)

277. Rustのderiveは、多くの場合インライン化を意味します Lobste Comment

10-04 Rust''s derive often implies inline (yossarian.net)

278. 他の依存関係更新ツールよりも「Renovate」をおすすめする理由（2024年） Lobste Comment

10-04 Why I recommend Renovate over any other dependency update tools (2024) (www.jvt.me)

279. なぜ、もっと多くの開発者が「このプラットフォームを活用」しないのでしょうか？ Lobste Comment

10-04 Why don’t more developers "use the platform"? (nolanlawson.com)

280. カスタマイズ：動的型付けオブジェクト指向プログラミング言語「SELF」のためのコンパイラ技術の最適化 (1989) Lobste Comment

10-04 Customization: Optimizing Compiler Technology for SELF, a Dynamically-Typed Object-Oriented Programming Language (1989) (dl.acm.org)

281. Androidにおけるシステムレベルの広告ブロック Lobste Comment

10-04 System-level ad-blocking in Android (kevinboone.me)

282. 『Rust』、病めるときも健やかなるときも Lobste Comment

10-04 Rust, In Sickness & In Health (www.youtube.com)

283. VPSにRuby on Railsをデプロイする Lobste Comment

10-04 Deploy Ruby on Rails on a VPS (rubymadscience.com)

284. BSides Orlando 2026 バッジ Lobste Comment

10-04 BSides Orlando 2026 Badge (github.com)

285. LinuxおよびWindows向け「Orion」の最新情報 Lobste Comment

10-03 An Update on Orion for Linux and Windows (blog.kagi.com)

286. 「ソフトウェア品質の時代」か、それとも「頭隠して尻隠さずの時代」か？ Lobste Comment

10-03 The Era of Software Quality, or the Era of Ostriches? (blogs.gnome.org)

287. 『Cyclone Scheme コンパイラの作成』（2017年） Lobste Comment

10-03 Writing the Cyclone Scheme Compiler (2017) (justinethier.github.io)

288. 2スタック・スライディングウィンドウ集計 Lobste Comment

10-03 Two-Stack Sliding-Window Aggregation (orlp.net)

289. Go JSON v2 への移行：Go 1.27 で動作しなくなる点 Lobste Comment

10-03 Go JSON v2 Migration: What Breaks in Go 1.27 (importstatic.com)

290. C2PAを使って時間をうまく活用する方法 Lobste Comment

10-03 How to Hack Time, With C2PA (www.da.vidbuchanan.co.uk)

291. グレッグ・クロー・ハートマン - LLM時代のセキュリティ Lobste Comment

10-03 Greg Kroah-Hartman - Security in the LLM Age (www.youtube.com)

292. Cloudflare OHTTP Gateway の発表 Lobste Comment

10-03 Announcing Cloudflare OHTTP Gateway (blog.cloudflare.com)

293. CPython向けRust（Python Language Summit 2026） Lobste Comment

10-03 Rust for CPython (Python Language Summit 2026) (blog.python.org)

294. 群れを育てて管理する Lobste Comment

10-03 Grow and control a swarm (nohope.io)

295. 現代のデスクトップ環境における課題と解決策（tmuxをOSの代わりにする） Lobste Comment

10-03 Problems and solutions to the modern desktop (Make tmux the OS) (matduggan.com)

296. ユーザーが「クランカー」を恐れていることを尊重する Lobste Comment