hez2010

可以去看国外的评测视频，只能说 Bard 无论从理解能力还是准确度都完全被 ChatGPT 吊打：

点击确认后实际上是从其他浏览器导入数据，鉴定为翻译问题。

你说的这个的理论基础是证明正规表达式和有限自动机的等价性，用泵定理可以很容易地构造出证明。
感觉问题不在于 pdf ，而在于你的前置知识缺少太多了，建议你先放下这本书，去学一下形式语言与自动机之后再去看静态程序分析。

其实有，只不过是这些应用没上而已： https://azure.microsoft.com/en-us/updates/tls1-3-application-gateway-ga/

@a90120411 微软有自己的 Microsoft Graph 平台打通了生态内所有软件的数据，还有 Power Platform 低代码和自动化平台，这些都是早已经做了好几年的东西。其实之前早就已经能自动生成了，在 Power Platform 上面描述需求就能自动获得结果之类的，只不过智能程度还没有 GPT-4 那么高。
现在接入了 LLM 之后就可以处理复杂的用户需求了。

推荐一个跨平台版本的，还支持切换模型： https://github.com/wieslawsoltes/ChatGPT

只有文本文件成这样，总感觉你该不会是中过勒索病毒然后加密后的文件被同步上去了吧。
勒索病毒一般是先把旧文件删除再写个新的上去，而不是做修改，于是你在云盘上看不到修改历史记录。

用旧版的 oh-my-posh 2.x ，旧版的 oh-my-posh 是 powershell 写的，加载速度很快，而新版本的 oh-my-posh 是用 go 写的，初始化巨慢无比。

@marc2017 高刷下频闪、屏幕水波纹，你这说的几乎都是 AMD 的驱动问题。