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.
that we added these specific options for now to get it in sooner.
，更多细节参见新收录的资料
长江之滨，湖北宜昌，山野间、公园里、小巷中，蜡梅花迎风绽放，暗香浮动。浅黄色的小小花朵缀满枝头，或舒展盛开，或含苞待放，似点点繁星，作别冬日的萧索，带来新春的暖意。
Continue reading...
，更多细节参见新收录的资料
“The cartels are running Mexico,’ Trump said. ”We can’t have that. Too close to us. Too close to you.”，更多细节参见新收录的资料
Трамп раскрыл свои опасения по поводу операции в Иране02:50