2022年2月4日
award, reward
摘要： award和reward的意思几乎一样。细究的话： Award and achievement both contain the letter A, and an award is usually something given by one person to another for some s 阅读全文
posted @ 2022-02-04 23:52 华容道专家 阅读(358) 评论(0) 推荐(0)
统信UOS
摘要： 在今日头条的评论区看到有人说Ubuntu不好用，理由是装yum不方便。 Ubuntu和Debian的默认包管理器是apt，yum是从RedHat的rpm发展来的。Ubuntu有图形界面的软件中心(Software Center). 有个老笑话说某人的女朋友每次都打开Bing搜百度，然后再在百度里搜。 阅读全文
posted @ 2022-02-04 18:04 华容道专家 阅读(301) 评论(0) 推荐(0)
玩点啥好呢
摘要： 有感于网上有些人说“我就爱玩游戏”。 我觉得：花1万买电脑不如花4000买电脑，1000买轮滑装备之类，5000存起来，过3~5年再买个电脑。电脑降价太快了。车和表么，入手马上卖出去，99.9999成新也算二手货，要亏不少。 不知道玩啥好的话，我觉得可以参考这里：玩主论坛 (xitek.com) 或 阅读全文
posted @ 2022-02-04 13:02 华容道专家 阅读(104) 评论(0) 推荐(0)
aviation
摘要： Aviation is the activities surrounding mechanical flight and the aircraft industry. Aircraft includes fixed-wing and rotary-wing types, morphable wing 阅读全文
posted @ 2022-02-04 10:18 华容道专家 阅读(517) 评论(0) 推荐(0)
四色定理及其计算机证明
摘要： 为了黑这个：“OpenAI发文表示，他们已经为Lean创建了一个神经定理证明器，用于解决各种具有挑战性的高中奥林匹克问题，包括两个改编自IMO的问题和来自AMC12、AIME竞赛的若干问题。该证明器使用一个语言模型来寻找形式化命题(formal statement)的证明。” The four co 阅读全文
posted @ 2022-02-04 09:25 华容道专家 阅读(958) 评论(0) 推荐(0)