新鲜事
8月4日
数学研究变天了：Astra模型一口气破解十项数学难题
Astra解决或推进10个长期开放问题，并形式化验证证明。
Yaoliding:
毫不意外大部分还是组合的，毕竟这一块做大新闻比较容易。
不过最近几个月也得抢发点结果了，不知道能不能在接下来的几年活下去
1
调查显示，成年人平均每天查看手机186次
约每5分钟一次
5zzzz:
我，游戏重度上瘾，感谢最近两年的游戏策划普遍脑子进水，从前年手机中的十几个手游减到就剩一个了，每天的游戏时间从六小时+变为20分钟左右
3
广告
8月3日
凌晨3点醒可能不是失眠，而是古老睡眠模式
工业革命前人类常睡两段
发展是硬道理:
问题一旦后边睡不着，整个晚上就睡不够，工作就没精神
工作时间还是太长了。8小时工作时间不算午休，而且上班路程也比设计这规则的时候多了很多。
我需要5小时（不含午休）工作制
12
8月2日
Github推荐：RogueCleaner / Windows流氓软件克星
不清理垃圾，只清理"没经过你同意的入侵"
目无芭乐:
这个系列挺好的，请问怎样可以看总集。我点击了标题上方的tag“github”显示的是首页内容。
6
大鼠少吃一半蛋白质，寿命竟延长超过50%
每天吃多少蛋白质才抗衰？动物证据与人体结果冲突
重炮手雷龙:
养花枝鼠的人都知道，成年花枝鼠（褐家鼠，大鼠也是褐家鼠），不能喂含蛋白质多的食物，否则非常容易得肿瘤。
3
