Goで再実装されたRedisサーバ。unittest用途に。なるほど。
---
GitHub - alicebob/miniredis: Pure Go Redis server for Go unittests
https://github.com/alicebob/miniredis
#bookmarks

コーディングエージェントとのやりとりの履歴をSQLiteに保存、あとから検索できるCLIツール。様々なエージェントに対応。Rust実装。インストール手順にプロンプトでの方法が書かれてて面白かった。なるほどねぇ
---
GitHub - ctxrs/ctx: Search the coding agent history already on your machine
https://github.com/ctxrs/ctx
#bookmarks

Lean言語を用いたコードゴルフだ。わいわい
---
zkGolf: golf zero-knowledge circuits, verified in Lean
https://zk.golf/
#bookmarks

git-annexはAIで生成されたソースコードを含まないポリシーだが、git-annexが依存する各種ライブラリはAI生成されたソースコードが含まれており回避不可。難しいね。
---
no llm code
https://git-annex.branchable.com/no_llm_code/
#bookmarks

S3などのオブジェクトストレージをバックエンドにできるログ構造ファイルシステム。NFS/9P/NBDのサーバとしてアクセス可能。おー面白いな。どれぐらいの性能がでるか興味ある。
---
GitHub - Barre/ZeroFS: ZeroFS - The Filesystem That Makes S3 your Primary Storage. ZeroFS is 9P/NFS/NBD on top of S3. Initially built for www.merklemap.com
https://github.com/Barre/ZeroFS
#bookmarks

グラフ用紙の印刷用PDFを無料でダウンロードできるサイト。いわゆる方眼紙だけでなく様々なパターン・用紙サイズが用意されてる。
---
Free Printable Graph Paper & Custom Graph Paper Maker
https://freegraphpaper.net/
#bookmarks

手元で試してみた。wslcコマンドはほぼdocker互換なので同じ感覚で使えるものの、composeサブコマンドは用意されていない。Docker Composeはリクエストが多いようで対応検討中と本家でもコメントされてた。
---
Windows上でLinuxコンテナが直接動く「WSL container」パブリックプレビューリリース | gihyo.jp
https://gihyo.jp/article/2026/06/wsl-container
#bookmarks

おそろしや。codexはバージョン0.142.0以降を使いましょう。
---
Codexが年640TBをSSDに書いていた、原因のTRACEログを追う
https://zenn.dev/okssusucha/articles/20260701-openai-codex-sqlite-trace-log-ssd-wear
#bookmarks

Python向けリトライ実装用ライブラリ。backoffってライブラリが有名だったがarchiveされてしまったのでoff→onでbackonらしい。
---
GitHub - Llucs/backon: Function decoration for backoff and retry — modern, fast, and zero dependencies
https://github.com/Llucs/backon
#bookmarks

わいわい。今後の展開に期待
---
セルフホストを支援するために設計された新しいトップレベルドメイン「.self」、1名につき1つの無料ドメイン
https://gigazine.net/news/20260702-self-tld/
#bookmarks