[3/3] 过去两个星期我就没怎么好好睡觉，专心给 HOL4 修复了 OpenTheory 导出功能。因为完整编译一次需要十多个小时以及最多 52GB 的内存，我的电脑这段时间就没闲过。光是这个 PR 的代码改动描述我就断断续续写了一天。现在我的大数定律证明连同 HOL 的其他数学定理可以导出一个 850 多兆的推理文件，从3个基本公理开始，先定义布尔逻辑和整数、实数，一直到建立整个微积分、测度论和概率论，最后证出大数定律，总计用了两千多万次的基本推理。所有定理光是结论（不含证明）加起来有 1200 多页。

#李小加创业完成B轮融资，李嘉诚郑志刚跟投#
前任港交所行政总裁李小加创办的滴灌通完成7000万美元B轮融资，自成立以来融资总额已达1.2亿美元。

滴灌通表示，此轮融资获得超额认购，当中红杉中国继A轮融资后再次投资。参与B轮融资的新投资者包括农银国际icon、郑志刚、盈信泰资本、庄士资本、Dara Holdings、李嘉诚旗下的维港投资、凯思博桥美基金、联想创投、Vectr Fintech等机构。
滴灌通已在国内投资超过100家小微门店，行业涉及零售、餐饮、服务、文体四大领域，门店覆盖十五个子行业，地域分布于中国大江南北，落地超过10个省市。

2022年初，滴灌通中国基金正式成立，并开始引入全球专业投资者，共同参与中国小微经济这个全新的蓝海市场。目前，滴灌通团队规模已增至将近100人。#财经##A股#

#棉花美娃娃[超话]# 封校两周了[单身狗]我的伊恩 椰奶猫明明曾经离我那么近，现在却全部退回去了 只能改地址填家里
emo到没有心情出去拍娃片 只能在寝室里瞎拍拍 再运用一些技术进行一个粗糙的抠图
www大力收熊小熊P4和沉鱼P5订单 有高温丝打理经验哒～
熊小熊最好是有耳有尾全新的 最好可以20%定金hold然后尾款走实际物流[开学季]因为实在是很想抱到孩子而不是暑假回家才能抱到 大概可能是一周后解封叭 能接受的姐妹大力dd我[爱你]

P1～P3 福柒 阿糯 花璃 燃绯霄秋冬春夏