 |
wittyfansV2EX member #340094, joined on 2018-08-10 11:14:45 +08:001
 14  75  |
www.scottzhang.pro
 |
Per wittyfans's settings, the topics list is hidden |
Deals info, including closed deals, is not hidden
wittyfans's recent replies
10 days ago Replied to a topic by YoungKing6 › Apple › Mac mini 配显示器，上 5K 还是高刷更重要？ |
不差钱 苹果新款高刷
或者搞双屏：
一个 lcd 4k 高刷办公
一个 oled 4k 高刷打游戏
或者搞双屏：
一个 lcd 4k 高刷办公
一个 oled 4k 高刷打游戏
Apr 7 Replied to a topic by Stupid22 › 生活 › 什么时候老人身份是插队者的挡箭牌？？ |
这就是我现在越来越不喜欢去人多的地方的原因，如果实在想去一个地方玩，我宁愿等淡季人少的时候去。
人多的地方意味着遇到傻逼的概率大得多，吃饭要排队、买小吃排队、上厕所也要排队。而且没有那种心情放松的感觉。
人多的地方意味着遇到傻逼的概率大得多，吃饭要排队、买小吃排队、上厕所也要排队。而且没有那种心情放松的感觉。
Oct 29, 2025 Replied to a topic by wmfdd738 › Apple › 请问 magic keyboard 2024 款 usbc 口的指纹识别速度，相比 2021 款 lightning 款的指纹识别速度会有提升吗？ |
估计就是无线传输带来的延迟
Oct 14, 2025 Replied to a topic by yazinnnn0 › 程序员 › 最早用箭头(->或=>)来代表 lambda 表达式/匿名函数的语言是什么? |
最近学到 lambda 演算，这东西很早就提出来了，比如
TRUE := λa.λb. a
FALSE := λa.λb. b
AND := λp.λq. p q FALSE
OR := λp.λq. p TRUE q
从理论上来说，任何可以用 Lambda 演算定义的函数，都可以由一台图灵机来计算；反之，任何可以由图灵机计算的函数，也都可以用一个 Lambda 表达式来定义。这一等价性证明是理论计算机科学的奠基石。
TRUE := λa.λb. a
FALSE := λa.λb. b
AND := λp.λq. p q FALSE
OR := λp.λq. p TRUE q
从理论上来说，任何可以用 Lambda 演算定义的函数，都可以由一台图灵机来计算；反之，任何可以由图灵机计算的函数，也都可以用一个 Lambda 表达式来定义。这一等价性证明是理论计算机科学的奠基石。
Sep 25, 2025 Replied to a topic by qwqqwq › 问与答 › 喜欢一个女生的第一感觉是什么？ |
我弟弟知道
这些词其实并没有一个很准确的的定义，本质上就是一些 KOL 的口头禅传播开来了而已，我记得影视飓风就很喜欢说“抽象”这个词，比如他评测的时候说不理解厂商为什么这么设计，就会说“这就很抽象”，但我自己是绝不会这么说的，当对语言的使用，大家都越来越多的误用，那就会增加很多沟通成本。
Sep 18, 2025 Replied to a topic by moudy › Apple › 看测试，苹果新的 40w 单口 PD3.2 充电头严重虚标啊 |
我就想知道市面上有没有 60w 充电头做到这个大小的？如果有那买这个就没什么意思了，除非对温度要求很高
Sep 16, 2025 Replied to a topic by LazypersonJKing › Apple › 发现苹果自带的地图真不错，一眼看到路线关键信息 |
高德开静音还是可以的，不然真的一直 bb 吵死了
Sep 10, 2025 Replied to a topic by nah › iPhone › 如果 Apple 智能将来在中国推出，我在中国购买的 iPhone 系列机型能启用 Apple 智能吗？ |
Apple 智能属于喜欢折腾的人想要的东西，我这天天能用但也很少用，不如 ChatGPT 和 Gemini 。
Select Language