终于，今天我们来到了读取的循环

接下来我们看调用 load_bits_by_len 的地方，预计内容比较多，所以会做一些拆分。

之前写了一个系列分析红楼梦十二金钗的文件格式，现在又接触了一些工具， 再加上又翻出了之前的 cpu log，感觉这是命运的指引， 看看这次我们能不能翻出点新花样来。

Google Adsense 提示我要加入隐私政策网址，我不知道要写些什么，只能做一些简单的说明。

之前写了一个迷你系列，来分析 LSP 的 AppId_Catalog 是如何计算的， 但是却忘了提 docker 和 uu 的冲突是如何解决的了，这次我们把这个问题修掉。

现在我们距离知道是谁操作了注册表又近了一步， 这次我们看看 WSCSetApplicationCategory 做了什么

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

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

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

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

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

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

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

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

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