Xingyu Xie

closes #360

关于公众号的收录规则

3

目前对于公众号的收录似乎还没有比较明确的规则：哪些公众号应收录于此，哪些公众号不应收录于此。 或许有一个较为明确的规则说明为好。 个人建议在大的原则上或许至少可以遵循： 1. 由清华学生、教师及教职工所建立； 2. 其内容以清华学生、教师或教职工为主体受众。 3. 最近几年内有推送发布。 当然，细想之下这里尚有诸多问题，比如说，清华校友是否应像在校学生一样被纳入考量呢？收录校友会之类的公众号是否合适呢？收录已毕业同学的个人公众号是否合适呢？收录已毕业的班级公众号——它们几乎都已“死”，不会再更新——是否合适呢？

Hi, we're very interested in this amazing work and trying to dive into this project and the paper. But we met some questions: 1. We tried to run the frontend.exe...

## 推荐项目 - 项目地址：https://github.com/thufv/CMinor-Verifier - 类别：其它 - 项目标题：【CMinor-Verifier】清华大学《软件分析与验证》课程实验平台 - 项目描述：这是一个课程实验平台（就是个“大作业”框架），可供对自动化软件验证（一种可以验证程序的正确性&安全性的重量级技术）感兴趣的诸君，于其中上手实践来体验和学习软件验证算法。 - 亮点：自动化软件验证是一个门槛较高的领域，国内尚无可供上手实践学习软件验证的环境，所以我们便搞了这样一个框架以期能为国内的计算机行业普及软件验证的基础知识。 - 截图：  - 后续更新计划：此后会每年随课程迭代更新。

Toooo slow to open (M2 chip)

20

### Discord username (optional) _No response_ ### Describe the bug Tooooo slow to open (several minutes)... ### To Reproduce Just open Warp... ### Expected behaviour Stuck for several minutes. ###...

All declared scopes will be returned firstly, if no scope as parameter. If no declared scope, `read` will be returned.

3

According to my experience and [code](https://github.com/mastodon/mastodon/blob/c3aef491d66aec743a3a53e934a494f653745b61/app/controllers/api/v1/apps_controller.rb#L17), if my understanding is correct. The current version of documentation simply says that "defaults to `read`", which seems not correct :D

Request for AArch64 support

1

It seems that AArch64 is not supported yet?

Request: a template in Overleaf

1

Hi, I like this beamer theme. It would be more convenient that there exists a template in Overleaf (both Chinese and English version).

Hi, is there any executable implementation to feel how strong AlphaDev is? We are exploring reinforcement learning for superoptimization. But, we are new to deep learning. Thus, I would appreciate...