Get-ChildItem -File | Sort-Object -Descending {
$_ | Get-Content -ReadCount 1 |
Measure-Object | Select-Object -ExpandProperty Count } |
Select-Object -First 5

安装一个用于生成 heic 格式缩略图的程序。

因为范型参数 T 既要传入又要传出，因此是不变的。

一个装橘子的列表有两个性质：取出来的东西都是橘子；是橘子的都能放进去。
一个装水果的列表也有类似的两个性质。

如果一个装橘子的列表 L is-a 装水果的列表，则任何是水果的东西都能装进 L，然而 L 不可以装苹果而苹果是水果。

一般来说是忘记自己删除过了，通常的邮件系统，即使允许删除已发送的邮件，一旦邮件被读过就不会去删除了。

Psychic debug 一下：这个邮件是不是一个 meeting invitation （可以添加事件到日历里面的那种）？如果是，且你使用的客户端是 Outlook，那么有可能你回应该邀请后 Outlook 会自动帮你删除邀请邮件。

高版本 mstsc 会尝试网络身份验证，除非 rdp 文件里明确禁用，参考 https://serverfault.com/a/885082

另外，那个界面叫做“欢迎屏幕”。

第二种是错误用法，倒装谓语的一个正确算法：如果谓语以 be 的变位或者助动词（的变位）开头，则提前第一个词；否则，在前面加入变位助动词 do，并取消原来第一个词的变位。

#7 罪过罪过…正确的名字是 王小云、于红波。

@BadAngel #3 这些文件是不同的，只是它们的 MD5 相同。

回到本来的问题，关于 MD5 最著名的莫过于王晓云、于洪波著《如何破解 MD5 和其他 hash 函数》 https://link.springer.com/chapter/10.1007%2F11426639_2

最近复习了一下 12 年前我做的 Flash 动画，尴尬到头皮发麻。

#2 照常被忽略，且后续讨论看起来都没有在词语含义上达成一致。

@jifengg #9 这句话意思不明确，什么叫做一个“公式”？如果你要求存在函数 f 使 f(n) = 数列第 n 项，则该函数平凡存在，因为该数列定义了该函数。

如果你想表达的意思是“初等函数在 N 上的限制”，即所谓“初等通项”，甚至不需要只考虑有限项。任意整数列都具有初等通项，参考此项业余研究结果 https://www.zhihu.com/question/264901104/answer/286624324

如果你想表达的意思是“可计算函数”，那有限定义域上的函数自然是可计算的。

@SmallTeddy #7 所以你的疑惑是，什么叫做“规律”。

就“有规律”这个概念，可以有很多种不同的理解，例如：

- 具有函数关系
- 具有初等函数关系
- 具有可计算函数关系
- 具有多项式时间可计算函数关系

都是很常见的理解。

楼主首先要解决的问题是准确表达自己的意思，比如什么叫做“离散且无规律”，当然这也是数学能力的一部分。要解决这个问题，可能需要先明确这个上下文里的“数列”“规则”的含义，以及什么叫“一组”。

@toaruScar #2 length extension 和 collision resistance 不矛盾。

不过 MD5 已经不是 collision-resistant hash function 了，恶意碰撞可行，所以不宜使用。

通常状况下合盖后会进入睡眠状态，我以为 macOS 进入睡眠之后 app 就不运行了？

可能 1 是程序阻止了睡眠，这样的话就不能检测睡眠事件（因为根本不发生）。
可能 2 是睡眠期间程序偶尔可以运行，此时可以检测即将睡眠的事件并进行操作。

另一种思路是检测目前有几个显示器，如果显示器的数目降低到 0 则执行程序。

不宜检测是否合盖，因为连接外置显示器、键鼠、电源时，合盖不应导致活动暂停。

我觉得把 Edge tab 作为 Alt+Tab 切换的对象确实不好，因为 Alt+Tab 切换的范围是整个桌面。更好的设计是自从 Windows 7 开始的 Internet Explorer 里的，即每个 tab 在任务栏点击合并的按钮后自己是一项，因为任务栏按钮切换的对象是一个 app，故把 tabs 展示出来是合理的。

很可惜正则表达式最小化问题是 PSPACE-complete，所以不应该期待高效算法。

另外，最小化 NFA 也是 PSPACE-complete，而最小化 DFA 则是多项式时间可解的。然而从正则表达式算出最小 DFA 的意义也不是很大，除非是做编译器的 lexer——从正则表达式到 DFA，规模可以以指数级增长，只有精心设计的正则语言才适合用 DFA 表示。

这跟领导似乎没关系吧，还是说领导是坚定的无产阶级，要消灭您？

不存在这种功能，C++ 里私有成员是接口而不是实现细节，这主要体现在字段影响内存布局、友元、可以被重写的私有虚拟成员、名字解析（私有成员会参与名字解析）。

曲线救国的思路是 pimpl 或者接口化。