Lobste の最新の投稿 Lite

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

07:17 Using ThinkPad T480 as a mobile phone (grego.site)

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

06:32 SQLite WAL Mode Can Lock Short-Lived Readers (hynek.me)

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

05:28 Valkey: The secret life of data in Valkey (valkey.io)

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

03:26 Teaching Kids Forth (gracefulliberty.com)

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

01:39 Forth Moving Lisp Moving Forth (letoverlambda.com)

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

01:38 OpenLoco version 26.07 Release (openloco.io)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-26 Memory Safety Absolutists (itsallaboutthebit.com)

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

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

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

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

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

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

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

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

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

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

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

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

22. Zigの実例 Lobste Comment

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

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

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

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

07-25 Emacs Writing Machine (chainsawriot.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

49. 7月21日の断片 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-24 Mourning Dan Williams (lwn.net)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-23 On Accountability (addisoncrump.info)

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

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

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

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

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

07-23 Package Name Prefixes (nesbitt.io)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-22 SIMD for Collision (box2d.org)

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

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

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

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

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

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

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

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

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

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

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

07-22 Slash Pages (slashpages.net)

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

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

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

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

117. ECCとDDR5 Lobste Comment

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

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

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

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

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

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

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

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

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

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

124. AP8L - apl Lobste Comment

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

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

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

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

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

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

07-22 Cosy Language (cosy.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

173. Gitolite Lobste Comment

07-20 Gitolite (gitolite.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-20 email encryption (computer.rip)

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

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

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

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

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

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

185. 信頼性の高いC Lobste Comment

07-20 Dependable C (dependablec.org)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

196. Alibaba SAIL向けTriton言語 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

203. 辞書と表 DefconQ Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

216. APLの事例紹介 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

224. GitRoot Lobste Comment

07-18 GitRoot (gitroot.dev)

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

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

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

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

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

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

228. 退行型JPEG Lobste Comment

07-18 Regressive JPEGs (maurycyz.com)

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

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

230. Go上のScala Lobste Comment

07-18 Scala on Go (github.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

249. 国別抽選 Lobste Comment

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

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

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

251. 世界中の「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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

260. clj-refactor.el 4.0 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

266. README、ではない Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

278. アプリのあり方 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

287. 実験6 Lobste Comment

07-16 Lab 6 (lab6.com)

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

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

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

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

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

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

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

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

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

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

293. マイクロソフト、無効化できない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)

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

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

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

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

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

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

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

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

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

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

299. 『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)

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

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