https://app4.hc11.org/49499641/

做了个考验 AI prompting 技巧的游戏，欢迎来玩?

北京环球影城

门票：需要提前买票和选日期，有各种门票可选，最近周四到周一晚上有特别活动，这些日子可以选全天票或者仅晚上的票，周二周三可以选全天票或者半天票（14 点至 20 点），另外还有 1.5 天票之类的选择。我买的是半天票，每人 316。官方微信小程序做得不怎么样，买票流程都能遇到 bug，只好去美团买。

价格：门票含所有大型项目，只要愿意排队就随便玩。里面有一些小的游乐项目是收费的，30-50 元一次。一个人吃到中等饱的程度大概 100 元。纪念品大概参考：头饰 100 多，巫师袍 800 多，巫师棋 2000 多。

入园：环球影城外面有一个叫城市大道的免费区域，可以比买票的入园时间早半小时来逛外面，然后准时进环球影城。周二 14 点时入园很快，几乎不用排队。

时间和步行量：园区内部不算大，但从上下车的地方到园区还有点远。我 13:30 下车，中间在园区吃饭，19:30 左右开始感觉脚有点痛了，20:10 开始离开，20:50 上车，总共刚好两万步并且比较累了。

设施：感觉各种设施挺好的，很多细节也都很讲究，例如卫生间密度很高，都提供免费饮用水，游乐项目排队过程中也有饮用水，排队前能看到估计等待时间。无障碍做得很好，游乐项目上下客区域也够大够方便。

游乐项目：大型项目（十几个）都是免费的，但要排队，我玩的基本都是等待 5 或 10 分钟，最热门的会有 20 或 30 分钟，微信小程序上可以看到所有项目实时等待时间。排队过程中可以看到一些有趣的东西，如果不排队的话反而快速走过去来不及看。很多项目都是按照 4 人一组设计的，工作人员会尝试凑满，不太会有 2 人可以单独拿到一排/一个座舱的情况，但可以尝试去抢最外侧之类的座位。3 人找不到 1 人来凑倒是比较常见。

霸天虎过山车：我认为最猛的过山车，几乎所有人都会持续叫
鹰马飞行：我认为第二猛的过山车，几乎所有人都会持续叫
飞越侏罗纪：不太刺激的过山车，只有两下有点剧烈的加速，但很短，少数人会叫一下
哈利波特与禁忌之旅：类似那种座椅会旋转和小幅移动的电影，有非常短暂的失重或加速，但没有剧烈位移
侏罗纪世界大冒险：坐车沿轨道走
神龙大侠之旅：功夫熊猫主题，坐船沿轨道走，会从高处掉落一下，第一排会有一点水溅到
奥利凡德：选一个幸运观众互动，其他人观看
灯光，摄像，开拍：观看
灯影传奇：旋转小飞机，座舱内 2 人向前，2 人向后，互相面对面
炫转武侠：旋转木马

最近终于尝试了一下 Hetzner Cloud，我简直吹爆！
- 非常便宜，性价比远超竞争者，2 核 4 GB 每月不到 4 美元
- 只需要关机就能升降配，不像有的云只能销毁重买机器
- 有 rescue 功能，可以引导一个临时系统，方便对硬盘做操作
- 有挂载 ISO 和从 ISO 安装系统的功能（用 web console）
- 每台机器免费给 IPv6 /64，可以随便绑定地址使用，我从没在别的云上见过这样的，都是每台机器只能绑 1 个或很少几个 IPv6 地址。再也不需要 Nginx 做分流了，可以直接不同服务绑到不同地址，还可以每个 docker 直接拿到自己的地址而不用 NAT
- 没有严重的丢数据/downtime 之类的负面记录

坏处：
- 地域选择比较有限，欧洲连各种地方延迟都有点高
- 硬盘是本地 RAID10，和 DigitalOcean、Linode 等类似，没有异地冗余，机房起火之类的意外可以导致数据丢失
- 比较难注册到账号，很多人上传身份证明后立刻没有理由地被 ban（不开代理，用不同 IP 和邮箱重试，可能可以成功，仅供参考）

前段时间有个俄罗斯的学生突然加我，向我请教用 PyQt6 开发翻转棋游戏相关问题，说是课程大作业。帮他的过程中感觉好像曾经给 C 语言课带助教啊?昨天他说成功赶上 ddl 交了，代码在 https://github.com/kkasuann2000/gameR 。

我问他到底在哪找到我的，为什么会这样跑来求助一个陌生网友，而且我也没发布过翻转棋或者 PyQt6 相关代码。他说是搜索 reversi game python 找到了 https://ibug.io/blog/2018/05/python-reversi/ ，侧栏有 Telegram Channel 链接 @iBugThought ，那天最新一条消息正好是我和 iBug 约饭时聊到的话题 https://t.me/iBugThought/4098 ，其中有我的 username。

原来是把我当成 iBug 了?

这么多网站用 https://github.com/bilibili/flv.js 播放视频，yt-dlp 和 youtube-dl 怎么都没人做过下载 flv.js 中的视频的功能呢？网上一个相关内容都搜不到。

我做实验时常遇到这个需求：在对数意义下均匀地测试一个变量的一系列取值，例如每秒 10 个请求、100 个请求、1000 个请求时系统性能，或是 4KiB、8KiB、16KiB 等不同数据量的处理性能。

每次乘以 10 或乘以 2 都比较简单，但是如果希望乘以更小的数，还希望序列中的数字有效位数较少，对人来说看起来方便，就有点难了。例如每次简单地乘以 1.1 会得到 1.21、1.331、1.4641、1.61051。

于是我常在实验脚本中手写：[10, 13, 17, 20, 25, 30, 40, 50, 60, 80, 100, 130, 170, …]，相对来说比较好读，对数意义下切分也比较均匀。（不需要完美均匀，只是越不均匀的话实验效率越低，会有一些区间实验太多，另一些区间实验不足。）

今天才知道这个问题叫 https://en.wikipedia.org/wiki/Preferred_number ，一些例子：

1-2-5：1, 2, 5, 10
R5：10, 16, 25, 40, 63, 100
R10：100, 125, 160, 200, 250, 315, 400, 500, 630, 800, 1000
E3：10, 22, 47, 100
E6：10, 15, 22, 33, 47, 68, 100
E12：10, 12, 15, 18, 22, 27, 33, 39, 47, 56, 68, 82, 100
E24：10, 11, 12, 13, 15, 16, 18, 20, 22, 24, 27, 30, 33, 36, 39, 43, 47, 51, 56, 62, 68, 75, 82, 91, 100

E 系列的数还有一个好处，E6、E12、E24 分别近似每步加 50%、20%、10%，步长比较“整”。

IEEE 754 认为二进制规约浮点数应该视为 (-1)^s * m * 2^e，其中 s 是符号位，m 是一个二进制数，其整数部分总是为 1，小数部分每一位都是 0 或 1，e 是指数。

也就是说，一般来说系数 m 应满足 1 <= m < 2，在这个形式下才按照 m * 2^e 这个公式定义指数 e。提到指数的最小值和最大值时也都是按这个标准理解的，例如规定双精度浮点数的指数最大值是 1023，所以 1.999 * 2^1023 能表示，2 * 2^1023 就超出范围了。

但 C 和 Python 提供的提取浮点数指数部分的函数 frexp 居然用的不是这个定义。它总是把系数放到 0.5 <= m < 1 这个范围内，并相应返回指数，导致一般来说它返回的指数比 IEEE 754 中常说的那个指数概念大 1。它有可能返回的最大指数是 1024，不是 1023。

当然这里怎么规定都是可以的，但采用和 IEEE 754 不同的规定会导致 emin emax 对不上，感觉平添不少混乱啊。

怎么避免“毕业论文10.pdf”排序时排在“毕业论文1.pdf”和“毕业论文2.pdf”之间？一个非常简单并且足够好的做法就是把连起来的数字看作一个整体，["毕业论文", 10, ".pdf"] > ["毕业论文", 2, ".pdf"]。这样遇到“毕业论文13送审版.pdf”、“毕业论文13送审版2.pdf”等更复杂的情况时也会正好产生好的结果。

我之前一直觉得这个问题就算是已经解决得很好了，今天给 @zzh1996 讲这个算法时，他说“听起来十六进制的文件名会完全乱掉”，我才意识到有这个坑?我好像从来没有在 Windows 文件管理器等程序中打开过包含很多十六进制文件名的目录。

那 Windows 是怎么解决的呢？刚刚调查了一下，Windows 还真就没解决这个问题，我想了想也没想到好的方法。

微信备份/迁移聊天记录时会丢失和公众号的对话记录，包括公众号推送的文章和消息记录，以及自己打字和公众号对话的记录。望周知。

（上一条消息搞错了，删了重发）

SQLite 支持一些处理 JSON 的函数，可以直接对 JSON 格式的列进行查询和建立索引，看似很方便，但要当心：

1. json('{"a/b": 1}') != json('{"a\/b": 1}')
   虽然在 JSON 的意义上两个 object 是一样的，但 SQLite 认为是不等的。

2. json_extract('{"a\/b": 1}', '$.a/b') is null
   类似地，json_extract('{"\u0031":1}', '$.1') is null
   类似地，json_extract('{"\u6211":1}', '$.我') is null
   这个问题只在老版本的 SQLite 上存在，最新版本已经修复了。

感觉很坑，因为很多时候我是没法控制我用的 JSON 库怎么 escape 各种字符的，例如 / 这个字符其实不必 escape，但有的库会把它 escape 成 \/，进了 SQLite 后就会出现匹配不到 key 的问题。