Posts

The Computational Event Horizon: The Universal Quantifier Trap

A metamathematical framework categorizing mathematical systems based on their capacity for logical simulation and the Universal …

CMU15-721课程总结

首先关于15-721的课程介绍请参见我的上一篇文章。昨天晚上刷完了CMU 15-721 2023 Spring课程的全部视频,也看了一部分的推荐论文,这里做一下课程总结。

2022年度总结

2022真是魔幻的一年,开年的时候怎么也没想到今年会在阳中结束这一年。正好在家养病没事做,遂写一篇年度总结,总结一下这一年的林林总总。

总得来说,比起去年,这一年在工作上投入的精力更多了一些。事情的起因要从去年7月说起。当时我刚完成了项目存储引擎TSDB的数据读取与计算 …

在DolphinDB智臾科技工作的这一年

今天突发奇想,看了下我在DolphinDB智臾科技入职的时间,看到是2021年3月3日,算了算距今刚好一年零几天,遂写篇文章,作为对过去一年工作的总结,同时展望一下未来一年的工作计划。在工业界工作,工作内容往往由一个个项目组成,故这篇文章也借一个个我在DolphinDB …

名校公开课程评价项目

提供名校公开课程的评价与攻略

系统论文阅读研讨会完结撒花与总结

系统论文阅读研讨会完结撒花与总结

硕士毕业半年的茫茫社招路

继续寻找,绝不止步

追寻快乐的人生:积极心理学课程简介

推荐一门课程、学科和领域,积极心理学

高效学习的几个技巧

分享一些能够提高学习效率的技巧