我发现我还是更愿意接受「个性化广告」.推特给我推基督神棍教会广告真是难绷完了 🤮.

今天的糟心事. Sonatype 用 Google 账号创建的账号竟然每一次发送都收不到密码重置邮件，用邮箱注册反而第一次就收到了。. 往 Maven Central 发布 Scala 包的时候为什么一直报 Server too much redirects？让我怎么传？. 还有，发现用了两年的 Duolingo 账户是国区（.

😋 拼好硅（.

盯着 KiCad 的 Eeschema 原理图格式看了两天，今天看 SKiDL 的输出示例才发现 Pcbnew 自己就支持网表，压根不需要先合成原理图再导入 🤡.

莲乐的饼干就算没有花生酱夹心也很香 😋🥰

USAO 今年的曲子都很棒，Shandy 人格觉醒年说是 🥲.

本来认识的一细看怎么不认识了？ ？ ？.🥰👉🧐👉😦👉🥴👉🥳.细节瞳色符合圆焰的设定.就算是 Bang Dream 脸，也挺好看的

至于前头在想办法找出：让 sbt 构建时，将顺带构建好的插件带给 scalac 的方法。光找出「plugin / Compile / packageBin」然后摸索就花了十几分钟。.对于这种缺文档的场景，API「hide and seek」是不得不品的一环 😇

2/2.什么时候，该用 termName 还是 asTerm？用 cpy.ValDef 还是从头构建 tpd.ValDef，更甚 untpd.ValDef？为什么这个看来正确的作用域 owner 会让 Dotty 抛异常？ .IllegalArgument: Could not find proxy for val A.NoSuchElement: key not found. 改了几十遍，几个小时耗在了这些玄学问题上😇.

1/2💢😠.昨天今儿个，单是写 scala 3 compiler plugin 就踩了十个小时的坑。简直是社区答案文档荒原，都只能问 Gemini，有七八个小时耗在最后二十行代码上。.这一段看起来很好懂，想必从无到有写起来很容易吧？（目移.那接下来请吃 114514 遍报错 + 排列组合.哪怕最后正常工作了，我都不知道为什么

于是我带着怒气在 /appeal 上一通输出（）.昨天申诉，今天账号恢复正常了，被过滤器删掉的 post 也恢复显示了。.新账号的 id 是 @JellyTerraRe，Re 是 Reborn 的意思。（2/2）.

Reddit 真是，我上一个账户被风控了，经常出现红条报告与服务器的请求出现问题，头像显示不出，post 也被 Reddit 过滤器删掉了，我并不知道这是受限的表现，也不知道 /appeal 可以申诉，就把账号删了，痛失 id。.注册的新账号发的第一个 post 收到了社区回复，然后又受限了。气死我了。（1/2）.

群友送的书 🥰

书自 Lamport 的《Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers》.

「部分读者需要回顾一下，数不是 bit 串.2^33 \times 2^33 等于 2^66，且不会溢出」. 🤣🤣🤣. 计院攻击大脑，C艹代替思考.这技霸讽刺（x

RT @leanprover: Incredibly grateful to @TheOfficialACM SIGPLAN for awarding #LeanLang the Programming Languages Software Award 2025 at #PLD….

What？！🤯.

🥰 Rin chan~.

昨天把 Portal II 打完了，感觉 2011 的 Valve 还是太先进了。.录制了从 Wheatly 接管设施到结尾的所有过程。.事后发现因为串流比特率太低，查看 rtmp-pioneer 串流录像的时候才发现，有大量像素变化的画面都花掉了（😢.我的第一次啊，无！😭.

RT @lowRISC: #ICYMI - the lowRISC team recently published a paper exploring the area impact of adding memory safety extensions to the Ibex….