-
几个数学机械化程式
Jgex (java geometry expert) 已上架snap https://github.com/kovzol/Java-Geometry-Expert 可以当几何画板，可以数值检验，使用包括吴方法的多种机器证明方法自动证明，还能生成很短很简洁的可读证明，当初数学文化上听说了吴方法，在数学机械化实验室看到了一些半成品，GitHub上这个项目现在还有人维护，数学机械化实验室里好多都是deadlink，还有一个maple wsolve包 -
潘家园淘书记
嗨呀，秋高气爽，顶着轻度污染，又到了去潘家园淘书的日子了。 不列颠年鉴(Britannica Book of the Year)1997，1998 品相完美，金粉还没脱落。每本25元。 和合本圣经（繁体中文）很小的一本 封面是人造皮革，似乎是在荷兰印刷。10元。我自己不信教，但在中国大陆搞到圣经还挺费劲（不是宗教迫害，貌似是因为版权问题），准备以后送给信教的亲友。 d1b5d4fd-74a4-4d36-bcd1-849cf6060c54-3cbacda414657f5d971995b35e13fca.j... -
虽然知道人大就是橡皮图章，征求意见就是装装样子，但还是去提了个“意见”
当然了，没敢留真名，怕被辅导员请去喝茶（其实不需要留名字） http://www.npc.gov.cn/flcaw 中华人民共和国治安管理处罚法(修订草案) 第三十四条 有下列行为之一的,处五日以上十日以下拘留 或者一千元以上三千元以下罚款;情节较重的,处十日以上十五日以下拘留,可以并处五千元以下罚款: (一)在公共场所从事有损纪念英雄烈士环境和氛围的活动 的; (二)在公共场所或者强制他人在公共场所穿着、佩戴有损 中华民族精神、伤害中华民族感情的服饰、标志的; (三)制作、传播、宣扬、散布有损中华民族精... -
有没有了解汪晖的朋友
这学期某个公选课列出的参考书单里有汪的《去政治化的政治》，所以发此问题。作为外行，我个人的兴趣目前还不在政治理论，而是历史上，还没升华到能形成理论的地步。 汪晖现在是清华大学人文社科的一面招牌，过去被“自由派”称为中国”新左派“和”国家主义“的巅峰。从学术和私德层面批评他的人很多，然鹅我也没看到什么真正有价值的批评。（对左翼真正深刻的批评比如《极权主义的起源》，《知识分子的鸦片》，《知识分子论》等）也就是说自由派在还有发声空间的时候面对汪晖这个敌对门派的老BOSS是在装死的。 浏览了一些他的文章（目前还没... -
转载：「躺平行动」：关于健康与尊严的倡议
• • wumingshi「躺平行动」：关于健康与尊严的倡议 - Pericles的文章 - 知乎 https://zhuanlan.zhihu.com/p/573038738 -
树洞删帖恢复工具
写了一个树洞删帖恢复脚本 实现对树洞内容以及评论回复进行缓存，并且在刷新时若发现有被删除的贴子，查找本地储存，若发现有备份，则将数据插入至数据包中 效果图： 16211689227937_.pic.jpg 由于我写js代码并不熟练，所以代码可能并不优雅，请见谅 欢迎大家使用这个工具，另外也欢迎指出bug（这是极有可能的）以及加入对这个工具后续的开发 技术细节可以到仓库里面看： https://github.com/w1ndman/PKU-hole-snapshoter -
treehole.one欢迎全体高校师生加入
搭建者在nku饱受校园集市摧残 于是为所有学校搭建mastodon，即将接入闭社 资金和时间有限，只能运行一年 这里人人平等，没有实际上的管理员 欢迎加入 -
这位大哥虽然一眼民科
光子可以转变为电子,电子可以转变为光子,这种互相转变是不是可以认为电子和光子都有其内部结构,是什么呢? - YJL山水的回答 - 知乎 https://www.zhihu.com/question/550306543/answer/3171448000 但是配图画得有种独特的气质，感觉是个老工程师的样子 -
[公告] 更新 NodeBB 大版本到 v3 - 外观刷新的默认主题；ntfy 推送；重新上线的站内聊天
如题，pkuanvil 跟随 NodeBB 上游更新到了新的 v3 大版本。 NodeBB 在 v2 和 v3 两次主要的工作是代码重构，用户体验上变化不多。 比较明显的变化是默认的主题 Persona 虽然结构不变，但是外观有了明显的变动，虽然我认为很多地方字有些太小了，但是整体来说比 v2 时期的主题要更清晰美观了。NodeBB 在 v3 推出了新的主题 Harmony（可以在 https://community.nodebb.org 上看到它的外观），不过我没有跟进这一变化，我感觉这个新主题看上去蛮... -
动态清零结束后中国超额死亡的定量计算
先前，江苏2023年一季度火化数据发布后，网民根据这一数据（比2022年一季度增加7.2万）按比例扩展到全国，无论是按全部人口还是老龄人口，都得到150-160万的死亡数。 现在又有一篇发表于JAMA Network Open的文章Excess All-Cause Mortality in China After Ending the Zero COVID Policy，得到的结论是：An estimated 1.87 million (95% CI, 0.71 million-4.43 million;...
