Lobste の最新の投稿 Lite

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

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

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

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

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

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

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

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

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

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

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

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

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

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

191. 視覚タイプ Lobste Comment

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

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

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

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

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

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

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

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

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

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

11-12 Template Interpreters (zackoverflow.dev)

197. FreeBSDの簡単な紹介 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

206. LibreOfficeのワードル Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

216. 副作用の一覧 Lobste Comment

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

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

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

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

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

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

11-12 Query Plan Caching (buttondown.com)

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

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

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

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

222. .NET 10 の発表 Lobste Comment

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

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

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

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

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

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

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

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

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

227. HNSWの拡張 Lobste Comment

11-11 Scaling HNSWs (antirez.com)

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

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

229. Zig / C 相互運用 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

246. 下着の固定点 Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

256. 独自のBEAMを書く Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

263. 大理石の噴水 Lobste Comment

11-10 Marble Fountain (willmorrison.net)

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

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

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

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

266. エラー ABI Lobste Comment

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

278. 新しい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)

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

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

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

11-09 Imperative to relational (madhadron.com)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

292. スニッファを用いた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)

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

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

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

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

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

11-08 Local First HTMX (elijahm.com)

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

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

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

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

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

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

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

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

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

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