1. ゲーデル、エッシャー、Elisp:マクロの美学 Lobste Comment 09:00 Gödel, Escher, Elisp: The Beauty of Macros (www.chiply.dev)
3. Nehir:macOS用のタイリング型ウィンドウマネージャー Lobste Comment 10:25 Nehir: a tiling window manager for macOS (github.com)
4. ようやくdivを中央揃えにする方法を覚えたと思ったら、ブラウザにサイドバーが追加されてしまった Lobste Comment 06:21 we finally learned to center a div, then browsers added sidebars (seg6.space)
5. irken:ハック可能な、機能満載の超コンパクトなIRCクライアント Lobste Comment 04:30 irken: A tiny hackable full-featured IRC client (codeberg.org)
6. 途中で止めないで:メモリ速度でソースコードのケース変換を行う Lobste Comment 05:51 Don''t stop early: Case-folding source code at memory speed (github.blog)
9. 『Born Against』――なぜ趣味のプログラミングコミュニティはLLMの利用に激しく反対するのか Lobste Comment 04:24 Born Against, or why hobby programming communities are aggressively against LLM usage (blog.fogus.me)
12. 改訂版「Haskell 2010 言語報告書」 Lobste Comment 02:20 A Revised Haskell 2010 Language Report (blog.haskell.org)
13. ナイトリー版で「borrow checker」の次期バージョンを有効にする Lobste Comment 01:45 Enabling the next iteration of the borrow checker on nightly (blog.rust-lang.org)
14. GNU/Emacs用の「Liquid Glass」エフェクト Lobste Comment 01:43 Liquid Glass effect for GNU/Emacs (github.com)
15. Steam arm64クライアントの扱い方(macOS上) Lobste Comment 01:06 Taming the Steam arm64 client (on pmOS) (blog.drakulix.de)
16. カーペンターの統合挙動は直感に反している Lobste Comment 08-04 Karpenter''s consolidation behaviour is counter-intuitive (blog.appliedcomputing.io)
17. Luaコミュニティは、前に進むことを学ぶ必要がある - hisham.hm Lobste Comment 08-04 The Lua community needs to learn to move on - hisham.hm (hisham.hm)
20. 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)
21. C言語の99行で書かれたLispと、自分でそれを作成する方法 Lobste Comment 08-04 Lisp in 99 Lines of C and How to Write One Yourself (github.com)
23. 『Halo 2』およびそれ以降のコンテンツ管理(2005年) Lobste Comment 08-04 Content Management for Halo 2 and Beyond(2005) (nikon.bungie.org)
27. Bibliograph:書籍向けのプロトタイプAppView Lobste Comment 08-04 Bibliograph: A Prototypical AppView for Books (discourse.atmosphere.community)
30. Soppo - Go、欠けている機能について Lobste Comment 08-04 Soppo - Go, with the features it''s missing (soppolang.dev)
31. Seekable OCI:範囲指定リクエストによるインデックス作成を用いたコンテナイメージの遅延読み込み Lobste Comment 08-04 Seekable OCI: Lazy-Loading Container Images via Range-Request Indexing (arxiv.org)
33. Baochip-1x用Dabao評価ボード Lobste Comment 08-04 Dabao Evaluation Board for Baochip-1x (www.crowdsupply.com)
35. GitHubのイシュー、プルリクエスト、コメントに、プログラムで添付ファイルをアップロードする Lobste Comment 08-04 Programmatically upload attachments to GitHub Issues, Pull Requests, and Comments (island94.org)
36. Itanium向けWindows XP 2002:抑えきれない怒り Lobste Comment 08-04 Windows XP 2002 for the Itanium: Unbridled rage (virtuallyfun.com)
37. ブランチレスRust:if文を削除してフィルタ処理を4倍高速化する Lobste Comment 08-04 Branchless Rust: Making a Filter 4x Faster by Removing an if (www.greyblake.com)
42. カーミット誕生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)
45. SQLiteの重大なCVEか、それともLLMの不備か? Lobste Comment 08-04 SQLite Critical CVEs or LLM Slop? (research.jfrog.com)
46. 2026年にPythonを使わないだろうプロジェクト Lobste Comment 08-04 Projects I Wouldn''t Use Python For in 2026 (menno.io)
48. bonsai: Js_of_ocaml を使用した動的な Web アプリケーションを構築するためのライブラリ Lobste Comment 08-03 bonsai: A library for building dynamic webapps, using Js_of_ocaml (github.com)
50. Redex を用いたアクターのモデリング:第1部 Lobste Comment 08-03 Modelling Actors with Redex: Part I (eighty-twenty.org)
55. Rustプロジェクトの目標:不動の型と保証されたデストラクタ Lobste Comment 08-03 Rust Project Goals: Immobile types and guaranteed destructors (github.com)
57. 『ブラック・ピルを飲んではいけない』(テキスト版) Lobste Comment 08-03 Don''t Take the Black Pill (Text Adaptation) (andrewkelley.me)
66. 9front「THIS WAS SUPPOSED TO BE FUN」リリース Lobste Comment 08-03 9front "THIS WAS SUPPOSED TO BE FUN" Released (9front.org)
69. AIモデルに関するEUの規則が施行される。何が変わるのか? Lobste Comment 08-03 EU rules on AI models become enforceable. What''s going to change? (www.euronews.com)
70. 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)
71. Raspberry Piを使ってWii Uのゲームパッドを作ることができますか? Lobste Comment 08-03 Can you make a Wii U gamepad from a Raspberry Pi? (youtube.com)
72. 自分の環境を整えることは、幸せにつながる Lobste Comment 08-03 Controlling Your Environment Makes You Happy (www.joelonsoftware.com)
73. SwiftUI、7年を経て:平凡な歩み――いつになったら「ベータ版」のような感覚から抜け出せるのか? Lobste Comment 08-03 SwiftUI After 7 Years: A Story of Mediocrity: Will it ever stop feeling like a beta? (ykvm.com)
75. Rustの新しいAPIによる高速な浮動小数点演算 Lobste Comment 08-03 Faster floating point math with Rust’s new API (pythonspeed.com)
76. 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)
79. NativeScope — React Nativeのデバッグ用オープンソースのローカルスタジオ Lobste Comment 08-03 NativeScope — Open Source local Studio for React Native debugging (www.nativescope.dev)
80. Google Wave の始め方 [2010] Lobste Comment 08-03 Getting Started with Google Wave [2010] (www.youtube.com)
81. 今は(ほとんど)知能ではなく、スピードを基準にモデルを選んでいます Lobste Comment 08-02 I''m (mostly) picking models on speed now, not intelligence (martinalderson.com)
84. LLMが生成したコードを手作業で書き直すことで、認知的負債を防ぐ Lobste Comment 08-02 Prevent cognitive debt by manually retyping LLM-generated code (ankursethi.com)
86. 書き込み時にEPIPEが発生する場合は、操作が間違っている可能性があります Lobste Comment 08-02 EPIPE on write might mean you''re doing it wrong (rachelbythebay.com)
87. 数学および理論計算機科学における10の進展 Lobste Comment 08-02 Ten advances in mathematics and theoretical computer science (openai.com)
89. C言語では、sizeofの解析が意外に難しい Lobste Comment 08-02 sizeof is surprisingly difficult to parse in c (sebsite.pw)
90. 重要な点において、AtomはRSSよりも優れている Lobste Comment 08-02 Atom is better than RSS, in ways that matter (chrismorgan.info)
92. MkLinux と、カスタマイズされた Apple Workgroup Server 9150 Lobste Comment 08-02 MkLinux and the pimped-out Apple Workgroup Server 9150 (oldvcr.blogspot.com)
97. リーンカーネルの健全性に関するバグ #14576 の事後分析 Lobste Comment 08-02 Postmortem for Lean Kernel Soundness Bug #14576 (leodemoura.github.io)
100. Appleの画面共有における事前認証不要のRCE Lobste Comment 08-02 Apple Screen Sharing Pre-Auth RCE (warez.sl0p.foo)
101. でも、あなたの電卓はLinuxを動かせるのでしょうか? Lobste Comment 08-02 But can your calculator run Linux? (raymii.org)
102. Rustにおける引数解析に関する、古くて新しいアプローチ Lobste Comment 08-02 An old-new take on argument parsing in Rust (jmmv.dev)
103. 『心の概念』について、ナウルが誤っていた点 Lobste Comment 08-02 What Naur got wrong from The concept of mind (tssm.neocities.org)
105. パッチを適用し、脆弱性を排除:deepsecがPwn2OwnのMicrosoft Edgeサンドボックス脱出をどのように再構築したか Lobste Comment 08-01 Patch In, Exploit Out: How deepsec Reconstructed the Pwn2Own Microsoft Edge Sandbox Escape (www.darknavy.org)
109. オリジントライアルを使用して、メール認証プロトコルをテストする Lobste Comment 08-01 Test the Email Verification Protocol with an origin trial (developer.chrome.com)
110. SupportMailのシャーディングシステムの再実装 Lobste Comment 08-01 Rewriting SupportMail''s sharding system (supportmail.dev)
111. 単なる比喩だけでは不十分です。ここでは、「理解の負債」を検証可能な診断基準として提示します。 Lobste Comment 08-01 We need more than a metaphor: here are testable diagnostics for comprehension debt (www.fightforthehuman.com)
112. AI:意思決定を行う人々が留意すべき点 Lobste Comment 08-01 AI: Considerations for people who make decisions (berthub.eu)
114. 開発パイプラインは本番環境です Lobste Comment 08-01 The development pipeline is a production system (sundry.jerryorr.com)
117. marionette:決定論的シミュレーションテストライブラリ Lobste Comment 08-01 marionette: deterministic simulation testing library (github.com)
119. rustgrep - Rustソースコード用の構造的grep Lobste Comment 08-01 rustgrep - structural grep for Rust source (radicle.network)
120. Arch Linux、AURパッケージの採用を無効化 Lobste Comment 08-01 Arch Linux disables AUR package adoption (lwn.net)
121. Common Lisp によるインタラクティブな Raylib Lobste Comment 08-01 Interactive Raylib with Common Lisp (www.youtube.com)
124. GuixシェルがEmacs内に統合されました Lobste Comment 08-01 Guix shell now inside Emacs (tusharhero.codeberg.page)
126. Servoの6月の注目トピック:実環境での互換性、メディアクエリ、SharedWorkerなど Lobste Comment 08-01 June in Servo: real world compat, media queries, SharedWorker, and more (servo.org)
127. 死を待つソフトウェア:relayd(8) と httpd(8) の継続的な進化 Lobste Comment 08-01 Dead Software Walking: The ongoing evolution of relayd(8) and httpd(8) (rsadowski.de)
129. 1948年製のIBMシステムに搭載された真空管フリップフロップモジュールへの通電 Lobste Comment 08-01 Energizing a vacuum-tube flip-flop module from a 1948 IBM system (www.righto.com)
130. プラットフォームエンジニアリングは依然として重要だ Lobste Comment 08-01 Platform engineering still matters (evnm.substack.com)
131. なぜ自社でCおよびCの推論エンジンを開発するのか Lobste Comment 08-01 Why we write our own C and C inference engines (localai.io)
132. DuckDBにおける非同期I/O:ワーク、スレッド、ワーク Lobste Comment 07-31 Asynchronous I/O in DuckDB: Work, Thread, Work (duckdb.org)
135. SQLite向けのゼロディスク・S3階層型ストレージエンジンをどのように構築したか Lobste Comment 07-31 How We Built a Zero-Disk, S3-Tiered Storage Engine for SQLite (rivet.dev)
140. 「派生からデプロイまで:本番環境におけるNixの実践」― ジョン・マレー Lobste Comment 07-31 Derivations to Deployments: Practical Nix in Production - John Murray (www.youtube.com)
141. 一時的なシェルを使用したプロジェクト固有の clangd 設定 Lobste Comment 07-31 Project-Specific clangd Configuration with a Temporary Shell (felix-knorr.net)
144. ネストされたデータ並列性の完全な平坦化 Lobste Comment 07-31 Full flattening of nested data parallelism (futhark-lang.org)
146. 2026年7月にRustコンパイラを高速化する方法 Lobste Comment 07-31 How to speed up the Rust compiler in July 2026 (nnethercote.github.io)
148. ATProtoにおける非公開データ:許可制データに関する提案 Lobste Comment 07-31 Private data in ATProto: Permissioned Data Proposal (github.com)
150. C64デモのエフェクト解説:『Rodents In The Attic』 Lobste Comment 07-31 C64 Demo Effects Explained: Rodents In The Attic (youtu.be)
151. コードレビューへの返信:重要な場面では背景情報を添える Lobste Comment 07-31 Code Review Responses: Add Context When It Counts (testing.googleblog.com)
153. 電球について、あなたは誤解させられていました Lobste Comment 07-31 You have been mislead about lightbulbs (maurycyz.com)
154. std.Io.Writer.Allocating がメモリをすべて使い果たしてしまった Lobste Comment 07-31 std.Io.Writer.Allocating ate all my memory (www.openmymind.net)
155. gccrs を使用した Linux のコンパイルに向けた進捗状況 Lobste Comment 07-31 Progress toward compiling Linux with gccrs (lwn.net)
157. 「スタックされたプルリクエスト」がパブリックプレビューを開始しました - GitHub 変更履歴 Lobste Comment 07-31 Stacked pull requests are now in public preview - GitHub Changelog (github.blog)
159. フリースレッド型PythonにおけるNumPyのスケーリング Lobste Comment 07-31 Scaling NumPy on Free-Threaded Python (labs.quansight.org)
160. なぜすべてのウィキメディア関係者はツール開発者であるべきなのか Lobste Comment 07-30 Why every Wikimedian should be a toolmaker (www.haykranen.nl)
161. 飽和:ソフトウェアが規模の拡大に伴い機能不全に陥る理由 Lobste Comment 07-30 Saturation: How Your Software Will Fail at Scale (www.youtube.com)
162. KindaRails2Shell - Active Storage 経由の Rails における重大な RCE (CVE-2026-66066) Lobste Comment 07-30 KindaRails2Shell - Critical RCE in Rails via Active Storage (CVE-2026-66066) (ethiack.com)
164. 継続を用いたモック化に対する汎用的なアプローチ Lobste Comment 07-30 A universal approach to mocking with continuations (crowdhailer.me)
166. htmx を使用したプログレッシブ・エンハンスメント対応フォームの構築 Lobste Comment 07-30 Building Progressively Enhanced Forms Using htmx (www.rafa.ee)
167. deskhop:高速デスクトップ切り替えデバイス Lobste Comment 07-30 deskhop: Fast Desktop Switching Device (github.com)
168. 『人間とコンピュータ』―ジョン・G・ケメニー(1972年) Lobste Comment 07-30 Man and the Computer - John G. Kemeny (1972) (archive.org)
169. ボタンとリンクの違い Lobste Comment 07-30 The Difference Between a Button and a Link (unplannedobsolescence.com)
170. Cにおけるfloatからintへの変換は、未定義の挙動となる可能性があります Lobste Comment 07-30 C float-to-int conversion can be undefined behavior (kttnr.net)
171. これまで取り組んだサイドプロジェクトの中で、一番楽しかったものは何ですか? Lobste Comment 07-30 What side projects have you enjoyed the most? (lobste.rs)
172. ソニックの物理エンジン……って、実は物理エンジンじゃないの? Lobste Comment 07-30 Sonic''s Physics Engine... Isn''t a Physics Engine? (www.youtube.com)
173. ローレンツとリトル:あなたの尻尾はいくらですか? Lobste Comment 07-30 Lorenz and Little: How Much Does Your Tail Cost? (brooker.co.za)
178. シンプルなゲームでのタイマー設定(フレームルールを活用して) Lobste Comment 07-30 Setting timers in simple games (feat. the frame rule) (lynn.github.io)
180. xyは、Python用の非常に高速でカスタマイズ性の高いチャート作成ライブラリです Lobste Comment 07-29 xy is very fast and customizable charting library for Python (github.com)
181. Anthropicの新たな結果に関する補足 Lobste Comment 07-29 Some notes about Anthropic’s new results (blog.cryptographyengineering.com)
182. Gleamの言語サーバーにとって絶好の機会 Gleam v.1.18.0 リリース Lobste Comment 07-29 A field day for Gleam’s language server Gleam v.1.18.0 release (gleam.run)
183. PostgreSQLのMVCC:他のエンジンとの比較におけるトレードオフ Lobste Comment 07-29 PostgreSQL MVCC: tradeoffs compared to other engines (boringsql.com)
186. 「Hyperbole Implicit Buttons」:Hyperverseを構築しよう Lobste Comment 07-29 Hyperbole Implicit Buttons: Build your Hyperverse (www.chiply.dev)
188. Copilotは、あるWord文書から別のWord文書へと悪意のあるワームを拡散させます Lobste Comment 07-29 Copilot will propagate a malicious worm from one Word document to another (enklypesalt.com)
189. AIブームが世界の意思決定を根底から覆している Lobste Comment 07-29 AI Mania Is Eviscerating Global Decision-Making (hermit-tech.com)
190. MoQを使ってIETFのMoQセッションをストリーミング…というか、まあそんな感じ Lobste Comment 07-29 Streaming the IETF MoQ sessions with MoQ… kinda (www.meetecho.com)
196. おもちゃのソフトウェアを書くのは楽しい (2025) Lobste Comment 07-29 Writing Toy Software Is A Joy (2025) (blog.jsbarretto.com)
199. 一から開発されたLinuxデスクトップ「Starling」 Lobste Comment 07-29 Starling, a Linux Desktop written from scratch (starling.build)
200. Dartにおける証明型:finalクラスを計算的証人として使用する Lobste Comment 07-29 Proof types in Dart: Using final classes as computational witnesses (modulovalue.com)
201. フロンティア・ラボのエージェントによる侵入の全容:2026年7月のインシデントに関する技術的タイムライン Lobste Comment 07-29 Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident (huggingface.co)
202. プログラム検証において、RocqがLeanよりも優れている理由 Lobste Comment 07-29 Why Rocq is better than Lean for program verification (joomy.korkutblech.com)
204. 「QSYRUPWD」の謎:IBM i パスワードハッシュの復元 Lobste Comment 07-29 The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes (blog.silentsignal.eu)
206. 「キミ・デルタ・アテンション」を思いつくこともできたはずだ Lobste Comment 07-29 You Could Have Come Up With Kimi Delta Attention (blog.doubleword.ai)
208. Bastillion 5.1:単一JARのSSHゲートウェイが、すべてのセッションの監査と再生を行うようになりました Lobste Comment 07-29 Bastillion 5.1: single-JAR SSH gateway now audits and replays every session (github.com)
209. 依存関係の文化 - リチャード・フェルドマン(Software Should Work Conf 2026) Lobste Comment 07-28 Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) (www.youtube.com)
210. コンピュートシェーダーを用いたGPU上での並列JSON解析 Lobste Comment 07-28 Parallel JSON parsing on the GPU with compute shaders (github.com)
211. 学習者にとっての「サードプレイス」はどこにあるのでしょうか? Lobste Comment 07-28 Where are the third places for learners? (kernelkennel.com)
213. ボタンを3回押す手間を省くために、カスタムPCBを設計しました Lobste Comment 07-28 I Designed A Custom PCB To Avoid Pressing A Button Three Times (blog.tymscar.com)
214. issetugid() の設計上の欠陥 (2017) Lobste Comment 07-28 Design flaws in issetugid() (2017) (gist.github.com)
216. Aux Control — 部屋中のみんなで音楽を選ぼう Lobste Comment 07-28 Aux Control — Let the whole room vote on the music (auxcontrol.live)
217. エージェントの安全性を高める追跡機能 Lobste Comment 07-28 Tracked Capabilities for Safer Agents (martinodersky.substack.com)
219. Goのマップ:スイス式テーブルが従来のバケット設計に取って代わった経緯 Lobste Comment 07-28 Golang Maps: How Swiss Tables Replaced the Old Bucket Design (blog.gaborkoos.com)
221. Tcl/Tk を使用したクロスプラットフォームの CLI および GUI ツールの開発 Lobste Comment 07-28 Develop Cross-Platform CLI and GUI Tools With Tcl/Tk (cgicoffee.com)
223. すべてを支配する一つの指輪:ラジオとノートパソコンを「手間のかかる方法」で接続する Lobste Comment 07-28 One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way (www.lysk.ai)
226. ベンチマークと評価の実践、第7回:DeepSWE、Senior SWE-Bench、ナプキン計算、そして冬用タイヤ Lobste Comment 07-28 Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires (danluu.com)
227. 世界で最も価値のあるものは「摩擦」である Lobste Comment 07-28 The Most Valuable Commodity in the World is Friction (kyla.substack.com)
229. 「Framework 13 Pro」レビュー:バッテリー性能は大幅に向上、価格は大幅に高くなった Lobste Comment 07-28 Framework 13 Pro review: Much better battery, much worse price (arstechnica.com)
230. Nightlyで新しいFirefoxのデザインをお試しください Lobste Comment 07-28 Try the New Firefox Design in Nightly (blog.nightly.mozilla.org)
232. 「バグの理論」に向けて:予期せぬ事象の「ルリオロジー」 Lobste Comment 07-28 Towards a Theory of Bugs: The Ruliology of the Unexpected (writings.stephenwolfram.com)
233. OpenBSD を使って、シンプルなセルフホスト型 Web サーバーをセットアップする Lobste Comment 07-28 Setup a Simple, Self-Hosted Web Server with OpenBSD (btxx.org)
234. Pad-O-Maticは、ボタンを押すだけでワンタイムパッドを印刷します Lobste Comment 07-28 The Pad-O-Matic prints one-time pads at the press of a button (spectrum.ieee.org)
235. マジで、あの巨大なコードモデルって一体何のためにあるの? Lobste Comment 07-28 Seriously, what is the large code-model even for? (fzakaria.com)
236. 建設的なデータモデリングの理不尽なほど高い有効性 Lobste Comment 07-28 The Unreasonable Effectiveness of Constructive Data Modeling (www.youtube.com)
237. Windows NT 3.1の長所と短所 Lobste Comment 07-28 Advantages and disadvantages of Windows NT 3.1 (dfarq.homeip.net)
239. ボルボ/アイチャーのフリート管理プラットフォームを活用し、すべてのユーザーと車両を管理下に置く Lobste Comment 07-28 Exploiting Volvo/Eicher’s fleet management platform to gain control over all users and vehicles (eaton-works.com)
241. オープンソースは楽しいものでなければならない(そうでなければ消滅してしまう) Lobste Comment 07-27 Open Source Must Be Fun (Or It Will Die) (mikemcquaid.com)
243. 第二次世界大戦の勝利に貢献したコンピュータ:コロッサスはドイツの暗号通信を解読した Lobste Comment 07-27 The Computer That Helped Win World War II: Colossus cracked Germany’s encrypted communications (spectrum.ieee.org)
246. 最新のCで高速なロックフリーキューをゼロから構築する Lobste Comment 07-27 Building a Fast Lock-Free Queue in Modern C From Scratch (blog.jaysmito.dev)
248. 現在のテクノロジー全体を「フォーク」として見てみたいと思いませんか? Lobste Comment 07-27 Would you like to see a “fork” of current tech as a whole? (lobste.rs)
249. ブログとは、単に当たり前のことを述べるだけのことかもしれない Lobste Comment 07-27 Blogging Can Just Be Stating The Obvious (blog.jim-nielsen.com)
250. RustでのBunのリライトは、どう進んでいますか? Lobste Comment 07-27 How is the Bun Rewrite in Rust Going? (lockwood.dev)
251. Haskellによるデジタル回路シミュレータ Lobste Comment 07-27 Digital circuit simulator in Haskell (entropicthoughts.com)
256. lobste.rs で JavaScript エラーが発生しています。以下に回避策を記載します。 Lobste Comment 07-27 lobste.rs has a js-error: here is a mitigation (lobste.rs)
258. Parquetにおける固定長リストのための高速パス Lobste Comment 07-27 A Fast Path for Fixed-Length Lists in Parquet (www.morling.dev)
259. 第一原理から学ぶ関数型プログラミング、第1部――動機 Lobste Comment 07-27 Functional programming from first principles, part 1 – motivation (www.endoflineblog.com)
262. この簡単な裏技で、レビューを再び可能にしましょう Lobste Comment 07-27 Make Reviews Possible Again With This One Simple Trick (silky.github.io)
263. PGSimCity:PostgreSQLの仕組みを3Dで解説 Lobste Comment 07-27 PGSimCity: How PostgreSQL Works, in 3D (nikolays.github.io)
265. ジョン・バックスによる関数型プログラミング言語の歴史 Lobste Comment 07-27 History of John Backus''s FP languages (softwarepreservation.computerhistory.org)
266. GitHubのセキュリティチームは、一体どんな仕事をしているのでしょうか? Lobste Comment 07-27 What does GitHub’s security team even do? (orchidfiles.com)
267. std::function と copyable_function の相互変換 Lobste Comment 07-27 Interconverting std::function with copyable_function (quuxplusone.github.io)
268. MikroTikコンテナ内の権威DNSサーバーとしてのdnsmasq Lobste Comment 07-27 Authoritative dnsmasq in a MikroTik container (op-co.de)
271. SQLiteのWALモードは、短時間の読み取り処理をロックしてしまう可能性がある Lobste Comment 07-27 SQLite WAL Mode Can Lock Short-Lived Readers (hynek.me)
272. Valkey:Valkeyにおけるデータの知られざる一面 Lobste Comment 07-27 Valkey: The secret life of data in Valkey (valkey.io)
274. Forth から Lisp へ、Lisp から Forth へ Lobste Comment 07-27 Forth Moving Lisp Moving Forth (letoverlambda.com)
277. ザビエル・ルロワによるプログラミング、プログラミング言語、および形式検証に関する考察 Lobste Comment 07-26 Xavier Leroy on programming, languages and formal verification (www.youtube.com)
280. Scanwheel:自分で組み立てられるドラム式機械式テレビ Lobste Comment 07-26 Scanwheel: a drum style mechanical television you can build yourself (github.com)
281. Himalaya v2.0.0:メールを管理するためのCLI Lobste Comment 07-26 Himalaya v2.0.0: CLI to manage emails (fosstodon.org)
282. マイクロカーネルについて、改めて検討してみるべきかもしれません Lobste Comment 07-26 Maybe we should revisit microkernels (notes.hella.cheap)
285. 自宅のリビングで静的IPアドレスを使用してサーバーを自前で運用する方法 Lobste Comment 07-26 How to self-host servers in your living room on static IPs (vimuser.org)
286. スタッフエンジニアとして、解決すべき課題をどのように見つけているか Lobste Comment 07-26 How I Find Problems to Solve as a Staff Engineer (lalitm.com)
287. おそらく、ハードディスクの容量がいっぱいになっているようです Lobste Comment 07-26 Your harddrive is probably full (www.marginalia.nu)
288. 総括決議:DebianにおけるLLMの利用 Lobste Comment 07-26 General Resolution: LLM usage in Debian (www.debian.org)
292. シェルコロンは何も行いません。それでも使ってください Lobste Comment 07-25 A shell colon does nothing. Use it anyway (refp.se)
294. Androidがまもなく端末上のADBを制限する可能性があり、「Shizuku」や「libadb」、そして開発者に影響が及ぶ見込み Lobste Comment 07-25 Android May Soon Restrict On-Device ADB, Affecting Shizuku, libadb and Developers (kitsumed.github.io)
296. stinkpot:SQLiteを基盤としたシェル履歴 Lobste Comment 07-25 stinkpot: sqlite-backed shell history (tangled.org)
297. C言語における型推論宣言の解析に伴う危険性 Lobste Comment 07-25 the perils of parsing type inference declarations in c (sebsite.pw)
298. 私はICFPプログラミングコンテスト(2026年)を主催しています。 Lobste Comment 07-25 I''m running the ICFP programming contest (2026) (eieio.games)
300. マイクロフォーマット ― データ豊富なウェブページの構成要素 Lobste Comment 07-25 Microformats – building blocks for data-rich web pages (microformats.org)