摘要：
2020.4.25 果然还是退役了啊 虽然在一年前来到信息组的时候就已经预料到了，但是还是没有想到会这么快就退役啊 本来是预计苟到NOIP2020，政策出来之后就想苟到暑假之前，结果一波劝退大会就被带走了 果然还是自己太菜了，搞了一年也没搞出来什么东西，进省队更是不可能，只有被劝退一途啊 不过还是不 阅读全文
posted @ 2020-04-27 17:27
123789456ye
阅读(223)
评论(0)
推荐(1)
摘要：
前言 我以前有写过一个练手玩具，参考 tinywebserver 当然那时候我稍微改了下，改成了主从 Reactor 和 epoll 不过那时候感觉最后实现的有线程问题，查了半天没查出来红温了，索性加了一把大锁 最近读了下 Sender 模型，正好之前也写了个 coroutine primitive 阅读全文
posted @ 2025-10-12 23:24
123789456ye
阅读(19)
评论(0)
推荐(0)
摘要：
前言 本来说 Proxy 是个 C++20 的头文件库，结果我本地的 GCC12 又编译不过去，逼得我花了两个多小时把整套工具链都升了一遍 顺手换了个 clangd，This is true LSP！ 并非，看起来好像也没比 intelligence 多强，加上编译器还是 GCC 于是又换回去了 回 阅读全文
posted @ 2025-09-21 16:19
123789456ye
阅读(4)
评论(0)
推荐(0)
摘要：
前言 本篇的内容对理解 Proxy 如何构造和调用关系不大 主要内容是 Proxy 自己写的内存布局，可以结合提案理解 ptrs template <class F> struct converter { explicit converter(F f) noexcept : f_(std::move 阅读全文
posted @ 2025-09-21 00:01
123789456ye
阅读(13)
评论(0)
推荐(0)
摘要：
前言 本篇的主要内容是拼接各种各样的 meta 到 facade 和 proxy refl meta template <bool IsDirect, class R> struct refl_meta { template <class P> requires(IsDirect) constexp 阅读全文
posted @ 2025-09-20 18:14
123789456ye
阅读(13)
评论(0)
推荐(0)
摘要：
前言 我去年就有看到宣传 Proxy 库的文章。 我很喜欢模板元的做法，编译期的类型推断，但是我始终觉得基于宏的实现很丑 而且源代码有着库代码和模板元双重的丑陋，还没有注释，因此我没去仔细读 之前写了些 Rust， 对模板和分发这些理解更深刻了。突然由于各种原因有了一点闲暇时间，那就仔细读一下吧 虽 阅读全文
posted @ 2025-09-19 17:03
123789456ye
阅读(13)
评论(0)
推荐(0)
摘要：
前言 刚从C++转到Rust时，总觉得Rust语法实在是太丑了 写了一段时间Rust后，发现Rust语法确实丑 不过只要能过编译，能过测试（逻辑正确），就很难出问题，这是一个很大的优点 当然，时不时要重构也是必要的代价了 作为练手任务，mt预计时间为两周，实际的实现时间大概一周多一点，感谢无敌的Cl 阅读全文
posted @ 2025-07-16 18:01
123789456ye
阅读(21)
评论(0)
推荐(0)
摘要：
前言 西方哲学，自古希腊时代起就是所谓的第一科学，形而上学，并不致力于解决实际问题，而是为求知而生。 西方哲学与现实世界的关系基本上是一种批判的关系，与其说是盯着实在的大地，毋宁说是投向无限高远的天空。 中国文化自孔子以来就养成了一种深厚的“实用理性精神”，所谓“六合之外，圣人存而不论”，要人们执着 阅读全文
posted @ 2024-08-19 21:52
123789456ye
阅读(107)
评论(0)
推荐(0)
摘要：
前言 然后是Y序列，0-Y可以直接与BMS相互转换，而基本的1-Y序列（常说的Y序列就是这个）便有着极大的提升，甚至可以提升到n-Y，\(\omega-\)Y BMS和Y序列，便如同强者界的天道、奥加一般（ 同样的，后面由于缺少标定记号可能会跳过大段/直接开鸽 阶差为1的情况 请参考PrSS，完全一 阅读全文
posted @ 2024-02-21 22:11
123789456ye
阅读(741)
评论(0)
推荐(0)
摘要：
前言 在稍微过了一遍反射和最基本的稳定之后，我们终于可以着手分析当今最前沿的两个记号了 不过BMS和Y序列其实都和PrSS和Hydra模式有关，进而也就是和树型模式有关 首先是Bashicu Matrix System，简称BMS 单行BMS 请参考PrSS，顺便可以复习一下，每一项少一即可 两行B 阅读全文
posted @ 2024-02-18 10:31
123789456ye
阅读(709)
评论(0)
推荐(0)
摘要：
前言 接下来的稳定序数是真正的空白地带，其行为多种多样，层级复杂嵌套，并且还没有被完全解析 \(\Sigma_1\)稳定 定义 定义： 若\(L_\alpha\prec_{\Sigma_1}L_\beta\)，则称\(\alpha\)是\(\Sigma_1\)稳定(stable)序数，\(\alph 阅读全文
posted @ 2024-02-17 11:02
123789456ye
阅读(376)
评论(0)
推荐(0)
浙公网安备 33010602011771号