V2EX › westtide 的所有回复 › 第 1 页 / 共 3 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3

❮

❯

40 天前

回复了 CNM47589 创建的主题 › macOS › MacOS 26 罗技鼠标卡顿

@461368919 MX Anywhere 3S +1

67 天前

回复了 jdhao 创建的主题 › macOS › 罗技 mx keys mini 蓝牙连接略坑

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

78 天前

回复了 gooohlan 创建的主题 › macOS › mac 电脑有什么好用的鼠标推荐吗

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

80 天前

回复了 JYLu 创建的主题 › MacBook › 如何选购 Macbook 电脑？更大的内存还是更先进的制程？我选择对了么？

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

80 天前

回复了 Libby520 创建的主题 › Apple › 后知后觉，现在 iPhone 投屏到 mac 好丝滑

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

88 天前

回复了 1more 创建的主题 › macOS › 最新版本的 mac 微信（4.0.6.240）UI 是不是换技术栈了，用起来怪怪的不太跟手

😯 我是 4.0.6.25

91 天前

回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？

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

92 天前

回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？

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

92 天前

回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？

@sexyback 返厂降级吧🤣

93 天前

回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？

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

93 天前

回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？

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

93 天前

回复了 westtide 创建的主题 › iPhone › iOS 18.5 可以连接 watchOS 26 吗？

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

151 天前

回复了 xiaopanzi 创建的主题 › 程序员 › 国内有哪些大学讲授 Lisp/Scheme/Racket？

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

162 天前

回复了 davelm 创建的主题 › 日本 › 花粉过敏要死了

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

2024-07-31 16:00:46 +08:00

回复了 bkzly83851 创建的主题 › macOS › 更新了 mac developer beta

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

2023-06-06 09:48:12 +08:00

回复了 vhvlqn 创建的主题 › Apple › iOS17 与 iPadOS17 测试版 bug 汇总

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

2023-03-19 16:21:17 +08:00

回复了 andyJado 创建的主题 › 程序员 › PDF 是自学者的噩梦，读 Anders 的 Static Program Analysis 窒息

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

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

2023-03-04 13:13:34 +08:00

回复了 Mark24 创建的主题 › 问与答 › 到哪里去看一些计算机科学的前沿的研究、论文等信息？

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

2023-02-23 09:11:43 +08:00

回复了 ethusdt 创建的主题 › macOS › macOS 下将视频配文字, 有什么简单的工具可以做?

剪映很简单

2023-02-17 10:54:34 +08:00

回复了 objectxiang 创建的主题 › macOS › [送码][macOS] Barbee - 拯救你的菜单栏空间（刘海屏快来！

dG9jb2tlb0BvdXRsb29rLmNvbQ==

谢谢！

1 2 3

❮

❯