置顶 整理一下关于类型系统的书籍。

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

Hindley and Seldin - Lambda-Calculus and Combinators
Hindle ​​​​...展开全文c
但M1的通用计算性能只是个幻觉吧//@时蝇喜箭:厉害了,既然支持 M1
【Visual Studio 2022 for Mac现已推出】今天,微软推出了Visual Studio 2022 for Mac v17.0的GA版本,用户现在就可以下载。这是迄今为止最快的Visual Studio for Mac版本,该版本具有全新的原生macOS UI,完全在.NET 6上运行,同时也针对Apple Silicon(ARM64)处理器进行了优化。更多详情请查看>> ​​​​...展开全文c
分布式应该不算是discrete event system。。。吧?算吗?🤓
软件开发,最难搞的是并发和分布式系统,怎么设计、验证分布式系统?TLA+是一不错的语言,欢迎听听TDengine工程师在这方面的分享。 ​​​​
做鸡。

++++

五到六只鸡腿,剖开洗净切丁(碎肉可以喂猫。

取碗一只打入一个蛋清,加两茶匙盐,半茶匙鸡精,半茶匙胡椒粉,打出泡沫倒入鸡丁抓匀。腌制5分钟。...展开全文c
更有意义的一个问题是:古代为什么没有人发明风箱和烤箱结合的炊具?
#专家不建议多用空气炸锅# 不同意

#建议专家不要建议#

本专家自我介绍一下:

顾中一,中国首批注册营养师,首批科学传播副高职称。北京营养师协会理事,北京市营养学会理事。清华大学公共卫生硕士,中国营养学会营养科学传播奖获得者,中国科协2017年十大科学传播人物。 ​​​​
  • 长图
  • 长图
  • 长图
为什么我感觉氯雷他定对我有强力的消炎效果?是个案还是错觉?走近科学节目能不能给个解释? ​​​​
苏某一行五人全阳,史称苏五牧羊。//@雪声芬飞:涉嫌犯罪被立案侦查。
【五人自驾从上海返西安核酸均阳性 谎称从苏州返回被立案侦查】刚刚,西安蓝田县公安局通报,2022年5月19日,苏某、王某、李某某、柯某某、刘某某等五人自驾车从上海返回西安,于20日上午10时15分到达沪陕高速蓝田厚镇收费站。苏某等五人在卡口登记时谎报自己从江苏省苏州市返回,后防疫人员按照要求对 ​​​​...展开全文c
经济好的意思其实不是指效率高,而是指机会多;经济不好的时候才会把一切不必要的支出都省去,这个才是短期财务意义上的效率高。 ​​​​
这里抱怨性生活,亲戚和坏脾气的是男性;抱怨家务活多,忍受对方闲扯各种和生活无关话题,觉得日子过得拮据的是女性,所以,这个帖子不诚实。
某人吐槽……

说后悔结婚了,婚后生活状态是两个人日常消费涨了几倍,家务活自己做9成,已经一年没有性生活,问就是对方太忙或者没心情。

还得听对方和自己说完全不感兴趣的琐事,忍受莫名其妙亲戚和突如其来坏脾气。

某人准备离婚,觉得婚姻没意思。...展开全文c
「后来人类约定了每年最后一个月是假期。家家户户都提前储备物资。没有疫情的年份就出门旅游,有疫情就在家里呆着28天足不出户;从此之后就再没有大规模传染病对人类生存造成过实质性威胁。」 ​​​​
兼容的主要价值是保护用户的已有投资,算good to have,但很难成为卖点,用户还可以继续用老系统连迁移成本也没有。重要的还是用户为什么买你这个系统,省钱是不是唯一目的。//@魏永明VW:为什么人们会想到兼容其它系统?这是由于,市场上某个系统已经有大面积的市场份额,大家想兼容他。
可悲啊!2015 年的时候我就批判过兼容观点,现在居然还有人想搞兼容。正如图片中的两条评论所示:

1. 任何想走捷径的,最后证明都是死胡同。
2. 支持兼容的,请先回答我那个问题:为何 macOS 不选择兼容 Windows?

很多人还是一谈操作系统就提兼容,这是对操作系统的认知非常肤浅的一个表现。
...展开全文c
这个说的太夸张了。经济里就是有些部分是平时吃不饱灾时饿不死的,另外一些部分大起大落,而且资本也不在乎大起大落。互联网塌方又不止一次,三十年里塌两三次都正常得很。福特说的农业工业交通三大基础,今天并不能简单跨越。
这几天没顾上发微博,主要是有一堆事情要处理,随便发点感想。

首先还是经济问题。国内同学不要敏感,这次的经济问题是全球性问题,来龙去脉每个人有不同的看法,但结果是目前几乎所有科技公司都开始紧缩。大虾图地区还在拼命招人的没几个了,国内BAT美团京东在哗哗往外毕业,就连大忽悠YC也开始号召 ​​​​...展开全文c
wsl主要是跑一些开发工具吧,尤其是命令行的,生产部署不上去是正常的吧。//@zhh-4096:放到 WSL 跑在 jdk 17 上面一堆错,jdk 17 要普及还任重道远,兼容性做得不好。
好多年不玩 apache cassandra 了,刚去官网下了最新的 4.0.4 版本,想测一下性能,傻眼,居然不支持 windows 了,连个 bat 启动脚本都没了。[摊手] ​​​​
科学是能够解决一些问题,但很显然不是所有问题,不然社会不早科学了。有时候不科学才能解决问题,只是大家都是代价,但是,freedom is not free呀。
薛教授是非常专业的会计学教授。相信上海这个数据:直接成本与隐性成本相加,共计4.07万亿元,接近2021年上海市全年工业总产值,如果加上或有成本,整个封控的损失会远超过2021年工业总产值。『薛云奎 |上海封控成本考』O薛云奎 |上海封控成本考 ​​​​

薛云奎 |上海封控成本考

以独创的穿透式四维分析法,解读公司公开财报。洞穿企业内在价值,还原财报背后真相。分享经典原创案例,助力商业教育发...

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