Lobste の最新の投稿 Lite

1. あらゆる言語で直感的な並行プログラミング Lingua Franca Lobste Comment

20:17 Intuitive concurrent programming in any language Lingua Franca (www.lf-lang.org)

2. 私はLean 4を使ってRealWorldアプリを作成しました Lobste Comment

12:20 I built the RealWorld app in Lean 4 (leangineer.com)

3. デバッグを目的とした開発 (2025) Lobste Comment

15:21 Developing for Debugging (2025) (www.davepacheco.net)

4. ActivityPubのユニットテストに関する簡単な考察 Lobste Comment

14:12 Some quick thoughts on Unit Testing ActivityPub (shkspr.mobi)

5. STAC-M3 ベンチマーク：Oxide OxVM 上で、128 vCPU および 1.25 TiB の RAM を使用した L tick データベース 1.0 Lobste Comment

13:08 STAC-M3 Benchmark: L tick database 1.0 on Oxide OxVM w/ 128 vCPUs & 1.25 TiB of RAM (docs.stacresearch.com)

6. orib：従来のRedditインターフェースを復活させ、いくつかの新機能を追加しました Lobste Comment

12:22 orib: Bringing back the old Reddit interface, with a few new enhancements (github.com)

7. ニューラルネットワークはすでにクリーンだ Lobste Comment

10-16 Neural Networks Are Already Clean (already-clean.goodfire.com)

8. 各時間スケール間のデルタのグラフ Lobste Comment

10-16 Plots of deltas between time scales (www.ucolick.org)

9. CLP：圧縮テキストログに対する効率的かつスケーラブルな検索 (2021) Lobste Comment

10-16 CLP: Efficient and Scalable Search on Compressed Text Logs (2021) (www.usenix.org)

10. GitHub Actions のワークフローロックファイルがパブリックプレビューを開始 Lobste Comment

10-16 GitHub Actions workflow lockfiles in public preview (github.blog)

11. prjcombine - FPGAリバースエンジニアリングプロジェクト Lobste Comment

10-15 prjcombine - An FPGA reverse engineering project (codeberg.org)

12. 記譜法について Lobste Comment

10-15 On Notation (youtu.be)

13. 抽象化、直感、そして「モナドチュートリアルの誤謬」(2009) Lobste Comment

01:06 Abstraction, intuition, and the “monad tutorial fallacy”(2009) (byorgey.wordpress.com)

14. gopls における対話型リファクタリング Lobste Comment

09:12 Interactive refactoring in gopls (go.dev)

15. LLMにテストとコードの両方を書かせていますか？ Lobste Comment

07:53 Do you let LLMs write both your tests and your code? (lobste.rs)

16. トレントサイトの誰かが、私のSonarrを何度もいじり回していた Lobste Comment

04:47 Someone on Torrent Sites Kept Fucking With My Sonarr (thereallo.dev)

17. C26：新しいデバッグ用ヘッダー Lobste Comment

02:52 C26: the new debugging header (www.sandordargo.com)

18. 今ほど数学を学ぶのに最適な時期はありません Lobste Comment

04:49 There''s never been a better time to go into math (www.youtube.com)

19. Ubuntu 26.10 (Stonking Stingray) がリリースされました Lobste Comment

02:01 Ubuntu 26.10 (Stonking Stingray) released (lists.ubuntu.com)

20. NISTの楕円曲線シード・バウンティの報奨金が受け取られた Lobste Comment

04:18 The NIST Elliptic Curves Seeds Bounty Has Been Claimed (words.filippo.io)

21. キャンセルされる Lobste Comment

02:54 Getting Canceled (www.youtube.com)

22. GNOME OS プレビューのご紹介 Lobste Comment

02:25 Introducing GNOME OS Preview (blogs.gnome.org)

23. Codeberg Pages v2 の提供を終了いたします Lobste Comment

02:03 We''re sunsetting Codeberg Pages v2 (blog.codeberg.org)

24. KDEの30年 Lobste Comment

00:49 Thirty Years of KDE (blog.cornelius-schumacher.de)

25. 「デコヒーレンス・トラップ」：果てしないノイズの海の中で、AIの「雑音」が「信号」をかき消してしまうとき Lobste Comment

00:36 The Decoherence Trap: When AI slop drowns out the signal in an endless sea of noise (maevyn.codes)

26. Big Fish：OpenBSDにおける37年前のカーネルバグの悪用 Lobste Comment

10-16 Big Fish: Exploiting a 37-Year-Old Kernel Bug in OpenBSD (calif.io)

27. Mull：言語サーバー／VSCode拡張機能を使ったメモ取り Lobste Comment

10-16 Mull: note-taking with a language server / vscode extension (github.com)

28. 行動規範を備えたMCPプロキシ「Fronteira」の開発から得られた教訓 Lobste Comment

10-16 Lessons learned building Fronteira, an MCP proxy with behavioral guardrails (wiki.alcidesfonseca.com)

29. iroh 1.0 への道のり Lobste Comment

10-16 The road to iroh 1.0 (www.iroh.computer)

30. ImageMagick を使って 8831 のボタンブックを作成する Lobste Comment

10-16 Making a 88x31 button book using ImageMagick (k.sosnierz.me)

31. エージェントが『Rust』にとって何を意味するのか（その逆も同様） Lobste Comment

10-16 What agents mean for Rust (and vice versa) (smallcultfollowing.com)

32. coopiano：C17で実装された物理モデルベースのピアノシンセサイザー Lobste Comment

10-16 coopiano: A physically modelled piano synthesizer in C17 (github.com)

33. マット・マレンウェッグがアクセシビリティの変更を元に戻すよう指示 Lobste Comment

10-16 Matt Mullenweg Orders Accessibility Revert (www.therepository.email)

34. そもそも、なぜこんなことをしているんだろう？ Lobste Comment

10-16 Why are we even doing all this? (terrytao.wordpress.com)

35. EYGにおけるステートフルなエフェクトハンドラの記述 Lobste Comment

10-16 Writing stateful effect handlers in EYG (eyg.run)

36. フォルダ難解な言葉 Lobste Comment

10-16 Folders Esoteric Language (danieltemkin.com)

37. Incus OS を用いた自前のインフラストラクチャ Lobste Comment

10-16 My self-hosted infrastructure with Incus OS (dataswamp.org)

38. AIを活用したカーネルへの貢献について、ライナス・トーバルズ氏 Lobste Comment

10-16 Linus Torvalds on AI-assisted kernel contributions (lore.kernel.org)

39. WIN32_LEAN_AND_MEAN はどこから来たのか？ (2009) Lobste Comment

10-16 Where did WIN32_LEAN_AND_MEAN come from? (2009) (devblogs.microsoft.com)

40. EpicのEAC2 v2は、かなり簡単に回避できそうだ Lobste Comment

10-16 Epic''s EAC2 v2 seems fairly easily bypassable (codon.org.uk)

41. Rust 1.99.1 のリリースのお知らせ Lobste Comment

10-16 Announcing Rust 1.99.1 (blog.rust-lang.org)

42. rust-djinn: コードは曖昧さのないように記述すべきだ（そして、そうしたと証明すべきだ） Lobste Comment

10-15 rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did) (henniger.dev)

43. Forgejo v17.0がリリースされました Lobste Comment

10-16 Forgejo v17.0 is available (forgejo.org)

44. そろそろだな Lobste Comment

10-16 About time (www.bipm.org)

45. ファンとして、グリームの事例の網羅性を称える Lobste Comment

10-16 Gleam case exhaustiveness, as a fan (oyster.pckt.blog)

46. ソフトウェア工学における宗教学 Lobste Comment

10-16 Religious Studies In Software Engineering (tombh.co.uk)

47. 私のC23に関するルール Lobste Comment

10-15 My C23 Conventions (abner.page)

48. OCapN向けのエンドツーエンド暗号化リレー Lobste Comment

10-15 End-to-end encrypted relays for OCapN (spritely.institute)

49. Webでの利用事例におけるJPEG XLとAVIFの比較 Lobste Comment

10-15 JPEG XL vs AVIF for web use-cases (jakearchibald.com)

50. リモートアテステーションは容認されるべきではない Lobste Comment

10-15 Remote Attestation Should Not Be Tolerated (lumi.codeberg.page)

51. Libreboot 26.10「Ominous Olive」が、UEFIを完全にサポートしてリリースされました Lobste Comment

10-15 Libreboot 26.10 “Ominous Olive” released with full UEFI support (libreboot.org)

52. decomp.dev のサポート終了 Lobste Comment

10-15 Sunsetting decomp.dev (decomp.dev)

53. sslx：OpenSSLのCLIに代わる、高速で最新のツール Lobste Comment

10-15 sslx: A fast, modern alternative to OpenSSL''s CLI (github.com)

54. 『レディバード』今月号 ― 2026年9月 Lobste Comment

10-15 This Month in Ladybird - September 2026 (ladybird.org)

55. Costa GUI Lobste Comment

10-15 The Costa GUI (costa.jacobpalm.dk)

56. HOL Light チュートリアル Lobste Comment

10-15 HOL Light Tutorial (hol-light.github.io)

57. みんな、S3でのGitの使い方を間違っている Lobste Comment

10-15 Everyone is doing Git on S3 wrong (enroute.sh)

58. 保守の幾何学的モデル Lobste Comment

10-15 The geometric model of maintenance (entropicthoughts.com)

59. Microsoft Defender for Linux Lobste Comment

10-15 Microsoft Defender for Linux (techcommunity.microsoft.com)

60. ArenaAllocators は ArrayLists と相性が悪い Lobste Comment

10-15 ArenaAllocators don''t play nicely with ArrayLists (www.openmymind.net)

61. Haxy.net が公開されました！ — HAXY (git forge) 開発ブログ Lobste Comment

10-15 Haxy.net is live! — HAXY (git forge) devlog (youtu.be)

62. 「フェランティ・ファイルズ」：シンクレアの40年にわたる秘密が明るみに出る Lobste Comment

10-15 The Ferranti files: 40 years of Sinclair secrets unearthed (youtu.be)

63. Haxy on Haxy Lobste Comment

10-15 Haxy on Haxy (try.haxy.net)

64. Furifont：フォントに組み込まれたふりがな Lobste Comment

10-15 Furifont: furigana built into the font (furifont.antfu.me)

65. エミュレータ開発者向け：静的バイナリ変換のHOWTO Lobste Comment

10-15 An Emulator Writer''s HOWTO for Static Binary Translation (www.gtoal.com)

66. 中国艦隊を発見した Lobste Comment

10-15 We found a Chinese fleet (swarmcha.se)

67. ito - LuaでターミナルUIを構築する Lobste Comment

10-15 ito - build terminal ui in lua (uji.sh)

68. StringView を使った C 言語の文字列の修正 Lobste Comment

10-15 Fixing C Strings With String Views (eliasebner.com)

69. Anthropicの『Scion』は、『モノノケ・サンシャワーズ』から多大な影響を受けている。 Lobste Comment

10-15 Anthropic''s Scion is heavily inspired by Mononoke · sunshowers (sunshowers.io)

70. ルートDNSSECのトラストアンカー Lobste Comment

10-15 Root DNSSEC trust anchors (jpmens.net)

71. HTTP/1接続の再利用の改善 Lobste Comment

10-15 Better HTTP/1 connection reuse (go.dev)

72. DelightQL クエリ言語 Lobste Comment

10-15 The DelightQL Query Language (delightql.org)

73. L0phtが（おそらく）LanManハッシュに対する攻撃をどのように最適化したか Lobste Comment

10-15 How the L0pht (probably) optimized attack against the LanMan hash (modexp.wordpress.com)

74. パッケージマネージャーには整合性の問題がある Lobste Comment

10-15 Package managers have an integrity problem (blog.trailofbits.com)

75. 私が自前でホスティングしているもの理想的なセルフホスティングガイド Lobste Comment

10-14 What I Self-Host Aspirational Self Hosting Guide (viceconsole.fyi)

76. GitLab、最大深刻度のコード実行の脆弱性について警告 Lobste Comment

10-14 GitLab warns of max severity code execution vulnerability (www.bleepingcomputer.com)

77. チートなしでLinuxで楽しむ最高のゲーム体験 Lobste Comment

10-14 Awesome Gaming on Linux Without Cheating (onlineservices.epicgames.com)

78. Techaro社のBotStopper Lobste Comment

10-14 BotStopper from Techaro (botstopper.net)

79. ZXC：超高速デコードを実現するために設計されたロスレス圧縮 Lobste Comment

10-14 ZXC: Lossless compression built for ultra-fast decode (libzxc.org)

80. READ COMMITTED 隔離レベルにおける線形化可能なログの構築 Lobste Comment

10-14 Building a Linearizable Log on READ COMMITTED Isolation (materialize.com)

81. OpenFatigue — 「オープン」こそが新たな「クローズド」である Lobste Comment

10-14 OpenFatigue — Open is the new closed (openfatigue.ai)

82. Factor 0.102 がリリースされました Lobste Comment

10-14 Factor 0.102 now available (re.factorcode.org)

83. たった1行弱でパイプラインにロックステップする Lobste Comment

10-14 Lockstep to pipeline in almost one line (andersmurphy.com)

84. Plasma 6.8 がリリースされました（KDE 30周年） Lobste Comment

10-14 Plasma 6.8 released (KDE''s 30th birthday) (kde.org)

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

10-14 yet another place where a linux man page is inaccurate (sebsite.pw)

86. Firefox Enterpriseのご紹介 Lobste Comment

10-14 Introducing Firefox Enterprise (blog.mozilla.org)

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

10-14 My Game''s Procedural Dialogue System (www.youtube.com)

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

10-14 Pulsar at ESUG 2026 (new Smalltalk IDE) (blog.lorenzano.eu)

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

10-14 A UAF turned RCE (daniel.haxx.se)

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

10-14 Linux Lockdown and Hibernation (again) (codon.org.uk)

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

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

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

10-14 Ledger confirms spy chip implant behind wallet crypto thefts (www.bleepingcomputer.com)

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

10-14 Fancy Curl Sites (nytpu.com)

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

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

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

10-14 Compiler bootstrapping depends on more than you might think (utcc.utoronto.ca)

96. 再帰の攻略 Lobste Comment

10-14 Conquering Recursion (nsl.com)

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

10-14 Apple: Switch to Safari (from Chrome) (www.apple.com)

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

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

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

10-14 The 2026 Maintainers Summit (lwn.net)

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

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

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

10-14 Redesigning source control at Anthropic (www.anthropic.com)

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

10-14 Announcing Lix 2.96 “Bingsu” (lix.systems)

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

10-14 Accelerating the Zig Tokenizer (with AVX-512) (www.youtube.com)

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

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

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

10-14 Data-oriented Design for Mortals (www.youtube.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

116. NeXT上のLotus Improv Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

125. vfmaddrnd231pdって誰？ Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

151. 下線用のCSS Lobste Comment

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

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

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

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

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

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

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

155. D-Busの地獄 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10-11 LineageOS 24.0 released (lineageos.org)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

201. Python 3.15.0 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10-09 Reverse Engineer Anything (github.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

223. Bevy 0.20 Lobste Comment

10-09 Bevy 0.20 (bevy.org)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

233. Guixの拡張 Lobste Comment

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

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

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

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

10-08 specialArgs considered harmful (ysun.co)

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

10-08 Beyond the & (lwn.net)

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

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

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

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

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

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

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

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

241. 柔術 (jj) 0.46.0 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

248. APIに関する愚痴 Lobste Comment

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

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

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

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

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

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

10-08 The Mathocalypse (scottaaronson.blog)

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

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

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

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

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

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

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

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

256. GitのRefについて Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

10-07 Unrolled code (noteflakes.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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