Первый вывозной рейс авиакомпании «Аэрофлот» с россиянами на борту прилетел в Москву из Объединенных Арабских Эмиратов (ОАЭ). Об этом со ссылкой на данные онлайн-табло Шереметьево сообщает ТАСС.
网传的说法之一是通义实验室的总负责人周靖人。
，详情可参考51吃瓜
«[Госсекретарь США Марко] Рубио (...) допустил вариант, согласно которому Соединенные Штаты будут управлять Ираном так же, как они объявили, что будут управлять Венесуэлой. Теперь уже аналогичную схему примеряют для Кубы. И наверное, это не конец», — сказал министр.
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.