公开标签 #Flakes
NixOS 初学者之痛 - 文档与 Flakes NixOS 是个非常特殊的 Linux 发行版，它构建在 Nix 包管理器之上，设计哲学也跟传统的 Ubuntu, CentOS, Arch Linux 等发行版大相径庭。 NixOS 相比其他发行版最大的优势，是它的可复现能力（即在多台机器上复现出一致的系统环境的能力）以及声明式配置。 NixOS 很强大，但它的强大也带来了系统复杂度的提升，提高了使用门槛。 一方面你在 Linux 发行版上积累很多经验很难在 NixOS 上复用，另一方面 NixOS
空白页面，或者说缺省数据页面（例如没有任何联系人的通讯录和没有任何聊天记录的微信），通常都是在设计过程的最后阶段才被考虑。有些时候，甚至会被遗忘。直到某个开发同学提出疑问，『这个页面，如果没有数据的时候，应该显示什么内容呢？』 今天翻译的这篇文章，作者从用户首次接触产品，还没有内容/数据/好友的情况入手，分析并总结了一些空白页面设计的思路，希望能够给各位产品设计者带来灵感。下面进入译文。 当用户首次使用你的产品时会遇到空白状态的页面，这也是用户由浅入深接触你的产品的必经之路。在这个过程中，一个优秀的空白
分享全球最优秀的APP设计,网站UI界面设计,ui设计素材,学习和借鉴,发现优秀的移动互联网产品,网页设计素材,做中国最好APP,网站ui设计博客,设计素材下载提供方和网页设计师加油站！
中国数学有别于希腊数学的特点，是数学的机械化，算法化，与希腊数学重逻辑推理的公理化相对照。算筹、算盘就是中国古代的“计算机”，筹算解方程的“术曰”和珠算口诀就是计算程序。中国古代算学家擅长计算，祖冲之精确计算圆周率，领先世界近一千年就是一个很好的例子。明代朱载堉王子发明十二平均律时，使用81档大算盘，计算开平方，开立方。中国数学史又称为中算史，的确恰当。 关于中算史的分期，大体依照吴文俊院士主编的一套内容丰富的《中国数学史大系》的分期。 中算从三世纪到十四世纪，领先世界有一千七百年之久，是当时世界数学发