重装

唉。还是等下再写吧。

然后就一等等了两天。

出发之前还有一两天，但是让我现在去回想那时的工作内容真是大可不必。只记得LeetCode从11月开始不做了，因为发现没有200天徽章，100天完了就是300天。

这里是指年度活跃天数徽章，所以（2024年度的）300天徽章我本来也是不可能拿到的。

剩下的应该就是在干卡皮巴拉的活吧。怎么打成扒皮卡拉了，有点怪。

---

回来以后，首先𝒦把AAAI的rebuttal写完了。祝她顺利。

周末回到实验室首先把台式机给重装了。然后因为装Docker的过程太狼狈，气不过又重装了一遍，然后又碰到了同样的情况。

重装步骤
核心策略：一次只进行一个操作

-3	OOBE\BYPASSNRO
-2	三个安全问题选第一个选项回答answer
-1	关掉所有附加服务选项
0	进入桌面
1	添加中文，语言特性添加Basic typing，开始记录{这个}
2	安装Windows更新
	KB5044284下载0%，KB5044030下载错误0x80248007
3	重启
4	电源设置禁用睡眠
5	调整主题
6	打开定位服务，自动设置时区
7	配置Edge新标签页，搜索。配置Alt + Tab不显示标签页
8	安装VS Code Insider
9	wsl --install --no-distribution
10	重启
11	VS Code安装Dev Containers拓展，安装Docker
12	重启
	Docker Desktop报错Unexpected WSL Error
	deploying WSL2 distributions
	ensuring main distro is deployed: deploying "docker-desktop": importing WSL distro "The operation could not be started because a required feature is not installed. \r\nError code: Wsl/Service/RegisterDistro/CreateVm/HCS/HCS_E_SERVICE_NOT_AVAILABLE\r\n"
13	把KB5044030安装上（重启）
14	关掉Virtual Machine Platform和Windows Subsystem for Linux特性然后再打开（反复重启）

这一次些微不那么狼狈了一些（指只安装了一遍Docker），但是Windows执行每个步骤都异常地缓慢——启用/禁用Windows特性都要花上十数分钟。我是有点想再来一遍的，但是也确实是耗不过一台（安装了Windows操作系统的）电脑。

重装+升级电脑配置是我给自己决定不买新Mac Mini以后的替代方案。希望我会喜欢。

---

然后解决了一个在美国遇到的（或者说想起来了的）问题。我在笔记本上的写东西环境是装在devcontainers里面的，而这玩意，或者说Windows上的Docker容器，不太容易同步到操作系统的时区。

重装过后我在台式机上也用了同样的开发环境方案，所以还得继续面对这个情况。

我并不喜欢自己所有的动态都是UTC时间戳。钻研了一通，最后采取了相对奇怪的方案：从geoip.ubuntu.com上拉取IP属地的时区，然后写入容器内的系统设置。

往tools底下又扔了个Python脚本来做这个。脚本就几行不难写，但是不知道哪个坏蛋往我的开发环境里写了个TZ环境变量，害得我调试了好一会。嘛，这就是偷懒把自己的开发环境交给别人配所要付出的代价。

考虑到这个脚本应该在我的各个开发环境下都大有用处，应该考虑把它放在某个可以公开访问的地方。虽然现在也可以从这个仓库里面捞出来就是了。

---

装好环境接下来自然就开始想要写点什么。到目前为止还没有动手写什么，就是把DSLabs的前两个lab又做了一遍。（喂

本来还挺有想法的，但是今天跟ℒ开了会以后对后续的生存前景非常担忧，可能也就没什么想法了吧。会上先跟隔壁老板一起讨论了形式化验证动态成员系统的下一步计划，大抵定下来是先拿TLA+写个Kademlia（或者去哪找一个），设计出一些确实可以通过模型检查的属性，从而对后续的工作更加有概念。属于是非常前期又非常有工作量的任务了。

其他的开会内容各自写了一篇点子内容。本来想着写长长的这一篇就拉倒，开完这个会以后立刻打消了这个想法。

说回想写的东西。唔被𝒦叫去吃橘子了。总之就是一个面向IDE设计的编程语言先不打算做了，然后把这个网站的构建工具替换成自己写的，就像之前做过一次的那样，但是向后兼容而不要从头设计所有东西。