Lobste の最新の投稿 Lite

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

17:37 What''s Wrong with GitHub (www.gnu.org)

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

17:25 How big is a Git commit? - ratfactor (ratfactor.com)

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

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

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

14:21 LineageOS 24.0 released (lineageos.org)

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

14:16 How shredding JSON is giving Logfire 1000x query speedups (pydantic.dev)

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

08:51 Consistency is not a localized property (n-the-loop.com)

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

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

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

06:25 Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation (arxiv.org)

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

05:28 Inside a 1980s filter chip that uses switched capacitors (www.righto.com)

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

05:06 The 2D physics prototype behind GTA’s vehicles (patkerr.co.uk)

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

01:55 Kiesel Devlog #15: Release 0.4.0 (linus.dev)

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

01:05 SNTPings, draw on a canvas using ICMPv6 (pings.utwente.io)

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

00:56 Why ''externalized'' proofs of cyclic trait impls does not work (smallcultfollowing.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

23. ああ、どうやら標準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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

36. Python 3.15.0 Lobste Comment

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

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

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

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

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

39. 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)

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

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

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

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

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

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

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

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

44. 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)

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

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

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

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

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

10-09 Reverse Engineer Anything (github.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

58. Bevy 0.20 Lobste Comment

10-09 Bevy 0.20 (bevy.org)

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

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

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

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

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

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

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

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

63. 翻訳の過程で失われたナビエ・ストークス方程式：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)

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

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

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

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

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

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

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

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

68. Guixの拡張 Lobste Comment

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

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

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

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

10-08 specialArgs considered harmful (ysun.co)

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

10-08 Beyond the & (lwn.net)

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

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

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

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

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

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

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

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

76. 柔術 (jj) 0.46.0 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

83. APIに関する愚痴 Lobste Comment

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

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

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

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

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

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

10-08 The Mathocalypse (scottaaronson.blog)

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

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

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

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

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

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

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

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

91. GitのRefについて Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10-07 Unrolled code (noteflakes.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

125. 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

136. Polars 2.0 のリリース Lobste Comment

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

137. Codemodeとは Lobste Comment

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

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

10-06 Bidirectional Type Slicing (arxiv.org)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

150. ドストエフスキー：余分なマージの適応的除去による、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)

151. メールサーバーの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)

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

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

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

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

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

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

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

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

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

10-05 Mold 3.0.0 Released (github.com)

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

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

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

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

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

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

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

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

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

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

162. 一時的なテスト Lobste Comment

10-05 Ephemeral testing (lemire.me)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10-05 Claude Says (ohhfishal.net)

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

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

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

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

176. ジェネシス Lobste Comment

10-05 Jenesis (jenesis.build)

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

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

178. E-Graphsの洗練 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

185. ソロー BASIC Lobste Comment

10-05 Thoreau BASIC (thoreaubasic.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

203. BSides Orlando 2026 バッジ Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

211. Cloudflare OHTTP Gateway の発表 Lobste Comment

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

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

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

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

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

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

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

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

10-03 Respecting your users'' dread of the clankers (thoughtbot.com)

216. プログラミング言語探求の時代が到来した Lobste Comment

10-03 The Era of Programming Languages Exploration is upon Us (kirancodes.me)

217. gVisorはCNCFに寄贈されることになりました Lobste Comment

10-03 gVisor is being donated to CNCF (gvisor.dev)

218. Go言語におけるアーキテクチャ固有のSIMD Lobste Comment

10-03 Arch-specific SIMD in Go (go.dev)

219. Upstream Rust メンテナンスレポート Lobste Comment

10-03 Upstream Rust maintenance report (kobzol.github.io)

220. 標的にされてしまった：Gitのpost-checkoutフックを悪用して認証情報を盗もうとする手口 Lobste Comment

10-03 I got targeted: Trying to get your credentials via a git post-checkout hook (frankwiles.com)

221. ロブスターズ Sjamaanへのインタビュー Lobste Comment

10-03 Lobsters Interview with Sjamaan (alexalejandre.com)

222. Zig 0.17.0 リリースノート Lobste Comment

10-03 Zig 0.17.0 Release Notes (ziglang.org)

10-03 Klassik Revives the KDE 3 Desktop on Modern Plasma 6 (linuxiac.com)

224. FutharkをGPUから除外する Lobste Comment

10-03 Keeping Futhark off the GPU (futhark-lang.org)

225. macOSにおける「フルディスクアクセス」の更新 Lobste Comment

10-03 Updates to Full Disk Access in macOS (developer.apple.com)

226. マイクロソフト、Rustへの注力をさらに強化 Lobste Comment

10-03 Microsoft doubles down on Rust (www.infoworld.com)

227. Rust を使用して GDEH0154D67 電子ペーパーディスプレイを駆動する Lobste Comment

10-03 Driving the GDEH0154D67 e-paper display with Rust (sgt.hootr.club)

228. エージェント型コーディングの「四騎士」 Lobste Comment

10-03 The Four Horsemen of Agentic Coding (distantprovince.substack.com)

229. Pi 耐久性 Lobste Comment

10-03 Pi Durable (earendil.com)

230. GitHubのリポジトリのランディングページには、設定されている場合、「アクセシビリティ」タブが表示されるようになりました Lobste Comment

10-02 GitHub repository landing pages now show an accessibility tab, if provided (ericwbailey.website)

231. JetBrains Air：エージェント型ソフトウェア開発のための製品群の構築 Lobste Comment

10-02 JetBrains Air: Building a System of Products for Agentic Software Development (blog.jetbrains.com)

232. SequenceHash：誰でも使えるマルチハッシュ Lobste Comment

10-02 SequenceHash: multihashing for the rest of us (blog.trailofbits.com)

233. オークションに出品されている実際のRFC1149パケット Lobste Comment

10-02 Actual RFC1149 packet being auctioned (onlineonly.christies.com)

234. 忘れっぽいCPU（M4上のLinux） Lobste Comment

10-02 The forgetful CPU (Linux on M4) (yuka.dev)

235. 「花見、なぜ？」：あれこれ Lobste Comment

10-02 Hanami, Why?: Bits & Bobs (aaronmallen.me)

236. ソフトウェアエンジニアを始めたばかりの人へのアドバイス Lobste Comment

10-02 Advice to a beginning software engineer (www.seangoedecke.com)

237. デュアルWANルーターとしてのDebian 13 Lobste Comment

10-02 Debian 13 as a dual WAN router (www.tqdev.com)

238. GIMP - LiamQuinへのインタビュー Lobste Comment

10-02 GIMP - Interview with LiamQuin (www.gimp.org)

239. クロード流の科学 Lobste Comment

10-02 Claude-shaped science (www.anthropic.com)

240. 汎用定数引数とあなた Lobste Comment

10-02 Generic Const Args and You (blog.rust-lang.org)

241. Dockerレイヤーに潜む設計上の妥協点 Lobste Comment

10-02 The hidden design compromises of Docker layers (loige.co)

242. Emacsのrxに着想を得た、JavaScript/TypeScript向けの読みやすい正規表現 Lobste Comment

10-02 Readable Regular Expressions for JavaScript/TypeScript, Inspired by Emacs'' rx (rahuljuliato.com)

243. 「スラスト」対「ステア」（あるいは：ダニングクルーガー効果に関する、またしても逸話的な事例） Lobste Comment

10-02 Thrust vs. Steer (or: Yet Another Anecdotal Case of the Dunning-Kruger Effect) (write.as)

244. 今週末、第16回ラケットコンが開催されます Lobste Comment

10-02 sixteenth RacketCon this weekend (con.racket-lang.org)

245. @storyteller-platform/epub v1.0.0 のリリース Lobste Comment

10-02 @storyteller-platform/epub v1.0.0 release (storyteller-platform.dev)

246. スケジュールは解ける記号である：データフローアーキテクチャにおけるタイル型プログラムのチューニング不要なコンパイル Lobste Comment

10-02 Schedules Are Solvable Symbols: Tuning-Free Compilation of Tile Programs on Dataflow Architectures (arxiv.org)

247. Waterfox 6.7.5 に組み込みのフィードリーダーが追加されました Lobste Comment

10-02 Waterfox 6.7.5 Adds a Built-in Feed Reader (www.waterfox.com)

248. 私たちは自分の言語を変えることができるはずだ Lobste Comment

10-02 We Should be Able to Change our Languages (jimmyhmiller.com)

249. Git 3.0で導入予定のSHA-256のデフォルト設定は、大きな代償を伴う過ちとなるだろう Lobste Comment

10-02 Git 3.0''s upcoming SHA-256 default will be a costly mistake (blog.gitbutler.com)

250. テキストボックスの作り方：UnicodeとOpenTypeの短期集中講座 - ジミー・ルフェーブル、BSC 2026 Lobste Comment

10-02 How to make a text box: A crash course in Unicode and OpenType - Jimmy Lefevre, BSC 2026 (www.youtube.com)

251. 反転状況を記録するリスト Lobste Comment

10-02 Lists that keep track of their reversal (grim.cargocut.org)

252. インターネットをくまなく検索して、毎日自分専用のニュース要約を作成する小さなアプリを作りました Lobste Comment

10-02 I built a small app that scours the internet to create a daily personolized news briefing (github.com)

253. ウェブ開発教育の終焉 Lobste Comment

10-02 The death of web development education (molily.de)

254. Pidgin 3.0 Alpha 3 2.97.0 がリリースされました Lobste Comment

10-02 Pidgin 3.0 Alpha 3 2.97.0 has been released (discourse.imfreedom.org)

255. outis：偽の「ユーザー不明」バウンスメールを生成・送信して、AIスパムに対抗する Lobste Comment

10-01 outis: Fight AI spam by generating and sending a fake "user unknown" bounce emails (github.com)

256. 「セカンド・ゴールデン・スパイク」：ValenとRustの境界を越えたメモリセーフティ Lobste Comment

10-01 The Second Golden Spike: Memory Safety Across the Valen/Rust Boundary (verdagon.dev)

257. Google、Chromebookへの10年間のアップデート提供という約束を破る – OSnews Lobste Comment

10-01 Google breaks promise to provide 10 years of updates to Chromebooks – OSnews (www.osnews.com)

258. Rust 1.99.0 のリリースのお知らせ Lobste Comment

10-01 Announcing Rust 1.99.0 (blog.rust-lang.org)

259. AIの変更に伴う認知的負荷の軽減 Lobste Comment

10-01 Reducing the cognitive load of AI changes (amoffat.github.io)

260. [email protected]のリリース Lobste Comment

10-01 [email protected] release (lobste.rs)

261. サンドボックス化だけで、不正なエージェントを封じ込めることはできるのでしょうか？ Lobste Comment

10-01 Is sandboxing sufficient to contain rogue agents? (blog.cryptographyengineering.com)

262. WSLコンテナが一般提供開始されました Lobste Comment

10-01 WSL containers is now generally available (blogs.windows.com)

263. EUキッズ法 Lobste Comment

10-01 EU KIDS Act (commission.europa.eu)

264. 求人情報：2026年第4四半期 Lobste Comment

10-01 Who''s hiring? Q4 2026 (lobste.rs)

265. example.com が変更された理由に関する IANA からのメール Lobste Comment

10-01 IANA''s email about why example.com changed (www.oliverdunk.com)

266. Valveの15年前の電子書籍を復活させる Lobste Comment

10-01 Reviving Valve''s 15-year-old e-book (nikolan.net)

267. タイプクラスとモジュール Lobste Comment

10-01 Typeclasses vs Modules (sm2n.ca)

268. フロー型付けを備えたシンプルな言語 (2021) Lobste Comment

10-01 A Simple Language With Flow Typing (2021) (ayazhafiz.com)

269. 実環境におけるESXiの脆弱性悪用事例 Lobste Comment

10-01 ESXi Exploitation in the Wild (www.huntress.com)

270. ブルームバーグ・ターミナルの簡単な沿革 Lobste Comment

10-01 A brief history of the Bloomberg Terminal (spectrum.ieee.org)

271. AI版「パスカルの賭け」 Lobste Comment

10-01 The AI Pascal’s Wager (ploum.net)

272. ASMボット：実機8086マシンコードによるコア・ウォー Lobste Comment

10-01 ASM Bots: Core War in real 8086 machine code (asmbots.io)

273. 33件のCVEを理由に、Debianでrsyncの大幅なアップグレードが実施されました Lobste Comment

10-01 Major rsync upgrade in Debian because of 33 CVEs (lobste.rs)

274. RustからWGSLへのトランスパイラ「wgsl-rs」をリリース Lobste Comment

10-01 Rust to WGSL transpiler wgsl-rs released (renderling.xyz)

275. 『Block Game』におけるソフトウェアによるオクルージョンカリング Lobste Comment

10-01 Software occlusion culling in Block Game (enikofox.com)

276. EDG C/C コンパイラ・プロジェクト Lobste Comment

10-01 EDG C/C Compiler Project (github.com)

277. 以前はデータベースをメッセージキューとして使用していましたが、現在はKafkaを使用しています。 Lobste Comment

10-01 We used a database as a message queue. Now we use Kafka (www.tigrisdata.com)

278. バグの発見 Lobste Comment

10-01 Finding Bugs (matklad.github.io)

279. 分岐ターゲットの再利用：JITエンジンにおけるSpectre-v2攻撃 Lobste Comment

10-01 Branch Target Reuse: Spectre-v2 Attacks in JIT Engines (www.vusec.net)

280. Qt 6.12 LTS がリリースされました Lobste Comment

10-01 Qt 6.12 LTS Released (www.qt.io)

281. Songhive — 完全なセルフホスティング型かつフェデレーテッドな音楽プラットフォーム Lobste Comment

10-01 Songhive — A fully self-hosted and federated music platform (blog.fabiomanganiello.com)

282. 「証明可能なセキュリティ」の再考 Lobste Comment

10-01 Another Look at Provable Security (www.math.uwaterloo.ca)

283. Linux 上の、対、および Linux との Postgres Lobste Comment

10-01 Postgres on, vs, with Linux (youtu.be)

284. 「開発者の現状 2026」 Lobste Comment

09-30 State of Devs 2026 (2026.stateofdevs.com)

285. 「花見、なぜ？」：はじめに Lobste Comment

09-30 Hanami, Why?: Introductions (aaronmallen.me)

286. Tcl/Tk 9.1 Lobste Comment

09-30 Tcl/Tk 9.1 (www.tcl-lang.org)

287. 2026年第2四半期のBackblazeドライブ統計：ハードドライブの故障率 Lobste Comment

09-30 Q2 2026 Backblaze Drive Stats: Hard Drive Failure Rates (www.backblaze.com)

288. TLAでチェックできること、できないこと Lobste Comment

09-30 What TLA can and can''t check (buttondown.com)

289. ターボ・ハスケル Lobste Comment

09-30 Turbo Haskell (comonad.com)

290. 「バックアップ」特集：1年の振り返り Lobste Comment

09-30 Back to Backups: A Year in Review (signal.org)

291. foldl と foldr の違い Lobste Comment

09-30 Differences between foldl and foldr (blog.haskell.org)

292. attezt：デバイスの認証、PKCS11、およびACME Lobste Comment

09-30 attezt: device attestation, PKCS11 and ACME (media.ccc.de)

293. 「ダムなサーバー、スマートなクライアント：Quarry を使った画像の配信」 Lobste Comment

09-30 Dumb Servers, Smart Clients: Distributing Images with Quarry (amutable.com)

294. 私のワークステーション向けの無料のオーディオアップグレード Lobste Comment

09-30 A no-cost audio upgrade for my workstation (mit.teil.space)

295. snowdesktop: 開発者向けの不変型Debianデスクトップ Lobste Comment

09-30 snowdesktop: Immutable Debian desktop for developers (github.com)

296. 「Join」の順序付け、第1部：探索空間の形状 Lobste Comment

09-30 Join Ordering, Part 1: The Shape of the Search Space (deferworks.org)

297. npm上の偽のExpressパッケージがLinuxワームを拡散 Lobste Comment

09-30 Fake Express Packages on npm Spread a Linux Worm (safedep.io)

298. コーディングの問題は解決されていない Lobste Comment

09-30 Coding is not solved (blog.alexewerlof.com)

299. 『カッコウの卵』（小説） - ウィキペディア Lobste Comment

09-30 The Cuckoo''s Egg (book) - Wikipedia (en.wikipedia.org)

300. OpenBSDのportsツリーは、GPL版のcoreutilsを採用し、uutils（Rustで書き直されたもの）は採用していない Lobste Comment

09-30 OpenBSD''s ports tree keeps GPL coreutils and rejects uutils (Rust rewrite) (www.mail-archive.com)