Lobste の最新の投稿 Lite

1. Google、AIベースのコードドキュメント作成ツール「CodeWiki」を公開 Lobste Comment

19:20 Google releases CodeWiki for AI-based code documentation (codewiki.google)

2. 「AI」エージェント時代のプログラミング言語 Lobste Comment

19:07 Programming Languages in the Age of "AI" Agents (alexn.org)

3. librepods: Appleのエコシステムから解放されたAirPods Lobste Comment

18:15 librepods: AirPods liberated from Apple''s ecosystem (github.com)

4. ジョナサン・ブロウによるプログラミング言語設計論 Lobste Comment

16:43 Jonathan Blow On Programming Lnaguage Design (youtu.be)

5. レイテンシのプロファイリングと最適化 - ドミトリー・ヴイウコフ Lobste Comment

11:16 Latency Profiling and Optimization - Dmitry Vyukov (www.youtube.com)

6. SuperSonic - ブラウザ上で動作するSuperColliderの合成エンジン Lobste Comment

11:12 SuperSonic - SuperCollider''s Synthesis Engine in the Browser (sonic-pi.net)

7. 人々はいつから継承よりも合成を好むようになったのか？ Lobste Comment

10:04 When did people favor composition over inheritance? (www.sicpers.info)

8. Xbox 360におけるCPU設計上の欠陥の発見 (2018年) Lobste Comment

09:02 Finding a CPU Design Bug in the Xbox 360 (2018) (randomascii.wordpress.com)

9. JavaScriptなしでLLMクローラーをブロックする Lobste Comment

07:27 Blocking LLM crawlers, without JavaScript (www.owl.is)

10. お前のプロジェクトはクソだ Lobste Comment

07:15 your project fucking sucks (ficd.sh)

11. サブエージェントの台頭 Lobste Comment

06:48 The Rise of Subagents (www.philschmid.de)

12. TypeScriptにおける堅牢な権限システムの構築 Lobste Comment

06:40 Building a robust permissions system in TypeScript (xetera.dev)

13. Linux環境におけるLenovo Legion Pro 7 16IAX10Hのスピーカー不具合修正へのバグ報奨金1900ドル Lobste Comment

06:11 1900 Bug Bounty to Fix the Lenovo Legion Pro 7 16IAX10H''s Speakers on Linux (github.com)

14. ウェブアプリケーションはどのように独立したプロトコルクライアントとなることができるのか？ Lobste Comment

05:35 How can web apps be independent protocol clients? (fiatjaf.com)

15. アイスバーグ、正しいアイデア - 間違った仕様 - 第2部（全2部中）：仕様 Lobste Comment

02:23 Iceberg, The Right Idea - The Wrong Spec - Part 2 of 2: The Spec (www.database-doctor.com)

16. 小さな関数は有害である (2017) Lobste Comment

01:50 Small functions considered harmful (2017) (copyconstruct.medium.com)

17. もうGrafanaをおすすめできません Lobste Comment

00:51 I can’t recommend Grafana anymore (henrikgerdes.me)

18. AWS Lambda上でRustを用いたサーバーレスアプリケーションの構築 Lobste Comment

00:18 Building serverless applications with Rust on AWS Lambda (aws.amazon.com)

19. CおよびCコンパイラオプション強化ガイド Lobste Comment

00:08 Compiler Options Hardening Guide for C and C (best.openssf.org)

20. 一夜にして仕事の成果が丸ごとコピーされた時：本当に重要なのは何か？ Lobste Comment

11-15 When Your Year of Work Gets Copied Overnight: What Actually Matters? (glama.ai)

21. 受動攻撃的なウェブページを投稿しないでください Lobste Comment

11-15 Don''t Post Passive-Aggressive Webpages (dontpostpassiveaggressivewebpages.com)

22. 想像を絶する錆の種類：自己借用を安全にする方法 Lobste Comment

11-15 The Inconceivable Types of Rust: How to Make Self-Borrows Safe (blog.polybdenum.com)

23. C言語で型安全なジェネリクスを記述する方法 Lobste Comment

11-15 How to write type-safe generics in C (raphgl.github.io)

24. プログラミング言語のゲーミフィケーション Lobste Comment

11-15 Gamification of Programming Languages (sigusr2.net)

25. ucs-detect: ターミナルエミュレータのUnicodeバージョンとサポートレベルを自動的にテストする Lobste Comment

11-15 ucs-detect: automatically test the Unicode version and support level of a terminal emulator (ucs-detect.readthedocs.io)

26. ステッカートップ・アート Lobste Comment

11-15 stickertop.art (stickertop.art)

27. Pythonコードを高速化する10のパターン Lobste Comment

11-15 10 patterns for faster python code (blog.jetbrains.com)

28. たったひとつの歴史 Lobste Comment

11-15 Just One Single History (josh-project.github.io)

29. MCPを用いたコード実行：より効率的なAIエージェントの構築 Lobste Comment

11-15 Code execution with MCP: building more efficient AI agents (www.anthropic.com)

30. AIワールドクロック Lobste Comment

11-15 AI World Clocks (clocks.brianmoore.com)

31. ゴーズ・スウィート16 Lobste Comment

11-15 Go’s Sweet 16 (go.dev)

32. スムースソートを解明する (2011) Lobste Comment

11-15 Smoothsort Demystified (2011) (www.keithschwarz.com)

33. RMPocalypse攻撃：AMD SEV-SNPを破るキャッチ-22の罠 Lobste Comment

11-15 RMPocalypse Attack: How a Catch-22 Breaks AMD SEV-SNP (rmpocalypse.github.io)

34. リークなし、問題なし - ROPチェーンによるASLR回避でRCEを獲得 Lobste Comment

11-15 No Leak, No Problem - Bypassing ASLR with a ROP Chain to Gain RCE (modzero.com)

35. Python、Django、PostgreSQLにおけるUUIDv7の使用方法 Lobste Comment

11-15 How to use UUIDv7 in Python, Django and PostgreSQL (www.paulox.net)

36. 純粋なクライアントサイドアプリの政治学 Lobste Comment

11-15 The politics of purely client-side apps (pfrazee.leaflet.pub)

37. IncusOSの発表 Lobste Comment

11-15 Announcing IncusOS (discuss.linuxcontainers.org)

38. AIの水問題というのは偽りである Lobste Comment

11-15 The AI water issue is fake (andymasley.substack.com)

39. ブログで参照されているバージョン管理の外部コンテンツ Lobste Comment

11-15 Version Control External Content Referenced in Your Blog (lgug2z.com)

40. marimo — Python用リアクティブノートブック Lobste Comment

11-15 marimo — reactive notebook for Python (github.com)

41. portable_python: Linux用自己完結型Pythonディストリビューション Lobste Comment

11-15 portable_python: Self-contained Python distribution for Linux (github.com)

42. 我々の新たなポスト量子Go暗号ライブラリにおけるサイドチャネル攻撃回避手法 Lobste Comment

11-14 How we avoided side-channels in our new post-quantum Go cryptography libraries (blog.trailofbits.com)

43. ムーンプールとOCaml5をイマンドラックスで Lobste Comment

11-14 Moonpool and OCaml5 in Imandrax (docs.imandra.ai)

44. ここ数年のV8のガベージコレクタ Lobste Comment

11-14 the last couple years in v8''s garbage collector (wingolog.org)

45. Rust用構造的正規表現エンジン Lobste Comment

11-14 A structural regular expression engine for Rust (www.sminez.dev)

46. AMD GPUがブーンと唸る Lobste Comment

11-14 AMD GPUs go brrr (hazyresearch.stanford.edu)

47. UnikraftによるMirageOSユニカーネルのサポートを発表 Lobste Comment

11-14 Announcing Unikraft Support for MirageOS Unikernels (tarides.com)

48. LLMをローカルにデプロイする方法 Lobste Comment

11-14 How to Deploy LLM Locally (blog.lyc8503.net)

49. ソフトウェア開発におけるインスピレーションのための音声中心コンテンツ？ Lobste Comment

11-14 Audio-primary content for inspiration in software development? (lobste.rs)

50. これは戦いではない Lobste Comment

11-14 This Isn''t a Battle (my-notes.dragas.net)

51. EUサイバーセキュリティ政策におけるメモリ安全性のインセンティブ導入を求める声への支持 - Trifecta Tech Foundation Lobste Comment

11-14 Support the call for Memory Safety incentives in EU cybersecurity policies - Trifecta Tech Foundation (trifectatech.org)

52. 国家主体の脅威アクターがClaude Codeを用いてサイバー攻撃を指揮した Lobste Comment

11-14 Nation state threat actor used Claude Code to orchestrate cyber attacks (www.anthropic.com)

53. 国立気象局APIによる無料気象データ Lobste Comment

11-14 Free Weather Data with National Weather Service API (clojurecivitas.github.io)

54. 北朝鮮／南極のVPSを取得する方法 Lobste Comment

11-14 How to Get a North Korea / Antarctica VPS (blog.lyc8503.net)

55. Furgit: 純粋なGoによるGitの高速実装 Lobste Comment

11-14 Furgit: fast implementation of Git in pure Go (github.com)

56. ドメイン特化言語とHaskellを用いたコード合成 Lobste Comment

11-14 Domain-specific Languages and Code Synthesis Using Haskell (queue.acm.org)

57. CUEの論理 Lobste Comment

11-14 The Logic of CUE (cuelang.org)

58. Postgres内部構造：目に見えて隠れているもの Lobste Comment

11-14 Postgres Internals Hiding in Plain Sight (www.crunchydata.com)

59. パターンマッチャーのツアー：式とパターンの展開 Lobste Comment

11-14 Tour of a pattern matcher: expression and pattern expansion (crumbles.blog)

60. 単純さの複雑さ Lobste Comment

11-14 The Complexity of Simplicity (www.youtube.com)

61. スペクトルレンダリング、パート2：リアルタイムレンダリング Lobste Comment

11-14 Spectral rendering, part 2: Real-time rendering (momentsingraphics.de)

62. Kubernetesコンテキストの調整 Lobste Comment

11-14 Wrangling Kubernetes contexts (natkr.com)

63. 形式手法を用いたCOBOLからKotlinへの機械翻訳 Lobste Comment

11-14 Mechanical translation from COBOL to Kotlin using formal methods (marcoeg.medium.com)

64. Androidにおける錆：素早く動いて問題を修正せよ Lobste Comment

11-14 Rust in Android: move fast and fix things (security.googleblog.com)

65. 別のFedora Flatpakに関する議論 Lobste Comment

11-14 Another Fedora Flatpak discussion (lwn.net)

66. ボットいじり Lobste Comment

11-14 Messing with bots (herman.bearblog.dev)

67. SIMA 2: 3D仮想世界向けジェミニ搭載AIエージェント Lobste Comment

11-14 SIMA 2: A Gemini-powered AI agent for 3D virtual worlds (deepmind.google)

68. Chezmoiによる検証可能なドットファイル管理 Lobste Comment

11-13 Testable Dotfiles Management With Chezmoi (shunk031.me)

69. Synit: OSのシステム層における反応性とオブジェクト機能 Lobste Comment

11-14 Synit: Reactivity and object capabilities in the system layer of an OS (synit.org)

70. 言語設計ノート Lobste Comment

11-13 Language Design Notes (cs.lmu.edu)

71. 3.5インチフロッピーディスクなど存在しない Lobste Comment

11-13 There is no such thing as a 3.5 inch floppy disc (jdebp.uk)

72. C言語における整数の解析 Lobste Comment

11-13 Parsing integers in C (daniel.haxx.se)

73. 埋め込み品質の評価：メトリック特性の検証（Z3ソルバー） Lobste Comment

11-13 Evaluating embedding quality by testing metric properties (Z3 solver) (www.testingbranch.com)

74. Ingress NGINX 廃止：知っておくべきこと Lobste Comment

11-13 Ingress NGINX Retirement: What You Need to Know (www.kubernetes.dev)

75. Rustにおける防御的プログラミングのパターン Lobste Comment

11-13 Patterns for Defensive Programming in Rust (corrode.dev)

76. リー・フェイフェイとヤン・ルカンが共に「ワールドモデル」に賭ける理由——そして彼らの賭け方の違い Lobste Comment

11-13 Why Fei-Fei Li and Yann LeCun Are Both Betting on “World Models” — and How Their Bets Differ (entropytown.com)

77. Go提案: コンテキスト認識ダイアラー手法 Lobste Comment

11-13 Go proposal: Context-aware Dialer methods (antonz.org)

78. Mergiraf: Gitのための構文認識マージ Lobste Comment

11-13 Mergiraf: syntax-aware merging for Git (lwn.net)

79. Visual Studio 2026、.NET 10、および C# 14 がリリースされました Lobste Comment

11-13 Visual Studio 2026, .NET 10, and C# 14 are released (visualstudiomagazine.com)

80. 中級開発者 Lobste Comment

11-13 Intermediate Developer (dawranliou.com)

81. Windows 95のアプリケーション互換性機能による不具合プログラムの修正の舞台裏 Lobste Comment

11-13 Behind the scenes on how Windows 95 application compatibility patched broken programs (devblogs.microsoft.com)

82. 真に一流のカスタムスマートポインタ Lobste Comment

11-13 Truly first-class custom smart pointers (nadrieril.github.io)

83. PolySubMLは壊れている Lobste Comment

11-13 PolySubML is broken (blog.polybdenum.com)

84. メモリ安全言語への移行実践ガイド Lobste Comment

11-13 A Practical Guide to Transitioning to Memory-Safe Languages (queue.acm.org)

85. Android開発者向け検証: 経験豊富なユーザーが検証されていないソフトウェアのインストールに伴うリスクを受け入れることを許可する Lobste Comment

11-13 Android developer verification: allow experienced users to accept the risks of installing software that isn''t verified (android-developers.googleblog.com)

86. Herb v0.8の新機能 Lobste Comment

11-13 What''s new in Herb v0.8 (herb-tools.dev)

87. 本番環境における実用的なセキュリティ大規模環境でのC標準ライブラリの強化 Lobste Comment

11-13 Practical Security in Production Hardening the C Standard Library at massive scale (queue.acm.org)

88. pgFirstAid - PostgreSQL ヘルスチェック Lobste Comment

11-13 pgFirstAid-The PostgreSQL Health Check (github.com)

89. (VM)ファームウェアのログ記録技術 Lobste Comment

11-13 the art of (VM) firmware logging (www.kraxel.org)

90. 1つの問題、7つのライブラリ（GPU上で） Lobste Comment

11-13 1 Problem, 7 Libraries (on the GPU) (www.youtube.com)

91. Linuxプロセスの優先度をわかりやすく解説 Lobste Comment

11-13 Linux process priorities demystified (www.sigma-star.at)

92. Valve、新型Steam Machine、Steam Controller、Steam Frameを発表 - Phoronix Lobste Comment

11-13 Valve Announces New Steam Machine, Steam Controller & Steam Frame - Phoronix (www.phoronix.com)

93. 視覚タイプ Lobste Comment

11-13 Visual Types (types.kitlangton.com)

94. Homebrew v5.0.0: macOS（またはLinux）に欠けていたパッケージマネージャー Lobste Comment

11-13 Homebrew v5.0.0: The Missing Package Manager for macOS (or Linux) (brew.sh)

95. 奇妙なハッシュのトリック Lobste Comment

11-13 One Weird Hashing Trick (notes.hella.cheap)

96. 俳句活動・契約報告書 2025年10月 Lobste Comment

11-12 Haiku Activity & Contract Report, October 2025 (www.haiku-os.org)

97. クロスコンテナ通信のための信頼性の高いサイドチャネル Lobste Comment

11-12 Fun-reliable side-channels for cross-container communication (h4x0r.org)

98. テンプレートインタプリタ Lobste Comment

11-12 Template Interpreters (zackoverflow.dev)

99. FreeBSDの簡単な紹介 Lobste Comment

11-12 A brief look at FreeBSD (yorickpeterse.com)

100. シャベルウェアはどこだ？AIコーディングの主張が成立しない理由 Lobste Comment

11-12 Where''s the Shovelware? Why AI Coding Claims Don''t Add Up (substack.com)

101. 非同期処理とファイナライザによるデッドロック Lobste Comment

11-12 Async and Finaliser Deadlocks (tratt.net)

102. 回転式電話機を会議用受話器に改造した Lobste Comment

11-12 I converted a rotary phone into a meeting handset (www.stavros.io)

103. 24時間で血圧計のプロトコルをリバースエンジニアリングすることはできなかった Lobste Comment

11-12 I didn''t reverse-engineer the protocol for my blood pressure monitor in 24 hours (james.belchamber.com)

104. Augment Codeの新クレジットシステムを4つの実際のタスクでテスト Lobste Comment

11-12 Testing Augment Code''s New Credit System with 4 Real Tasks (blog.kilocode.ai)

105. Google、メインラインLinuxカーネルでPixel 10ハードウェアを起動するためのデバイスツリーを公開 Lobste Comment

11-12 Google Posts Device Trees For Booting Pixel 10 Hardware With The Mainline Linux Kernel (www.phoronix.com)

106. 非同期でデータ系列を操作するための抽象化 Lobste Comment

11-12 Abstractions for asynchronously working with series of data (worm-blossom.org)

107. 添字とサイズは符号付きであるべきである (2018) Lobste Comment

11-12 Subscripts and sizes should be signed (2018) (open-std.org)

108. LibreOfficeのワードル Lobste Comment

11-12 Wordle in LibreOffice (bojidar-bg.dev)

109. 非難めいた態度で提示する：強靭な再帰的下降構文解析 Lobste Comment

11-12 Reproachfully Presenting Resilient Recursive Descent Parsing (thunderseethe.dev)

110. Perkeep v0.12 リリース Lobste Comment

11-12 Perkeep v0.12 released (github.com)

111. FFmpegからGoogleへ：資金提供するか、バグ報告をやめるか Lobste Comment

11-12 FFmpeg to Google: Fund Us or Stop Sending Bugs (thenewstack.io)

112. アーチデルタがアップグレード時に80％以上の帯域幅を節約する方法 Lobste Comment

11-12 How arch-delta Saves 80% Of Bandwidth On Upgrades (djugei.github.io)

113. Servo: Rustで書かれた新しいWebエンジン Lobste Comment

11-12 Servo: A new web engine written in Rust (blogs.igalia.com)

114. sudo-rsの更新により、2つの中程度の脆弱性が修正されました Lobste Comment

11-12 sudo-rs update to address two moderate vulnerabilities (bugs.launchpad.net)

115. 読み取り専用文字は重大な問題である Lobste Comment

11-12 Readonly Characters Are a Big Deal (matklad.github.io)

116. 未来のターミナル Lobste Comment

11-12 the terminal of the future (jyn.dev)

117. 自転車に乗った行動的なペリカン Lobste Comment

11-12 Agentic Pelican on a Bicycle (www.robert-glaser.de)

118. 副作用の一覧 Lobste Comment

11-12 A catalog of side effects (bernsteinbear.com)

119. rtc: rk808: 11月31日のRockchipカレンダーのずれを補正 Lobste Comment

11-12 rtc: rk808: Compensate for Rockchip calendar deviation on November 31st (github.com)

120. クィアコミュニティのための、クィアコミュニティによる領域 Lobste Comment

11-12 A domain for the Queer Community, by the Queer Community (www.dotmeow.org)

121. クエリプランのキャッシュ Lobste Comment

11-12 Query Plan Caching (buttondown.com)

122. キャッシュに優しい、低メモリのランチョス法（Rust版） Lobste Comment

11-12 Cache-Friendly, Low-Memory Lanczos Algorithm in Rust (lukefleed.xyz)

123. 勝つこともあれば負けることもある：ペーパークラフトとそれ以上について Lobste Comment

11-12 You Win Some, You Lose Some: on Papercraft and more (noteflakes.com)

124. .NET 10 の発表 Lobste Comment

11-11 Announcing .NET 10 (devblogs.microsoft.com)

125. Grebedoc — Git フォージ向け静的サイトホスティング Lobste Comment

11-11 Grebedoc — static site hosting for git forges (grebedoc.dev)

126. 氷山はいかがですか？ストリーミングで？それともバッチ処理で？ Lobste Comment

11-11 How Would You Like Your Iceberg Sir? Stream or Batch Ordered? (jack-vanlightly.com)

127. Firefox、フィンガープリント対策機能を拡充：よりプライバシー保護されたウェブへ前進 Lobste Comment

11-11 Firefox expands fingerprint protections: advancing towards a more private web (blog.mozilla.org)

128. S3上の仮想検索エンジン、TantivyとNVMe上のウォームキャッシュを実装 Lobste Comment

11-11 A hypothetical search engine on S3 with Tantivy and warm cache on NVMe (www.shayon.dev)

129. HNSWの拡張 Lobste Comment

11-11 Scaling HNSWs (antirez.com)

130. 「依存関係カットアウト」ワークフローパターン Lobste Comment

11-11 The “Dependency Cutout” Workflow Pattern (blog.glyph.im)

131. Zig / C 相互運用 Lobste Comment

11-11 Zig / C Interop (tuple.app)

132. アドベント・オブ・コード on the Z-machine Lobste Comment

11-11 Advent of Code on the Z-machine (entropicthoughts.com)

133. AI時代のサバイバルガイド Lobste Comment

11-11 A Survival Guide for the AI Age (www.youtube.com)

134. アドホック・プロファイリング Lobste Comment

11-11 Ad Hoc Profiling (blog.mozilla.org)

135. 単にクローン（またはエイリアス）を呼び出せばよい Lobste Comment

11-11 Just call clone (or alias) (smallcultfollowing.com)

136. 出張報告書：2025年11月 ISO C標準化会議（米国コナ） Lobste Comment

11-11 Trip report: November 2025 ISO C standards meeting (Kona, USA) (herbsutter.com)

137. gixy-ng: 更新・改良・新規チェック機能を追加したgixyのフォーク [ コード盗用を検出する大規模言語モデル ] Lobste Comment

11-11 gixy-ng: gixy fork with updated, improved, and new check [ LLMs for plagiarising code ] (joshua.hu)

138. HP-UX 9 のインストールと使用 Lobste Comment

11-11 Installing and using HP-UX 9 (thejpster.org.uk)

139. Mojo: Pythonエコシステム向けGPU上のMLIRベースのパフォーマンスポータブルHPC科学カーネル Lobste Comment

11-11 Mojo: MLIR-Based Performance-Portable HPC Science Kernels on GPUs for the Python Ecosystem (arxiv.org)

140. CPython 3.15では、デコンプレッションが最大30%高速化されました Lobste Comment

11-11 Decompression is up to 30% faster in CPython 3.15 (emmatyping.dev)

141. TRMNL 集中力を維持するE-inkダッシュボード Lobste Comment

11-11 TRMNL E-ink dashboard to stay focused (usetrmnl.com)

142. Apache XML インフラストラクチャの更新 Lobste Comment

11-11 Refreshing Apache XML Infrastructure (blog.adamretter.org.uk)

143. 日付ピッカーを再考する Lobste Comment

11-11 Reimagine the Date Picker (dbushell.com)

144. Rust ハッシュ早見表 Lobste Comment

11-11 Rust Hashing Cheat Sheet (bd103.github.io)

145. Arm Homelab-in-a-Box – Minisforum MS-R1 Lobste Comment

11-11 Arm Homelab-in-a-Box – Minisforum MS-R1 (youtu.be)

146. NixでビルドされたRustバイナリにおけるGit情報の公開 Lobste Comment

11-11 Exposing Git Information in Rust Binaries Built With Nix (lgug2z.com)

147. 懐疑論者のためのメモリ安全 Lobste Comment

11-11 Memory Safety for Skeptics (queue.acm.org)

148. 下着の固定点 Lobste Comment

11-11 The Underwear Fixed Point (notes.hella.cheap)

149. ViteおよびPreact向けCSS抽出ライブラリ Lobste Comment

11-11 CSS Extraction Library for Vite and Preact (github.com)

150. ベルギーのAI科学者たちは、学術界におけるAIの使用に抵抗している Lobste Comment

11-11 Belgian AI scientists resist the use of AI in academia (apache.be)

151. 自然言語、意味解析、およびインタラクティブ・フィクション (2006) Lobste Comment

11-11 Natural Language, Semantic Analysis, and Interactive Fiction (2006) (worrydream.com)

152. 論説：ジグについて（およびそのデザイン上の選択） Lobste Comment

11-10 Opinion piece: On Zig (and the design choices within) (blueberrywren.dev)

153. 私たちがdhhとして知っていた、愛していたその人はもういない Lobste Comment

11-10 The man we knew and loved as dhh is gone (okayfail.com)

154. SASS：黙示録を生き延びたCSSプリプロセッサアンドロス・フェノロッサ Lobste Comment

11-10 SASS: The CSS Preprocessor That Survived the Apocalypse Andros Fenollosa (en.andros.dev)

155. TigerBeetleを用いた高性能チケットシステムの構築 Lobste Comment

11-10 Building a High-Performance Ticketing System with TigerBeetle (renerocks.ai)

156. ゼッド・クラウドに頭を突っ込む Lobste Comment

11-10 Head in the Zed Cloud (maxdeviant.com)

157. Androidセキュリティ情報：2025年11月パッチによるゼロクリックRCEの修正 Lobste Comment

11-10 Android security bulletin: November 2025 patch fixes zero-click RCE (source.android.com)

158. 独自のBEAMを書く Lobste Comment

11-10 Writing your own BEAM (martin.janiczek.cz)

159. エラー・モデル (2016) Lobste Comment

11-10 The Error Model (2016) (joeduffyblog.com)

160. バイブコード警告 – 1000行から10000行へ、個人的なケーススタディ Lobste Comment

11-10 Vibe Code Warning – from 1k to 10k lines, a personal casestudy (github.com)

161. Vulkan/Nouveau/nvk/Zink/Mutterとデッドロックの物語 Lobste Comment

11-10 a tale of vulkan/nouveau/nvk/zink/mutter deadlocks (airlied.blogspot.com)

162. モジラ博物館（2000年） Lobste Comment

11-10 The Mozilla Museum (2000) (home.snafu.de)

163. 今一番好きなポッドキャストは何ですか？ Lobste Comment

11-10 What’s your favourite podcast at the moment? (lobste.rs)

164. Linuxカーネル、Microsoft C拡張機能の有効化に向け「覚悟を決める」 Lobste Comment

11-10 The Linux Kernel Looks To "Bite The Bullet" In Enabling Microsoft C Extensions (www.phoronix.com)

165. 大理石の噴水 Lobste Comment

11-10 Marble Fountain (willmorrison.net)

166. 週末で完成するボクセルエンジン Lobste Comment

11-10 Voxel Engine in a Weekend (daymare.net)

167. エフゲニー・ムルジンのANSシンセサイザーをモデルにしたソフトウェアシンセサイザー Lobste Comment

11-10 a software synthesizer modellled on Yevgeny Murzin''s ANS synthesizer (github.com)

168. エラー ABI Lobste Comment

11-10 Error ABI (matklad.github.io)

169. ソフトウェア設計パターン；特定のパターンに対するテストケースやレシピは存在するのか？ Lobste Comment

11-10 Software design patterns; Are there test cases or recipes for specific patterns? (lobste.rs)

170. 「erase startup-config」だけでは不十分です Lobste Comment

11-10 "erase startup-config" isn''t enough (alyx.sh)

171. Python 3.16 によるフリースレッド JIT の 510%* 高速化計画 Lobste Comment

11-10 A Plan for 5-10%* Faster Free-Threaded JIT by Python 3.16 (fidget-spinner.github.io)

172. Neovim vs Emacs TJ DeVries、DistroTube、Greg Anders、Joshua Blaisによる座談会 Lobste Comment

11-10 Neovim vs Emacs Roundtable w/ TJ DeVries, DistroTube, Greg Anders & Joshua Blais (www.youtube.com)

173. アクメ：プログラマーのためのユーザーインターフェース (1994) Lobste Comment

11-10 Acme: A User Interface for Programmers (1994) (doc.cat-v.org)

174. 値クラスは新しいデータクラスである Lobste Comment

11-10 Value classes are the new data classes (curiouslab.dev)

175. KeePassXCのコード品質管理について Lobste Comment

11-10 About KeePassXC’s Code Quality Control (keepassxc.org)

176. RV32における16ビットデータポインタ Lobste Comment

11-10 16-bit Data Pointers on RV32 (wren.wtf)

177. スプライト改造 - キッドカムファームウェア改造 Lobste Comment

11-09 Sprites mods - Kid-cam firmware modding (spritesmods.com)

178. メール認証プロトコル: 認証済み自動入力 Lobste Comment

11-09 email-verification-protocol: verified autofill (github.com)

179. AIへの懐疑感強まる中、テック株1兆ドルが売り浴びせられる Lobste Comment

11-09 1 Trillion in Tech Stocks Sold Off as Market Grows Skeptical of AI (gizmodo.com)

180. 新しいduコマンド（/lib/cargo/bin/coreutils内）はUbuntu 25.10で誤ったサイズを出力する Lobste Comment

11-09 The new du command (in /lib/cargo/bin/coreutils) outputs wrong sizes in Ubuntu 25.10 (askubuntu.com)

181. 言語指向プログラミングの復活 Lobste Comment

11-09 The Return of Language-Oriented Programming (blog.evacchi.dev)

182. 命令形から関係詞へ Lobste Comment

11-09 Imperative to relational (madhadron.com)

183. クエリ実行時に精度を選択できるベクトル検索エンジンの構築 Lobste Comment

11-09 Building a vector search engine that lets you choose precision at query time (clickhouse.com)

184. フォース - それは今なお意味を持つのか？ Lobste Comment

11-09 Forth - is it still relevant? (github.com)

185. ブール値にはいくつの選択肢が含まれますか？ Lobste Comment

11-09 How many options fit into a boolean? (herecomesthemoon.net)

186. インターネットのために働いた――さて、これからどうする？ Lobste Comment

11-09 I worked for the Internet – now what? (trynova.dev)

187. PythonでCI/CDパイプラインランナーを一から構築する Lobste Comment

11-09 Building a CI/CD Pipeline Runner from Scratch in Python (muhammadraza.me)

188. Ironclad：Ada言語で記述された形式的に検証されたUnixライクなカーネル Lobste Comment

11-09 Ironclad, a formally verified Unix-like kernel written in Ada (ironclad-os.org)

189. なぜ私はRustも好きではないのか Lobste Comment

11-09 Why I don''t love Rust (either) (cbarrete.com)

190. Ofcomファイル、第2部：オンライン安全法への準拠には、英国におけるIPブロックだけでは不十分である Lobste Comment

11-09 The Ofcom Files, Part 2: IP Blocking the UK is Not Enough to Comply with the Online Safety Act (prestonbyrne.com)

191. メカニカルキーボードの最大の問題点を解決する Lobste Comment

11-09 Fixing the Biggest Problem With Mechanical Keyboards (youtu.be)

192. Rustにおける特性制約付き列挙型 Lobste Comment

11-09 Trait-Constrained Enums in Rust (kcsongor.github.io)

193. Dijkstraのアルゴリズム in JS Lobste Comment

11-09 Dijkstra’s Algorithm in JS (github.com)

194. スニッファを用いたBeagleBoard USBブートのデバッグ：現代のPCにおけるomap_loaderの修正 Lobste Comment

11-09 Debugging BeagleBoard USB boot with a sniffer: fixing omap_loader on modern PCs (www.downtowndougbrown.com)

195. GSOC 2025 レポート: NetBSDへのサンドボックス機能追加にバブルラップを活用 Lobste Comment

11-09 GSOC 2025 Reports: Using bubblewrap to add sandboxing to NetBSD (blog.netbsd.org)

196. opencloud - Go言語で書かれたNextcloudの代替 Lobste Comment

11-09 opencloud - an alternative to nextcloud written in Go (github.com)

197. ローカルファースト HTMX Lobste Comment

11-08 Local First HTMX (elijahm.com)

198. 小型言語モデルはエージェント型AIの未来である Lobste Comment

11-08 Small Language Models are the Future of Agentic AI (arxiv.org)

199. Valdiは、開発速度を犠牲にすることなくネイティブパフォーマンスを実現するクロスプラットフォームUIフレームワークです。 Lobste Comment

11-08 Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity (github.com)

200. ゼリースライダー Lobste Comment

11-08 Jelly Slider (docs.swmansion.com)

201. QEMUストレージ性能最適化に使用するプロファイリングツール Lobste Comment

11-08 Profiling tools I use for QEMU storage performance optimization (blog.vmsplice.net)

202. ワークステーション用ブートC Lobste Comment

11-08 Bootc for workstation use (lwn.net)

203. スペクトルレンダリング、パート1：スペクトル Lobste Comment

11-08 Spectral rendering, part 1: Spectra (momentsingraphics.de)

204. 『Sea of Thieves』のC14からC20へのアップグレードにおける課題と利点 Lobste Comment

11-08 Challenges and Benefits of Upgrading Sea of Thieves From C14 to C20 (www.youtube.com)

205. ミリアンペアからマイクロアンペアへ：低電力ガジェット作りの教訓 Lobste Comment

11-08 From Milliamperes to Microamperes: Lessons in Low-Power Gadgetmaking (www.crowdsupply.com)

206. Nextcloudの操作が遅く感じられる理由 Lobste Comment

11-08 Why Nextcloud feels slow to use (ounapuu.ee)

207. FFmpeg アセンブリ言語レッスン Lobste Comment

11-08 FFmpeg Assembly Language Lessons (github.com)

208. Rust依存関係エコシステムの現状 Lobste Comment

11-08 The state of the Rust dependency ecosystem (00f.net)

209. SelfHostLLM - LLM推論用GPUメモリ計算ツール Lobste Comment

11-08 SelfHostLLM - GPU Memory Calculator for LLM Inference (selfhostllm.org)

210. ポジションの奇妙な部分：スティッキー Lobste Comment

11-08 The Weird Parts of position: sticky (frontendmasters.com)

211. ワープストック2025 (OS/2、ArcaOS) Lobste Comment

11-07 Warpstock 2025 (OS/2, ArcaOS) (www.youtube.com)

212. ウェブ開発者からデータベース開発者へ 10年で Lobste Comment

11-08 From web developer to database developer in 10 years (notes.eatonphil.com)

213. Magika 1.0 の発表：より高速に、より賢く、Rust で再構築されました Lobste Comment

11-07 Announcing Magika 1.0: now faster, smarter, and rebuilt in Rust (opensource.googleblog.com)

214. 燃えゆく世界のための遅いソフトウェア Lobste Comment

11-07 Slow Software for a Burning World (bonfirenetworks.org)

215. GNOME 50 は Mutter X11 バックエンドを廃止します Lobste Comment

11-07 GNOME 50 drops Mutter X11 backend (www.phoronix.com)

216. Cにおける移動セマンティクスの問題点 Lobste Comment

11-07 Problems With Move Semantics in C (youtu.be)

217. 制御フローのエラーコード Lobste Comment

11-07 Error Codes for Control Flow (matklad.github.io)

218. なぜ私は異なるデザインを同時にテストしないのか Lobste Comment

11-07 Why I don’t test different designs at the same time (adamsilver.io)

219. 5分でClojureScriptネイティブデスクトップアプリを作成する Lobste Comment

11-07 Build a ClojureScript native desktop app in 5 minutes (www.youtube.com)

220. クロキシリアス Lobste Comment

11-07 Kroxylicious (kroxylicious.io)

221. Typst-Unlit: Typstで洗練されたHaskellプログラムを記述する Lobste Comment

11-07 Typst-Unlit: Write literate Haskell programs in Typst (cdn.oppi.li)

222. Rust静的ライブラリのリンクと縮小：炎の物語 Lobste Comment

11-07 Linking and shrinking Rust static libraries: a tale of fire (centricular.com)

223. このサイトの構築方法 Lobste Comment

11-07 How This Site Is Build (ryan.freumh.org)

224. IncusOS入門 Lobste Comment

11-07 Introduction to IncusOS (linuxcontainers.org)

225. AIの70％問題 Lobste Comment

11-07 AI''s 70% Problem (zed.dev)

226. 高度なセキュリティ脆弱性に対する6つのAIモデルのテスト結果 Lobste Comment

11-07 Results from Testing Six AI Models on Advanced Security Exploits (blog.kilocode.ai)

227. エージェントに手紙を書くべきです Lobste Comment

11-07 You Should Write An Agent (fly.io)

228. qq.fish: LMStudioを使ってコマンドを提案する、小さなローカルLLMアシスタント。ほぼ誰でも実行可能 Lobste Comment

11-07 qq.fish: A tiny, local, LLM assistant to propose commands using LMStudio that (almost) everyone can run (github.com)

229. 私は今Typstを使っています Lobste Comment

11-07 I use Typst now (www.christopherbiscardi.com)

230. 一体全体、お前は何を作ったんだ Lobste Comment

11-07 What the hell have you built (wthhyb.sacha.house)

231. ユタ大学で発見されたUnix V4テープ Lobste Comment

11-07 Unix V4 tape found at The University of Utah (phanpy.social)

232. ハッシュが文字列になる時：Rubyの100万分の1の確率のメモリバグを追跡する Lobste Comment

11-07 When Your Hash Becomes a String: Hunting a Ruby Million-to-One Memory Bug (mensfeld.pl)

233. マストドン 4.5 Lobste Comment

11-07 Mastodon 4.5 (blog.joinmastodon.org)

234. Claude CodeやCodexのような非同期コーディングエージェントを用いたコード研究プロジェクト Lobste Comment

11-07 Code research projects with async coding agents like Claude Code and Codex (simonwillison.net)

235. Cranelift および Wasmtime の例外 Lobste Comment

11-07 Exceptions in Cranelift and Wasmtime (cfallin.org)

236. マニュアルページ（第1部） Lobste Comment

11-07 Man Pages (Part 1) (abochannek.github.io)

237. FirefoxがLLM機能を強制 Lobste Comment

11-06 Firefox Forcing LLM Features (equk.co.uk)

238. AWS障害におけるDNS競合状態のTLAモデリング Lobste Comment

11-07 TLA Modeling of AWS outage DNS race condition (muratbuffalo.blogspot.com)

239. 携帯電話用8pen入力方式 [2010] Lobste Comment

11-06 The 8pen input method for phones [2010] (www.youtube.com)

240. 20年間解読されなかったファイル形式 Lobste Comment

11-07 A File Format Uncracked for 20 Years (landaire.net)

241. Puma 7 にアップグレードして、公平なスケジュール型キープアライブの力を解き放つ Lobste Comment

11-06 Upgrade to Puma 7 and Unlock the Power of Fair Scheduled Keep-alive (www.heroku.com)

242. Building blobd: 1ミリ秒未満の読み取りと15GB/sのアップロードを実現する単一マシン向けオブジェクトストア Lobste Comment

11-06 Building blobd: single-machine object store with sub-millisecond reads and 15 GB/s uploads (blog.wilsonl.in)

243. 柔術 v0.35.0 リリース Lobste Comment

11-06 jujutsu v0.35.0 released (github.com)

244. カレンダー.txtに恋をした話 Lobste Comment

11-06 How I fell in love with calendar.txt (ploum.net)

245. gem.coop 更新 #1 Lobste Comment

11-06 gem.coop update #1 (gem.coop)

246. Fil-Cに関する注記 Lobste Comment

11-06 A note on Fil-C (graydon2.dreamwidth.org)

247. SeaweedFSでMastodonメディアをセルフホスティングする Lobste Comment

11-06 Self-hosting your Mastodon media with SeaweedFS (it-notes.dragas.net)

248. systemd のセキュリティモデル Lobste Comment

11-06 A security model for systemd (lwn.net)

249. 輝けるコンピューター Lobste Comment

11-06 Radiant Computer (radiant.computer)

250. Löbとmöb：Haskellにおける奇妙なループ Lobste Comment

11-06 Löb and möb: strange loops in Haskell (github.com)

251. JEP 401 バリュークラスとオブジェクトを試す Lobste Comment

11-06 Try Out JEP 401 Value Classes and Objects (inside.java)

252. Mörk - Gleamで書かれたCommonmark準拠のマークダウンパーサー Lobste Comment

11-06 Mörk - a Commonmark compliant markdown parser written in Gleam (hexdocs.pm)

253. 失われたIBM PC/ATモデル？新たに発見された古いBIOSの分析 Lobste Comment

11-06 A Lost IBM PC/AT Model? Analyzing a Newfound Old BIOS (int10h.org)

254. 2025年におけるRustのSIMDの現状 Lobste Comment

11-06 The state of SIMD in Rust in 2025 (shnatsel.medium.com)

255. SLOの設定方法、改善の推進、そして仲間作り Lobste Comment

11-06 How to set SLOs, drive improvements, and make friends (www.youtube.com)

256. スネークメイク Lobste Comment

11-06 Snakemake (danmackinlay.name)

257. グレースケールの力で Lobste Comment

11-06 By the power of grayscale (zserge.com)

258. Flirtの開発を発表します Lobste Comment

11-06 Announcing Development on Flirt (blog.buenzli.dev)

259. バイクシェディングハンドルとその他の追伸 Lobste Comment

11-06 Bikeshedding Handle and other follow-up thoughts (smallcultfollowing.com)

260. XDPを使用したアウトバウンドトラフィック Lobste Comment

11-06 Using XDP for Egress Traffic (www.loopholelabs.io)

261. Myna: 記号の多いプログラミング言語向けに設計された等幅フォント Lobste Comment

11-06 Myna: monospace typeface designed for symbol-heavy programming languages (github.com)

262. OSSセキュリティ - procfs書き込みによるruncコンテナの脱走: CVE-2025-31133、CVE-2025-52565、およびCVE-2025-52881 Lobste Comment

11-06 oss-security - runc container breakouts via procfs writes: CVE-2025-31133, CVE-2025-52565, and CVE-2025-52881 (www.openwall.com)

263. リックスコン2026 Lobste Comment

11-06 LixCon in 2026 (lix.systems)

264. 2025年、ロブスターたちが愛用しているノートパソコンは？――収集データ Lobste Comment

11-06 What laptops are Lobsters rocking in 2025 -- collected data (alopex.li)

265. テラバイト規模のランダムデータをZigとCapstoneで分解し、主張を立証する Lobste Comment

11-05 Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point (jstrieb.github.io)

266. 退屈な会議中だったので、AI百科事典も作ってみた Lobste Comment

11-05 I was in a boring meeting so I made an AI encyclopedia too (encyclopedai.stavros.io)

267. C言語における再帰マクロ、その謎を解き明かす（泣きじゃくりが収まったら） Lobste Comment

11-05 Recursive macros in C, demystified (once the ugly crying stops) (h4x0r.org)

268. Kubernetesがインターネットから一時停止イメージを取得するのを防止する Lobste Comment

11-05 Preventing Kubernetes from Pulling the Pause Image from the Internet (kyle.cascade.family)

269. Zensical: モダンな静的サイトジェネレーター Lobste Comment

11-05 Zensical: A modern static site generator (squidfunk.github.io)

270. なぜBAMLなのか？ Lobste Comment

11-05 Why BAML? (docs.boundaryml.com)

271. ストレンジアトラクター Lobste Comment

11-05 Strange Attractors (blog.shashanktomar.com)

272. コンパイラ・バックエンドの概説 Lobste Comment

11-05 A Short Survey of Compiler Backends (abhinavsarkar.net)

273. apps.apple.com: App Store ウェブ版 Lobste Comment

11-05 apps.apple.com: App Store web version (github.com)

274. アイソテンプ OCXO107-10 オーブン制御水晶発振器内部 Lobste Comment

11-05 Inside an Isotemp OCXO107-10 Oven Controlled Crystal Oscillator (tomverbeure.github.io)

275. Rust Foundation メンテナー基金の設立を発表します Lobste Comment

11-05 Announcing the Rust Foundation Maintainers Fund (rustfoundation.org)

276. ティフ氏 Lobste Comment

11-05 Mr TIFF (inventingthefuture.ghost.io)

277. 設定言語で嫌いなこと Lobste Comment

11-05 Things I Don''t Like in Configuration Languages (medv.io)

278. cosh(List(Bool))とは何か？あるいは代数を超えて：データ型の分析 Lobste Comment

11-05 What is cosh(List(Bool))? Or beyond algebra: analysis of data types (cofault.com)

279. Microsoft SoftCard for Apple II: 2つのプロセッサ、同一メモリ Lobste Comment

11-05 Microsoft SoftCard for Apple II: two processors, same memory (devblogs.microsoft.com)

280. ESP32-C3 RISC-VマイクロコントローラへのLean移植 Lobste Comment

11-05 Porting Lean to the ESP32-C3 RISC-V microcontroller (kuruczgy.com)

281. pg_lake: Icebergとデータレイクアクセスを備えたPostgres Lobste Comment

11-05 pg_lake: Postgres with Iceberg and data lake access (github.com)

282. 非同期ミューテックスについて Lobste Comment

11-05 On Async Mutexes (matklad.github.io)

283. チャームズ・ファンタジー：GoでAIエージェントを構築。複数のプロバイダー、複数のモデル、単一のAPI Lobste Comment

11-05 Charm''s Fantasy: Build AI agents with Go. Multiple providers, multiple models, one API (github.com)

284. FreeBSDがOCIランタイム仕様v1.3で正式サポートされました Lobste Comment

11-05 FreeBSD Officially Supported in OCI Runtime Specification v1.3 (freebsdfoundation.org)

285. SocketAddrV6 は往復シリアライズ可能ではありません Lobste Comment

11-05 SocketAddrV6 is not roundtrip serializable (sunshowers.io)

286. カフカは必要ない：たった2つのUNIXシグナルだけでメッセージキューを構築する Lobste Comment

11-05 You don''t need Kafka: Building a message queue with only two UNIX signals (leandronsp.com)

287. ReScriptビルドシステムの再構築 Lobste Comment

11-04 Reforging the ReScript Build System (rescript-lang.org)

288. 協調型AIエージェントのオーケストレーションのためのキャンバス Lobste Comment

11-04 A canvas for collaborative AI agent orchestration (agor.live)

289. 自分で雰囲気をコード化するウェブサイトを作った Lobste Comment

11-04 I made a website that vibe-codes itself (theboard.stavros.io)

290. スパースストリップを用いたCPU上での高性能2Dグラフィックスレンダリング Lobste Comment

11-04 High-performance 2D graphics rendering on the CPU using sparse strips (github.com)

291. タグ提案: セルフホスティング Lobste Comment

11-04 Tag proposal: self-hosting (lobste.rs)

292. AWS DynamoDB サービス停止の分析 Lobste Comment

11-04 AWS DynamoDB Outage Analysis (entropicthoughts.com)

293. reagami: SquintとClojureScript向けの最小限の依存関係ゼロのReagent風ライブラリ Lobste Comment

11-04 reagami: A minimal zero-deps Reagent-like for Squint and ClojureScript (github.com)

294. JVM例外は奇妙だ：逆コンパイラ視点 Lobste Comment

11-04 JVM exceptions are weird: a decompiler perspective (purplesyringa.moe)

295. 今月のレドックス - 2025年10月号 Lobste Comment

11-04 This Month in Redox - October 2025 (www.redox-os.org)

296. OCamlの課題点 Lobste Comment

11-04 Pain points of OCaml (quamserena.com)

297. なぜエンジニアはプログラミング言語について合理的に判断できないのか Lobste Comment

11-04 Why Engineers Can''t Be Rational About Programming Languages (spf13.com)

298. 優れた並列言語が欲しい[動画] Lobste Comment

11-04 I want a good parallel language [video] (www.youtube.com)

299. 2025年、ロブスターたちはどんなノートパソコンを使っているのか？ Lobste Comment

11-04 What laptops are Lobsters rocking in 2025? (lobste.rs)

300. Linuxカーネル向けWebAssemblyアーキテクチャサポート Lobste Comment

11-04 WebAssembly arch support for the Linux kernel (github.com)