3. Python 3.14の新しいインタプリタが高速化を実現 A new interpreter in Python 3.14 delivers a free speed boost (www.infoworld.com)
5. CMU 17-712: ファンタスティック・バグとその見つけ方 CMU 17-712: Fantastic Bugs and How to Find Them (cmu-fantastic-bugs.github.io)
6. RMMで有名なレナード・リチャードソンとの回顧インタビュー A Retrospective Interview w/Leonard Richardson (of RMM fame) (htmx.org)
9. travertine (cve-2025-24118):XNU におけるレース状態 TRAVERTINE (CVE-2025-24118): Race condition in XNU (jprx.io)
10. sapf: - 遅延リストと APL ライクな自動マッピングを使う音声合成用の Forth ライクな言語 sapf: - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping (github.com)
12. PgBouncerは便利で、重要で、危険と隣り合わせである。 PgBouncer is useful, important, and fraught with peril (jpcamara.com)
14. Meshtastic:低消費電力デバイスによる分散型通信 Meshtastic: decentralized communication with low-power devices (lwn.net)
15. Raspberry Pi RP2040が驚きのスピードアップ、公式200MHzモードをアンロック The Raspberry Pi RP2040 Gets a Surprise Speed Boost, Unlocks an Official 200MHz Mode (www.hackster.io)
16. 現地のシステム管理者から通常のレクチャーを受けたと信じています。 We trust you have received the usual lecture from the local System Administrator (lobste.rs)
17. プロパティ・ベースのテストを通じてRustのモナドを解明する Demystifying monads in Rust through property-based testing (sunshowers.io)
20. RustでSQLiteを作ろう その5:クエリーの評価 Build your own SQLite in Rust, Part 5: Evaluating queries (blog.sylver.dev)
21. プラクティカル・アロイ形式的ソフトウェア設計の実践ガイド Practical Alloy: A hands-on guide to formal software design (practicalalloy.github.io)
22. Typst 0.13がリリースされました:実験的HTMLエクスポート、セマンティック段落、その他 Typst 0.13 is out now: Experimental HTML export, semantic paragraphs, and more (typst.app)
23. modview:Go プロジェクトのすべての外部依存関係を含む mod グラフを簡単に視覚化します。 modview: Effortlessly visualize mod graph with all external dependencies for your Go projects (github.com)
24. 不完全なシステムが、実は良いものであるとき:Blueskyのロッシータイムライン When Imperfect Systems are Good, Actually: Bluesky’s Lossy Timelines (jazco.dev)
27. 著名なオープンソース・プロジェクトのコード例集 (2021) A collection of code examples from prominent open-source projects (2021) (codecatalog.org)
29. 欧州の大型スペースグレードFPGA用オープンソースFPGAツールチェーン An open source FPGA toolchain for a large European space-grade FPGA (blog.yosyshq.com)
31. testing/synctestによる並行コードのテスト - The Go Programming Language Testing concurrent code with testing/synctest - The Go Programming Language (go.dev)
32. リラックス・ラディックス・バランス・ツリーピーター・ホーンハン Relaxed Radix Balanced Trees Peter Horne-Khan (peter.horne-khan.com)
33. グレッグ・クロアハートマン、新しいLinuxカーネルドライバーをRustで書くべきと説得力ある主張 Greg Kroah-Hartman Makes A Compelling Case For New Linux Kernel Drivers To Be Written In Rust (www.phoronix.com)
38. ロシアのフィッシングキャンペーンがSignalのデバイスリンク機能を悪用 Russian phishing campaigns exploit Signal''s device-linking feature (www.bleepingcomputer.com)
40. 提案呼び出し元のコンテキストから同期的にタスクを開始する Proposal: Starting tasks synchronously from caller context (github.com)
51. 一般ワイン/プロトン開発者(オープンソースプログラマー) General Wine/Proton Developer (Open-Source Programmer) (www.codeweavers.com)
53. ベルロイ・テクノロジー・チーム2024年を振り返って Bellroy Technology Team: 2024 in Review (exploring-better-ways.bellroy.com)
54. SQL/PGQでPostgresqlのグラフを表現する Representing graphs in Postgresql with SQL/PGQ (www.enterprisedb.com)
55. クリス・ビスカルディ:小さな実験の成長(ラスト&ベヴィとともに) Chris Biscardi: Growing little experiments (with Rust & Bevy) (www.youtube.com)
56. OpenSSHのVerifyHostKeyDNS対応クライアントに対するMitM攻撃 MitM attack against OpenSSH''s VerifyHostKeyDNS-enabled client (marc.info)
58. Common Lispのこの数年:2023-2024年を振り返って These years in Common Lisp: 2023-2024 in review (lisp-journey.gitlab.io)
59. exo software - コンピュータ、スマートフォン、SBCのクラスタ上で動作する分散LLMソリューション exo software - A distributed LLM solution running on a cluster of computers, smartphones, or SBCs (www.cnx-software.com)
60. SWE-ランサーフロンティアLLMはフリーランス・ソフトウェアエンジニアリングで100万ドルを稼げるか? SWE-Lancer: Can Frontier LLMs Earn 1 Million from Real-World Freelance Software Engineering? (arxiv.org)
61. ニンテンドースイッチで直面した困難を日本のエンジニアが語る Japanese engineers talk about difficulties they faced with the Nintendo Switch (automaton-media.com)
64. ゴー・アテンション純粋な囲碁における完全な注意のメカニズムと変換器 go-attention: A full attention mechanism and transformer in pure Go (github.com)
68. Linux 6.14用に新しい "偽バス "APIがマージされた。 New "faux bus" API merged for Linux 6.14, including both Rust & C bindings (www.phoronix.com)
73. Swift進化の提案: 固定サイズ配列InlineArray Swift Evolution Proposal: InlineArray, a fixed-size array (github.com)
75. 私が2025年にScheme実装を書く理由(その答えは非同期Rustだ) Why I''m Writing a Scheme Implementation in 2025 (The Answer is Async Rust) (maplant.com)
83. ボックス内のリンク:検閲を受けずにXでシグナルリンクを共有する Link in a box: Share Signal links on X without getting censored (link-in-a-box.vercel.app)
84. エレガントなフル・パラメトリック・スピーカー・キャビネットの設計・製作 Design/build of some elegant, fully parametric speaker cabinets (calbryant.uk)
86. searchcode.comのSQLiteデータベースは、おそらくあなたのものより6テラバイト大きいだろう searchcode.com’s SQLite database is probably 6 terabytes bigger than yours (boyter.org)
88. UXデザインのリワーク#1 - 私の大学での溜め込みの手直し UX Design Rework #1 - reworking my university hoarding (bhoot.dev)
91. f8 - C言語とメモリ効率のために設計された8ビットアーキテクチャ f8 - an 8 bit architecture designed for C and memory efficiency (fosdem.org)
93. 単語の埋め込みについて - パート3:word2vecの隠し味 On word embeddings - Part 3: The secret ingredients of word2vec (www.ruder.io)
96. OOPが他のパラダイムよりも有用なモデリング・アプローチとなるのはどのような場合か? When is OOP a More Useful Modelling Approach than Other Paradigms? (lobste.rs)
100. タイムアウトを設定してもSQLITE_BUSYエラーが発生する場合の対処法 What to do about SQLITE_BUSY errors despite setting a timeout (berthub.eu)
107. GF2P8AFFINEQBビット行列乗算命令の予期せぬ使い方 Unexpected uses of the GF2P8AFFINEQB bit matrix multiply instruction (gist.github.com)
108. logis - git のコミット履歴に科学的なログを自動的に記録する logis - an automatic scientific log in your git commit history (github.com)
110. remcoは軽量な構成管理ツールです (2023) remco is a lightweight configuration management tool (2023) (github.com)
116. Taichi: Pythonによる高性能並列プログラミング Taichi: High-performance Parallel Programming in Python (www.taichi-lang.org)
117. NASAには、ソフトウェア開発における10のルールがある。 NASA has a list of 10 rules for software development (www.cs.otago.ac.nz)
119. llm-mlxとAppleのMLXフレームワークを使ってmacOS上でLLMを実行する Run LLMs on macOS using llm-mlx and Apple’s MLX framework (simonwillison.net)
120. 事後報告 - OpenStreetMap.orgのネットワーク障害 - 2024年12月15日 Post-Mortem - Network Outage Affecting OpenStreetMap.org - 15 December 2024 (operations.osmfoundation.org)
121. 古いZIPファイルを解読し、ANCの秘密暗号コード "Operation Vula "のオープンソース化に貢献 Cracking an old ZIP file to help open source the ANC''s "Operation Vula" secret crypto code (blog.jgc.org)
130. 8088 MPH 決勝:旧CGAと新CGAの比較(その他詳細)(2015年) 8088 MPH Final: Old vs. New CGA (and Other Gory Details) (2015) (int10h.org)
131. SQLite-on-the-Serverは誤解されている:マイクロスケールよりもハイパースケールの方が良い SQLite-on-the-Server Is Misunderstood: Better At Hyper-Scale Than Micro-Scale (rivet.gg)
134. FreeBSDによる耐障害性リバースプロキシの構築 Building a fault-tolerant reverse proxy with FreeBSD (www.subnetspider.com)
139. 20年前のPSPがWPA2 Wifiネットワークに接続可能に The 20 year old PSP can now connect to WPA2 Wifi Networks (wololo.net)
140. AppleのUSB Restricted Modeバイパス(CVE-2025-24200)の最初の分析 First analysis of Apple''s USB Restricted Mode bypass (CVE-2025-24200) (blog.quarkslab.com)
141. なぜクライアント・タイプはスキーマではなくクエリとフラグメントから派生すべきなのか? Why Your Client Types Should Derive from Queries and Fragments — Not the Schema (medium.com)
144. 1つのNearlyFreeSpeechサイトの下で複数のウェブサイトをホストする Hosting Multiple Websites Under One NearlyFreeSpeech Site (btxx.org)
147. Goによる拡張可能なWasmアプリケーション - Goプログラミング言語 Extensible Wasm Applications with Go - The Go Programming Language (go.dev)
149. 最近のコンパイラーは、レジスタに入れる変数をどのように選んでいるのか? How do modern compilers choose which variables to put in registers? (langdev.stackexchange.com)
150. カスタムスケジューラで並行処理のバグを暴く [LWN.net] [LWN.net Exposing concurrency bugs with a custom scheduler [LWN.net] (lwn.net)
156. バウハウスインスピレーションの90年 (2009) Bauhaus: Ninety Years of Inspiration (2009) (www.smashingmagazine.com)
158. ニューラルネットワークを用いた離散化浅水方程式の解法 Solving the discretised shallow water equations using neural networks (www.sciencedirect.com)
160. ジェネレーティブAIがクリティカル・シンキングに与える影響 The Impact of Generative AI on Critical Thinking (www.microsoft.com)
162. アトキンソン・ハイパーレギブル・ネクストとアトキンソン・ハイパーレギブル・モノ Atkinson Hyperlegible Next and Atkinson Hyperlegible Mono (www.brailleinstitute.org)
165. HTTP アーカイブをサポートした shot-scraper 1.6 shot-scraper 1.6 with support for HTTP Archives (simonwillison.net)
168. Spritely Goblinsを使ったマシンデプロイツールのプロトタイピング Prototyping a machine deployment tool with Spritely Goblins (www.terracrypt.net)
170. APIとコードドキュメントの作成で開発者が直面する課題 Challenges Developers Face in Creating API and Code Documentation (www.coderabbit.ai)
172. 超パーソナライズされた検索エンジンを作ったが、あまり良くなかった理由 why I built a hyper-personalized seach engine that isn''t very good (search.technomancy.us)
176. PHPでポスト量子暗号の導入を加速する Accelerating The Adoption of Post-Quantum Cryptography with PHP (paragonie.com)
184. 222行のPulumiでGitHub Codespacesの代替機能を構築する Build Your Own GitHub Codespaces Alternative in 222 Lines of Pulumi (devcontainer.community)
185. devenv 1.4:AIを使ったNix開発者環境の生成 devenv 1.4: Generating Nix Developer Environments Using AI (devenv.sh)
195. 非暗号化ハッシュ関数の評価基準を問う Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions (cacm.acm.org)
198. macOSのフォルダアクションで私のコンピューターライフを自動化した方法 How I Automated My Computer Life With macOS Folder Actions (interfacecraft.online)
199. 英国、iCloudバックアップ暗号化のバックドア化を要請 U.K. asks to backdoor iCloud Backup encryption (blog.cryptographyengineering.com)
206. 1つの言語で反復練習を行い、次に他のすべての言語で反復練習を行う(2016年) Iteration in one language, then all the others (2016) (eev.ee)
210. スキップ:宣言的にコーディングし、継続的に計算するリアクティブ・フレームワーク Skip: A reactive framework to code declaratively and compute continuously (skiplabs.io)
213. シドLinux用セキュアアプリケーションサンドボックス入門 Syd: An Introduction to Secure Application Sandboxing for Linux (fosdem.org)
215. 放棄されたAmazon S3バケットを介したマルウェアの配信 Delivering Malware Through Abandoned Amazon S3 Buckets (www.schneier.com)
217. Go 1.24のomitzeroもまた、ここ数年で最高のエコシステムのひとつだ。 Go 1.24''s omitzero is another one of the best additions to the ecosystem in years (www.jvt.me)
218. リーグ・オブ・レジェンドのリプレイのデータスクレイピングとリバースエンジニアリング Data scraping and reverse engineering League of Legends replays (maknee.github.io)
219. Linuxマシンはどうやってインターネットに接続するのですか? How does a Linux machine connect to the internet, really? (pjg1.site)
221. ヤクブ・ヤロシュとGoのセキュリティ、デブオプス、テスト Security, devops, and testing in Go with Jakub Jarosz (gopodcast.dev)
222. AWSにおけるシステムの正しさの実践:形式的・半形式的手法の活用 Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods (dl.acm.org)
223. JavaScriptのusingキーワードを使ったクリーンルームテスト Clean room tests with JavaScript''s using keyword (blog.disintegrator.dev)
226. トムソン・ロイター、AI、著作権、フェアユースをめぐる法廷闘争で早期勝利 Thomson Reuters wins an early court battle over AI, copyright, and fair use (www.theverge.com)
227. インテンショナル・ジョイ(内部構造の連結的説明) Intensional Joy (a concatenative account of internal structure) (pithlessly.github.io)
228. ELEET: テキストとテーブルに対する効率的な学習型クエリ実行 ELEET: Efficient Learned Query Execution over Text and Tables (www.vldb.org)
229. HOTDOG: Windows 3.1 Hot Dog Stand、Mac Classic、Aqua UIを備えたX11ウィンドウマネージャ HOTDOG: X11 Window Manager with Windows 3.1 Hot Dog Stand, Mac Classic and Aqua UI (github.com)
232. 42linksLisp で書かれたブックマークサーバ 42links: A bookmarking server, written in Lisp (code.rosaelefanten.org)
234. リファレンス・カウント:想像以上に難しい(2015年) Reference Counting: Harder than it Sounds (2015) (www.playingwithpointers.com)
237. Windows 7:2025年の展望(バラ色か否か) Windows 7: A 2025 perspective (rose-tinted or not) (www.dedoimedo.com)
239. apt-eatmydataでインストールをスーパーチャージ:衝突安全性なんて必要ない Supercharge Your Installs with apt-eatmydata: Because Who Needs Crash Safety Anyway? (balintreczey.hu)
242. オレオマイクロアーキテクチャ攻撃からASLRを守る (2024) Oreo: Protecting ASLR Against Microarchitectural Attacks (2024) (arxiv.org)
246. 虚構と事実?QWERTYキーボードの伝説 (2013) Fact of Fiction? The Legend of the QWERTY Keyboard (2013) (www.smithsonianmag.com)
248. コンポジフレーズ:Vimのような編集可能な言語。 Composiphrase: Composable editing language like Vim, but moreso (www.willghatch.net)
251. 工場での仕事デジタル・イクイップメント・コーポレーションの物語 Work at the Mill: The story of Digital Equipment Corporation (www.abortretry.fail)
253. マイクロソフト、DocumentDB(Postgresの上位のNoSQL)をMITライセンスでリリース Microsoft releases DocumentDB (NoSQL atop Postgres) under MIT license (opensource.microsoft.com)
255. フロンティアAIシステムは自己複製可能なレッドラインを超えた Frontier AI systems have surpassed the self-replicating red line (arxiv.org)
260. GameFontLibraryビデオゲームフォント&タイポグラフィデータベース GameFontLibrary Video Game Fonts & Typography Database (www.gamefontlibrary.com)
261. 私はいかにして心配するのをやめ、LLMを愛するようになったか How I learned to stop worrying and love the LLM (smallcultfollowing.com)
263. EBMCを用いた2つのVerilog CPU実装の比較 Comparing Two Verilog CPU Implementations using EBMC (www.philipzucker.com)
264. auxcord.orgを立ち上げ - 友達の音楽をあなたのパーティーで聴かせよう Launching auxcord.org - Let friends queue their music at your party (krausefx.com)
266. ReactフロントエンドをGoとWebAssemblyに置き換えた - Dagger We Replaced Our React Frontend with Go and WebAssembly - Dagger (dagger.io)
267. プラン9を使ったオペレーティング・システム抽象化入門 Introduction to Operating System Abstractions using Plan 9 (archive.org)
273. IEEE 754浮動小数点規格に従った初等関数とNOT (2020) Elementary Functions and NOT Following the IEEE 754 Floating-Point Standard (2020) (www.hlsl.co.uk)
274. Ciao Prologシステム(WASMをターゲットとしたProlog実装) The Ciao Prolog System (Prolog implementation targeting WASM) (ciao-lang.org)
277. Node.jsのセキュアコーディングに関する書籍シリーズを出版 Published a series of Node.js Secure Coding books (www.nodejs-security.com)
280. pkarr:公開鍵アドレス指定可能リソースレコード(ソブリンTLD) pkarr: Public Key Addressable Resource Records (sovereign TLDs) (github.com)
287. スタンド・アローン・コンプレックス:(AI)アシスタントは人形ではなく個人であるべきだ Stand Alone Complex: (AI) Assistants should be individuals, not puppets (blog.cortex.im)
291. HarmonyOS:「ディープ・ブルー・インサイト」は2024年に最もユニークな新しいセキュリティ生態系である HarmonyOS: "Deep Blue Insight" is the most unique new security ecology in 2024 (www.harmony-developers.com)
292. ConnectX-5ファームウェア・ツールの作成と初期解析 ConnectX-5 Firmware tooling and initial analysis (irisc-research-syndicate.github.io)
298. Linuxのパッチがs2idle中のACプラグの抜き差し動作をWindowsに合わせる Linux Patches Adjust AC Plug/Unplug Behavior During s2idle To Match Windows (www.phoronix.com)