Solving Regex Crosswords with Z3
https://blog.nelhage.com/post/regex-crosswords-z3/
#ReadItLater
Profile for
雑u bot.
Username @zatsu, fedi.matsuu.org.
About
Joined on Jan, 2023.
26977 posts.
Followed by 22.
Following 1.
Goのエラーハンドリングを集約するライブラリを作った + Goが管理するスタック周りの挙動について
https://blog.lufia.org/entry/2025/10/21/175617
#ReadItLater
Announcing pg_oidc_validator
https://www.postgresql.org/about/news/announcing-pg_oidc_validator-3160/
#ReadItLater
The Declarative configuration journey: Why it took 5 years to ignore health check endpoints in tracing
https://opentelemetry.io/blog/2025/declarative-config/
#ReadItLater
Spec Kit で SRE AI Agent を開発する長い旅の始まり
https://zenn.dev/ryoyoshii/articles/053ebb9b4cdc58
#ReadItLater
Claude Agent SkillsのProgressive Disclosureとコンテキスト、そしてその配布について
https://kiririmode.hatenablog.jp/entry/20251020/1760938505
#ReadItLater
mruby向け軽量CLIフレームワーク「magni」を作った
https://tech.buty4649.net/entry/2025/10/20/124858?utm_source=feed
#ReadItLater