/go/feedback

dict 的 __bool__ 含义就是这个 dict 是否为空
_iterencode_dict 说：既然你说它是空，那它就是空咯，不反驳，'{}' 来

@kidding FSA 和 FSM 是一个东西吧……
对图灵机进行了实用主义的劣化，但确实非常实用，导致正则表达式能诞生了

@northisland 你在说什么？
图灵机是数学模型，不是任何种类的计算机

不能换纸带，只有一根不可替换的、无限长的纸带。
你看到多根纸带的、纸带上能写 0 1 以外的东西的、能替换纸带的，都不是图灵机。

跟资本主义铁拳又有什么关系？
V2 不客气地说大都是小资和中产。
国内能听说过图灵的，要么是电影，要么是学计算机还能学计算机相关历史的 —— 也大多是小资和中产。

至于冯架构，冯他本人亲自吹图灵，在别人采访他的时候他着重强调了图灵的名字。
我就跟你说，冯就是第一图灵吹，图灵的名气除了 Enigma 就是冯吹出来的。
你讽刺图灵吹先讽刺冯行不行？

@Usaki 但如果出现在 DM 上，就有人去删了

@lewis89 #33 #30 的话可以 SNI 嗅探，HTTPS 也能拿到域名。
（强行 OSI 模型应该算 5 层 session 层）
至于 FRP 不加 TLS 没意义，加了 TLS 的话不清楚 FRP 的 ALPN 是啥，单独的话握个手求个 ALPN 就清楚这是啥服务了

@nmap FRP 的 frpc -> frps 链接有单独的 TLS 选项，只加个密码恐怕不会加密流量。

我只开单位穿回家里的，不开家里穿到单位的
明面上说是为了网络安全
其实是摸鱼可以，远程加班不行

@northisland 去 Princeton 是带学生…… 不是打工人
Church 是 von Neumann 的小弟么，这倒是没发现……
Mentor 这个词英文中的含义复杂得多，没那么明显的身份差异。
也是东西方文化差异的一环吧

至于 Turing 在计算机原理基础方面名声主要是 von Neumann 吹出来的…… 大佬背书
真正作为核心贡献者还是 Enigma 破译

建议发 /go/create

图灵模型现在的现实意义主要就是为了方便地证明某一语言是 “万能的”，即 “能够进行任何可进行的计算”
换句话说，“图灵完备的”
因为图灵机比较容易实现，人们轻易地就能构造性地证明某一语言能够实现一个图灵机的模拟器。

——

至于原理是图灵机的来源。
实质上（大部分机器的）原理是冯诺依曼架构。
主要是冯是个图灵迷弟，他亲自上场吹图灵。

说了 DMCA 只是合规要求
因为一个 commit 就能回来么？不是要 filter-branch 的来着？

EFF 战斗力确实强。

@chizuo 你的提问是 > 有无和 typora 一模一样 markdown 渲染规则的博客系统？
我的回答是抛弃 Hugo，用 pandoc 和一点 Bash 甚至 Makefile 解决这个问题。
反正 typora 说了自己高级核心是 pandoc，那兼容性自然有“官方保证”

Python 还有不少库实用上了 __annotations__
比如 dacite 和 pydantic
似乎站里有人自称做过一个把函数根据 __annotations__ 自动生成图形界面的