我将 Industry Foundation Classes (IFC) 翻译为工业基础类族。IFC 是一套通用的建筑信息模型（BIM）的定义标准。本文对 IFC 提供一些基本的介绍，包括其数据模型的基本结构以及建筑元素的语言描述和几何表达。

本文参考了：https://publications.cms.bgu.tum.de/books/bim_2018/06_IFC_07.pdf

本文描述解决 biden1 挖矿病毒的方法。关于原因排查的过程按下不表（主要是未记录过程，也懒得进行复现），这里阐述结论。

这篇文章里面我会梳理一下 CGAL 官方文档对于 2D Arrangements 的介绍。源文档地址是：CGAL 5.4.1 - 2D Arrangments。CGAL 的文档一般都具有比较大的体量，直接读不太容易理清楚，故再整理一遍。

这篇文章主要记录各种工具软件的安装方法（以 Ubuntu 系统为准)，供后续查阅。此文长期更新。

本文翻译自 How to linearize max, min, and abs functions。这篇文章将介绍我们在构建线性规划模型（也包括混合整型线性规划模型）时，如何将 max, min, abs(绝对值)等形式约束转化成线性约束，从而能够使用 SCIP 等线性求解器进行高效求解。

Windows 11 默认的系统安装程序会检查 CPU 版本并且阻止低于 8 代 Intel CPU 的硬件平台安装。不过我们可以有办法绕过这一安全检查。

这里说的格式化不是格式化硬盘的意思，而是只美化代码/配置文件的意思。

自己手搓 Nginx 配置的时候一般都不注意缩进，然后就把格式弄的很乱，不容易查看了。这篇文章研究如何使用一些工具来美化 Nginx 的配置文件。

这篇文章转载简化自 git status 显示中文和解决中文乱码。

显然这是一个编码问题，只需要找到正确的配置入口就可以了。

收集一些有意思的 Python 库，方便以后使用。

本文旨在解决在 Windows 10/11 中使用 Windows Subsystem for Linux (WSL) 时，位于宿主 Windows 操作系统的中的文件被挂在到 Linux 系统内部时权权限紊乱的问题。一般情况下，宿主机上的文件在虚拟机内部看起来都是 777 权限；

工作起来生活的节奏也发生了变化，真正地坚持做这个 Weekly 也很难。尽管过去一段时间 Weekly 没有怎么更新，但是其实我也在不停地看新闻。这段时间我也不断想了想我 Weekly 应该怎么写？我毕竟不是专门的新闻采编记者，我也不用去关注这个星球上的每一件大事。作为一个个人博客，这个站点的文章还是应该关注我个人所看所想的东西。所以之后的 Weekly 的形式我也会逐渐改变。

首先要声明的是，尽管 Python 是一种动态类型¹的语言，但是 Python 在 3.x 版本中还是引入了类型标注 (Type Annotation) 机制，使得我们可以以一种类似静态语言的方式来标注函数入参、返回的类型，或是类的成员类型。这种方式看似使得代码变得更加繁琐，但是合理的类型标注可以被编辑器/IDE 的静态检查机制所利用，进而提供更丰富的代码补全服务和静态错误排查服务。这使得我们在使用 Python 开发结构非常复杂的软件的时候能够提高编写效率，并减少大部分低级错误。

装 Matomo 的时候遇到了一个蛋疼的问题，具体是这样的。我在 Unraid 上装了一个 Matomo 镜像，然后通过 Unraid 的内网地址访问 http 服务，全程都是正常的。然后我在 Nginx 网关上加了一个入口，增加一个域名指向，并开启了 Https。这时通过网关的地址访问时，Matomo 会无法登录，的人登录错误信息的关键词是 Invalid Origin。我拿 Matomo + Invalid Origin 关键字在 Google 上搜索，发现一个回答这个问题的网页都没有，这就离谱，还是得自己调。