其实在政策发布前,市场已经有了一些探索,有保险公司推出了具身智能综合保险(为机器人本体损坏和伤人事故提供保障)和生成式人工智能内容侵权责任保险(为AI生成内容引发的纠纷提供保障)。
聚光灯之外,另一场决定中国 AI 行业真实位次的较量,才刚刚交卷。,详情可参考体育直播
,更多细节参见体育直播
当然,究竟是“AI原因”>“营销表演”,还是“营销表演”>“AI原因”,以及这番操作在商业上的最终成败、历史评价,都还需要漫长的时间来验证、书写。,详情可参考爱思助手下载最新版本
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.