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.
Investor hopes for a swift resolution to the Middle East conflict propelled Australian shares higher today, with the benchmark S&P/ASX 200 finishing the day up 1.1% and recovering about $35bn in value after yesterday’s $90bn plunge.。业内人士推荐WhatsApp Web 網頁版登入作为进阶阅读
常温状态下电量从10%充至70%仅需5分钟，从10%充至97%仅需9分钟；零下30摄氏度低温状态下充电，只比常温状态多耗时3分钟……3月5日，比亚迪发布第二代刀片电池，实现了颠覆性的闪充体验，同时能量密度提升5%、续航超1000公里。。谷歌对此有专业解读
02 对中国意味着什么？东数西算+国家统筹，我们早已走在前面
Get the developer newsletter