这周收到了一台家人淘汰*下来的 iPhone, 使得我考虑了一下主力机转果的可能。鉴于小米的脑残系统我实在无法忍受，封闭但理智正常的 iOS 竟显得十分有吸引力。紧接着就发现 xiaomi 13 (fuxi) 有官方 lineage 了 😌

*: 故障紧急换机，后来旧机拿去修好了就给我了

THE MAGIC AND THE MISERY
MADNESS AND THE MYSTERY
OH, WHAT HAS IT DONE TO ME?
E.VERY.BODY SCREAM

Silksong in 2 weeks?? WHAT!?!
https://www.youtube.com/watch?v=6XGeJwsUP9c

这动效声效太强了
https://www.youtube.com/watch?v=YGLNyHd2w10

现在 tg +86 账号登录要求提供邮箱?
存在其它已登录 session 的情况下仍然要求提供邮箱，而不是往其它 session 发验证码??
邮箱不接受 outlook，但是不明说，只是报错 EMAIL_NOT_ALLOWED???
#wtf #telegram 销号了

不搞脑残白名单那还能叫国产手机系统吗 😁
#trash #xiaomi #phone #china
https://t.iss.one/tsuThoughts/810

Android 手动指定 NTP 服务器: 在 shell (如 adb shell) 中执行

settings put global ntp_server <server name>

<server name> 可用 pool.ntp.org, 具体格式见下文。
#tips #android

我的每一台 LineageOS 手机都无法自动同步时间，今天查了一下，AOSP 默认使用的 NTP 服务器是 time.android.com [1]，而它在中国无法正常连接 (狗粪网? #trash #china #gfw)。
网络上有人提到 "settings global ntp_server" 这个设置项，但无论是 google 官方文档[2]还是 settings list global 指令中都看不到这个 ntp_server 条目。于是去 cs.android.com 搜索 settings.global.ntp_server, 终于找到了具体定义[3]:

/**
 * SNTP client config: The preferred NTP server. This setting overrides the static
 * config.xml configuration when present and valid.
 *
 * <p>The legacy form is the NTP server name as a string.
 * <p>Newer code should use the form: ntp://{server name}[:port] (the standard NTP port,
 * 123, is used if not specified).
 *
 * <p>The settings value can consist of a pipe ("|") delimited list of server names or
 * ntp:// URIs. When present, all server name / ntp:// URIs must be valid or the entire
 * setting value will be ignored and Android's xml config will be used.
 *
 * <p>For example, the following examples are valid:
 * <ul>
 *     <li>"time.android.com"</li>
 *     <li>"ntp://time.android.com"</li>
 *     <li>"ntp://time.android.com:123"</li>
 *     <li>"time.android.com|time.other"</li>
 *     <li>"ntp://time.android.com:123|ntp://time.other:123"</li>
 *     <li>"time.android.com|ntp://time.other:123"</li>
 * </ul>
 *
 * @hide
 */
@Readable
public static final String NTP_SERVER = "ntp_server";

[1]: https://source.android.com/docs/core/connect/time/network-time-detection#servers
[2]: https://developer.android.com/reference/android/provider/Settings.Global
[3]: https://cs.android.com/android/platform/superproject/+/android-latest-release:frameworks/base/core/java/android/provider/Settings.java;l=14449

微软给 rust 做的 crate windows 比 windows-sys 难用多了……
声称 windows 更 rust idiomatic, 实际上 api 仍然是一坨屎，毕竟 win32 的基础摆在那里，除非重做抽象否则不可能好到哪里去。
又由于微软没给这两个 crate 写任何文档，仍然得去看 c++ 的 win32 文档，而 windows 由于微软在 "idiomatic" 上的失败尝试, api 与 c++ 的有些许出入。
这就导致 windows 极其难用，需要先看 c++ 那边的文档，然后摸索微软 "idiomatic" 改动后到底怎么用。还不如直接用从 c++ api 忠实翻译的 windows-sys
#microsoft #rust

const trait 终于要来了 😌

Re-constification of libstd has commenced

https://github.com/rust-lang/rust-project-goals/issues/106

米13 lineageos 用了一个月，没遇到稳定性问题。太干净太舒适了 😌
不再有 hyperos 上各种让人脑梗的魔改，甚至自带了充电阈值功能。
唯一的问题是相机，又得手动找 gcam port 了。找时间试试从 hyperos 提取的相机 apk 能不能直接用 🤔
#phone #xiaomi

👀 下一集得 2026?
https://www.youtube.com/watch?v=MCAdbUaMlAE

👀 the rust book 去年十月新加了一章介绍 async
https://github.com/rust-lang/book/pull/4037

audacity 要还技术债了 🤔
https://www.youtube.com/watch?v=QYM3TWf_G38

silksong 第三幕对操作的要求突然拔高
修好键盘之前不想再玩了，粘键漏键心态爆炸
🤡

咦, kde 什么时候有第一方 global menu 了 👀
https://www.youtube.com/watch?v=prG9xFkvlNg
(ps: kde 文档真不错! + up 主识字! 😂)

双十一开得那么早，打开一看想买的东西一分钱都不降，机械硬盘相比去年还涨价了，国补也「当前地区无补贴」😅
买个 🐷