| Merja Wesander/Finna.fi via WikiCommons
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.
。91视频对此有专业解读
回顾历史，1960年代，Boswell基金会提供120万美元匹配赠款，撬动居民募捐，建成了第一家医院；1988年，Sun Health基金会捐赠900万美元，建成第二家医院。截至目前，两大基金会累计筹集超过5亿美元，支撑着医院从无到有、从基础到现代化的每一步。，详情可参考Line官方版本下载
Still am, I think.
Standard Digital