token_counts = [320, 48, 160, 96, 272]
Опубликованы детали о погибших военнослужащих при аварии Ан-26 в Крыму14:56
,详情可参考比特浏览器
| sort { $b-{cpu} $a-{cpu} };
英国卫生安全局首席科学官罗宾·梅教授指出,现有分析"强有力地证明当前疫苗与抗生素治疗方案对该菌株有效"。周日确诊病例数已从23例降至20例,疑似病例亦由11例减至9例。
There was a thread on mastodon recently where Conor Mcbride was discussing some really cool stuff. I think the intent was to get at something more interesting, but this is the first place I’ve seen thinnings explained in a way without too many complex trappings around and it really clicked with me. I think I had a primed mind to see something useful to my current set of problems and solutions there. It unlocked a torrent of ideas related to lambda egraphs and generalized unions finds that I’m quite excited to talk about in the next couple posts.