Witnesses are indeed related to proof relevant mathematics as done in dependent type theory for example, but I kind of like the perspective of deemphasizing that. They’re just data and a concept. They don’t have to be like a rearrangement of your entire framework of reasoning into new dots and squiggles and colons and horizontal lines. Although that can be fun too in the right mood.
that I really think have the potential to be great.，更多细节参见新收录的资料
“十五五”时期，人工智能等数字技术将迅猛发展，得到更为广泛和深入的应用。为此，要以构建美丽中国数字化治理体系为抓手，推动建设绿色智慧的数字生态文明。，更多细节参见新收录的资料
Meta has acquired Moltbook, the Reddit-esque simulated social network made up of AI agents that went viral a few weeks ago. The company will hire Moltbook creator Matt Schlicht and his business partner, Ben Parr, to work within Meta Superintelligence Labs.
He further volunteered that end-to-end encryption is an opt-in feature: Users have to manually enable it in the Ring app’s Control Center. But according to Ring’s own support documentation, the tradeoff for enabling it is steep: The full list of features disabled by end-to-end encryption includes event timelines, rich notifications, quick replies, video access on Ring.com, shared user access, AI video search, 24/7 video recording, pre-roll, snapshot capture, bird’s-eye view, person detection, AI video descriptions, video preview alerts, virtual security guard, and Familiar Faces, which requires processing in the cloud.