around a year ago, we built a regex engine in F# that not only outperformed the ones in dotnet, but went above and beyond competing with every other industrial regex engine on a large set of industry-standard benchmarks. additionally, it supports the full set of boolean operators (union, intersection, complement) and even a form of context-aware lookarounds, which no other engine has while preserving O(n) search-time complexity. the paper was published at POPL 2025, and i figured it’s time to open source the engine and share the story behind it. consider it a much more casual and chatty version of the paper, with more focus on engineering aspects that went into it.
Sources: Meta, Synsam.
据The Information报道，OpenAI已从Meta挖来了知名人工智能研究员庞若鸣，后者曾领导苹果的AI模型团队，大约七个月前刚从苹果加入Meta。此前有报道称，庞若鸣去年加入Meta时获得了价值超过2亿美元的薪酬方案，分几年支付。据报道，在OpenAI积极招揽他数月后，庞若鸣于上周离开了Meta公司。（新浪财经），更多细节参见Line官方版本下载
https://feedx.net
。业内人士推荐51吃瓜作为进阶阅读
新时代以来，面对摆脱贫困这一世界难题，中国共产党完成了消除绝对贫困的艰巨任务，交出一份让人民满意、让世界瞩目的时代答卷。本书以代表性事件、代表性人物为主线，通过亲历者的讲述，为读者还原了以习近平同志为核心的党中央团结带领全党全国各族人民摆脱绝对贫困的历史画卷，生动展现了脱贫攻坚取得的重大历史性成就和锻造形成的脱贫攻坚精神，充分彰显了“两个确立”的决定性意义。该书的出版，为讲好中国减贫故事提供了一线素材，为深化中国特色反贫困理论研究提供了一手史料，为构建中国哲学社会科学自主知识体系提供了宝贵资源，为推动习近平新时代中国特色社会主义思想深入人心提供了鲜活教材。
The comparisons below are made by simulating a Studio Display on the left and a 4K UHD (3840×2160 pixel) 27-inch display on the right, with macOS display scaling set so text and elements are the same size. The 4K display represents a common high-end display, with a pixel density of around 163PPI. The images are also presented larger to make the issues more pronounced, but these problems can definitely be seen with the naked eye, once you know what to look for. Please note that browser zoom, display scaling and other settings may make it harder to see the differences in the examples below.，更多细节参见Line官方版本下载