Lobste の最新の投稿 Lite

1. 重要な点において、AtomはRSSよりも優れている Lobste Comment

12:40 Atom is better than RSS, in ways that matter (chrismorgan.info)

2. FlickBoard Lobste Comment

12:09 FlickBoard (natkr.com)

3. MkLinux と、カスタマイズされた Apple Workgroup Server 9150 Lobste Comment

10:56 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)

4. 「フィクシ・プロジェクト」 Lobste Comment

08:51 The Fixi Project (fixiproject.org)

5. 『マトリックス』の世界で過ごした1週間 Lobste Comment

07:19 A week in Matrix (piegames.de)

6. 欧州における検索の展望 Lobste Comment

07:03 European Search Perspective (www.eu-searchperspective.com)

7. Arch Linuxからの脱退 Lobste Comment

06:47 Resigning from Arch Linux (linderud.dev)

8. リーンカーネルの健全性に関するバグ #14576 の事後分析 Lobste Comment

05:51 Postmortem for Lean Kernel Soundness Bug #14576 (leodemoura.github.io)

9. LLMは対称暗号を破ることはない Lobste Comment

05:11 LLMs won''t break symmetric crypto (www.bfswa.blog)

10. 最初の冪等性キー Lobste Comment

04:08 The First Idempotency Key (hatchet.run)

11. Appleの画面共有における事前認証不要のRCE Lobste Comment

03:39 Apple Screen Sharing Pre-Auth RCE (warez.sl0p.foo)

12. でも、あなたの電卓はLinuxを動かせるのでしょうか？ Lobste Comment

03:44 But can your calculator run Linux? (raymii.org)

13. Rustにおける引数解析に関する、古くて新しいアプローチ Lobste Comment

03:31 An old-new take on argument parsing in Rust (jmmv.dev)

14. 『心の概念』について、ナウルが誤っていた点 Lobste Comment

02:39 What Naur got wrong from The concept of mind (tssm.neocities.org)

15. NetBSD 11.0 がリリースされました Lobste Comment

01:57 NetBSD 11.0 released (blog.netbsd.org)

16. パッチを適用し、脆弱性を排除：deepsecがPwn2OwnのMicrosoft Edgeサンドボックス脱出をどのように再構築したか Lobste Comment

08-01 Patch In, Exploit Out: How deepsec Reconstructed the Pwn2Own Microsoft Edge Sandbox Escape (www.darknavy.org)

17. 持ち帰ることのできないセッション Lobste Comment

08-01 The Session You Cannot Take With You (earendil.com)

18. wiff Lobste Comment

08-01 wiff (wezfurlong.org)

19. ノルウェー初のアドベンチャーゲーム Lobste Comment

08-01 Norway''s first adventure games (spillhistorie.no)

20. オリジントライアルを使用して、メール認証プロトコルをテストする Lobste Comment

08-01 Test the Email Verification Protocol with an origin trial (developer.chrome.com)

21. SupportMailのシャーディングシステムの再実装 Lobste Comment

08-01 Rewriting SupportMail''s sharding system (supportmail.dev)

22. 単なる比喩だけでは不十分です。ここでは、「理解の負債」を検証可能な診断基準として提示します。 Lobste Comment

08-01 We need more than a metaphor: here are testable diagnostics for comprehension debt (www.fightforthehuman.com)

23. AI：意思決定を行う人々が留意すべき点 Lobste Comment

08-01 AI: Considerations for people who make decisions (berthub.eu)

24. AIアシスタントをクビにした Lobste Comment

08-01 I Fired My AI Assitant (chreke.com)

25. 開発パイプラインは本番環境です Lobste Comment

08-01 The development pipeline is a production system (sundry.jerryorr.com)

26. エレベーター Lobste Comment

08-01 Elevators (john.fun)

27. ST Rust ドライバー Lobste Comment

08-01 ST Rust drivers (blog.st.com)

28. marionette：決定論的シミュレーションテストライブラリ Lobste Comment

08-01 marionette: deterministic simulation testing library (github.com)

29. 史上最悪のhtmxを作ってみよう Lobste Comment

08-01 Let''s make the worst htmx ever (zserge.com)

30. rustgrep - Rustソースコード用の構造的grep Lobste Comment

08-01 rustgrep - structural grep for Rust source (radicle.network)

31. Arch Linux、AURパッケージの採用を無効化 Lobste Comment

08-01 Arch Linux disables AUR package adoption (lwn.net)

32. Common Lisp によるインタラクティブな Raylib Lobste Comment

08-01 Interactive Raylib with Common Lisp (www.youtube.com)

33. DOOM、Emacs Lobste Comment

08-01 DOOM, Emacs (github.com)

34. 乱雑なGit履歴を受け入れる Lobste Comment

08-01 Accepting a messy git history (beza1e1.tuxen.de)

35. GuixシェルがEmacs内に統合されました Lobste Comment

08-01 Guix shell now inside Emacs (tusharhero.codeberg.page)

36. 私たちが絶えず革新し続けている車輪 Lobste Comment

08-01 The Wheels We Keep Reinventing (blainsmith.com)

37. Servoの6月の注目トピック：実環境での互換性、メディアクエリ、SharedWorkerなど Lobste Comment

08-01 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)

38. 死を待つソフトウェア：relayd(8) と httpd(8) の継続的な進化 Lobste Comment

08-01 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)

39. DebianにおけるChez Schemeの現状 Lobste Comment

08-01 The State of Chez Scheme in Debian (weinholt.se)

40. 1948年製のIBMシステムに搭載された真空管フリップフロップモジュールへの通電 Lobste Comment

08-01 Energizing a vacuum-tube flip-flop module from a 1948 IBM system (www.righto.com)

41. プラットフォームエンジニアリングは依然として重要だ Lobste Comment

08-01 Platform engineering still matters (evnm.substack.com)

42. なぜ自社でCおよびCの推論エンジンを開発するのか Lobste Comment

08-01 Why we write our own C and C inference engines (localai.io)

43. DuckDBにおける非同期I/O：ワーク、スレッド、ワーク Lobste Comment

07-31 Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)

44. .env の問題点 Lobste Comment

07-31 Where .env Went Wrong (secretspec.dev)

45. 私がrandをフォークした理由 Lobste Comment

07-31 Why I forked rand (casualhacks.net)

46. SQLite向けのゼロディスク・S3階層型ストレージエンジンをどのように構築したか Lobste Comment

07-31 How We Built a Zero-Disk, S3-Tiered Storage Engine for SQLite (rivet.dev)

47. ポスト量子証明書 Lobste Comment

07-31 Post-Quantum Certificates (www.netmeister.org)

48. Ruby Centralが遺した破壊的な遺産 Lobste Comment

07-31 Ruby Central''s Destructive Legacy (andre.arko.net)

49. どうやらイタチらしい Lobste Comment

07-31 Methinks it is a weasel (diatone.net)

50. 一体全体、このダブルフォークは何なんだ？ Lobste Comment

07-31 what the double-fork? (bower.sh)

51. 「派生からデプロイまで：本番環境におけるNixの実践」― ジョン・マレー Lobste Comment

07-31 Derivations to Deployments: Practical Nix in Production - John Murray (www.youtube.com)

52. 一時的なシェルを使用したプロジェクト固有の clangd 設定 Lobste Comment

07-31 Project-Specific clangd Configuration with a Temporary Shell (felix-knorr.net)

53. Go 1.27 インタラクティブツアー Lobste Comment

07-31 Go 1.27 interactive tour (victoriametrics.com)

54. Stripeが求めているのは単なる数字だけ Lobste Comment

07-31 Stripe Just Wants a Number (blog.exe.dev)

55. ネストされたデータ並列性の完全な平坦化 Lobste Comment

07-31 Full flattening of nested data parallelism (futhark-lang.org)

56. Baidu Kunlun向けvLLM Lobste Comment

07-31 vLLM for Baidu Kunlun (github.com)

57. 2026年7月にRustコンパイラを高速化する方法 Lobste Comment

07-31 How to speed up the Rust compiler in July 2026 (nnethercote.github.io)

58. 階乗演算子に関する質問 Lobste Comment

07-31 A question about a factorial operator (lobste.rs)

59. ATProtoにおける非公開データ：許可制データに関する提案 Lobste Comment

07-31 Private data in ATProto: Permissioned Data Proposal (github.com)

60. 相関付き乱数生成器 Lobste Comment

07-31 Correlated RNG (knivesforcats.online)

61. C64デモのエフェクト解説：『Rodents In The Attic』 Lobste Comment

07-31 C64 Demo Effects Explained: Rodents In The Attic (youtu.be)

62. コードレビューへの返信：重要な場面では背景情報を添える Lobste Comment

07-31 Code Review Responses: Add Context When It Counts (testing.googleblog.com)

63. 新しいキーボード：Alicjav2 Lobste Comment

07-31 New keyboard: Alicjav2 (marcin.juszkiewicz.com.pl)

64. 電球について、あなたは誤解させられていました Lobste Comment

07-31 You have been mislead about lightbulbs (maurycyz.com)

65. std.Io.Writer.Allocating がメモリをすべて使い果たしてしまった Lobste Comment

07-31 std.Io.Writer.Allocating ate all my memory (www.openmymind.net)

66. gccrs を使用した Linux のコンパイルに向けた進捗状況 Lobste Comment

07-31 Progress toward compiling Linux with gccrs (lwn.net)

67. GCC運営委員会がAI政策を発表 Lobste Comment

07-31 GCC steering committee announces AI policy (lwn.net)

68. 「スタックされたプルリクエスト」がパブリックプレビューを開始しました - GitHub 変更履歴 Lobste Comment

07-31 Stacked pull requests are now in public preview - GitHub Changelog (github.blog)

69. ポスト量子暗号の現状 Lobste Comment

07-31 The State of Post-Quantum Cryptography (www.feistyduck.com)

70. フリースレッド型PythonにおけるNumPyのスケーリング Lobste Comment

07-31 Scaling NumPy on Free-Threaded Python (labs.quansight.org)

71. なぜすべてのウィキメディア関係者はツール開発者であるべきなのか Lobste Comment

07-30 Why every Wikimedian should be a toolmaker (www.haykranen.nl)

72. 飽和：ソフトウェアが規模の拡大に伴い機能不全に陥る理由 Lobste Comment

07-30 Saturation: How Your Software Will Fail at Scale (www.youtube.com)

73. KindaRails2Shell - Active Storage 経由の Rails における重大な RCE (CVE-2026-66066) Lobste Comment

07-30 KindaRails2Shell - Critical RCE in Rails via Active Storage (CVE-2026-66066) (ethiack.com)

74. AIの美学 Lobste Comment

07-30 The AI Aesthetic (blog.jim-nielsen.com)

75. 継続を用いたモック化に対する汎用的なアプローチ Lobste Comment

07-30 A universal approach to mocking with continuations (crowdhailer.me)

76. プログラマーのための論理学 Lobste Comment

07-30 Logic for Programmers (logicforprogrammers.com)

77. htmx を使用したプログレッシブ・エンハンスメント対応フォームの構築 Lobste Comment

07-30 Building Progressively Enhanced Forms Using htmx (www.rafa.ee)

78. deskhop：高速デスクトップ切り替えデバイス Lobste Comment

07-30 deskhop: Fast Desktop Switching Device (github.com)

79. 『人間とコンピュータ』―ジョン・G・ケメニー（1972年） Lobste Comment

07-30 Man and the Computer - John G. Kemeny (1972) (archive.org)

80. ボタンとリンクの違い Lobste Comment

07-30 The Difference Between a Button and a Link (unplannedobsolescence.com)

81. Cにおけるfloatからintへの変換は、未定義の挙動となる可能性があります Lobste Comment

07-30 C float-to-int conversion can be undefined behavior (kttnr.net)

82. これまで取り組んだサイドプロジェクトの中で、一番楽しかったものは何ですか？ Lobste Comment

07-30 What side projects have you enjoyed the most? (lobste.rs)

83. ソニックの物理エンジン……って、実は物理エンジンじゃないの？ Lobste Comment

07-30 Sonic''s Physics Engine... Isn''t a Physics Engine? (www.youtube.com)

84. ローレンツとリトル：あなたの尻尾はいくらですか？ Lobste Comment

07-30 Lorenz and Little: How Much Does Your Tail Cost? (brooker.co.za)

85. 脳にかかる負担 Lobste Comment

07-30 The strain in your brain (anirudh.fi)

86. 初のCHERIoT用シリコン Lobste Comment

07-30 First CHERIoT Silicon (cheriot.org)

87. フライチェック 38：マイト＆マジック Lobste Comment

07-29 Flycheck 38: Might & Magic (emacsredux.com)

88. const_cast：必要悪 Lobste Comment

07-30 const_cast: A Necessary Evil (www.elbeno.com)

89. シンプルなゲームでのタイマー設定（フレームルールを活用して） Lobste Comment

07-30 Setting timers in simple games (feat. the frame rule) (lynn.github.io)

90. basebrowserproject Lobste Comment

07-29 basebrowserproject (mastodon.social)

91. xyは、Python用の非常に高速でカスタマイズ性の高いチャート作成ライブラリです Lobste Comment

07-29 xy is very fast and customizable charting library for Python (github.com)

92. Anthropicの新たな結果に関する補足 Lobste Comment

07-29 Some notes about Anthropic’s new results (blog.cryptographyengineering.com)

93. Gleamの言語サーバーにとって絶好の機会 Gleam v.1.18.0 リリース Lobste Comment

07-29 A field day for Gleam’s language server Gleam v.1.18.0 release (gleam.run)

94. PostgreSQLのMVCC：他のエンジンとの比較におけるトレードオフ Lobste Comment

07-29 PostgreSQL MVCC: tradeoffs compared to other engines (boringsql.com)

95. 過剰設計の電卓：Zig QBE Lobste Comment

07-29 Overengineered calculator: Zig QBE (tomekw.com)

96. 「マッツはいい人だ」かどうかは問題ではない Lobste Comment

07-29 It doesn’t matter whether “Matz is nice” (po-ru.com)

97. 「Hyperbole Implicit Buttons」：Hyperverseを構築しよう Lobste Comment

07-29 Hyperbole Implicit Buttons: Build your Hyperverse (www.chiply.dev)

98. 数学の暗黒の夜 Lobste Comment

07-29 The Dark Night of Mathematics (kirwinhampshire.substack.com)

99. Copilotは、あるWord文書から別のWord文書へと悪意のあるワームを拡散させます Lobste Comment

07-29 Copilot will propagate a malicious worm from one Word document to another (enklypesalt.com)

100. AIブームが世界の意思決定を根底から覆している Lobste Comment

07-29 AI Mania Is Eviscerating Global Decision-Making (hermit-tech.com)

101. MoQを使ってIETFのMoQセッションをストリーミング…というか、まあそんな感じ Lobste Comment

07-29 Streaming the IETF MoQ sessions with MoQ… kinda (www.meetecho.com)

102. 主権は基盤である Lobste Comment

07-29 Sovereignty is a substrate (negroniventurestudios.com)

103. C26：未定義の挙動の低減 Lobste Comment

07-29 C26: Reducing undefined behaviour (www.sandordargo.com)

104. 危険に満ちた世界における安全 Lobste Comment

07-29 Safety in an unsafe world (joshlf.com)

105. デモシーンのユーザーインターフェース Lobste Comment

07-29 User Interfaces of the Demo Scene (datagubbe.se)

106. Manganin：ツールは重要だ Lobste Comment

07-29 Manganin: tools matter (blog.manganin.dev)

107. おもちゃのソフトウェアを書くのは楽しい (2025) Lobste Comment

07-29 Writing Toy Software Is A Joy (2025) (blog.jsbarretto.com)

108. Spinel上のLobste.rs Lobste Comment

07-29 Lobste.rs on Spinel (intertwingly.net)

109. CP/M-68K エミュレータ Lobste Comment

07-29 CP/M-68K emulator (kobolt.github.io)

110. 一から開発されたLinuxデスクトップ「Starling」 Lobste Comment

07-29 Starling, a Linux Desktop written from scratch (starling.build)

111. Dartにおける証明型：finalクラスを計算的証人として使用する Lobste Comment

07-29 Proof types in Dart: Using final classes as computational witnesses (modulovalue.com)

112. フロンティア・ラボのエージェントによる侵入の全容：2026年7月のインシデントに関する技術的タイムライン Lobste Comment

07-29 Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (huggingface.co)

113. プログラム検証において、RocqがLeanよりも優れている理由 Lobste Comment

07-29 Why Rocq is better than Lean for program verification (joomy.korkutblech.com)

114. Waylandのマルチプレイヤー機能の現状 Lobste Comment

07-29 State of multi-player Wayland (blinry.org)

115. 「QSYRUPWD」の謎：IBM i パスワードハッシュの復元 Lobste Comment

07-29 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)

116. 「平均」には何の意味もない Lobste Comment

07-29 The mean means nothing (fzakaria.com)

117. 「キミ・デルタ・アテンション」を思いつくこともできたはずだ Lobste Comment

07-29 You Could Have Come Up With Kimi Delta Attention (blog.doubleword.ai)

118. 破壊的な利便性 Lobste Comment

07-29 Destructive Convenience (volpeon.ink)

119. Bastillion 5.1：単一JARのSSHゲートウェイが、すべてのセッションの監査と再生を行うようになりました Lobste Comment

07-29 Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (github.com)

120. 依存関係の文化 - リチャード・フェルドマン（Software Should Work Conf 2026） Lobste Comment

07-28 Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (www.youtube.com)

121. コンピュートシェーダーを用いたGPU上での並列JSON解析 Lobste Comment

07-28 Parallel JSON parsing on the GPU with compute shaders (github.com)

122. 学習者にとっての「サードプレイス」はどこにあるのでしょうか？ Lobste Comment

07-28 Where are the third places for learners? (kernelkennel.com)

123. Zigのインクリメンタルコンパイルの仕組み Lobste Comment

07-28 Inside Zig''s Incremental Compilation (mlugg.co.uk)

124. ボタンを3回押す手間を省くために、カスタムPCBを設計しました Lobste Comment

07-28 I Designed A Custom PCB To Avoid Pressing A Button Three Times (blog.tymscar.com)

125. issetugid() の設計上の欠陥 (2017) Lobste Comment

07-28 Design flaws in issetugid() (2017) (gist.github.com)

126. Nix を使った（システム）ソフトウェアの構築 Lobste Comment

07-28 Building (systems) software with Nix (hondu.co)

127. Aux Control — 部屋中のみんなで音楽を選ぼう Lobste Comment

07-28 Aux Control — Let the whole room vote on the music (auxcontrol.live)

128. エージェントの安全性を高める追跡機能 Lobste Comment

07-28 Tracked Capabilities for Safer Agents (martinodersky.substack.com)

129. そもそもマイクロサービスって何？ Lobste Comment

07-28 What even are microservices? (var0.xyz)

130. Goのマップ：スイス式テーブルが従来のバケット設計に取って代わった経緯 Lobste Comment

07-28 Golang Maps: How Swiss Tables Replaced the Old Bucket Design (blog.gaborkoos.com)

131. ヒューリスティクスの改善 (2015) Lobste Comment

07-28 Improving Heuristics (2015) (www.redblobgames.com)

132. Tcl/Tk を使用したクロスプラットフォームの CLI および GUI ツールの開発 Lobste Comment

07-28 Develop Cross-Platform CLI and GUI Tools With Tcl/Tk (cgicoffee.com)

133. KIOで多数のファイルを高速にコピーする方法 Lobste Comment

07-28 Making KIO copy many files fast (blogs.kde.org)

134. すべてを支配する一つの指輪：ラジオとノートパソコンを「手間のかかる方法」で接続する Lobste Comment

07-28 One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way (www.lysk.ai)

135. PyTorch：リファレンス言語 Lobste Comment

07-28 PyTorch: a reference language (docs.pytorch.org)

136. J用のObject Pascalバインディング Lobste Comment

07-28 Object Pascal bindings for J (github.com)

137. ベンチマークと評価の実践、第7回：DeepSWE、Senior SWE-Bench、ナプキン計算、そして冬用タイヤ Lobste Comment

07-28 Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires (danluu.com)

138. 世界で最も価値のあるものは「摩擦」である Lobste Comment

07-28 The Most Valuable Commodity in the World is Friction (kyla.substack.com)

139. CIをマージキューに置き換える Lobste Comment

07-28 Replace Your CI With a Merge Queue (blog.exe.dev)

140. 「Framework 13 Pro」レビュー：バッテリー性能は大幅に向上、価格は大幅に高くなった Lobste Comment

07-28 Framework 13 Pro review: Much better battery, much worse price (arstechnica.com)

141. Nightlyで新しいFirefoxのデザインをお試しください Lobste Comment

07-28 Try the New Firefox Design in Nightly (blog.nightly.mozilla.org)

142. Apple MIE 脆弱性攻撃チャレンジ Lobste Comment

07-28 Apple MIE exploitation challenge (blog.calif.io)

143. 「バグの理論」に向けて：予期せぬ事象の「ルリオロジー」 Lobste Comment

07-28 Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)

144. OpenBSD を使って、シンプルなセルフホスト型 Web サーバーをセットアップする Lobste Comment

07-28 Setup a Simple, Self-Hosted Web Server with OpenBSD (btxx.org)

145. Pad-O-Maticは、ボタンを押すだけでワンタイムパッドを印刷します Lobste Comment

07-28 The Pad-O-Matic prints one-time pads at the press of a button (spectrum.ieee.org)

146. マジで、あの巨大なコードモデルって一体何のためにあるの？ Lobste Comment

07-28 Seriously, what is the large code-model even for? (fzakaria.com)

147. 建設的なデータモデリングの理不尽なほど高い有効性 Lobste Comment

07-28 The Unreasonable Effectiveness of Constructive Data Modeling (www.youtube.com)

148. Windows NT 3.1の長所と短所 Lobste Comment

07-28 Advantages and disadvantages of Windows NT 3.1 (dfarq.homeip.net)

149. Raftの実装におけるバグの発見 Lobste Comment

07-28 Finding bugs in Raft implementations (antithesis.com)

150. ボルボ／アイチャーのフリート管理プラットフォームを活用し、すべてのユーザーと車両を管理下に置く Lobste Comment

07-28 Exploiting Volvo/Eicher’s fleet management platform to gain control over all users and vehicles (eaton-works.com)

151. 手軽で簡単なパーサーコンビネータ Lobste Comment

07-28 Quick & Easy Parser Combinators (www.cyan.sh)

152. オープンソースは楽しいものでなければならない（そうでなければ消滅してしまう） Lobste Comment

07-27 Open Source Must Be Fun (Or It Will Die) (mikemcquaid.com)

153. 電磁界 2026 Lobste Comment

07-27 Electromagnetic Field 2026 (media.ccc.de)

154. 第二次世界大戦の勝利に貢献したコンピュータ：コロッサスはドイツの暗号通信を解読した Lobste Comment

07-27 The Computer That Helped Win World War II: Colossus cracked Germany’s encrypted communications (spectrum.ieee.org)

155. Paged Out - 第9号 Lobste Comment

07-27 Paged Out - Issue #9 (pagedout.institute)

156. 音楽プレーヤーを作りました（2022年） Lobste Comment

07-27 I wrote a music player (2022) (www.omarpolo.com)

07-27 Building a Fast Lock-Free Queue in Modern C From Scratch (blog.jaysmito.dev)

158. Zstandard 演習問題（2022年） Lobste Comment

07-27 Zstandard Worked Example (2022) (nigeltao.github.io)

159. 現在のテクノロジー全体を「フォーク」として見てみたいと思いませんか？ Lobste Comment

07-27 Would you like to see a “fork” of current tech as a whole? (lobste.rs)

160. ブログとは、単に当たり前のことを述べるだけのことかもしれない Lobste Comment

07-27 Blogging Can Just Be Stating The Obvious (blog.jim-nielsen.com)

161. RustでのBunのリライトは、どう進んでいますか？ Lobste Comment

07-27 How is the Bun Rewrite in Rust Going? (lockwood.dev)

162. Haskellによるデジタル回路シミュレータ Lobste Comment

07-27 Digital circuit simulator in Haskell (entropicthoughts.com)

163. 「適合」と「理解」 Lobste Comment

07-27 Conformance vs Comprehension (intertwingly.net)

164. 「生産性の蜃気楼」 Lobste Comment

07-27 The Productivity Mirage (frantic.im)

165. Googlebotのほとんどは偽物です Lobste Comment

07-27 Most Googlebots are fake (digitalseams.com)

166. 『日常の暗号技術の設計』 Lobste Comment

07-27 The Design of Everyday Cryptography (www.dlp.rip)

167. lobste.rs で JavaScript エラーが発生しています。以下に回避策を記載します。 Lobste Comment

07-27 lobste.rs has a js-error: here is a mitigation (lobste.rs)

168. どこからともなく聞こえてくる声 Lobste Comment

07-27 A Voice From Nowhere (zanlib.dev)

169. Parquetにおける固定長リストのための高速パス Lobste Comment

07-27 A Fast Path for Fixed-Length Lists in Parquet (www.morling.dev)

170. 第一原理から学ぶ関数型プログラミング、第1部――動機 Lobste Comment

07-27 Functional programming from first principles, part 1 – motivation (www.endoflineblog.com)

171. AIについて Lobste Comment

07-27 On AI (jcs.org)

172. O(N)でのN体重力シミュレーション Lobste Comment

07-27 N-body gravity simulation in O(N) (www.youtube.com)

173. この簡単な裏技で、レビューを再び可能にしましょう Lobste Comment

07-27 Make Reviews Possible Again With This One Simple Trick (silky.github.io)

174. PGSimCity：PostgreSQLの仕組みを3Dで解説 Lobste Comment

07-27 PGSimCity: How PostgreSQL Works, in 3D (nikolays.github.io)

175. 正規表現エンジン上で動作するDOOM Lobste Comment

07-27 DOOM running on a regex engine (4rh1t3ct0r7.github.io)

176. ジョン・バックスによる関数型プログラミング言語の歴史 Lobste Comment

07-27 History of John Backus''s FP languages (softwarepreservation.computerhistory.org)

177. GitHubのセキュリティチームは、一体どんな仕事をしているのでしょうか？ Lobste Comment

07-27 What does GitHub’s security team even do? (orchidfiles.com)

178. std::function と copyable_function の相互変換 Lobste Comment

07-27 Interconverting std::function with copyable_function (quuxplusone.github.io)

179. MikroTikコンテナ内の権威DNSサーバーとしてのdnsmasq Lobste Comment

07-27 Authoritative dnsmasq in a MikroTik container (op-co.de)

180. Linuxのトーバルズであること Lobste Comment

07-27 Being Linux Torvalds (antirez.com)

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

07-27 Using ThinkPad T480 as a mobile phone (grego.site)

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

07-27 SQLite WAL Mode Can Lock Short-Lived Readers (hynek.me)

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

07-27 Valkey: The secret life of data in Valkey (valkey.io)

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

07-27 Teaching Kids Forth (gracefulliberty.com)

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

07-27 Forth Moving Lisp Moving Forth (letoverlambda.com)

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

07-27 OpenLoco version 26.07 Release (openloco.io)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-26 Memory Safety Absolutists (itsallaboutthebit.com)

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

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

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

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

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

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

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

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

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

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

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

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

202. Zigの実例 Lobste Comment

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

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

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

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

07-25 Emacs Writing Machine (chainsawriot.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

229. 7月21日の断片 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-24 Mourning Dan Williams (lwn.net)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-23 On Accountability (addisoncrump.info)

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

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

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

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

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

07-23 Package Name Prefixes (nesbitt.io)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

07-22 SIMD for Collision (box2d.org)

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

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

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

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

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

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

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

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

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

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

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

07-22 Slash Pages (slashpages.net)

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

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

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

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

297. ECCとDDR5 Lobste Comment

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

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

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

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