古濑淳 Jun Furuse 是 OCaml 程序员，DaiLambda 创始人兼首席执行官，在日本的 Tezos 科学家，玩转 Tezos。他的兴趣在使用强类型语言和形式化方法，构建健壮且可扩展的系统。
世粮署：津巴布韦430万民众面临严重粮食短缺:联合国世界粮食计划署8日发表声明说，由于极端气候和新冠疫情等因素，430万津巴布韦民众面临严重的粮食短缺。该组织计划筹集1.3亿美元，为这个南部非洲国家提供粮食援助。该机构认为，津巴布韦的恶性通胀造成玉米、小麦等基本食品的价格大幅上涨，超出了大多数民众的承受能力。与此同时，新冠疫情给津巴布韦的经济造成严重冲击，加重了该国粮食短缺危机。（新华网）[2020/4/9]
许多朋友在入春后,经常感到呼吸不通畅,甚至反反复复出现皮肤过敏,咽喉问题...即使去医院也没查出端倪,部分细心的朋友一联想自己的生活环境,经过室内空气检测.
1900/1/1 0:00:00图片来源@视觉中国 文｜空间秘探,作者｜郑佳铌日前,万达酒店发展披露二季度业绩报告,截至二季度末,万达酒店整体业绩赶超2019年同期水平.
1900/1/1 0:00:00虽然一直以来很多新闻媒体一再地报道“甲醛中”事件,呼吁提醒大家做好甲醛的治理措施,但是依旧会有很多家庭没有引起足够的重视,会出现甲醛中的情况,引发一些悲剧.
1900/1/1 0:00:00相信所有做父母的都不希望自己孩子生病,但凡有点小磕小碰都会心疼半天。如果去医院的儿科走一圈,你就会在这里发现,无数的家长面对生病的孩子,既充满自责,又对孩子无微不至.
1900/1/1 0:00:00消费者用SIM卡硬钱包进行数字人民币付款。经济日报记者马春阳摄7月11日,中国移动联合中国工商银行,中国电信、中国联通联合中国银行宣布,在数字人民币APP上线SIM卡硬钱包产品.
1900/1/1 0:00:00深圳市场上的“双拼房”可以办理“双证合一”,这对于“双拼房”业主是一件利好的事情。7月14日起,深圳“双拼房”可以办理“双证合一”.
1900/1/1 0:00:00
火星链
