在讨论《洛谷日报历年目录》回复：

@[wangrx](/user/104726) 太基础了…再多讲点吧

在讨论《洛谷日报历年目录》回复：

@[dove](/user/82416) 另外，在形式化证明中通常使用的定义自然数的方式是递归定义而不是使用带有大小限制的原始数据类型（比如`unsigned long long`），这点我在博客中也提到了。

在讨论《洛谷日报历年目录》回复：

@[AFO_tony1107](/user/315772) 作为一名函数式编程的爱好者看到自然数相关的博客很开心，自然数相关的证明在函数式编程的许多相关题目中出现过。但这篇博客对于相关定理的证明与计算机科学的联系讲得太少了；计算机科学中有被称为形式化证明的一支，就是通过编写程序来证明数学命题（我在我的博客中写过一篇介绍…

在讨论《洛谷日报历年目录》回复：

@[初音Yiku](/user/241817) 你说你要教大家“写个游戏”，但是显然没人会真正用这种方法写游戏 这样直接贴大段代码至少我作为读者看不懂也懒得看你想表达什么 看到你用了许多 Win32 API，你不如讲讲基本的 Win32 API 该如何理解如何使用

在文章《浅谈后缀数组算法》发表评论：

%

在讨论《洛谷日报历年目录》回复：

@[BlueSu](/user/232887) ？又不是一定要用 Dev-C++。另外有 debugger 总比没有好。

在讨论《洛谷日报历年目录》回复：

@[20080601_XiaoHu](/user/174735) 草，营销号文章并感

在讨论《洛谷日报历年目录》回复：

@[BlueSu](/user/232887) 你不如讲讲怎么用 gdb 等工具调试 虽然有人投过了也不一定

在讨论《洛谷日报历年目录》回复：

@[BlueSu](/user/232887) 看起来没什么参考价值的样子

在讨论《洛谷日报历年目录》回复：

@[ComeIntoPower](/user/11751) 投稿 [在 Coq 中验证数学命题](https://www.luogu.com.cn/blog/t532/formal-proofs-with-coq) 通过一系列简单的例子与练习题让读者对“有程序辅助的数学证明”有初步的了解。

> **Reference.** *Software Foundations Volume 1: Logical Foundations (Chap. 1, 2)*, Benjamin C Pierce et al. > **惯例的 Q&A** > - 对 OI 有什么用？ > - （貌似）没用。只想看 OI 相关内容…

在讨论《[吐槽]这个题目背景太丑了》回复：

我觉得则的立绘挺好看的呀（

在讨论《洛谷日报历年目录》回复：

投稿... https://www.luogu.com.cn/blog/t532/church-encoding-and-lam-cal

## 引入 Church 编码是一种“抽象方法”，它将“数字”、“运算”等概念全数“抽象”成 λ- 演算（别急着跑，会介绍什么是 λ- 演算的），来让程序实现更好的抽象性。换句话说，它将物件（布尔值、自然数、列表、etc）抽象为函数，并通过将公理的基本元素作为参数应用于其上来获得（依基本元素不同而不同的）值。 > **…

在讨论《C++如何居中输出啊》回复：

要实现这个功能，你需要获取当前终端宽度，但是标准库里没这东西（

在讨论《刚学C++开发9ms的蒟蒻求助》回复：

可以，但是要确保 `class pixel` 有无参数构造函数。

在讨论《谁会搞VSCode能不能帮我解决一下~~几乎一年都没解决的~~问题》回复：

@[HyyypRtf06](/space/show?uid=80049) ~~Atom慢死了~~

在讨论《markdown todo list when》回复：

（如果支持用户直接勾选来编辑就更好了

对于这种markdown格式 ```markdown - [ ] todo - [x] done ``` 希望能够实现这样的效果： ```html todo done ``` （不知道这样的写法是不是 gfm only

在讨论《如何看待【洛谷日报#151】C++ 代码格式化配置详解？》回复：

想用就用，不想用就不要用，没必要扯着别人不用。

在讨论《Alpha1022 的辣鸡红包解密》回复：

@[ttyclear](/space/show?uid=42001) 请不要透露游戏进度qqqxx

在讨论《Alpha1022 的辣鸡红包解密》回复：

太隐晦了，诉讼

在讨论《那些覆盖别人作品的人》回复：

1. 脚本真的比一个一个点更强。 2. 我没见过哪里有规定盖别人的作品还要问一声。 3. 你在意气用事。

在文章《【洛谷日报#75】浅谈C++指针》发表评论：

智能指针呢（

在讨论《【高精度模板】求助！关于类型转化的指针问题》回复：

@[冒泡ioa](/space/show?uid=61150) 那么因此`*this=x;`调用`BIGN::operator=(long long)`，从而得以有自定义的赋值行为； 而`*num=x;`仅仅是将`*num`也就是`num[0]`直接赋`x`的值，所以结果肯定是错误的。

在讨论《【高精度模板】求助！关于类型转化的指针问题》回复：

是否有重载过`BIGN::operator=(long long)`？