2. いいえ、地元のモデルが優勝することはないでしょう Lobste Comment 11:27 No, local models will not win (www.seangoedecke.com)
3. リーマンゼータ関数の零点の3分の2以上が臨界直線上にある Lobste Comment 09:49 More than two thirds of the zeros of the Riemann zeta function lie on the critical line (www.anthropic.com)
5. 「Chicken Scheme 6.0」がリリースされました Lobste Comment 08:24 Chicken Scheme 6.0 released (code.call-cc.org)
7. Game Makerを使って『ニード・フォー・スピード 2015』を作る Lobste Comment 05:47 Making Need For Speed 2015 with Game Maker (www.youtube.com)
8. 整数除算を浮動小数点演算に移行するのは簡単なことだ Lobste Comment 04:17 Moving integer division to floating-point is trivial (marc-b-reynolds.github.io)
10. ハイパーベジエ曲線の数学的な美しさ Lobste Comment 02:31 The mathematical beauty of hyperbezier curves (linebender.org)
11. 黎明期：インタラクティブ・コンピューティングの歴史 Lobste Comment 03:29 The Early Days: A History of Interactive Computing (obsolescence.dev)
13. 形質の実装可能性とフィールドの可変性の制限 Lobste Comment 02:39 Restricting trait implementability and field mutability (blog.rust-lang.org)
14. ダークモードの切り替え：2つの状態あれば十分 Lobste Comment 02:09 Dark mode toggles: two states are enough (lea.verou.me)
15. Bazel における 357 バイトの C ツールチェーン Lobste Comment 03:18 A C toolchain from 357 bytes in Bazel (fzakaria.com)
17. 約600行のGtkAdwaita Markdownエディタ Lobste Comment 01:31 GtkAdwaita Markdown Editor in 600 lines (gist.github.com)
18. ある研究者が「noreply.net」というドメインを購入したところ、各企業から機密情報が送られてくるようになった Lobste Comment 00:47 A researcher bought noreply.net. Companies started sending him secrets (arstechnica.com)
19. ポスト量子暗号をPythonに実装する Lobste Comment 00:40 Shipping post-quantum cryptography to Python (blog.trailofbits.com)
20. 窓から差し込む日差しを、純粋なCSSだけで表現したもの Lobste Comment 08-10 a pure css implementation of some sunlight streaming in through the window (github.com)
23. Tracy を使用した Mutter、GNOME Shell、およびアプリケーションのパフォーマンスプロファイリング Lobste Comment 08-10 Performance profiling Mutter, GNOME Shell & apps with Tracy (www.youtube.com)
24. GitHub Actions には OIDC のオーディエンス制約が必要です Lobste Comment 08-10 GitHub Actions needs OIDC audience constraints (blog.yossarian.net)
25. Djangoは年1回のリリースサイクルに移行します Lobste Comment 08-10 Django is moving to an annual release cycle (www.djangoproject.com)
26. GitHub Actions での高速な Haskell スクリプト Lobste Comment 08-10 Fast Haskell Scripts on GitHub Actions (abhinavsarkar.net)
28. Bubblewrap を使った Linux での簡単なサンドボックス化 Lobste Comment 08-10 Easy Sandboxing on Linux with Bubblewrap (bxt.rs)
32. C89における曖昧な点で、今後修正されることは決してないだろう Lobste Comment 08-10 an ambiguity in c89 which will never be fixed (sebsite.pw)
33. プログラミング言語は、トークンの効率性と正確性にどのような影響を与えるのでしょうか？ Lobste Comment 08-10 How do programming languages impact token efficiency and correctness? (danluu.com)
35. PDSを自分らしく活用する：カスタマイズと指標 Lobste Comment 08-10 Make the PDS Your Own: Customization and Metrics (atproto.com)
36. IBM i (OS/400) データベース・オペレーティング・システム Lobste Comment 08-10 IBM i (OS/400) The Database Operating System (osadmins.com)
37. 元に戻す／やり直し機能と共同編集 (2024) Lobste Comment 08-10 Undo/redo systems and collaborative editing (2024) (dev.to)
39. 防御を突破する：セグメンテーションフォールトの悪用とIntel CETを回避する連鎖攻撃 Lobste Comment 08-10 Crashing Through Defenses: Exploiting Segfaults and Chaining around Intel CET (github.com)
40. nixpkgs-multiverse: これまでに存在したすべてのバージョン Lobste Comment 08-10 nixpkgs-multiverse: every version that ever existed (fzakaria.com)
44. 高頻度取引会社が、ビャルネ・ストロストループ氏（Cの生みの親）を採用したばかりだ Lobste Comment 08-10 High-frequency trading firm just hired Bjarne Stroustrup (creator of C) (www.efinancialcareers.com)
46. 2026年上半期のIRC技術ニュース Lobste Comment 08-10 IRC technology news from the first half of 2026 (www.ilmarilauhakangas.fi)
47. 2026年7月のpostmarketOS：libcamera 0.7.2 Lobste Comment 08-10 postmarketOS in 2026-07: libcamera 0.7.2 (postmarketos.org)
50. 「vibecoding」というタグは、ちょっと行き過ぎているような気がします Lobste Comment 08-09 I think the vibecoding tag has gotten out of hand (lobste.rs)
51. Arch Linux のスクリプトとフックについて Lobste Comment 08-09 On Arch Linux scripts and hooks (devblog.archlinux.page)
54. 統合センシング・通信（ISAC） Lobste Comment 08-09 Integrated Sensing and Communication (ISAC) (www.ericsson.com)
55. ソースコードの公開費用は誰が負担すべきか？ Lobste Comment 08-09 Who Should Pay For Source Code Availability? (kristoff.it)
56. 『ソフトウェアの構成要素』（2015年） Lobste Comment 08-09 What Software is Made Of (2015) (siderea.dreamwidth.org)
57. ddisasm：高速かつ高精度な逆アセンブラ Lobste Comment 08-09 ddisasm: A fast and accurate disassembler (github.com)
58. Zshの履歴データ消失バグの追跡 Lobste Comment 08-09 Tracking down a Zsh history data loss bug (michael.stapelberg.ch)
60. ネットワーク可視化のためのパワー・コンフルエント図法の検討 Lobste Comment 08-09 Investigating Power-Confluent Drawings for Network Visualization (arxiv.org)
61. Enlightenment デスクトップ環境を NetBSD に移植する Lobste Comment 08-09 Port the Enlightenment desktop environment to NetBSD (blog.netbsd.org)
63. Triton: QEMU用 DirectX 11 ドライバー Lobste Comment 08-09 Triton: DirectX 11 driver for QEMU (blog.getutm.app)
67. FastLanesの統合トランスポートレイアウト Lobste Comment 08-09 The FastLanes Unified Transport Layout (blog.dave.tf)
68. faaah（Filesystem As An AI Handler） Lobste Comment 08-09 faaah (Filesystem As An AI Handler) (github.com)
69. MAGIC：回路／コアにおける悪意のある経年劣化 Lobste Comment 08-09 MAGIC: Malicious Aging in Circuits/Cores (dl.acm.org)
70. atomstr - RSS/AtomからNostrへのブリッジ Lobste Comment 08-09 atomstr - RSS/Atom-to-Nostr bridge (atomstr.data.haus)
71. マルチスタック連結型プログラミング言語 Lobste Comment 08-09 Multistack Concatenative Programming Languages (www.sheeeeeeeep.art)
72. Livelymerge のオブジェクトモデル Lobste Comment 08-09 The Object Model in Livelymerge (www.inkandswitch.com)
73. C20のstd::counting_semaphoreとstd::binary_semaphoreについて Lobste Comment 08-09 Understanding std::counting_semaphore and std::binary_semaphore from C20 (www.cppstories.com)
74. リビジョン・プロンプティングは、産業用LLMのプロセスを改善する Lobste Comment 08-09 Revision Prompting improves industrial LLM processes (revisionprompting.info)
75. 分子を信頼性の高い電子デバイスに変える Lobste Comment 08-09 Turning molecules into reliable electronic devices (news.mit.edu)
76. 「コードを書くこと自体は決して難しくない」という発言は、すべてのプログラマーに対する侮辱だ Lobste Comment 08-09 "Code was never the hard part" is an insult to all programmers (blog.senko.net)
79. robot.villas – RSSからMastodonへのブリッジ Lobste Comment 08-09 robot.villas – RSS-to-Mastodon Bridge (robot.villas)
81. 『自動化がもたらす道徳的・技術的影響』（1960年） Lobste Comment 08-09 Some Moral and Technical Consequences of Automation (1960) (www.cs.umd.edu)
83. Jolt用のプログラムイメージおよびポータブルなSchemeバックエンド Lobste Comment 08-08 Program images and portable Scheme backends for Jolt (yogthos.net)
86. エフェクトボックスとしてのSkred（独自開発のサウンドエンジン） Lobste Comment 08-08 Skred (self-created sound engine) as an effects box (lobste.rs)
87. Sublime Textのようなソフトはもう作られていない Lobste Comment 08-08 They don’t make ’em like Sublime Text anymore (dbushell.com)
88. 高度なWebベースのドラムマシン／ビートシーケンサー「Groovie」の構築 Lobste Comment 08-08 Building Groovie, an Advanced Web-Based Drum Machine / Beat Sequencer (pointersgonewild.com)
90. Nixpkgsのコアチームは解散しました Lobste Comment 08-08 The Nixpkgs core team has disbanded (discourse.nixos.org)
91. homebrew-lab：アマチュア無線家やメイカー向けの、AIが生成した自主学習型の実習中心の電子工学コース。オシロスコープで波形を見ながらアナログ回路を学ぶ Lobste Comment 08-08 homebrew-lab: An AI generated, self-directed, bench-driven electronics course for hams and makers, learning analog by seeing it on a scope (github.com)
92. BasicSync：AndroidでSyncthingを実行するためのシンプルなアプリ Lobste Comment 08-08 BasicSync: A simple app for running Syncthing on Android (github.com)
93. ソーシャルメディアの「ラビットホール」、クラスター、およびランダムウォークの相対的混合時間 Lobste Comment 08-08 social media rabbit holes, clusters, and the relative mixing times of random walks (notes.hella.cheap)
95. 並行処理とスループット：並列性を高めるとデータベースの処理速度が低下する理由 Lobste Comment 08-08 Concurrency vs. Throughput: why more parallelism can make databases slower (planetscale.com)
96. REpsych：リバースエンジニアリングにおける心理戦 Lobste Comment 08-08 REpsych: Psychological warfare in reverse engineering (github.com)
97. 「恥の殿堂」：CPU性能の底辺への競争 Lobste Comment 08-08 Assembly Hall of Shame: Racing to the bottom of CPU performance (github.com)
98. ほぼ合意：ABDとクォーラムレプリケーションの限界 Lobste Comment 08-07 Almost consensus: ABD and the edges of quorum replication (theconsensus.dev)
100. ドメイン特化型ハイパースペシャライゼーション（SAT向け） Lobste Comment 08-08 Domain-specific hyperspecialization (for SAT) (c.mov)
101. ARM上でのPS3エミュレーションが高速化されました Lobste Comment 08-08 PS3 emulation is fast on ARM now (www.youtube.com)
102. 問題は私にあるのか？ その答えを探るため、別のチームにインタビューしてみた Lobste Comment 08-08 Am I the problem? Interviewing another team to find out (www.macchaffee.com)
103. 科学分野におけるソフトウェアの理解度は実にばらつきが大きい Lobste Comment 08-07 Software Understanding in the Sciences is Really Uneven (lobste.rs)
105. ソース管理の新しいモデル アルシデス・フォンセカ著 Lobste Comment 08-07 A new model for source control by Alcides Fonseca (wiki.alcidesfonseca.com)
106. デバイスが暗号化されたDNSを自動的に見つける仕組み Lobste Comment 08-07 How a device finds encrypted DNS by itself (blog.dundns.eu)
108. KDEデジタル主権：2026年第2四半期の動向 Lobste Comment 08-07 This Quarter in KDE Digital Sovereignty: Q2 2026 (blogs.kde.org)
109. 制約モデルからプレイ可能なパズルゲームへ Lobste Comment 08-07 From constraint models to playable puzzle games (zayenz.se)
111. ノートの作成とブログのまとめ：ノートを更新する場合と投稿を公開する場合の違い Lobste Comment 08-07 Notes Compound, Blogs Compile: When I Update a Note vs. Publish a Post (www.ssp.sh)
113. GNU Emacs で「git blame」を時系列順に閲覧する方法 Lobste Comment 08-07 Some ways to navigate through ''git blame'' over time in GNU Emacs (utcc.utoronto.ca)
114. 「Kitesurf」のご紹介：Cloudflare Workers上のV8アイソレート環境で動作する、エージェントファーストのブラウザ Lobste Comment 08-07 Introducing Kitesurf: The agent-first browser that runs in V8 isolates on Cloudflare Workers (blog.cloudflare.com)
115. Nixの評価はスケジューリング問題である Lobste Comment 08-07 Nix Evaluation Is a Scheduling Problem (notashelf.dev)
116. OpenAIを辞めて、『ジュラシック・パーク』を作ることにしました Lobste Comment 08-07 I''m leaving OpenAI to build Jurassic Park (taylor.town)
117. ropbot：コード再利用攻撃の再構築と合成 Lobste Comment 08-07 ropbot: Reimaging Code Reuse Attack Synthesis (kylebot.net)
118. シェルでの感嘆符は、怒鳴るためのものではありません。手抜きをしましょう Lobste Comment 08-07 A shell exclamation mark is not for yelling. Be lazy (refp.se)
119. AIによって生成された脆弱性パッチには、人間による確認が必要である Lobste Comment 08-07 AI-generated vulnerability patches require human review (1password.com)
120. 1998年版のCD-ROM世界地図帳をWindows 11で動作させることに成功しました Lobste Comment 08-07 I got a 1998 CD-ROM world atlas running on Windows 11 (trevmex.com)
122. celld — 耐久性のあるオブジェクト、セルフホスト型 Lobste Comment 08-07 celld — Durable Objects, self-hosted (celld.dev)
123. ウェブサーバーのデプロイモデルは、趣味レベルの規模では機能しなくなる Lobste Comment 08-07 the web server deployment model breaks at hobby scale (w.on-t.work)
124. Crubit、C/Rust 双方向相互運用ツール Lobste Comment 08-07 Crubit, C/Rust Bidirectional Interop Tool (crubit.rs)
126. cl-forth: CLによるForth 2012標準仕様 Lobste Comment 08-07 cl-forth: Forth 2012 Standard in CL (github.com)
127. Zapscape - KVM/x86環境でのゲストからホストへのエスケープ Lobste Comment 08-07 Zapscape - Guest to host escape in KVM/x86 (github.com)
128. schrodingers-toctou: 実行しているバイナリは、あなたが書いたプログラムとは異なります Lobste Comment 08-06 schrodingers-toctou: The binary you run is not the program you wrote (github.com)
129. たった1つの関数で、10倍も高速化？ Rustのパフォーマンス改善PRを読む Lobste Comment 08-06 Just One Function, 10x Faster? Reading a Rust Performance PR (greptime.com)
131. 2026年にニンテンドー64のゲームを作る方法 Lobste Comment 08-06 How to Make a Nintendo 64 Game in 2026 (phoboslab.org)
132. ラスタライズを行わずにテクスチャを投影する3D SVGレンダラー Lobste Comment 08-06 a 3D SVG Renderer that projects textures without rasterization (seve.blog)
133. NetBSD上でbozohttpdを使用して簡単なWebサーバーをセットアップする Lobste Comment 08-06 Setup a simple web server with bozohttpd on NetBSD (bozo.httpd.rocks)
134. 無関係なホットループを密かに汚染してしまったLuaJITのNYI Lobste Comment 08-06 The LuaJIT NYI That Silently Poisoned an Unrelated Hot Loop (streamhpc.com)
135. 以下は、有効な DOS COM 実行ファイルです。 Lobste Comment 08-06 The following is a valid DOS COM executable (oldbytes.space)
136. tl;dv（面倒くさくて検証しなかった）：181,874件の会議が完全に公開されたまま Lobste Comment 08-06 tl;dv (Too Lazy; Didn''t Validate): 181,874 Meetings Left Wide Open (bobdahacker.com)
137. Anthropic AIは、ハッキングを試みるために人々を欺くための偽のプロフィールを作成した Lobste Comment 08-06 Anthropic AI created fake profiles to deceive people in attempted hack (www.bbc.co.uk)
139. 2026年のFiddler Web Debugger Lobste Comment 08-06 Fiddler Web Debugger in 2026 (textslashplain.com)
140. 絵文字だけで、何か役に立つDOS実行ファイルを作れるのかな Lobste Comment 08-06 i wonder if you could make a useful DOS executable with just emoji (oldbytes.space)
141. ついにFutharkに再帰関数を追加しました Lobste Comment 08-06 Finally adding recursive functions to Futhark (futhark-lang.org)
143. スケーラブルなコントロールプレーンの構築について Lobste Comment 08-06 On building scalable control planes (www.allthingsdistributed.com)
144. Pythonの文字列リテラルって、なんだか面白いですね Lobste Comment 08-06 python string literals are kinda funny (sebsite.pw)
145. Comu、USB-Aポート内に144MHzのCH32V203 RISC-Vボードを搭載 Lobste Comment 08-06 Comu Fits a 144MHz CH32V203 RISC-V Board Inside a USB-A Port (linuxgizmos.com)
148. SymbolicsのOpenGenera、非商用利用では無料化へ Lobste Comment 08-06 Symbolics OpenGenera to go free for non-commercial use (hachyderm.io)
149. AIモデルが偽の身元を使って開発者を騙そうとしたことで、英国のテスターたちを驚かせた Lobste Comment 08-06 AI models shock UK testers by using fake identities to try to trick developers (www.theguardian.com)
150. rezeptor：検証済みのProton-GEレシピを使用して、Linux上でWindowsソフトウェアをインストール・実行する Lobste Comment 08-06 rezeptor: Install and run Windows software on Linux with tested Proton-GE recipes (github.com)
153. ブログを作ったのに、記事を書くのを忘れてしまった Lobste Comment 08-06 I Built a Blog and Forgot to Write (benjcal.space)
154. ProxmoxはArmを公式にサポートしていますが、いくつかの注意点があります Lobste Comment 08-06 Proxmox officially supports Arm, with some caveats (www.jeffgeerling.com)
155. 「障害者ドングル」：なぜシリコンバレーは私やあなたを嫌うのか Lobste Comment 08-06 The "Disability Dongle": Why Silicon Valley Hates Me and you (sightlessscribbles.com)
156. Agenticワークフローのキャッシュキープアライブのコストが8倍も高すぎる（v2：インターバルの限界） Lobste Comment 08-06 Your Agentic Workflow''s Cache Keepalive Costs 8x Too Much (v2: the interval frontier) (blog.mempko.com)
158. 2026年、Compiler ExplorerはAWS上でどのように動作するか Lobste Comment 08-06 How Compiler Explorer Runs on AWS in 2026 (xania.org)
159. 存在しないシステムからバグを見つける方法 Lobste Comment 08-06 How to Find Bugs in Systems That Don''t Exist (www.youtube.com)
160. なぜ伝説的なエルドシュの問題がAIによって解かれつつあるのか Lobste Comment 08-06 Why the Legendary Erdős Problems Are Falling to AI (www.quantamagazine.org)
162. セマンティックフィールド：Elasticsearchにおけるマルチモーダル検索のための単一のフィールド Lobste Comment 08-05 Semantic field: one field for multimodal search in Elasticsearch (www.elastic.co)
166. 「5点ハスケル」：パラメトリシティによる無条件の選択 Lobste Comment 08-05 "Five-Point Haskell": Unconditional Election via Parametricity (blog.jle.im)
169. 許可されるコメント構文に HTML 要素を追加する Lobste Comment 08-05 Add html element to allowed comment syntax (lobste.rs)
170. rust-lang/rust は LLM に関する方針を採用しています Lobste Comment 08-05 rust-lang/rust is adopting an LLM policy (blog.rust-lang.org)
172. Keyvとその仲間たちがnpmのサプライチェーン攻撃の被害に遭う Lobste Comment 08-05 Keyv and friends compromised in npm supply chain attack (www.aikido.dev)
173. ゲーデル、エッシャー、Elisp：マクロの美学 Lobste Comment 08-05 Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
175. Nehir：macOS用のタイリング型ウィンドウマネージャー Lobste Comment 08-05 Nehir: a tiling window manager for macOS (github.com)
176. ようやくdivを中央揃えにする方法を覚えたと思ったら、ブラウザにサイドバーが追加されてしまった Lobste Comment 08-05 we finally learned to center a div, then browsers added sidebars (seg6.space)
177. irken：ハック可能な、機能満載の超コンパクトなIRCクライアント Lobste Comment 08-05 irken: A tiny hackable full-featured IRC client (codeberg.org)
178. 途中で止めないで：メモリ速度でソースコードのケース変換を行う Lobste Comment 08-05 Don''t stop early: Case-folding source code at memory speed (github.blog)
181. 『Born Against』――なぜ趣味のプログラミングコミュニティはLLMの利用に激しく反対するのか Lobste Comment 08-05 Born Against, or why hobby programming communities are aggressively against LLM usage (blog.fogus.me)
184. 改訂版「Haskell 2010 言語報告書」 Lobste Comment 08-05 A Revised Haskell 2010 Language Report (blog.haskell.org)
185. ナイトリー版で「borrow checker」の次期バージョンを有効にする Lobste Comment 08-05 Enabling the next iteration of the borrow checker on nightly (blog.rust-lang.org)
186. GNU/Emacs用の「Liquid Glass」エフェクト Lobste Comment 08-05 Liquid Glass effect for GNU/Emacs (github.com)
187. Steam arm64クライアントの扱い方（macOS上） Lobste Comment 08-05 Taming the Steam arm64 client (on pmOS) (blog.drakulix.de)
188. カーペンターの統合挙動は直感に反している Lobste Comment 08-04 Karpenter''s consolidation behaviour is counter-intuitive (blog.appliedcomputing.io)
189. Luaコミュニティは、前に進むことを学ぶ必要がある - hisham.hm Lobste Comment 08-04 The Lua community needs to learn to move on - hisham.hm (hisham.hm)
192. IntelliJ IDEAがLSPに対応：JavaおよびKotlinのインテリジェンス機能がVS Code、Cursor、Agentic Flowsに搭載 Lobste Comment 08-04 IntelliJ IDEA Goes LSP: Java and Kotlin Intelligence Comes to VS Code, Cursor, and Agentic Flows (blog.jetbrains.com)
193. C言語の99行で書かれたLispと、自分でそれを作成する方法 Lobste Comment 08-04 Lisp in 99 Lines of C and How to Write One Yourself (github.com)
195. 『Halo 2』およびそれ以降のコンテンツ管理（2005年） Lobste Comment 08-04 Content Management for Halo 2 and Beyond(2005) (nikon.bungie.org)
199. Bibliograph：書籍向けのプロトタイプAppView Lobste Comment 08-04 Bibliograph: A Prototypical AppView for Books (discourse.atmosphere.community)
202. Soppo - Go、欠けている機能について Lobste Comment 08-04 Soppo - Go, with the features it''s missing (soppolang.dev)
203. Seekable OCI：範囲指定リクエストによるインデックス作成を用いたコンテナイメージの遅延読み込み Lobste Comment 08-04 Seekable OCI: Lazy-Loading Container Images via Range-Request Indexing (arxiv.org)
205. Baochip-1x用Dabao評価ボード Lobste Comment 08-04 Dabao Evaluation Board for Baochip-1x (www.crowdsupply.com)
207. GitHubのイシュー、プルリクエスト、コメントに、プログラムで添付ファイルをアップロードする Lobste Comment 08-04 Programmatically upload attachments to GitHub Issues, Pull Requests, and Comments (island94.org)
208. Itanium向けWindows XP 2002：抑えきれない怒り Lobste Comment 08-04 Windows XP 2002 for the Itanium: Unbridled rage (virtuallyfun.com)
209. ブランチレスRust：if文を削除してフィルタ処理を4倍高速化する Lobste Comment 08-04 Branchless Rust: Making a Filter 4x Faster by Removing an if (www.greyblake.com)
210. Asanaの便利なタブ用ショートカット Lobste Comment 08-04 Asana’s fascinating Tab shortcuts (unsung.aresluna.org)
214. カーミット誕生45周年を記念し、15年ぶりとなる新型「C-カーミット」を発売 Lobste Comment 08-04 Celebrating 45 Years of Kermit with the First New C-Kermit Release in 15 Years (changelog.complete.org)
217. SQLiteの重大なCVEか、それともLLMの不備か？ Lobste Comment 08-04 SQLite Critical CVEs or LLM Slop? (research.jfrog.com)
218. 2026年にPythonを使わないだろうプロジェクト Lobste Comment 08-04 Projects I Wouldn''t Use Python For in 2026 (menno.io)
220. bonsai: Js_of_ocaml を使用した動的な Web アプリケーションを構築するためのライブラリ Lobste Comment 08-03 bonsai: A library for building dynamic webapps, using Js_of_ocaml (github.com)
222. Redex を用いたアクターのモデリング：第1部 Lobste Comment 08-03 Modelling Actors with Redex: Part I (eighty-twenty.org)
227. Rustプロジェクトの目標：不動の型と保証されたデストラクタ Lobste Comment 08-03 Rust Project Goals: Immobile types and guaranteed destructors (github.com)
229. 『ブラック・ピルを飲んではいけない』（テキスト版） Lobste Comment 08-03 Don''t Take the Black Pill (Text Adaptation) (andrewkelley.me)
238. 9front「THIS WAS SUPPOSED TO BE FUN」リリース Lobste Comment 08-03 9front "THIS WAS SUPPOSED TO BE FUN" Released (9front.org)
241. AIモデルに関するEUの規則が施行される。何が変わるのか？ Lobste Comment 08-03 EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
242. CP/M-386：CP/M-68Kを基に開発された、386プロセッサの保護モード対応版CP/M Lobste Comment 08-03 CP/M-386: CP/M for 386 protected mode, derived from CP/M-68K (github.com)
243. Raspberry Piを使ってWii Uのゲームパッドを作ることができますか？ Lobste Comment 08-03 Can you make a Wii U gamepad from a Raspberry Pi? (youtube.com)
244. 自分の環境を整えることは、幸せにつながる Lobste Comment 08-03 Controlling Your Environment Makes You Happy (www.joelonsoftware.com)
245. SwiftUI、7年を経て：平凡な歩み――いつになったら「ベータ版」のような感覚から抜け出せるのか？ Lobste Comment 08-03 SwiftUI After 7 Years: A Story of Mediocrity: Will it ever stop feeling like a beta? (ykvm.com)
247. Rustの新しいAPIによる高速な浮動小数点演算 Lobste Comment 08-03 Faster floating point math with Rust’s new API (pythonspeed.com)
248. TP-Link TL-841N のルート化、ファームウェア解析、およびリセット後も保持されるハードコードされた認証情報 Lobste Comment 08-03 The rooting, firmware analysis and hardcoded, reset-persistent credentials of the TP-Link TL-841N (blog.juni-mp4.com)
251. NativeScope — React Nativeのデバッグ用オープンソースのローカルスタジオ Lobste Comment 08-03 NativeScope — Open Source local Studio for React Native debugging (www.nativescope.dev)
252. Google Wave の始め方 [2010] Lobste Comment 08-03 Getting Started with Google Wave [2010] (www.youtube.com)
253. 今は（ほとんど）知能ではなく、スピードを基準にモデルを選んでいます Lobste Comment 08-02 I''m (mostly) picking models on speed now, not intelligence (martinalderson.com)
256. LLMが生成したコードを手作業で書き直すことで、認知的負債を防ぐ Lobste Comment 08-02 Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
258. 書き込み時にEPIPEが発生する場合は、操作が間違っている可能性があります Lobste Comment 08-02 EPIPE on write might mean you''re doing it wrong (rachelbythebay.com)
259. 数学および理論計算機科学における10の進展 Lobste Comment 08-02 Ten advances in mathematics and theoretical computer science (openai.com)
261. C言語では、sizeofの解析が意外に難しい Lobste Comment 08-02 sizeof is surprisingly difficult to parse in c (sebsite.pw)
262. 重要な点において、AtomはRSSよりも優れている Lobste Comment 08-02 Atom is better than RSS, in ways that matter (chrismorgan.info)
264. MkLinux と、カスタマイズされた Apple Workgroup Server 9150 Lobste Comment 08-02 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
269. リーンカーネルの健全性に関するバグ #14576 の事後分析 Lobste Comment 08-02 Postmortem for Lean Kernel Soundness Bug #14576 (leodemoura.github.io)
272. Appleの画面共有における事前認証不要のRCE Lobste Comment 08-02 Apple Screen Sharing Pre-Auth RCE (warez.sl0p.foo)
273. でも、あなたの電卓はLinuxを動かせるのでしょうか？ Lobste Comment 08-02 But can your calculator run Linux? (raymii.org)
274. Rustにおける引数解析に関する、古くて新しいアプローチ Lobste Comment 08-02 An old-new take on argument parsing in Rust (jmmv.dev)
275. 『心の概念』について、ナウルが誤っていた点 Lobste Comment 08-02 What Naur got wrong from The concept of mind (tssm.neocities.org)
277. パッチを適用し、脆弱性を排除：deepsecがPwn2OwnのMicrosoft Edgeサンドボックス脱出をどのように再構築したか Lobste Comment 08-01 Patch In, Exploit Out: How deepsec Reconstructed the Pwn2Own Microsoft Edge Sandbox Escape (www.darknavy.org)
281. オリジントライアルを使用して、メール認証プロトコルをテストする Lobste Comment 08-01 Test the Email Verification Protocol with an origin trial (developer.chrome.com)
282. SupportMailのシャーディングシステムの再実装 Lobste Comment 08-01 Rewriting SupportMail''s sharding system (supportmail.dev)
283. 単なる比喩だけでは不十分です。ここでは、「理解の負債」を検証可能な診断基準として提示します。 Lobste Comment 08-01 We need more than a metaphor: here are testable diagnostics for comprehension debt (www.fightforthehuman.com)
284. AI：意思決定を行う人々が留意すべき点 Lobste Comment 08-01 AI: Considerations for people who make decisions (berthub.eu)
286. 開発パイプラインは本番環境です Lobste Comment 08-01 The development pipeline is a production system (sundry.jerryorr.com)
289. marionette：決定論的シミュレーションテストライブラリ Lobste Comment 08-01 marionette: deterministic simulation testing library (github.com)
291. rustgrep - Rustソースコード用の構造的grep Lobste Comment 08-01 rustgrep - structural grep for Rust source (radicle.network)
292. Arch Linux、AURパッケージの採用を無効化 Lobste Comment 08-01 Arch Linux disables AUR package adoption (lwn.net)
293. Common Lisp によるインタラクティブな Raylib Lobste Comment 08-01 Interactive Raylib with Common Lisp (www.youtube.com)
296. GuixシェルがEmacs内に統合されました Lobste Comment 08-01 Guix shell now inside Emacs (tusharhero.codeberg.page)
298. Servoの6月の注目トピック：実環境での互換性、メディアクエリ、SharedWorkerなど Lobste Comment 08-01 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
299. 死を待つソフトウェア：relayd(8) と httpd(8) の継続的な進化 Lobste Comment 08-01 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)