上一次我们聊到了 NoLSP.exe 时结束了，现在让我们继续这个话题，顺带回顾一下 cutter

我最近遇到了一个很严重的问题，docker 打不开了！经过一段分析，这问题还挺有意思的， 而且很久我们没有开资源分析的坑了，顺带回忆一下。

终于我们来到最后一个部分，今天我们要用三角形的三条边求出三角形的面积

勾股定理的证明方法有上百种，不过我们还是老老实实用面积和相似来证明， 如果大家有兴趣看其他证明方法，我们以后再讨论。

我们前面简单复习了下三角形的面积为什么是平行四边形的二分之一， 接下来我们还需要另外一条性质：相似直角三角形的对应边成比例。

我有一台用了十年的 mac mini，这台电脑的质量还是不错的。虽然也升级了内存和硬盘。 这个没怎么清过灰的家伙也一直没坏。稳定地发挥一个 HTPC 的作用。 不过苹果是已经放弃了它，最终它停留在 catalina。 不过最近我遇到了点麻烦：onedrive 打不开了。

之前一次对比 bard 和 new bing 的回答结果时， new bing 只接使用三角形三边长求出了面积， 我当时是震惊到了，虽然后来回想，三边长固定，三角形的大小已经固定， 那么其实面积自然也确定了。不过还是激起了我念书时的回忆，我给自己定了一个目标： 如何只从公理和定义，根据三角形三边长求出面积？ 本文是第一部分，我们来回忆一下三角形面积的基础公式。

可能我们工作和学习中，或多或少都会被要求去做一些无聊的题目， 这种题目虽然大部分靠常识或者经验就可以七七八八做出来， 但是有时候题目太多或者时间太紧还是会让人觉得浪费精力，现在有了 chatGPT， 我们只要像个机器一样，一点脑子也不动就可以轻松答题了。

如果你需要在 hugo 中输入一些公式，那么 KaTeX 是个不错的选择，不过我们需要做一些准备工作

最近有些迷上了各种人工智能类产品不能自拔，感慨之余，发现这个「全知全能神」确实可以解决一些问题， 比如我这个问题。

熟悉达芬奇的朋友可能知道，为片段的某一部分制作特效，需要用到 fusion。不过，如果我们的要求不高， 其实我们也可以通过堆料的方式在剪辑页面实现局部模糊或突出。

Paste Insert 是达芬奇右键菜单中的一项常用功能，按道理来说， 顾名思意这个功能应该就是把我们剪切或复制的片段插入到当前位置， 不过使用起来却总是达不到预期的效果。

仔细阅读了下说明书，我发现，这个功能确实很简单，只是执行方式不那么直观。 不符合预期也是因为不了解它实际执行的机制造成的， 现在我们来介绍一个 Paste Insert 的小人物使用方法。

好像已经有很长时间，我没办法使用浏览器来使用 mega 了，一直是转圈。不晓得是什么原因， 所以有一段时间我都是在使用手机端的 mega，但是这样就又多了一个转移到电脑的动作。 今天，我又想简化一下我的生活了，于是就有了今天的故事。

Windows Terminal 是个好东西，远程控制也是个好东西，但是两个好东西放在一起，似乎就没那么妙了。

收到一个有意思的单子：如何从 Windows Terminal（wt） 打开 conhost 来执行命令？我来谈谈我的想法。