![[LG]《Learning by Self-Explaining》...](http://wx3.sinaimg.cn/bmiddle/5396ee05ly1hw5181ffmpj21760megux.jpg)
[LG]《Learning by Self-Explaining》W Stammer, F Friedrich, D Steinmann, M Brack... [TU Darmstadt] (2024) 机器学习人工智能论文
【Testing with Go and PostgreSQL: ephemeral DBs】网页链接 使用 Go 和 PostgreSQL 进行测试：临时数据库 。
不知道有什么意义。但是Gentzen的sequent calculus里，cut rule是admissible but not derivable，让我有点小震惊。这套几十页的ppt给了admissibility很好的代数解释，但是阿拉还
2025年最赚钱的行业:
第一个行业: 人工智能与大数据产业
第二个行业：医疗健康产业
第三个行业：新能源产业
第四个行业：教育培训行业
第五个行业：互联网金融行业
第六个行业：智
【vim-history: Very very old history of Vim (from v1.14 to v6.4)】网页链接 vim-history：Vim 非常古老的历史（从 v1.14 到 v6.4）。
Anthropic版本的安全门徒计划release了，每月2100美金补助+10000美金的算力券，负责几个安全课题主要包括：AI 对抗控制，expanding supervisor, 错位对齐和可解释，都是最需要解决的
图灵奖获得者坦诚说出心里话：做人工智能的基础是应用数学等。我一个发小的儿子清华计算机博士毕业，他们几个同学创业开从事人工智能的公司已经三轮融资了。2个朋友的儿子信息
