置顶 上一条微博有很多人误会;我就把WSJ这期美国科学家反对政府救火政策反思加州大火灾难的视频全文翻译和大家分享。

在和自然对抗的生存斗争中我们当然热爱和歌颂每一位平民英雄,但我们也需要了解一下别人的经验教训。很多数字在视频里有我不用赘述。应对山火频发是未来应对全球变暖的人类生活的一部分 ​​​​...展开全文c
置顶 整理一下关于类型系统的书籍。

Benjamin Pierce - Types and Programming Languages,是最好读的一本
Benjamin Pierce - Advanced Topics in Types and Programming Languages,这本写的比较散,不系统,但设计大量现代类型理论的课题

Hindley and Seldin - Lambda-Calculus and Combinators
Hindle ​​​​...展开全文c
也可能按过核按钮,但是按了没反应。
布丁忍耐到此刻依然不动用核武器堪称奇迹。 ​​​​
不好评价。多考业务实际上意味着业务不太稳定经常变化。写office那帮人十年不变的重写那个才是真cash cow。
听说有些大厂面试要减少letcode、刷题,多考业务了,这是对的。
从实用出发团队用哪些就问哪些,不是说面试不能面造火箭,你们搞潜艇的为啥要面造火箭呢。

我之前分析过了大多时候面letcode的都是对面试官要求最低(比如很多年轻公司工程师本身都没啥经验),丢几个算法题,标准答案很好判断,面试的 ​​​​...展开全文c
Hawkins目前的分类是Theoretical Neuroscientist(实话讲这个分类有点滑稽因为没有实验方法类似经济学。书写的挺好但是科学性不大行。真要了解脑可以看Buzsaki写的一些综述论文但是枯燥无味。//@程序员邹欣://@蓝点笔记://@李笑来:
在“千脑理论”中,大脑的“新皮质层”就是一个由15万个皮质柱构成的超级去中心化网络,每个皮质柱都是相同的计算单元,它们分布式协同建立模型、处理信息然后通过投票输出决策结果⚡️ 是不是非常 PoS [并不简单]

“千脑理论”是 Palm 创始人和美国工程院院士 Jeff Hawkins 创办的 Numenba 研究所的 ​​​​...展开全文c
电影有情怀当然首先得观众有情怀而且不能月薪两千三。
看完HUNT,寒国人说自己是儒教国家完全认证。没有任何嘲讽的意味,东亚汉语圈三国里,这些年寒国电影里一直还存在着一些家国情怀。回想起过去20年里🀄️影的断崖下跌,即使寒影如今强势崛起,电影人依然没有放弃对家国情怀的追求 ​​​ ​​​​
大三阳是代数,分析,拓扑;小三阳是概率,组合,逻辑。逻辑总算还能占点儿位置。[二哈] ​​​​
先保存图片。
这种事让人感觉真绝望,当事人所有微博都无法转发评论
#安徽宿松女孩汪月# ​​​​
  • 长图
回复@Milesisrighthere:正常的杀法是在头部这个位置戳一刀进去,章鱼很快就脑死亡了。 ¡评论配图 //@Milesisrighthere:符合你标准的宰杀章鱼方式是什么呢//@逮獭科技:太残忍了。 ¡查看图片
生前艰苦朴素,死后荒淫无度,国军太惨了。//@某高老师:以前这是故意的,否则国军看着那么艰苦,就不可恨了,但没想到现在生活好了,大家不恨有钱人了[吃瓜][吃瓜][吃瓜]
看看有没有真实反映历史的战争影视剧出来,首先看服化道三方面…… L北村的微博视频 ​​​​
戏子误国戏精强国。//@icecile:[送花花][送花花][送花花]//@电影搬运工社:回复@孤芳自赏我行我素:眼尖的网友发现,她的名字从中秋晚会名单里被悄悄去掉了……[哈哈][哈哈][哈哈]//@电影搬运工社:好了,太不爱锅了,全网封杀,上不了春晚了[doge]
据媒体报道,俄罗斯天后歌星阿拉·普加乔娃,最近发表了一份反战声明。

她在声明里说:“我们的孩子们,因为一个虚幻的目标而死,这也使我们的国家被全世界瞧不起。” ​​​​
这不是自欺欺人么。js起一个thread就开一个vm,挪到其他thread也只是让main thread的latency有改善吧。
Qwik: How to remove 99% of JavaScript from main thread OQwik: How to remove 99% of JavaScript from...

再看看有多卷 ​​​​
数字人民币广告//@julyclyde:这么多现金,售楼处有条件接收吗[费解]//@正宗啥都没了:电动爹变成了熊孩子。。。
#电动车起火烧毁近30万元购房款#,银行鉴定后兑换4万多元】

近日,安徽合肥的黄先生一家省吃俭用攒下近30万元购房首付,刚取出来放在电动车后座,没想到车辆在充电时突然起火,钱几乎全被烧毁。经过银行的鉴定整理,最终兑换了48300元。@澎湃新闻 L澎湃新闻的微博视频 ​​​​
回复@Funarp:不记得是不是BBC做的了,有很好的介绍章鱼的视频,在澳洲南部海底,港口,有数量庞大的章鱼社会;章鱼有听觉,有部分变色能力,有和人类能力匹敌的眼,他们是在进化上的分叉,假以百万年时间很可能进化出文明。//@Funarp:梨叔,章鱼有妹有可能是外星生物啊?[思考]
这些人太残忍了。头足纲的章鱼智力水平很高,迷宫记忆吊打人类,有复杂社会结构,这帮傻逼吃点什么不好。//@时蝇喜箭:好残忍。。。[允悲]//@karminski-牙医:看得我想买金枪鱼刀了[赢牛奶]//@张戴阳Tillo: awsl
Peter Smith写了两本书介绍Gödel定理。

一本名字叫An Introduction to Gödel‘s Theorems,第一版2007年,第二版2013年,388页。

另一本名字叫Gödel Without (Too Many) Tears,只有137页,比第一本短很多。

好消息是这两本书都有免费的PDF版本下载,合法的,链接在这里:O网页链接 ​​​​

正在加载中,请稍候...