https://b.hatena.ne.jp/entry/s/github.com/NyxFoundation/nyxis English | 日本語 A Lean backend framework whose authorization safety is formally proven. Nyxis lets solo developers who ship web applications written by AI agents release them with confidence about... https://b.hatena.ne.jp/dai_yamashita/20261027#bookmark-4794973654819299554 2026-10-26T23:48:50Z github Lean https://b.hatena.ne.jp/balaem/20261027#bookmark-4794973654819299554 2026-10-26T23:21:49Z https://b.hatena.ne.jp/yuiseki/20261027#bookmark-4794973654819299554 2026-10-26T22:41:56Z あとで読む https://b.hatena.ne.jp/igrep/20261027#bookmark-4794973654819299554 2026-10-26T21:31:21Z Lean https://b.hatena.ne.jp/yug1224/20261027#bookmark-4794973654819299554 2026-10-26T16:17:34Z https://b.hatena.ne.jp/tanakamama/20261027#bookmark-4794973654819299554 2026-10-26T15:47:33Z https://b.hatena.ne.jp/nguyen-oi/20261026#bookmark-4794973654819299554 認証安全性をLeanで形式証明するバックエンドとかガチ勢向け 2026-10-26T14:55:00Z https://b.hatena.ne.jp/wthirow/20261026#bookmark-4794973654819299554 2026-10-26T14:34:52Z https://b.hatena.ne.jp/kabukisan/20261026#bookmark-4794973654819299554 2026-10-26T13:46:03Z https://b.hatena.ne.jp/knjname/20261026#bookmark-4794973654819299554 2026-10-26T09:17:06Z