westtide 最近的时间轴更新
westtide

westtide

V2EX 第 374413 号会员,加入于 2019-01-01 15:03:58 +08:00
westtide 最近回复了
297 天前
回复了 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
回复了 FaiChou 创建的主题 macOS macOS 下将视频配文字, 有什么简单的工具可以做?
剪映很简单
2023-02-17 10:54:34 +08:00
回复了 objectxiang 创建的主题 macOS [送码][macOS] Barbee - 拯救你的菜单栏空间(刘海屏快来!
dG9jb2tlb0BvdXRsb29rLmNvbQ==

谢谢!
2022-12-30 14:47:42 +08:00
回复了 fredhwang 创建的主题 问与答 阿兹夫定片,网上一查,不敢吃
为啥要问程序员们医学问题 hhhh 术业有专攻,去丁香医生上面挂一个呼吸科专科医生问
2022-12-23 18:53:03 +08:00
回复了 meisen 创建的主题 程序员 发帖感谢 V 友免费送我一盒布洛芬
好人一生平安
2022-12-23 12:43:33 +08:00
回复了 Jeff5317 创建的主题 MacBook Pro 求大家给推荐个好用的键盘
罗技的 MX Keys ,一款我觉得很好用的薄膜键盘。另外就是宁芝的静电容键盘
2022-12-18 23:04:12 +08:00
回复了 LZWDRWEB 创建的主题  WATCH Watch 的血氧对新冠来说有用吗?
@corot2a 正常值需要>=95%,兄弟你还好吗。。。
2022-12-14 09:19:41 +08:00
回复了 MID 创建的主题 macOS macOS 13.1 发布了!
又在骗我升级
——来自 macOS Monterey 12.6.1
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   5459 人在线   最高记录 6543   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 14ms · UTC 07:42 · PVG 15:42 · LAX 00:42 · JFK 03:42
Developed with CodeLauncher
♥ Do have faith in what you're doing.