@461368919 MX Anywhere 3S +1

@phub2020 大的那一款用了 4 年多，今天坏掉了....

罗技 MX Anywhere 3S 鼠标，搭配 MX Keys mini for mac 很好用

@JYLu 楼主你好，我是做形式化验证的，大内存更占一点优势，可以同时开 LaTex 、Office 3 件套、ChatGPT 和几十个标签页，写论文的时候更方便些。

@ninjaJ 跟着 Keep 运动的时候，可以投屏到 mac 的外接显示器或者电视

我是 4.0.6.25

@mirtest 我到 10 月就刚好 3 年，现在是 83%健康度

@mirtest 等手表电池衰减到 80%以下，一次性返厂换电池降级了

@sexyback 返厂降级吧

@mirtest 手机是还有本地备份啦，就是 watch 太难搞了

@whorusq iOS 26 的设计个人感觉就是有点散，找功能不方便，而且刚需的隔空投送功能总是动不动断流。。。。。。绷不住了

@processzzp 我试了一下确实不可以连接 watchOS 26 ，提示需要更高版本的系统 准备手机返厂降级了。

你是想学函数式编程吗？在学界我们主要用它写定理证明求解器、模型检验工具，例如 https://github.com/uuverifiers/eldarica 和 HOL ，华东师范大学的邓玉欣有详细介绍函数式编程的讲义和课程。

我是过敏性鼻炎+急性鼻窦炎，医生给的处方是：全身抗组胺药（盐酸左西替利嗪）+白三烯受体拮抗剂（孟鲁司特钠片）+局部糖皮质激素鼻喷（糠酸莫米松鼻喷）+祛痰化痰药（桉柠蒎肠溶胶囊）+每天清洗鼻腔（ 0.9%生理盐水喷雾）。以上我联用 4 天之后症状得到了很大缓解。光吃一种抗过敏药可能是不够的，针对眼睛也有滴眼液，你可以再咨询一下生进行系统地用药。

@snsn 一样的问题，看 H265 的视频一直遇到。换到 Movist Pro 也有同样的情况

@QlanQ 企业微信闪退，微信正常，macOS 变下班 OS 了

练习 3.3：解释如何用有限自动机表示正则类型，使得如果它们的自动机接受相同的语言，则两个类型相等。展示一个代表类型μt.( int,t)→int 的自动机。

《计算理论导引》里面说，finite automata 能接收的字符串组成的语言就是 regular language ，我推测 regular type 就是 regular language ，大概同理？

CACM 和 JACM 吧，理论计算机方向的文章偏多

剪映很简单