在计算机科学领域，依赖类型理论(Dependent Type Theory)是一种重要的概念。它允许我们在类型…
新的RAM卡，原型的Mac Portable，演示System 7
全新的RAM卡，原型的Mac Portable，演示System 7 如果你是一位旧电脑迷，喜欢探究那些早已被…
追求“理想的任务管理工具”的结果 → 由我自己制作
在我们繁忙的敏捷生活中，一款集中的，易于使用的任务管理工具是必不可少的。无论你是一位创业者，还是一位学生，或者…
半环缩减的正确编译（2022年）
在计算机科学领域，编译器是一个关键的工具，它将源代码转换成更高效的机器代码。在最新的研究中，一组研究人员提出了…
参议员致扎克伯格关于羊驼泄露事件的信[pdf]
喜欢发朋友圈的人都知道，最棒的发圈内容有一个共同点，那就是——务必抓住眼球。如果你是国会参议员理查德·布卢门泰…
尴尬的合作引领着人工智能的蓬勃发展
人工智能的蓬勃发展有赖于各行各业的合作，然而当两个化学反应不济的实体试图合作，往往会带来尴尬的局面。这正是微软…
InfoQ采访：Rich Kilmer谈论Ruby的强大力量
Ruby作为一种高级编程语言，已经深受众多开发者的青睐。它不仅仅是一种编程语言，更是一种开发哲学。为了深入了解…
人工智能和人机共生
在21世纪的今天，我们面对着来自科技的颠覆，其中最醒目的当属人工智能（AI）的崛起。AI 是一种通过计算机模拟…
“意识作为情感传递平台” (Yìshí zuòwéi qínggǎn chuándì píngtái)
意识是我们最直接的情感传递平台。我们的大脑是我们心灵的窗口，是我们与世界沟通的桥梁。 意识不仅是我们与别人沟通…
在虚拟课堂中，漂亮的女学生不再一定能获得直A成绩。
自从疫情爆发以来，许多学生都被迫在虚拟课堂中完成学业。这个无情的时代，不仅改变了我们的生活方式，也深刻影响了我…