Lobste の最新の投稿 Lite

1. C言語でHaskellの''newtype''を使用する Lobste Comment

22:15 Using Haskell''s ''newtype'' in C (blog.nelhage.com)

2. てんとう虫、AIの助けを借りてRustを採用 Lobste Comment

21:28 Ladybird adopts Rust, with help from AI (ladybird.org)

3. 無料のリストは必要ありません Lobste Comment

21:20 You don''t need free lists (jakubtomsu.github.io)

4. オーディンの鋳造構文の設計 Lobste Comment

20:55 Designing Odin''s Casting Syntax (www.gingerbill.org)

5. 呪われたエンジニアリング：自分を傷つけずにCSVファイルをランダムに飛び回る Lobste Comment

20:47 Cursed engineering: jumping randomly through CSV files without hurting yourself (github.com)

6. Kafkaのキューが本番環境対応の準備完了 Lobste Comment

20:43 Queues for Kafka ready for prime time (freedium-mirror.cfd)

7. ヘッツナー価格調整 - Hetzner Docs Lobste Comment

19:25 Hetzner Price Adjustment - Hetzner Docs (docs.hetzner.com)

8. Forgejo、AGit、およびプルリクエストテンプレート Lobste Comment

19:27 Forgejo, AGit, and Pull Request Templates (carlo.zancanaro.id.au)

9. microgpt - LLM ビジュアライザー Lobste Comment

16:25 microgpt - LLM visualizer (microgpt.boratto.ca)

10. わずか24時間強で10億のウェブページをクロールする Lobste Comment

15:49 Crawling a billion web pages in just over 24 hours (andrewkchan.dev)

11. FreeBSD 15 の新たな架け橋を活用する Lobste Comment

14:13 Using The New Bridges of FreeBSD 15 (blog.feld.me)

12. Fireboltにおける効率的でACID準拠のベクター検索インデックス Lobste Comment

13:33 Efficient and ACID Compliant Vector Search Indexes in Firebolt (www.firebolt.io)

13. PowerDNSセカンダリでのnsnotifydの使用 Lobste Comment

10:54 Using nsnotifyd with a PowerDNS Secondary (blog.feld.me)

14. GraalVMのネイティブイメージとCremaで構築された高速起動Clojureランタイム Lobste Comment

10:49 Fast starting Clojure runtime built with GraalVM native-image Crema (github.com)

15. 高速軽量オンライン暗号化（FLOE）の公式仕様および参照コード Lobste Comment

10:31 Official specification and reference code for Fast Lightweight Online Encryption (FLOE) (github.com)

16. jit: ヘッダーのみのクロスプラットフォームJITコンパイラライブラリ（C言語）。x86-32、x86-64、ARM32、ARM64を対象とする。 Lobste Comment

09:38 jit: A header-only, cross-platform JIT compiler library in C. Targets x86-32, x86-64, ARM32 and ARM64 (github.com)

17. Cによる核融合炉のシミュレーション Lobste Comment

08:04 Simulating fusion reactors in C (www.youtube.com)

18. codespelunker - コード構造を理解し、関連性で結果をランク付けするCLIコード検索ツール。インデックス不要 Lobste Comment

07:53 codespelunker - CLI code search tool that understands code structure and ranks results by relevance. No indexing required (github.com)

19. 大規模コードベースにおけるC/C Unityビルドと通常ビルドの比較 (2024) Lobste Comment

05:42 Comparing C/C unity build with regular build on a large codebase (2024) (hereket.com)

20. Swift インポート宣言 (2019) Lobste Comment

04:43 Swift Import Declarations (2019) (nshipster.com)

21. confusables.txt と NFKC は 31 文字で一致しない Lobste Comment

03:57 confusables.txt and NFKC disagree on 31 characters (paultendo.github.io)

22. ドナルド・クヌースの涙 Lobste Comment

03:52 The Tears of Donald Knuth (cacm.acm.org)

23. 読み取りロックはあなたの味方ではない Lobste Comment

03:40 Read Locks Are Not Your Friends (eventual-consistency.vercel.app)

24. ビットフィールド Lobste Comment

03:32 Bit-fields (mocelik.com)

25. pwn2ownにおけるMozilla Firefoxに関するドキュメンタリー（パート1） Lobste Comment

03:25 Documentary about Mozilla Firefox at pwn2own (part 1) (www.youtube.com)

26. CSLib: リーンなコンピュータサイエンスライブラリ Lobste Comment

02:52 CSLib: The Lean Computer Science Library (arxiv.org)

27. FreeBSDに戻る：パート1 Lobste Comment

01:16 Back to FreeBSD: Part 1 (hypha.pub)

28. コンパイラは決定論的か？ Lobste Comment

01:05 Are Compilers Deterministic? (blog.onepatchdown.net)

29. 四色定理 1852–1976 Lobste Comment

00:40 The Four-Color Theorem 1852–1976 (www.ams.org)

30. 意図 - エージェントオーケストレーションのための開発者ワークスペース Lobste Comment

00:33 Intent - The developer workspace for agent orchestration (www.augmentcode.com)

31. Drowse: Nixの動的推論を簡単に Lobste Comment

02-22 Drowse: Nix dynamic derivations made easy (github.com)

32. 約40MBのバイナリにバックドアを隠し、AIとGhidraにそれらを探させた Lobste Comment

02-22 We hid backdoors in 40MB binaries and asked AI Ghidra to find them (quesma.com)

33. 解析せよ、検証するな別名 C言語の安全対策 Lobste Comment

02-22 Parse, Don’t Validate AKA Some C Safety Tips (www.lelanthran.com)

34. 速度は死んだ：AI生成コンパイラとソフトウェアの未来 Lobste Comment

02-22 Velocity Is Dead: AI-Generated Compilers and the Future of Software (www.openhands.dev)

35. bcachefsの作成者はLLMを擬人化し、ファイルシステムの開発を任せているようだ Lobste Comment

02-22 Creator of bcachefs seems to have anthropomorphized an LLM and is letting it work on the filesystem (poc.bcachefs.org)

36. スナップをテストするために仮想マシンでRISC-Vを実行する Lobste Comment

02-22 Running RISC-V in a VM to test my snaps (blog.popey.com)

37. タラスはどのようにLLMをチップに「刷り込む」のか？ Lobste Comment

02-22 How Taalas "prints" LLM onto a chip? (www.anuragk.com)

38. あなたは取り残されていません Lobste Comment

02-22 You are not left behind (www.ufried.com)

39. UTS #39: Unicodeセキュリティメカニズム Lobste Comment

02-22 UTS #39: Unicode Security Mechanisms (www.unicode.org)

40. アクセシビリティは公民権である。AIは障壁を送り出すことを止めねばならない Lobste Comment

02-22 Accessibility Is Civil Rights. AI Must Stop Shipping Barriers (conesible.de)

41. 宇宙論的に一意な識別子 Lobste Comment

02-22 Cosmologically Unique IDs (jasonfantl.com)

42. 提案：フラグ理由として「AI生成」を追加する Lobste Comment

02-22 Proposal: add "AI generated" as a flag reason (lobste.rs)

43. FreeBSDにおけるHTTP/3: Bastille Jail環境でnginxとQUICを動作させる Lobste Comment

02-22 HTTP/3 on FreeBSD: Getting QUIC Working with nginx in a Bastille Jail (blog.hofstede.it)

44. cl-kawa: プログラミング言語のターダックン Lobste Comment

02-22 cl-kawa: A Turducken of Programming Languages (atgreen.github.io)

45. RubyにおけるYAMLコメントの保存問題を修正した方法（そしてスポンサーした理由） Lobste Comment

02-22 How We Fixed YAML Comment Preservation in Ruby (And Why We Sponsored It) (blog.discourse.org)

46. 道具を修理する Lobste Comment

02-22 Fix your tools (ochagavia.nl)

47. Python用の「凍結」辞書 Lobste Comment

02-22 A ''frozen'' dictionary for Python (lwn.net)

48. ローカルLLMがAMD Strix Pointフレームワーク13上で動作する仕組みと理由 Lobste Comment

02-22 How and Why Local LLMs Perform On Framework 13 AMD Strix Point (msf.github.io)

49. AI時代の数学研究の未来 Lobste Comment

02-22 The Future of Math Research in the Age of AI (siliconreckoner.substack.com)

50. ヘミ/ポスト1460 ヴェルサログ（計算尺エミュレータ） Lobste Comment

02-22 Hemmi/Post 1460 Versalog (Sliderule emulator) (thingsabove.github.io)

51. Loon — 飛ぶLISP Lobste Comment

02-22 Loon — A LISP that flies (loonlang.com)

52. ThunderKittens 2.0: GPU向けさらに高速なカーネル Lobste Comment

02-22 ThunderKittens 2.0: Even Faster Kernels for Your GPUs (hazyresearch.stanford.edu)

53. DUMPLING: 細粒度差分JavaScriptエンジンファジング Lobste Comment

02-22 DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing (www.ndss-symposium.org)

54. lobste.rs は MariaDB から SQLite へ移行します Lobste Comment

02-22 lobste.rs migrates from MariaDB to SQLite (lobste.rs)

55. ポリモーフィズムよりもif文を優先する Lobste Comment

02-22 Prefer If Statements To Polymorphism (htmx.org)

56. MeshTNCは、民生用LoRa無線機をKISS TNC互換パケット無線モデムに変換するツールです Lobste Comment

02-22 MeshTNC is a tool for turning consumer grade LoRa radios into KISS TNC compatible packet radio modems (github.com)

57. シングルスレッディングの美学 Lobste Comment

02-22 Aesthetics of Single Threading (ta.fo)

58. パースはするが検証はせず、Rustにおける型駆動設計 Lobste Comment

02-22 Parse, don''t Validate and Type-Driven Design in Rust (www.harudagondi.space)

59. IPv6アドレスの割り当て Lobste Comment

02-22 IPv6 address assignment (lpar.ath0.com)

60. cereggii: Python用スレッド同期ユーティリティ Lobste Comment

02-21 cereggii: Thread synchronization utilities for Python (github.com)

61. クジラの死骸 Lobste Comment

02-21 Whale Fall (nesbitt.io)

62. 飛行機に搭乗する最速の方法 Lobste Comment

02-21 The Fastest Way to Board an Airplane (navendu.me)

63. C氷山 Lobste Comment

02-21 The C Iceberg (www.youtube.com)

64. Librsvgに初のAIスローププルリクエストが提出された Lobste Comment

02-21 Librsvg got its first AI slop pull request (viruta.org)

65. ウィキペディアがArchive.todayをブラックリスト登録、69万5千件のアーカイブリンク削除を開始 Lobste Comment

02-21 Wikipedia blacklists Archive.today, starts removing 695,000 archive links (arstechnica.com)

66. Scalaの興亡：私の心を打ち砕いた言語へのラブレター Lobste Comment

02-21 The Rise and Fall of Scala: A Love Letter to the Language That Broke My Heart (medium.com)

67. NetBSDにおけるchrootによるプロセス分離 Lobste Comment

02-21 Process Isolation on NetBSD with chroot (overeducated-redneck.net)

68. ajail: 完全に信頼できないプログラム用の基本的な隔離環境 Lobste Comment

02-21 ajail: a basic jail for programs you don''t completely trust (github.com)

69. joinirc.at: 任意のクライアントであなたのIRCサーバーにリンクし、新規ユーザーをオンボーディングしましょう Lobste Comment

02-21 joinirc.at: Link to your IRC server on any client to onboard new users (joinirc.at)

70. 脆弱性を見つけた。彼らは弁護士を見つけた。 Lobste Comment

02-21 I found a Vulnerability. They found a Lawyer (dixken.de)

71. Dependabotをオフにする Lobste Comment

02-21 Turn Dependabot Off (words.filippo.io)

72. goatstack: Go Templ ウェブアプリケーション向けプロジェクト足場構築ツール Lobste Comment

02-21 goatstack: project scaffolding tool for Go Templ webapps (github.com)

73. 分割キーボード入門ガイド Lobste Comment

02-21 A Beginner’s Guide to Split Keyboards (justinmklam.com)

74. リル・ファン・ラングス Lobste Comment

02-21 Lil'' Fun Langs (taylor.town)

75. ロブスターズによるスティーブ・クラブニックへのインタビュー Lobste Comment

02-21 Lobsters Interview with steveklabnik (alexalejandre.com)

76. スクロールフェードに死を Lobste Comment

02-21 Death to Scroll Fade (dbushell.com)

77. msiexecを使用して.msiファイル内の認証情報を見つける Lobste Comment

02-21 finding credentials in .msi files with msiexec (ljb.fyi)

78. Brat、POSIXシェル用の並列TAPテスト用ハネス Lobste Comment

02-21 Brat, a parallel TAP testing harness for the POSIX shell (codeberg.org)

79. 厳密性の移転 Lobste Comment

02-20 Relocating Rigor (aicoding.leaflet.pub)

80. 2026年のIPv6導入状況 Lobste Comment

02-20 IPv6 Adoption in 2026 (www.netmeister.org)

81. ユビキタスAIへの道 Lobste Comment

02-21 The path to ubiquitous AI (taalas.com)

82. WorkLedger向けに最小限の知識で同期を構築した方法 Lobste Comment

02-20 How I built a minimal-knowledge sync for WorkLedger (bastiangruber.ca)

83. DuckDB版DBTパーティーに10年遅れて参加 Lobste Comment

02-20 Ten years late to the dbt party (DuckDB edition) (rmoff.net)

84. より小さなHaskellバイナリのリンク Lobste Comment

02-20 Linking Smaller Haskell Binaries (brandon.si)

85. 視覚的に隠されたものについて、知りたくもなかったすべてのこと Lobste Comment

02-20 Everything you never wanted to know about visually-hidden (dbushell.com)

86. eBPFの難しい道 Lobste Comment

02-20 eBPF the Hard Way (feyor.sh)

87. 「EU製」―思ったより難しかった Lobste Comment

02-20 "Made in EU" - it was harder than I thought (www.coinerella.com)

88. Django ORM スタンドアロン⁽¹⁾: 既存データベースへのクエリ実行 Lobste Comment

02-20 Django ORM Standalone⁽¹⁾: Querying an existing database (www.paulox.net)

89. 私はClaude CodeとGSDを使って、ずっと欲しかったアクセシビリティツールを構築しました Lobste Comment

02-20 I used Claude Code and GSD to build the accessibility tool I’ve always wanted (www.blakewatson.com)

90. ウェブの復活：インターネットは死んでいない、ただ君がそこにいないだけだ Lobste Comment

02-20 A Web Revival: the Internet didn''t die, you''re just not on it (youtu.be)

91. あなたの個人ブログにはコメント機能が必要です Lobste Comment

02-20 Your Personal Blog Should Have Comments (medv.io)

92. Androidをオープンに保つ Lobste Comment

02-20 Keep Android Open (keepandroidopen.org)

93. 動的型チェックのための二つのメカニズム Lobste Comment

02-20 two mechanisms for dynamic type checks (wingolog.org)

94. フェディバースの国際化 Lobste Comment

02-20 Internationalise The Fediverse (shkspr.mobi)

95. クロードCコンパイラ：ソフトウェアの未来を明らかにするもの Lobste Comment

02-20 The Claude C Compiler: What It Reveals About the Future of Software (www.modular.com)

96. AIエージェントが私を中傷する記事を公開した――その操作者が名乗り出た Lobste Comment

02-20 An AI Agent Published a Hit Piece on Me – The Operator Came Forward (theshamblog.com)

97. ディロへの感謝の投稿 Lobste Comment

02-20 The Dillo Appreciation Post (bobbyhiltz.com)

98. 64KBでシューティングゲームを作った方法 Lobste Comment

02-20 How I made a shooter game in 64 KB (youtu.be)

99. Apple Silicon搭載MacBookにおける非公式MEMS加速度計のiOKIT HID経由での読み取り Lobste Comment

02-20 reading the undocumented mems accelerometer on apple silicon macbooks via iokit hid (github.com)

100. A Scheme Shell (1994) Lobste Comment

02-20 A Scheme Shell (1994) (publications.csail.mit.edu)

101. リンデンマイヤーシステムズ Lobste Comment

02-20 Lindenmayer Systems (justinpombrio.net)

102. 綿あめを使ってニューラルネットワークの推論を行う Lobste Comment

02-20 Using candyfloss to do neural net inference (notes.hella.cheap)

103. ハードウェアをしっかり握りしめておけ Lobste Comment

02-20 Hold on to Your Hardware (xn--gckvb8fzb.com)

104. 実世界の産業規模検証に向けて：seL4におけるLLM駆動定理証明 Lobste Comment

02-20 Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4 (arxiv.org)

105. あなたが構築したすべてのアプリはETLパイプラインです（ただそう呼ばなかっただけです） Lobste Comment

02-20 Every app you''ve built is an ETL pipeline (you just didn''t call it that) (www.inngest.com)

106. _whyの夢を蘇らせる Lobste Comment

02-20 Resurrecting _why''s Dream (schwadlabs.io)

107. 具体的な構文は、実は重要だ Lobste Comment

02-20 Concrete syntax matters, actually (www.youtube.com)

108. AIはあなたを退屈にする Lobste Comment

02-20 AI makes you boring (www.marginalia.nu)

109. あなたのコンピュータサイエンス教育に欠けている学期 (2026) Lobste Comment

02-20 The Missing Semester of Your CS Education (2026) (missing.csail.mit.edu)

110. Netbase：Linux向けNetBSDユーティリティの移植版 Lobste Comment

02-20 Netbase a port of the netbsd utilities for linux (github.com)

111. ISBNの危険性 Lobste Comment

02-20 The Perils of ISBN (rygoldstein.com)

112. ClawShell、OpenClaw認証情報のためのプロセスレベル分離 Lobste Comment

02-20 ClawShell, Process-Level Isolation for OpenClaw Credentials (github.com)

113. 構文に基づいて言語を選ぶ？ Lobste Comment

02-20 Choosing a Language Based on its Syntax? (www.gingerbill.org)

114. ブラウザを用いたデータ圧縮 Lobste Comment

02-20 Using the Browser’s for Data Compression (jstrieb.github.io)

115. ファイアウォール上のパケットキャプチャを信用するな Lobste Comment

02-19 Don’t Trust Packet Captures on Firewalls (weberblog.net)

116. Linux CVE割り当てプロセス Lobste Comment

02-19 Linux CVE assignment process (www.kroah.com)

117. Clinejection — 問題対応担当者に問い合わせるだけでClineの製品リリースを侵害する Lobste Comment

02-19 Clinejection — Compromising Cline''s Production Releases just by Prompting an Issue Triager (adnanthekhan.com)

118. Salt: システムプログラミング、数学的に検証済み Lobste Comment

02-19 Salt: Systems programming, mathematically verified (salt-lang.dev)

119. Lilush: バッテリー付き静的LuaJITランタイム Lobste Comment

02-19 Lilush: A static LuaJIT runtime with batteries (lilush.link)

120. フェアストリーム Lobste Comment

02-19 Fairstream (blog.gluegadget.com)

121. ページアウト！ #8 Lobste Comment

02-19 Paged Out! #8 (pagedout.institute)

122. pg-here: プロジェクトフォルダ内でローカルPostgreSQLインスタンスをワンコマンドで実行 Lobste Comment

02-19 pg-here: Run a local PostgreSQL instance in your project folder with one command (github.com)

123. タプル空間 Lobste Comment

02-19 Tuple Spaces (www.mcs.anl.gov)

124. Clojure 2025 現状調査結果 Lobste Comment

02-19 State of Clojure 2025 Results (clojure.org)

125. 許容的、そして制限的：Haskellにおける具体的な解決策と事例 (2020) Lobste Comment

02-19 Permissive, then restrictive: concrete solutions and examples in Haskell (2020) (www.williamyaoh.com)

126. UPKIに関する最新情報 Lobste Comment

02-19 An update on upki (discourse.ubuntu.com)

127. データ依存の時間的パターンの監視 Lobste Comment

02-19 Monitoring Data-Dependent Temporal Patterns (imiron.io)

128. C26: std::is_within_lifetime Lobste Comment

02-19 C26: std::is_within_lifetime (www.sandordargo.com)

129. 例によるCEL Lobste Comment

02-19 CEL by Example (celbyexample.com)

130. OpenAI、米国政府、ペルソナが、あなたに関する報告書を連邦当局に提出する個人監視システムを構築した経緯 Lobste Comment

02-19 how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds (vmfunc.re)

131. ディスコードを捨てる Lobste Comment

02-19 Ditching Discord (wiki.alopex.li)

132. ソーシャルエンジニアリングと未だ検知されていないチートで世界トップ20入り Lobste Comment

02-19 Top 20 worldwide with social-engineering and a cheat that''s still undetected (ud2.rip)

133. DBML: ER図を簡単に作成するためのDSL Lobste Comment

02-19 DBML: DSL for easily creating ER diagrams (dbml.dbdiagram.io)

134. ブータブルコンテナを使用したウェブサイトのセルフホスティング Lobste Comment

02-19 Self-hosting my websites using bootable containers (yorickpeterse.com)

135. マニュアルページの明確化に関する注記 Lobste Comment

02-19 Notes on clarifying man pages (jvns.ca)

136. CHERIoTの錆: 状況更新 #0 Lobste Comment

02-19 Rust on CHERIoT: Status update #0 (rust.cheriot.org)

137. なぜ私はAGIが差し迫っているとは思わないのか Lobste Comment

02-19 Why I don''t think AGI is imminent (dlants.me)

138. 2週間で13万行の形式トポロジー：誰もが使えるシンプルで安価な自動形式化？ Lobste Comment

02-19 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? (arxiv.org)

139. Bitwardenのマスターパスワードをブルートフォース攻撃で解読しようとした Lobste Comment

02-19 Bruteforcing the Bitwarden master password I forgor (compilercrim.es)

140. Current - RSSリーダー Lobste Comment

02-19 Current - An RSS reader (www.terrygodier.com)

141. Bluetoothデバイスが明かすあなたの秘密 Lobste Comment

02-19 What Your Bluetooth Devices Reveal About You (blog.dmcc.io)

142. 行列における非寄与キー Lobste Comment

02-19 Non-Contributory Keys in the Matrix (blog.erinshepherd.net)

143. F9 カーネル Lobste Comment

02-19 F9 Kernel (github.com)

144. DNS-PERSIST-01: DNSベースのチャレンジ検証のための新たなモデル Lobste Comment

02-19 DNS-PERSIST-01: A New Model for DNS-based Challenge Validation (letsencrypt.org)

145. グローバル信託登録簿（1999年） Lobste Comment

02-18 The Global Trust Register (1999) (www.cl.cam.ac.uk)

146. Dank Linux - WaylandおよびNiri向けデスクトップ環境 Lobste Comment

02-18 Dank Linux - Desktop Environment for Wayland and Niri (danklinux.com)

147. プログラム全体のパスとパスプロファイリングの理解 Lobste Comment

02-18 Understanding Whole Program Paths and Path Profiling (abhamra.com)

148. AVX2はWindowsのARMエミュレーション環境下ではSSE2-4.xよりも遅い Lobste Comment

02-18 AVX2 is slower than SSE2-4.x under Windows ARM emulation (blogs.remobjects.com)

149. 15年以上後、マイクロソフトが私の図を盗用した Lobste Comment

02-18 15 years later, Microsoft morged my diagram (nvie.com)

150. ゲートキーピングの意義、あるいは：中世ギルドがそれを理解していた理由 Lobste Comment

02-18 The case for gatekeeping, or: why medieval guilds had it figured out (www.joanwestenberg.com)

151. SourceHutで何が進行中？ 2026年第1四半期 Lobste Comment

02-18 What''s cooking on SourceHut? Q1 2026 (sourcehut.org)

152. model-context-shell: MCP向けUnixスタイルのパイプライン。決定論的なツール呼び出し Lobste Comment

02-18 model-context-shell: Unix-style pipelines for MCP. Deterministic tool calls (github.com)

153. 朝日Linux進捗レポート：Linux 6.19 Lobste Comment

02-18 Asahi Linux Progress Report: Linux 6.19 (asahilinux.org)

154. BarraCUDA: AMD GPU向けオープンソースCUDAコンパイラ（将来的にはさらに多くのGPUをサポート予定！） Lobste Comment

02-18 BarraCUDA: Open-source CUDA compiler targeting AMD GPUs (and more in the future!) (github.com)

155. Zig言語による最小限のx86カーネル Lobste Comment

02-18 Minimal x86 Kernel in Zig (github.com)

156. 6502エミュレーション - ジャンプ間接バグ Lobste Comment

02-18 6502 Emulation - The Jump Indirect Bug (markjames.dev)

157. クレームチェック：証明と意図の間の隔たりを縮める Lobste Comment

02-18 claimcheck: Narrowing the Gap between Proof and Intent (midspiral.com)

158. 「ベンダーリング」は卑劣なアンチパターンである（2014年） Lobste Comment

02-18 "Vendoring" is a vile anti-pattern (2014) (gist.github.com)

159. MatrixのRustライブラリにおける暗号問題Vodozemac Lobste Comment

02-18 Cryptographic Issues in Matrix’s Rust Library Vodozemac (soatok.blog)

160. printfループにコンパイルするアセンブラ Lobste Comment

02-18 An assembler that compiles to a printf loop (git.sr.ht)

161. レブロン・ジェームズが大統領に – 「アラインメント」文脈注入によるLLMの悪用 Lobste Comment

02-18 LeBron James Is President – Exploiting LLMs via "Alignment" Context Injection (github.com)

162. 私たちはLLMの建築家になるのか、それとも執事になるのか？ Lobste Comment

02-18 Are We Becoming Architects or Butlers to LLMs? (muratbuffalo.blogspot.com)

163. AsteroidOS 2.0 がリリースされました Lobste Comment

02-18 AsteroidOS 2.0 Has Landed (asteroidos.org)

164. 非同期Rustの1ページ Lobste Comment

02-18 One page of async Rust (dotat.at)

165. Oat、超軽量UIライブラリ、意味論的、ミニマル、依存関係ゼロ Lobste Comment

02-18 Oat, Ultra-lightweight UI library, Semantic, minimal, zero dependencies (oat.ink)

166. 端末は256色パレットを生成すべきである Lobste Comment

02-18 Terminals should generate the 256-color palette (gist.github.com)

167. GPUコードでRustのasync/awaitが使用可能になりました Lobste Comment

02-18 GPU code can now use Rust''s async/await (vectorware.com)

168. Plasma 6.6 リリース Lobste Comment

02-18 Plasma 6.6 released (kde.org)

169. コードバーグ上のジェントゥー Lobste Comment

02-18 Gentoo on Codeberg (www.gentoo.org)

170. go fixを使用してGoコードを近代化する Lobste Comment

02-18 Using go fix to modernize Go code (go.dev)

171. ゼロ知識（暗号化に関する）暗号化：3つのクラウドベースパスワード管理ツールの比較セキュリティ分析 Lobste Comment

02-17 Zero Knowledge (About) Encryption: A Comparative Security Analysis of Three Cloud-based Password Managers (eprint.iacr.org)

172. Slackではここに@マークを付けないでください Lobste Comment

02-17 Please don''t at-here on Slack (noathere.org)

173. メッセージング層セキュリティ（MLS）とは何ですか？ Lobste Comment

02-17 What is Messaging Layer Security (MLS)? (messaginglayersecurity.rocks)

174. ババシュカ 1.12.215: TUIsの復讐 Lobste Comment

02-17 Babashka 1.12.215: Revenge of the TUIs (blog.michielborkent.nl)

175. たった一つのタイプミスがFirefoxのRCEを引き起こした経緯 Lobste Comment

02-17 How a single typo led to RCE in Firefox (kqx.io)

176. Vinyl Cache は GitHub を離れました Lobste Comment

02-17 Vinyl Cache has left github (vinyl-cache.org)

177. x86 SIMDの進化：SSEからAVX-512へ Lobste Comment

02-17 The Evolution of x86 SIMD: From SSE to AVX-512 (bgslabs.org)

178. ドクター・ゼロン、あるいは：心配するのをやめてAIを愛する方法を学んだ話 Lobste Comment

02-17 Doctor Xælong, or: How I learnt to stop worrying and love AI (tweag.io)

179. --危険なほど読み飛ばすコード Lobste Comment

02-17 --dangerously-skip-reading-code (olano.dev)

180. Viおよびその後継における元に戻す操作 Lobste Comment

02-17 Undo in Vi and its successors (utcc.utoronto.ca)

181. シンジケーションフィードリーダーに適切なエラーを返すことが、時に誤りとなることがある Lobste Comment

02-17 Sometimes giving syndication feed readers good errors is a mistake (utcc.utoronto.ca)

182. AIエージェントが主要なオープンソースプロジェクトでプルリクエストを成功させ、コールドアウトリーチでメンテナをターゲットに Lobste Comment

02-17 AI Agent Lands PRs in Major OSS Projects, Targets Maintainers via Cold Outreach (socket.dev)

183. カーリングIOの次期バージョン Lobste Comment

02-17 The Next Version of Curling IO (curling.io)

184. 高速ソート、設計上分岐なし Lobste Comment

02-17 Fast sorting, branchless by design (00f.net)

185. 小さなスウォームでSQLiteをビルドする Lobste Comment

02-17 building sqlite with a small swarm (kiankyars.github.io)

186. LCM: ロスレス・コンテキスト管理 Lobste Comment

02-17 LCM: Lossless Context Management (papers.voltropy.com)

187. LLM支援型逆コンパイルのロングテール Lobste Comment

02-17 The Long Tail of LLM-Assisted Decompilation (blog.chrislewis.au)

188. java.evolved コードスニペット Lobste Comment

02-17 java.evolved Code Snippets (javaevolved.github.io)

189. 傷ついた心 Lobste Comment

02-17 A Broken Heart (allenpike.com)

190. サーボプロジェクトとウェブプラットフォームエコシステムへの影響 Lobste Comment

02-17 The Servo project and its impact on the web platform ecosystem (servo.org)

191. ウィンターと呼ばれるAI：神経記号的計算か、それとも幻想か？ -- ダスティクラウドのブレインストーミング Lobste Comment

02-17 An AI Called Winter: Neurosymbolic Computation or Illusion? -- Dustycloud Brainstorms (dustycloud.org)

192. シンボリック実行を用いた超バグの全存在探索 Lobste Comment

02-17 Finding forall-exists Hyperbugs using Symbolic Execution (dl.acm.org)

193. 2026年は「デスクトップにおけるLinuxの年」にはならないだろう。それでよかったと思う。 Lobste Comment

02-17 2026 will not be the ‘Year of Linux on the Desktop’, and I’m glad (kevinboone.me)

194. 詳細レベル Lobste Comment

02-17 Level of Detail (phinze.com)

195. テキストからトークンへ：トークン化パイプラインの仕組み Lobste Comment

02-17 From Text to Token: How Tokenization Pipelines Work (www.paradedb.com)

196. かわいそうなデミングは最初から勝ち目などなかった Lobste Comment

02-17 Poor Deming never stood a chance (surfingcomplexity.blog)

197. fixapl Lobste Comment

02-17 fixapl (fixapl.netlify.app)

198. モダンCSSコードスニペット Lobste Comment

02-17 Modern CSS Code Snippets (modern-css.com)

199. トライフォースの覚醒 Lobste Comment

02-17 Rise of the Triforce (dolphin-emu.org)

200. 私はMariaDB Foundationに参加しました Lobste Comment

02-17 I joined the MariaDB Foundation (lefred.be)

201. 安らかに眠れ Lobste Comment

02-17 R.I.P. Rest In Prompt (hugodaniel.com)

202. 練習しよう！(bsd.rd) Lobste Comment

02-17 Let''s practice! (bsd.rd) (openbsdjumpstart.org)

203. トイオプティマイザにおける型ベースのエイリアス解析 Lobste Comment

02-17 Type-based alias analysis in the Toy Optimizer (bernsteinbear.com)

204. disko-zfs: ZFSデータセットの宣言的管理 Lobste Comment

02-17 disko-zfs: Declaratively Managing ZFS Datasets (redalder.org)

205. GGML GGUF ファイル形式の脆弱性 Lobste Comment

02-16 GGML GGUF File Format Vulnerabilities (www.databricks.com)

206. カーボン・ディスフォリア Lobste Comment

02-16 Carbon Dysphoria (deadsimpletech.com)

207. 今日知ったこと：Dockerのログローテーション Lobste Comment

02-16 TIL: Docker log rotation (ntietz.com)

208. 意味別にコードを閲覧する Lobste Comment

02-16 Browse code by meaning (haskellforall.com)

209. FOSSライブストリーミングカメラの構築 Lobste Comment

02-16 Building a FOSS live streaming camera (blog.brixit.nl)

210. 誰も書きたくない（でも誰も必要とする）OpenClawセキュリティガイド Lobste Comment

02-16 The OpenClaw Security Guide No One Wants to Write (But Everyone Needs) (medium.com)

211. 診断工場 Lobste Comment

02-16 Diagnostics Factory (matklad.github.io)

212. 月20ドルで魂を売ったのに、手に入れたのは完璧に生成されたTerraformだけだった Lobste Comment

02-16 I Sold Out for 20 a Month and All I Got Was This Perfectly Generated Terraform (matduggan.com)

213. 悲嘆投稿やハイプ投稿を「愚痴」タグ付けすることをご検討ください Lobste Comment

02-16 Please consider tagging a vibecoding griefpost or hypepost as a rant (lobste.rs)

214. 8層セキュリティアーキテクチャを備えたハードウェアTOTP認証器（ESP32） Lobste Comment

02-16 Hardware TOTP authenticator with 8-layer security architecture (ESP32) (github.com)

215. MessageFormat: ローカライズ可能なメッセージ文字列のためのUnicode標準 Lobste Comment

02-16 MessageFormat: Unicode standard for localizable message strings (github.com)

216. 今週は何をする予定ですか？ Lobste Comment

02-16 What are you doing this week? (lobste.rs)

217. コラッツ予想とフィボナッチ数列の関係 Lobste Comment

02-16 A relationship between the Collatz conjecture and the Fibonacci numbers (vincentrolfs.dev)

218. オープンソースゲーム: オープンソースゲームのリスト Lobste Comment

02-16 open-source-games: A list of open source games (github.com)

219. Zigにおけるエラーペイロード Lobste Comment

02-16 Error payloads in Zig (srcreigh.ca)

220. 私のGuixシステム設定の管理方法 Lobste Comment

02-16 How I manage my Guix System configs (www.terracrypt.net)

221. FOSDEM 2026 - Matrix 現状報告 Lobste Comment

02-16 FOSDEM 2026 - Matrix State of the Union (fosdem.org)

222. 開発者の生産性において唯一重要な指標 Lobste Comment

02-16 The only developer productivity metrics that matter (genehack.blog)

223. クアミナクロード、ケース1 Lobste Comment

02-16 Quamina Claude, Case 1 (www.tbray.org)

224. トークン指向オブジェクト表記法 (TOON) Lobste Comment

02-16 Token-Oriented Object Notation (TOON) (github.com)

225. 型注釈における実行時検証 Lobste Comment

02-16 Runtime validation in type annotations (blog.natfu.be)

226. TBDFS（Plan9向けデータベース型ファイルシステム）のさらなる開発 Lobste Comment

02-16 More work on TBDFS; database-like file system for Plan9 (www.youtube.com)

227. ディープ・ブルー Lobste Comment

02-16 Deep Blue (simonwillison.net)

228. Gwtar: 静的で効率的な単一ファイルHTMLフォーマット Lobste Comment

02-16 Gwtar: a static efficient single-file HTML format (gwern.net)

229. 大規模グループにとってエンドツーエンド暗号化は任意か？ Lobste Comment

02-16 Is End-to-End Encryption Optional For Large Groups? (soatok.blog)

230. 編集部注：捏造された引用を含む記事の撤回 Lobste Comment

02-16 Editor’s Note: Retraction of article containing fabricated quotations (arstechnica.com)

231. gcc および clang で利用可能な遅延コンパイル Lobste Comment

02-16 Defer available in gcc and clang (gustedt.wordpress.com)

232. エージェント指向プログラミング言語の構想 Lobste Comment

02-16 Ideas for an Agent-Oriented Programming Language (davi.sh)

233. CodeMirrorを用いた実験：コードレビューツールの構築 Lobste Comment

02-16 Experiments with CodeMirror: Building a code review tool (aziis98.com)

234. E2EE、チャットの全てであり、究極の形なのか？ Lobste Comment

02-16 E2EE, the be all and end all of chat? (amy.is-a.dev)

235. ウェブブラウザでの下降 Lobste Comment

02-16 Descent in web browser (mrdoob.github.io)

236. マイクロソフトのコンソール禁止を回避した方法 Lobste Comment

02-16 How I Bypassed Microsoft''s Console Ban (www.youtube.com)

237. フラッドフィル対マジックサークル Lobste Comment

02-16 Flood fill vs. the magic circle (www.robinsloan.com)

238. LT6502: 6502ベースのノートパソコン設計 Lobste Comment

02-16 LT6502: A 6502 based laptop design (github.com)

239. 恐れを知らぬマクロを目指して (2023) Lobste Comment

02-16 Towards Fearless Macros (2023) (lambdaland.org)

240. ピクセルアートゲームをスケーリングする簡単な方法 Lobste Comment

02-15 A simple way to scale pixel art games (30fps.net)

241. AIがアプリサブスクリプションを終わらせるだろう Lobste Comment

02-15 AI is going to kill app subscriptions (nichehunt.app)

242. メサのKosmicKrisp Vulkan-On-MetalがMoltenVKの機能互換性を達成 Lobste Comment

02-15 Mesa''s KosmicKrisp Vulkan-On-Metal Achieves MoltenVK Feature Parity (www.phoronix.com)

243. AIが私の情熱をじわじわと蝕んでいる Lobste Comment

02-15 AI is slowly munching away my passion (whynot.fail)

244. コードをバイブしないたった一つの理由 Lobste Comment

02-15 A Single Reason To Not Vibe Code (asindu.xyz)

245. 可視スペクトルの描画 Lobste Comment

02-15 Rendering the Visible Spectrum (brandonli.net)

246. picoclaw: MCU上のOpenClaw Lobste Comment

02-15 picoclaw: OpenClaw on an MCU (github.com)

247. マイケル・アブラッシュがクエイクのフレームレートを倍増させた方法 Lobste Comment

02-15 How Michael Abrash doubled Quake framerate (fabiensanglard.net)

248. バックエンドにDRMを追加する方法（簡単）[2026年動作確認済み] Lobste Comment

02-15 How To Add DRM To Your Backend (easy) [2026 WORKING] (maia.crimew.gay)

249. 開発者直伝のクロードコード活用術 Lobste Comment

02-15 Claude Code Tips From the Guy Who Built It (www.anup.io)

250. Windowsネイティブ開発を修正しました Lobste Comment

02-15 I Fixed Windows Native Development (marler8997.github.io)

251. C17におけるstd::shared_mutexの理解 Lobste Comment

02-15 Understanding std::shared_mutex from C17 (www.cppstories.com)

252. Zigはio_uringとGrand Central Dispatchのstd.Io実装を実装した Lobste Comment

02-15 Zig landed io_uring and Grand Central Dispatch std.Io implementations (ziglang.org)

253. RFC 9110: HTTPセマンティクス Lobste Comment

02-15 RFC 9110: HTTP Semantics (datatracker.ietf.org)

254. ArboriumはAIスラップウェアであり、信頼すべきではない Lobste Comment

02-15 Arborium is AI slopware and should not be trusted (ewie.online)

255. Windows NT 設計ワークブック (1990) Lobste Comment

02-15 Windows NT Design Workbook (1990) (computernewb.com)

256. 薬局をハッキングして無料の処方薬などを入手する Lobste Comment

02-15 Hacking a pharmacy to get free prescription drugs and more (eaton-works.com)

257. YouTube Shortsをすべて非表示にするuBlockフィルターリスト Lobste Comment

02-15 uBlock filter list to hide all YouTube Shorts (github.com)

258. HashMapへの借用タプルインデックス Lobste Comment

02-15 Borrowed tuple indexing for HashMap (traxys.me)

259. コーディング面接に挑む：Lean 4 vs Dafny 対決 Lobste Comment

02-15 Leaning Into the Coding Interview: Lean 4 vs Dafny cage-match (ntaylor.ca)

260. gitデータモデルドキュメント Lobste Comment

02-15 gitdatamodel documentation (git-scm.com)

261. インテル8087浮動小数点演算チップにおける命令デコード Lobste Comment

02-15 Instruction decoding in the Intel 8087 floating-point chip (www.righto.com)

262. コモドール64：文化的アイコンの誕生 Lobste Comment

02-15 The Commodore 64: The Birth of a Cultural Icon (www.kickstarter.com)

263. わずか5週間の脳トレーニングで、20年間認知症を予防できる可能性がある Lobste Comment

02-15 Just 5 weeks of brain training may protect against dementia for 20 years (www.sciencedaily.com)

264. フォントレンダリングの第一原理 Lobste Comment

02-15 Font Rendering from First Principles (mccloskeybr.com)

265. プルリクエストへのアクセスを設定するための新しいリポジトリ設定 - GitHub 変更履歴 Lobste Comment

02-15 New repository settings for configuring pull request access - GitHub Changelog (github.blog)

266. ダダにおける共有 Lobste Comment

02-15 Sharing in Dada (smallcultfollowing.com)

267. Vim 9.2 リリース Lobste Comment

02-14 Vim 9.2 released (www.vim.org)

268. 戦術的竜巻（2つの異なるブログ記事） Lobste Comment

02-14 Tactical tornado (2 different blog posts) (lobste.rs)

269. ArchWikiのメンテナーたちの仕事が大好きです Lobste Comment

02-14 I love the work of the ArchWiki maintainers (k7r.eu)

270. 1週間で新しいExcelライブラリを構築する Lobste Comment

02-14 Building a New Excel Library in One Week (hackers.pub)

271. ウォール街のレイダー物語 Lobste Comment

02-14 The Story of Wall Street Raider (www.wallstreetraider.com)

272. プログラマーのアイデンティティ喪失 Lobste Comment

02-14 A programmer''s loss of identity (ratfactor.com)

273. 開発用キャッシュをクリーンアップするためのオフライン対応クロスプラットフォームデスクトップアプリ Lobste Comment

02-14 An offline crossplatform desktop app for cleaning dev caches (reclaimr.dev)

274. Goランタイムの理解：ブートストラップ Lobste Comment

02-14 Understanding the Go Runtime: The Bootstrap (internals-for-interns.com)

275. 2026年にVulkanを活用する方法 Lobste Comment

02-14 How to Vulkan in 2026 (www.howtovulkan.com)

276. AIエージェントが私を中傷する記事を公開した――他にも様々なことが起きている Lobste Comment

02-14 An AI Agent Published a Hit Piece on Me – More Things Have Happened (theshamblog.com)

277. フロッピーディスク：子供にとって最高のテレビリモコン Lobste Comment

02-14 Floppy Disks: the best TV remote for kids (blog.smartere.dk)

278. 奇妙なシステムプロンプトのアーティファクト Lobste Comment

02-14 Weird system prompt artefacts (blog.nilenso.com)

279. AI嫌いのためのLLMを使ったコーディングガイド（概要） Lobste Comment

02-14 The AI hater''s guide to code with LLMs (The Overview) (aredridel.dinhe.net)

280. 最終的なボトルネック Lobste Comment

02-14 The Final Bottleneck (lucumr.pocoo.org)

281. スーパーカッゾラ - ウェブスクレイパー向けスパム生成 Lobste Comment

02-14 Supercazzola - Generate spam for web scrapers (dacav.org)

282. Crates.ioの奇妙な金曜日 Lobste Comment

02-14 Crates.io’s Freaky Friday (nesbitt.io)

283. 10人目 Lobste Comment

02-14 10th Person (blainsmith.com)

284. リモートコード実行を許可した方法（ただし安全に） Lobste Comment

02-14 How we allowed remote code execution (but safely) (tumuchdata.club)

285. 関数型データ構造とアルゴリズム：証明補助ツールによるアプローチ Lobste Comment

02-14 Functional Data Structures and Algorithms. A Proof Assistant Approach (fdsa-book.net)

286. 私はローカルのLLMを使って日記の分析を行った Lobste Comment

02-14 I used a local LLM to analyze my journal entries (ankursethi.com)

287. ANN: 個人利用向けに新しいAdaビルドツールを作成しました Lobste Comment

02-14 ANN: I built a new Ada build tool for personal use (github.com)

288. 次の10年に向けたGitの進化 Lobste Comment

02-14 Evolving Git for the next decade (lwn.net)

289. AIによって生成されたCLをどう扱うべきか？ Lobste Comment

02-14 What should we do with CLs generated by AI? (groups.google.com)

290. ニクスタマル 1.0.0 リリース Lobste Comment

02-14 Nixtamal 1.0.0 released (nixtamal.toast.al)

291. リファクタリングカタログ Lobste Comment

02-14 Catalog of Refactorings (refactoring.com)

292. Appleの.carファイル形式の徹底解説 Lobste Comment

02-14 A Deep Dive into Apple''s .car File Format (dbg.re)

293. ソフトウェア工学の未来 - ソフトウェア開発の未来リトリート Lobste Comment

02-14 The future of software engineering - The future of software development retreat (www.thoughtworks.com)

294. マイクロGPT Lobste Comment

02-14 microgpt (karpathy.github.io)

295. 12要素アプリケーション - 15年後の今。2026年においてもなお通用するのか？ Lobste Comment

02-13 The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026? (lukasniessen.medium.com)

296. フレームワークに感謝：Rust GUIの考察 Lobste Comment

02-13 Thanks for All the Frames: Rust GUI Observations (tritium.legal)

297. macOS Tahoeにおけるウィンドウのサイズ変更 – 物語は続く Lobste Comment

02-13 Resizing windows on macOS Tahoe – the saga continues (noheger.at)

298. 決定論的シミュレーションテスト：バグフィフィ Lobste Comment