# 知った - [The sleep framework: A new way for LLMs to retain knowledge in continual learning](https://research.google/blog/the-sleep-framework-a-new-way-for-llms-to-retain-knowledge-in-continual-learning/) - 時代は睡眠。AIも寝る時代。 - [Agency as a New Organizing Abstraction for Computer Science](https://cacm.acm.org/opinion/agency-as-a-new-organizing-abstraction-for-computer-science/) - # Agency as a New Organizing Abstraction for Computer Science # やった - 髪を切った - Geminiに、毎朝RSSをみてObsidianのデイリーノートに面白そうなのを書いてもらうことにした - 研究 # 思った - # その他 - # フィード - [Authenticated Broadcast in O~(n^2.5) Communication](https://decentralizedthoughts.github.io/2026-10-23-subcubic-broadcast/) (Decentralized Thoughts): Dolev–Strongをベースに大規模ノードでの通信複雑性を改善するBFTブロードキャストプロトコル。 - [Designated Sets in Concurrent Simplex and Alpenglow](https://decentralizedthoughts.github.io/2026-10-06-designated-sets/) (Decentralized Thoughts): 高速パス（大クォーラム1ラウンド）と低速パス（小クォーラム2ラウンド）を並行実行するBFT合意の安全性・活性境界とDesignated Sets。 - [TLA-Verus: LLM agents prove temporal properties of TLA+ specs](https://muratbuffalo.blogspot.com/2026/10/tla-verus-llm-agents-prove-temporal.html) (Metadata): TLA+とRustのVerusフレームワークを組み合わせ、LLMエージェントにより分散プロトコルの正当性を形式証明する試み。 - [OpenID4VP and OpenID4VCI with HAIPの認定が始まる](https://idmlab.eidentity.jp/2026/09/openid4vp-and-openid4vci-with-haip.html) (IdM実験室): OID4VP/OID4VCIのHigh Assurance Interoperability Profileに基づく初認定。EUDIW等に資するセキュアウォレット標準。 - [物理学：新たな原子核時計が登場](https://www.natureasia.com/ja-jp/nature/pr-highlights/15642) (Nature): トリウム229の核遷移による原子核時計。外乱耐性と極限精度の時刻同期。 # この日の記録 - 1年前: [[2025-10-31]] - 3年前: [[2023-10-31]] - 5年前: [[2021-10-31]] - 7年前: [[2019-10-31]] - 10年前: [[2016-10-31]] - 1年後: [[2027-10-31]] - 3年後: [[2029-10-31]] - 5年後: [[2031-10-31]] - 7年後: [[2033-10-31]] - 10年後: [[2036-10-31]]