举几个例子吧。

1. 日本游戏行业中有个叫做 cysharp 的公司，这个公司专职做 C# 相关的开源项目，并且人家的口号甚至是「プログラミング言語のC#を徹底的に極めて、世の中にC#の良さを広げていく」，翻译一下是“彻底贯彻 C# 语言，在世界中广泛传播 C# 的优点”，然后做出了现在游戏开发中被广泛使用的 UniTask 、MagicOnion 和 MemoryPack 等等。这种一看就赚不了钱，纯粹靠爱好来的公司在国内基本就不存在，最多只能停留在业余社区里而不是作为公司的主业。
2. 编程语言（ PL ）既不是行业风口，又不赚钱，又跟工业界脱节，而且经常几年都出不了什么成果，但是日本的大学里却有不少真正专职研究 PL 的硕 /博实验室，专门研究编程语言、类型系统、形式化证明等等理论，放国内（香港除外）大学里有也是挂着编程语言的名号实际上进了实验室后做的东西跟编程语言毫无关系、整天到晚就是炼丹调参的实验室。说这个不是指日本的水平有多好，而是说这种现象基本是环中国存在：想象一下一个本科毕业后想做 PL 的人，在考研前联系了一系列大学的实验室，最后发现实际上没一个人在做 PL ，于是只好去申请国外大学的 Master/PhD 时有多么的绝望。

说这些是为了说日本的 IT 业先进吗？不是，完全不先进，比中国落后好几年，日本的 IT 业在做业务上完全是另一回事，根本就是能跑够用就行，尤其是 web 行业，至今还有大量的用 Ruby 和 PHP 的新项目，这跟国内整天拿 XX 万并发、分布式事务、XX 架构等等说事的业务方向完全反过来。

然而，当做技术不是为了钱而是为了技术本身带来的乐趣和积累的时候，技术水平自然就会不断提高。只不过有的地方这么做可以吃饱饭，有的地方这么做会因为赚不了钱而被优化掉。

你用的是 BufferedReader ，之所以叫做 Buffered 就是因为提前会对一部分或者全部内容做缓冲啊。

Azure 的网络不错，你用 aws 或者 gcp 从国内 IP 访问大概率出问题，但是 azure 就一点问题没有。另外价格上 azure 比 aws 能便宜一些。gcp 太难用了就不用考虑了。
但 azure 的网页版操作中心并不是所有功能都有，有时候遇到一些高级操作你得查 azure 文档用他们的 azure bash 或者 azure powershell 来进行操作和部署。

谷歌是通过 js 给搜索结果增加点击的追踪，这样就可以收集到你点进去了哪些搜索结果的信息，估计这种追踪行为被 adguard 当作追踪器或者广告给拦截掉了。

@zhengzhongzhao 或者手动卸载方式：删除掉 /usr/local/share/dotnet 然后清理 DOTNET 和 NUGET 相关的环境变量即可。

@zhengzhongzhao 如果你不想手动卸载，想要一键式卸载的话： https://github.com/dotnet/cli-lab/releases

官网的 .net pkg 装完之后也就是设置了几个环境变量，然后把自己释放到了 dotnet 目录里，正常卸载就行了，没什么残留。
现在的 .net 和以前的 .net framework 不一样，完全是便携式的。

@acoldfox 商家是可以查询信用卡的发卡行国家的。

@ruiyi1994 企业用的 azure devops ，如果你是管理员的话右上角会有个插件市场可以安装各种插件。

你切换到创造力模式或者准确模式再试试。听说平衡模式为了省成本给模型降级了。

我记得好像没有这种内置的 task ，你可以去 azure devops 的扩展商店找找，里面有很多跟 pull request 自动化相关的插件还挺好用的，说不定能满足你的需求。实在没有的话也可以自己用 azure devops 的 api 做一个插件传到商店里。

说明是你装的插件的问题。
InPrivate 窗口默认不加载任何插件。

说句题外话，你用 chromium 内核的浏览器，他们的密码全都在 appdata 下面几乎是明文保存着，甚至你拿 python 写几行代码就可以把你密码全都拿走了。
换句话说任何使用 chromium 内核的浏览器在保存密码这方面都不具备任何的安全性，因为谷歌偷懒没有把密码存到系统的凭据管理器这一安全的位置，而是选择以加密的方式直接存本地文件里，而解密密钥则放在另一个本地文件里，这相当于在保险箱的上面公开地放了把钥匙，还是可以随便取走的那种。

可以去看国外的评测视频，只能说 Bard 无论从理解能力还是准确度都完全被 ChatGPT 吊打： https://www.youtube.com/watch?v=9ll_pth4Sss

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

你说的这个的理论基础是证明正规表达式和有限自动机的等价性，用泵定理可以很容易地构造出证明。
感觉问题不在于 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