#sized
2020-11-1 2:53
我们的银河系可能充斥着流氓行星，它们不受任何恒星的引力约束。由波兰天文学家领导的一个国际科学家团队宣布发现了迄今发现的最小的地球大小的自由漂浮行星。到目前为止，已经发现了4000多个。虽然许多已知的系外行星与我们太阳系中的行星并不相似，但它们有一个共同点--它们都围绕着一颗恒星运行。然而，行星形成和进化的理论预测了自......
2020-8-20 16:4
一颗新发现的汽车大小的小行星刚刚飞过地球，这是目前已知的最接近地球的小行星，但没有撞到我们的星球。
周日(8月16日)，这颗小行星，最初被标记为ZTF0DxQ，现在被天文学家正式称为2020 QG，掠过距离地球仅1830英里(2950公里)的地方。这使得2020年QG成为有记录以来最接近的小行星飞过，而不是随着这块太......
2020-8-19 8:36
一颗新发现的汽车大小的小行星刚刚飞过地球，这是目前已知的最接近地球的小行星，但没有撞到我们的星球。
周日(8月16日)，这颗小行星，最初被标记为ZTF0DxQ，现在被天文学家正式称为2020 QG，掠过距离地球仅1830英里(2950公里)的地方。这使得2020年QG成为有记录以来最接近的小行星飞过，而不是随着这块太......
Statically sized higher-kinded polymorphism(blog.ielliott.io)
2020-7-8 0:18内存敏感的语言，如C++和Rust，使用编译时信息来计算数据类型的大小。这些大小用于以提高运行时性能的方式通知对齐、分配和调用约定。此设置中的现代语言支持泛型类型，但到目前为止，这些语言只允许对类型进行参数化，而不允许对类型构造函数进行参数化。在本文中，我将描述如何在任意类型构造上启用参数化，同时仍然保留数据类型大小......