Lobste の最新の投稿 Lite

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

04:58 Whose freedom is it anyway? (collectivefutures.blog)

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

05:34 Linux debugging tools I love (2016) (jvns.ca)

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

05:34 Tracking TCP lifespans using eBPF (2016) (www.brendangregg.com)

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

01:38 Augmental MouthPad is a tongue-controlled touchpad/trackpad (www.cnx-software.com)

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

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

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

05:10 You should selfhost your mail (in 2026) (blog.haschek.at)

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

02:50 Software Should Work Worked (isaacvando.com)

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

04:54 Jolt: running Clojure on Chez Scheme (yogthos.net)

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

03:53 Improving std::simd::swizzle_dyn (shnatsel.github.io)

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

02:04 Prompt Caching In Agents (earendil.com)

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

02:42 agent-shell 0.63 updates (xenodium.com)

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

00:26 How AI Is Changing Open Source (enblog.eischmann.cz)

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

00:58 The PImpl idiom and the C26 std::indirect type (mariusbancila.ro)

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

00:14 How MVCC and Transactions Work in RocksDB (artem.krylysov.com)

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

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

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

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

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

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

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

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

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

07-23 On Accountability (addisoncrump.info)

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

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

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

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

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

07-23 Package Name Prefixes (nesbitt.io)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-22 SIMD for Collision (box2d.org)

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

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

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

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

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

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

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

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

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

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

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

07-22 Slash Pages (slashpages.net)

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

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

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

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

57. ECCとDDR5 Lobste Comment

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

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

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

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

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

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

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

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

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

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

64. AP8L - apl Lobste Comment

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

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

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

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

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

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

07-22 Cosy Language (cosy.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

113. Gitolite Lobste Comment

07-20 Gitolite (gitolite.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-20 email encryption (computer.rip)

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

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

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

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

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

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

125. 信頼性の高いC Lobste Comment

07-20 Dependable C (dependablec.org)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

136. Alibaba SAIL向けTriton言語 Lobste Comment

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

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

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

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

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

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

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

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

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

141. ハードコア・インディーウェブ：1日わずか0.01ドルで、100％独立して自分のウェブサイトを運営しよう Lobste Comment

07-19 Hardcore IndieWeb: Run your own website 100% independently for only 0.01/day (www.neatnik.net)

142. ソフトウェアとAI ― 計画型と即興型 Lobste Comment

07-19 Software and AI - Plotting vs. Pantsing (pyjarrett.github.io)

143. 辞書と表 DefconQ Lobste Comment

07-19 Dictionaries and Tables DefconQ (www.defconq.tech)

144. Linuxスケジューラの研究、そしてメトリクスが重要な理由 Lobste Comment

07-19 Studying Linux Schedulers, and Why Metrics Matter (pradyun.net)

145. 「カタパルト法」による人間のようなニューラルネットワーク Lobste Comment

07-19 Human-like Neural Nets by Catapulting (gwern.net)

146. リピータブル・リードとスナップショット分離 Lobste Comment

07-19 Repeatable Read vs Snapshot Isolation (jaymcor.github.io)

147. Gleamは、tangled（ATプロトコルベースのフォージ）にソースコードをミラーリングしました。 Lobste Comment

07-19 Gleam has mirrored its source code on tangled (an AT-protocol based forge) (tangled.org)

148. OpenSSL HollowByte：11バイトに潜むDoS攻撃 Lobste Comment

07-19 OpenSSL HollowByte: A DoS Hiding in 11 Bytes (sec.okta.com)

149. 『Half a Second』――XZのバックドアに関する本 Lobste Comment

07-19 "Half a Second" - a book on the XZ backdoor (www.half-second.com)

150. enumフラグ用のより優れたビットセット Lobste Comment

07-19 A better bitset for enum flags (www.elbeno.com)

151. ハーフエッジデータ構造。その2 Lobste Comment

07-19 Half-Edge Data Structure. Part2 (alexsyniakov.com)

152. wp2shell：WordPress コアにおける認証前のリモートコード実行（RCE）の脆弱性 Lobste Comment

07-19 wp2shell: Pre Authentication RCE in WordPress Core (wp2shell.com)

153. 建築作品の真髄 ― 第4部 Lobste Comment

07-19 The essence of architectural work - Part 4 (www.ufried.com)

154. AIコードのレビューは、妥当な論拠とはならない Lobste Comment

07-19 Reviewing AI Code Is Not A Viable Argument (softwaremaxims.com)

155. 先月、私の最も頼りになるシニアエンジニアが辞めてしまいました Lobste Comment

07-19 My Best Senior Engineer Quit Last Month (blog.stackademic.com)

156. APLの事例紹介 Lobste Comment

07-19 APL Case Studies (www.dyalog.com)

157. Haunt 0.4.0 がリリースされました Lobste Comment

07-18 Haunt 0.4.0 released (git.dthompson.us)

158. さようなら。そして、これまでの「Bikesheds」に感謝します。 Lobste Comment

07-18 Goodbye, and thanks for all the Bikesheds (queue.acm.org)

159. キャッシュディレクトリのタグ付け仕様 Lobste Comment

07-18 Cache Directory Tagging Specification (bford.info)

160. フェディバースの言う通りだった Lobste Comment

07-18 The fediverse was right (blog.lvmbdv.dev)

161. NextBSDプロジェクトが復活：FreeBSDカーネル上で動作するAppleのFOSSユーザースペースツール Lobste Comment

07-18 NextBSD project revived: Apple''s FOSS user-space tools on the FreeBSD kernel (nextbsd.org)

162. 2026年のSSH経由のPowerShell：Windows上のOpenSSH、鍵認証、およびPowerShell 7のリモート処理 Lobste Comment

07-18 PowerShell over SSH in 2026: OpenSSH on Windows, Key Auth, and PowerShell 7 Remoting (mattmichie.com)

163. gcc も clang も、C 標準に準拠していません。 Lobste Comment

07-18 neither gcc nor clang are compliant with standard c (sebsite.pw)

164. GitRoot Lobste Comment

07-18 GitRoot (gitroot.dev)

165. OpenVMS（Alpha CPU）上のDOSBox Lobste Comment

07-18 DOSBox on OpenVMS (Alpha CPU) (astr0baby.online)

166. Aurora DSQL：スケーラブルなマルチリージョン対応OLTP Lobste Comment

07-18 Aurora DSQL: Scalable, Multi-Region OLTP (arxiv.org)

167. パングラムはどのように機能するのでしょうか？ Lobste Comment

07-18 How does Pangram work? (pangram.substack.com)

168. 退行型JPEG Lobste Comment

07-18 Regressive JPEGs (maurycyz.com)

169. Lispへの道：どのLispか Lobste Comment

07-18 A Road to Lisp: Which Lisp (scotto.me)

170. Go上のScala Lobste Comment

07-18 Scala on Go (github.com)

171. 昔ながらのゲーム機の裏ワザ Lobste Comment

07-18 Classic console tech tricks (www.youtube.com)

172. GHC ステータスレポート Lobste Comment

07-18 GHC Status Report (www.youtube.com)

173. 詩のもうひとつの味わい Lobste Comment

07-18 Another Taste of Verse (www.youtube.com)

174. topcoat：Webアプリ構築のための、必要な機能がすべて揃ったフレームワーク Lobste Comment

07-18 topcoat: A batteries-included framework for building web apps (github.com)

175. H-E-Bにおけるエンタープライズ・ハスケル Lobste Comment

07-18 Enterprise Haskell at H-E-B (blog.haskell.org)

176. Lobsters：matheusmoreira氏への「Lone Lisp」に関するインタビュー Lobste Comment

07-18 Lobsters Interview with matheusmoreira about Lone Lisp (alexalejandre.com)

177. 『The Java Story』公式ドキュメンタリー Lobste Comment

07-18 The Java Story The Official Documentary (www.youtube.com)

178. 認識論的対等性：差分プライバシーの評価指標としての再現性 Lobste Comment

07-18 Epistemic Parity: Reproducibility as an Evaluation Metric for Differential Privacy (cacm.acm.org)

179. SQLiteの実行についていくつか学んだこと Lobste Comment

07-18 Learning a few things about running SQLite (jvns.ca)

180. 『フォールティ・タワーズ』、バイブ・シックネス、そしてバイブ・ボブスレー Lobste Comment

07-18 Faulty Towers, vibe sickness, and the vibe bobsled (dustycloud.org)

181. 安定化された「チェイスカメラ」搭載ローバーの製作 Lobste Comment

07-17 Building a Stabilized "Chase Camera" Rover (transistor-man.com)

182. サイバーセキュリティ分野において、主要なオープンウェイトモデルは最先端からどれほど遅れているのか？ Lobste Comment

07-17 How Far Behind the Frontier are Leading Open Weight Models on Cyber? (www.aisi.gov.uk)

183. 『ジャーニー・トゥ・ルート』第1話：マグレビングの王 Lobste Comment

07-17 Journey to Root, Episode I: The Maglev King (blog.calif.io)

184. Fedichat - Fediverse向けコミックチャット Lobste Comment

07-17 Fedichat - Comic Chat for the Fediverse (lambadalambda.github.io)

185. 開発者の生産性に関する実験の設計を変更します Lobste Comment

07-17 We are Changing our Developer Productivity Experiment Design (metr.org)

186. Freya 0.4 - Rust用GUIライブラリ Lobste Comment

07-17 Freya 0.4 - Rust GUI library (freyaui.dev)

187. Haskell における木構造の幅優先展開 (2025) Lobste Comment

07-17 Unfolding trees breadth-first in Haskell (2025) (blog.poisson.chat)

188. PACT：Web向け匿名認証情報 – Mozilla Hacks Lobste Comment

07-17 PACT: Anonymous Credentials for the Web – Mozilla Hacks (hacks.mozilla.org)

189. 国別抽選 Lobste Comment

07-17 Country Draw (country-draw.vercel.app)

190. 地球の自転記録を受け、10月に「負の閏秒」を回避するための採決が行われる Lobste Comment

07-17 Earth Rotation Records Spur October Vote to Avert Negative Leap Second (www.techtimes.com)

191. 世界中の「GUARD法」および年齢確認法を阻止しよう — フリーソフトウェア財団 — フリーソフトウェアの実現に向けて共に取り組む Lobste Comment

07-17 Stop the GUARD Act and age verification laws worldwide — Free Software Foundation — Working together for free software (www.fsf.org)

192. 私たちはRustでPostgresを開発しています。データベース版のLLVMを活用しています。 Lobste Comment

07-16 We''re building Postgres in Rust. Using the LLVM of databases (turso.tech)

193. ワイドポインタを使用し、トランポリンを使わないGCCのネストされた関数の利用 II Lobste Comment

07-17 Using GCC''s Nested Functions with Wide Pointers and no Trampolines II (uecker.codeberg.page)

194. 音楽の違法ダウンロードがもたらした失われた喜び Lobste Comment

07-16 The Lost Joy of Music Piracy (www.pigeonsandplanes.com)

195. 私が独自のAIMサーバーを運用している方法は以下の通りです Lobste Comment

07-17 Here''s how I host my own AIM server (veronicaexplains.net)

196. バッテリーパック：クレートについて話そうよ、ベイビー Lobste Comment

07-17 Battery packs: Let''s talk about crates, baby (smallcultfollowing.com)

197. Zilog Z80が50周年を迎えた Lobste Comment

07-17 The Zilog Z80 has turned 50 (goliath32.com)

198. 大儲けしてやるぞ Lobste Comment

07-17 We''re Going to Make Out Like Bandits (www.rocketpoweredjetpants.com)

199. 「脆弱性の大惨事」から、バグ修正だけで抜け出すことはできない Lobste Comment

07-16 You can''t bug fix your way out of the vulnpocalypse (alexgaynor.net)

200. clj-refactor.el 4.0 Lobste Comment

07-17 clj-refactor.el 4.0 (metaredux.com)

201. LLMを批判する人たちの言うことは正しい。それでも私はLLMを使っている Lobste Comment

07-16 The LLM Critics Are Right. I Use LLMs Anyway (www.theocharis.dev)

202. 「Microsoft Comic Chat」がオープンソース化されました Lobste Comment

07-17 Microsoft Comic Chat is now open source (opensource.microsoft.com)

203. 確率論に基づいた、チャンピオンシップレベルの実力を発揮する新しいコンピュータ用スクラブルエンジン（2021年） Lobste Comment

07-16 A novel computer Scrabble engine based on probability that performs at championship level (2021) (upcommons.upc.edu)

204. perldelta - Perl v5.44.0の新機能 Lobste Comment

07-16 perldelta - what is new for perl v5.44.0 (metacpan.org)

205. MLやOCamlがコンパイラの作成に適している理由 Lobste Comment

07-16 Why ML/OCaml are good for writing compilers (flint.cs.yale.edu)

206. README、ではない Lobste Comment

07-16 README, not (blog.yossarian.net)

207. （Linux）では、どのgdbフロントエンドがお好みですか？ Lobste Comment

07-16 What gdb frontend do you prefer (linux) (lobste.rs)

208. サブスクリプションなしのWHOOP 4.0 Lobste Comment

07-16 WHOOP 4.0 without a subscription (github.com)

209. 「Rust-to-Zig」リライトの進捗状況 Lobste Comment

07-16 How Our Rust-to-Zig Rewrite is Going (rtfeldman.com)

210. 「メモリコンパイラ」が実際に意味するもの：ビットセルからGDSタイリングまで Lobste Comment

07-16 What "Memory Compiler" Actually Means: From Bitcells to GDS Tiling (thecloudlet.github.io)

211. WhatsAppが利用できなくなる日 Lobste Comment

07-16 The Day WhatsApp goes dark (xn--gckvb8fzb.com)

212. Forgejo v16.0がリリースされました Lobste Comment

07-16 Forgejo v16.0 is available (forgejo.org)

213. Gecode 6.3.0 および 6.4.0 がリリースされました Lobste Comment

07-16 Gecode 6.3.0 and 6.4.0 are released (zayenz.se)

214. Guix：バイナリからパッケージを作成する Lobste Comment

07-16 Guix: creating a package from a binary (aloysberger.com)

215. Mesonのネイティブ・ラップ・エコシステムに、最新のパッケージ管理を導入する Lobste Comment

07-16 Bring modern package management to Meson''s native wrap ecosystem (collider.ee)

216. 適用されていないカーネルセキュリティパッチ用のフィルタリングエンジンとデータベース Lobste Comment

07-16 A Filtering engine and DB for unpropagated kernel security patches (patchless.natey.sh)

217. ActivityPubにE2EEが実装されるまでの道のり Lobste Comment

07-16 The Long Tail of Work Left Until ActivityPub Has E2EE (soatok.blog)

218. アプリのあり方 Lobste Comment

07-16 The Shape of Apps (parakeet.co)

219. カーネル開発におけるLLMの利用について、ライナス・トーバルズ氏 Lobste Comment

07-16 Linus Torvalds on LLM usage in kernel development (lore.kernel.org)

220. dailyprogパズルのセーフティネット Lobste Comment

07-16 The dailyprog puzzle safety net (blog.lvmbdv.dev)

221. SQLite でのフルテーブルスキャンの検出 Lobste Comment

07-16 Detecting Full Table Scans With SQLite (tenderlovemaking.com)

222. Linux における TLS 証明書の検証 Lobste Comment

07-16 TLS Certificate Validation on Linux (www.tomica.net)

223. elfuse: macOS Apple Silicon上でArm64/x86-64のLinux ELFバイナリを実行する Lobste Comment

07-16 elfuse: Run Arm64/x86-64 Linux ELF binaries on macOS Apple Silicon (github.com)

224. 継続を用いた効果の抽象化 Lobste Comment

07-16 Abstracting effects with continuations (crowdhailer.me)

225. エピック社との和解が取り下げられたことを受け、来週Google Playにサードパーティのアプリストアが登場する Lobste Comment

07-16 Third-party app stores coming to Google Play next week as Epic settlement withdrawn (arstechnica.com)

226. AIデータセンターと富の集中 Lobste Comment

07-16 AI Data Centers and the Concentration of Wealth (www.schneier.com)

227. 実験6 Lobste Comment

07-16 Lab 6 (lab6.com)

228. SQLiteにはエディションがあるべきだ Lobste Comment

07-16 SQLite should have editions (mort.coffee)

229. AIは単なるツールではありません Lobste Comment

07-16 Your AI Is Not a Tool (theconvivialsociety.substack.com)

230. 敵対的セルフプレイによるコーディングエージェントの「スロープ」の解消 Lobste Comment

07-16 Killing Coding Agent Slop With Adversarial Self-Play (usetelos.ai)

231. 「ELIZA」の誕生 ― 最初のチャットボットがAIの未来をどう形作ったか Lobste Comment

07-15 Inventing ELIZA - How the First Chatbot Shaped the Future of AI (mitpress.mit.edu)

232. IT業界の職場で労働組合を結成する方法 Lobste Comment

07-15 How to unionize your tech workplace (www.computerworld.com)

233. マイクロソフト、無効化できないWindows GDIDデバイス識別子を認める――FBIの訴訟書類に記載 Lobste Comment

07-15 Microsoft Confirms Windows GDID Device Identifier That Cannot Be Disabled, Documented in FBI Case Filing (www.ghacks.net)

234. FreeBSD 16、ベースシステムから最後のGPLコードを削除 Lobste Comment

07-15 FreeBSD 16 Retires The Last Of Its GPL Code From Its Base System (www.phoronix.com)

235. ObeliskとTemporalおよびRestateの比較 Lobste Comment

07-15 Comparing Obelisk with Temporal and Restate (obeli.sk)

236. K&R Cについて、以前は知らなかったことがいろいろある Lobste Comment

07-15 a bunch of stuff i used to not know about K&R C (sebsite.pw)

237. nullポインタについて考えていたんだ Lobste Comment

07-15 i''ve been thinking about null pointers (sebsite.pw)

238. 塔は高くなり続ける Lobste Comment

07-15 The Tower Keeps Rising (lucumr.pocoo.org)

239. 『Over the Edge 2.0』：マイクロソフトのデザイン戦略は依然としてブラウザの選択肢を狭めている Lobste Comment

07-15 Over the Edge 2.0: Microsoft’s Design Tactics Still Undermine Browser Choice (research.mozilla.org)

240. データの順序：デフォルト設定、パフォーマンス、決定性、およびページング Lobste Comment

07-15 The Order of Data: defaults, performance, determinism & paging (binaryigor.com)

241. @clickhouse/rowbinary: ライブラリがパーサーコンパイラでもある場合 Lobste Comment

07-15 @clickhouse/rowbinary: when your library is also a parser compiler (clickhouse.com)

242. C20によるforループの構文の改善点 Lobste Comment

07-15 How C20 improved the for-loop syntax (lzon.ca)

243. Cストリングス：50年にわたる過ち Lobste Comment

07-15 C Strings: A 50-Year Mistake (longtran2904.substack.com)

244. ソフトウェアがユーザーを軽視している場合、共感や喜びなど何の意味も持たない Lobste Comment

07-15 Empathy and delight mean nothing when the software is disrespectful (productpicnic.beehiiv.com)

245. 完全な情報開示：Cursorにおける任意のコード実行 Lobste Comment

07-15 Full disclosure: Arbitrary code execution in Cursor (mindgard.ai)

246. リソース制約環境におけるコンピューティング 2026 Lobste Comment

07-15 Low Resource Computing 2026 (lrc.cs.dartmouth.edu)

247. 『メモリー・ハイスト』 Lobste Comment

07-15 The Memory Heist (ayush.digital)

248. 現代的なHTTPリクエスト Lobste Comment

07-15 A modern HTTP request (nelsonslog.wordpress.com)

249. CSS による生成型カラー Lobste Comment

07-15 Generative colors with CSS (gomakethings.com)

250. スマート家電の状態を確認したほうがいいかもしれません Lobste Comment

07-15 You should probably check on your smart appliances (xeiaso.net)

251. qr-swastika-avoider v0.1.0 Lobste Comment

07-15 qr-swastika-avoider v0.1.0 (crates.io)

252. Emacs Docs：Emacsにふさわしい、現代的なドキュメントサイト Lobste Comment

07-15 Emacs Docs: The modern documentation website Emacs deserves (emacsdocs.org)

253. FreeBSD のネイティブ inotify Lobste Comment

07-15 Native inotify in FreeBSD (klarasystems.com)

254. バスティーユの日にぴったりの頼れるブートキー（Ventoyの代替ツール） Lobste Comment

07-15 A Trusty Boot Key (Ventoy Alternative), for Bastille Day (codeberg.org)

255. GoでHTMXをどのように使っているか Lobste Comment

07-15 How I use HTMX with Go (www.alexedwards.net)

256. 検証可能なAI推論 Lobste Comment

07-15 Verifiable AI inference (blog.vrypan.net)

257. 鍵、エッセンス、そして演奏について Lobste Comment

07-15 On keys, essences and performance (ebellani.github.io)

258. Linux での入力レイテンシの測定：X11 対 Wayland、VRR、および DXVK Lobste Comment

07-15 Measuring input latency on Linux: X11 vs Wayland, VRR, and DXVK (marco-nett.de)

259. Linux向けハイパーバイザー（なし）によるDenuvoの回避手法 Lobste Comment

07-15 A Hypervisor(-less) Denuvo bypass for Linux (cs.rin.ru)

260. whatcable：Macに接続された各USB-Cケーブルが実際にどのような機能を持つかを、わかりやすい言葉で教えてくれるmacOS用メニューバーアプリ Lobste Comment

07-15 whatcable: macOS menu bar app that tells you, in plain English, what each USB-C cable plugged into your Mac can actually do (github.com)

261. 言葉遣いに気をつける Lobste Comment

07-15 Temper Language (temperlang.dev)

262. DIDについて語られすぎている Lobste Comment

07-15 Too many words about DIDs (steveklabnik.com)

263. 私の画像のディザ処理方法 Lobste Comment

07-15 How my images are dithered (dead.garden)

264. KDE Linux における openQA テスト Lobste Comment

07-14 openQA Testing in KDE Linux (blogs.kde.org)

265. アイコンへのコミット Lobste Comment

07-14 Kommit-ing to a icon (nuno-icons.com)

266. C26のリフレクションを用いた美しい型消去 Lobste Comment

07-14 Beautiful Type Erasure with C26 Reflection (ryanjk5.github.io)

267. テンソルこそが力である Lobste Comment

07-14 Tensor is the might (zserge.com)

268. 2026年、AIを憎む Lobste Comment

07-14 Hating AI in 2026 (www.eamoncaddigan.net)

269. x86は「ACE」を成し遂げる準備ができているのか？ Lobste Comment

07-14 Is x86 ready to ACE it? (chipsandcheese.com)

270. 6倍高速な二分探索：コンパイル済みコードから機械的共感へ Lobste Comment

07-14 6 faster binary search: from compiled code to mechanical sympathy (pythonspeed.com)

271. 『ジュラシック・パーク』のコンピューターを徹底的に掘り下げる Lobste Comment

07-14 Jurassic Park computers in excruciating detail (fabiensanglard.net)

272. git-absorb: git commit --fixup と同様ですが、自動的に実行されます Lobste Comment

07-14 git-absorb: git commit --fixup, but automatic (github.com)

273. ジョブキューは、一見単純そうに見えて実は扱いが難しい Lobste Comment

07-14 Job queues are deceptively tricky (typesanitizer.com)

274. CSS-DOS — CSSでできたコンピュータ Lobste Comment

07-14 CSS-DOS — A computer made of CSS (css-dos.ahmedamer.co.uk)

275. 時計のデザイン集 Lobste Comment

07-14 Collection of clock designs (clocks.dev)

276. git history コマンドには、もっと注目すべきだ Lobste Comment

07-14 The git history command deserves more attention (lalitm.com)

277. プログラマーからキュレーターへ Lobste Comment

07-14 From coder to curator (staltz.com)

278. fred：すべてをC言語で実装したテキストエディタ - Handmade Network Expo 2026 Lobste Comment

07-14 fred: A text editor that uses C for everything - Handmade Network Expo 2026 (www.youtube.com)

279. 図書館はエラーを記録すべきか、それとも伝播すべきか？ Lobste Comment

07-14 Should Libraries Log or Propagate Errors? (lobste.rs)

280. 靴底の擦り傷からニューヨーク市民の身長を推定する Lobste Comment

07-14 Estimating the heights of New Yorkers from their scuff marks (blog.jse.li)

281. TFTP ハニーポットの結果 Lobste Comment

07-14 TFTP Honey pot Results (bruceediger.com)

282. 2つ目のミドルウェアを追加したところ、TypeScriptの型が破綻してしまいました Lobste Comment

07-14 Adding a second middleware broke our typescript types (www.inngest.com)

283. lobste.rs は現在、SQLite 上で動作しています Lobste Comment

07-14 lobste.rs is now running on SQLite (lobste.rs)

284. ARPへの別れ：IPv6専用ネットワークにおけるIPv4サービス Lobste Comment

07-14 A Farewell to ARPs: IPv4 Service on IPv6-Only Networks (labs.ripe.net)

285. FreeBSoD：言語モデルを活用したカーネルのバグの発見と悪用（全2回の第1回） Lobste Comment

07-14 FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 1 of 2) (www.praetorian.com)

286. FreeBSoD：言語モデルを活用したカーネルのバグの発見と悪用（全2回の第2回） Lobste Comment

07-14 FreeBSoD: Leveraging Language Models to Find and Exploit Kernel Bugs (Part 2 of 2) (www.praetorian.com)

287. C言語におけるGo風並行処理 Lobste Comment

07-14 Go-flavored concurrency in C (antonz.org)

288. ヒューマン・エマクス Lobste Comment

07-14 Human Emacs (human-emacs.org)

289. 数字だけ書かせてくれ Lobste Comment

07-14 Just Let Me Write Digits (gendignoux.com)

290. コードではなく、アイデアをコントロールせよ - Lobste Comment

07-13 Control the ideas, not the code - (antirez.com)

291. 静的なテキスト要素には aria-label を使用しないでください（2024年） Lobste Comment

07-13 Don’t Use aria-label on Static Text Elements (2024) (benmyers.dev)

292. NFSが登場する以前、初期のSunOSではディスクレスワークステーションがどのように機能していたのか Lobste Comment

07-13 How early SunOS did diskless workstations before NFS (utcc.utoronto.ca)

293. Rubyカンファレンスの開催方法 Lobste Comment

07-13 How to Organize a Ruby Conference (guides.rubyevents.org)

294. データ指向設計による高性能パーサーの構築 Lobste Comment

07-13 Engineering High-Performance Parsers with Data-Oriented Design (arshad.fyi)

295. crates.io：開発状況の最新情報 Lobste Comment

07-13 crates.io: development update (blog.rust-lang.org)

296. プログラミング言語における「目的を持った構文」 Lobste Comment

07-13 Syntax with Purpose in a Programming Language (www.youtube.com)

297. 排水管を通じたIPv6 Lobste Comment

07-13 IPv6 over drainage pipe (chaos.social)

298. 「ストブ・クラフト指数」：ローリング・コンピュータが「クラフト」を集める Lobste Comment

07-13 The Stob Cruft Index: a rolling computer gathers "cruft" (www.doc.ic.ac.uk)

299. Zigの創業者、物事をありのままに語る Anthropicは煙幕を張る Lobste Comment

07-13 Zig Creator Calls Spade a Spade, Anthropic Blows Smoke (raymyers.org)

300. PRQLを使用して任意のHTMLテーブルをクエリするWebExtension Lobste Comment

07-13 WebExtension to query any HTML table with PRQL (avlasov.cabal.run)