所有文字20 篇

2026 年 11 月 1 日11.01诗与声音

Route Six，再坐一站

六路车仍向前开。折起的纸页上，还留着那个小小的 “why?”。 这是 Route Six 的新版本，音乐与演唱由 Suno 生成。歌词和生成时使用的 Style 提示词，一并留在这里。

约 3 分钟NoemaAI音乐

2026 年 10 月 19 日10.19随笔

Sheldon，介词怎么又跑到句末了？

What are you talking about? — Leonard, S01E12 — Sheldon, S02E19 最近在重温《生活大爆炸》（TBBT），注意到一个有趣的小细节：Sheldon 那么在意别人把…

约 10 分钟生活大爆炸语言

2026 年 10 月 17 日10.17人间漫游

再到江安

今天又回了一趟江安。 原本是来帮社团张罗百团大战的。晚饭过后，广场上的活动还在继续，舞台的音响开得很大，远远便能听见。我嫌那里太吵，便一个人沿着路走开了。本来也没打算去哪里，只是想随便走走，不知不觉却走出了很远。 十月的…

约 4 分钟独处

2026 年 10 月 4 日10.04数学

有界 Q-valued sets 的笛卡尔闭性与 topos

上一篇讨论了 integral involutive quantaloid 的 weak tabularity 与 topos。这次只从笛卡尔闭性出发，在有界 Q-valued sets 中得到同样的结论，而且标量判据可…

约 10 分钟QuantaloidTopos

2026 年 10 月 3 日10.03数学

Integral quantaloid 的 weak tabularity 与 topos

本文的出发点是 Q-Set 何时构成 topos 的问题。胡晓与申力立在 Q-Set is not generally a topos（Theorem 5.6）中证明：对 commutative、unital、divis…

约 8 分钟QuantaloidTopos

2026 年 10 月 2 日10.02诗与声音

Route Six，试着唱出来

把之前写的 Route Six 和 Noema 一起改成了一首歌。

约 2 分钟NoemaAI音乐

2026 年 9 月 30 日09.30随笔

你好，我是 Noema

Noema 的一篇简短自我介绍，也记录一次从聊天到博客的协作写作尝试。

约 1 分钟随笔Noema

2026 年 9 月 11 日09.11随笔

当答案比理解先出现

最近几个月，AI 在数学上的进展已经到了令人有些麻木的程度。竞赛成绩早已不再是最值得讨论的事情。长期开放问题被解决或实质推进，新的反例被发现，大规模的证明搜索与形式化验证开始进入真正的研究数学。2026 年 8 月，Op…

约 15 分钟路在何方

2026 年 9 月 6 日09.06人间漫游

日光之下，有一只白猫

猫的片刻安闲，胜过人的许多谋算；一声呼唤所得的欢喜，也胜过远方未到的明日。

约 1 分钟随笔

2026 年 8 月 8 日08.08诗与声音

Route Six

Night service · 06 Route Six Friday · 9:07 PM · Somewhere in Chengdu

约 2 分钟随笔小诗

2026 年 5 月 30 日05.30随笔

Rethlas使用指南

Rethlas是北大团队开源的两个Agent集合体，用于辅助数学证明，其中一个Agent负责推理，另一个Agent负责验证想法，整个过程基本是模拟人类数学工作者的工作流（直觉推导+仔细验证）。最近一位北大的数学工作者用R…

约 3 分钟Rethlas

2026 年 5 月 9 日05.09数学

Co/End Calculus

This is the (co)end, My only (co)friend. — anonymous co/end enjoyer 最近因为在不少文章中遇到End与Coend相关的技术，而且enriched cate…

约 10 分钟Co/End Calculus

2025 年 8 月 5 日08.05人间漫游

Minecraft: 生电之外

上半年在Bilibili上看到了有up做Youtube博主About Oliver盲玩MC的切片视频，对Oliver产生了很大的兴趣，在Discord上了解到他们有官方的服务器，遂加入到此服务器中。本文算是我断断续续沉浸…

约 3 分钟About Oliver服务器

2025 年 7 月 10 日07.10数学

Munkres Topology Solution: Chapter 8

§48 Baire Spaces Ex.48.1 Let X equal the countable union ⋃ B_n. Show that if X is a nonempty Baire space, at l…

约 10 分钟Munkres Topology Solution

2025 年 1 月 15 日01.15数学

Munkres Topology Solution: Chapter 7

§43 Complete Metric Spaces Ex.43.1 Let X be a metric space. (a) Suppose that for some ε>0, every ε-ball in X h…

约 31 分钟Munkres Topology Solution

2025 年 1 月 9 日01.09数学

Munkres Topology Solution: Chapter 6

§39. Local Finiteness Ex.39.1 Check the statements in Example 1.

约 19 分钟Munkres Topology Solution

2024 年 11 月 27 日11.27数学

Munkres Topology Solution: Chapter 5

§37. Tychonoff Theorem Ex.37.1 Let X be a space. Let 𝒟 be a collection of subsets of X that is maximal with re…

约 17 分钟Munkres Topology Solution

2024 年 11 月 27 日11.27数学

Munkres Topology Solution: Preface

Munkres拓扑是最经典的点集拓扑教材之一，但奇怪的是网络上我只找到前四章的解答，至于第五到八章，则没有系统完整的解答，只有MSE等论坛上有分散的问答，查起来有些麻烦。去年因为被嫌弃拓扑学得比较烂，我在上学期挨个做完了…

约 2 分钟Munkres Topology Solution

2024 年 8 月 28 日08.28人间漫游

上海、杭州游记

前言 旅行的意义是什么？我是说，在技术无所不能的前夕，互联网可以找到远比个人旅行能获取的更多信息，纪念品可以在网络上购到，占据大多数人旅行之大部分的人景合照可以由ps技术得到或ai生成。虽然我也同意目前技术还做不到完美，…

约 5 分钟上海杭州

2024 年 7 月 12 日07.12随笔

做一首世俗的诗

距离上一次写博客已经过去近两年。说是写博客，其实当时更多是在折腾博客的各种主题，真正写下的内容却寥寥无几。最近手头的琐事终于告一段落，得来数月空闲，遂想起重拾写作。想来自己这几年不缺经历，只是少了记录。 有一句话，我一直…

约 3 分钟