The multiplication method Russian peasants used for a thousand years19 days agohttps://valeman.medium.com/the-multiplication-method-russian-peasants-used-for-a...俄罗斯农民乘法（又称俄罗斯农夫算法）通过将一个数字减半、另一个数字加倍来实现乘法运算，它不需要乘法表，仅依赖减半、加倍和加法操作。这种方法历史久远，可追溯到约公元前1550年的古埃及抄写员，并非源自俄罗斯，其名称是在第一次世界大战前由一家英国期刊普及的。它基于二进制原理运行，其中奇偶模式对应二进制数字，使其与现代计算机芯片中用于乘法的算法完全相同。俄罗斯多产科普作家雅科夫·佩雷尔曼在其著作《趣味算术》中翻译并重点介绍了这一方法，强调了其深度以及与更广泛概念的联系。更多...
What designing 54 computer science cards taught me about graphic design20 days agohttps://fhoehl.com/designing-algodeck平面设计解决沟通问题，而软件工程解决信息问题。Algodeck是一副包含54张卡片的实体牌组，旨在通过大胆插图和简洁描述使计算机科学与数学变得易于理解。该项目融合了编程与平面设计，使用代码生成插图，并在所有卡片中实施统一的设计系统以保持一致性。设计系统和约束条件（如网格与变量）是维持卡片设计统一性与可扩展性的关键。更多...
The Art of Computer Programming by Donald E. Knutha month agohttps://www-cs-faculty.stanford.edu/~knuth/taocp.html《计算机程序设计艺术》（TAOCP）系列图书在1999年被评选为世纪最佳十二部自然科学专著之一。电子PDF版本是经过授权且推荐的；非PDF格式的电子书（例如Kindle）被告知可能存在兼容问题，可能会被替换。第1-4B卷已经出版，并有多国语言译本；第4C卷及后续卷（第5-7卷）正在规划或准备中。更新和纠错通过勘误列表进行管理，并为报告错误的读者提供奖励。更多...
How railway timetables became Unix timea month agohttps://parksb.github.io/en/article/39.html地方平太阳时（LMT）曾因地区而异，直至铁路发展促使时间标准化，最终导致格林威治标准时间（GMT）的广泛采用。GMT基于太阳时，但其不规则性促使了原子时和协调世界时（UTC）的发展，后者通过闰秒进行修正。计算机使用Unix时间（从1970年1月1日起计算），并通过系统时间、实时时钟和网络时间协议处理时间，同时面临诸如2038年问题和闰秒等挑战。应用层的时间处理需谨慎管理时区，采用ISO 8601标准和时区数据库等规范，并使用单调时钟以避免问题。更多...
All Logic, No Bitea month agohttps://lcamtuf.substack.com/p/all-logic-no-bite形式逻辑是一种从前提推导结论的体系，常在数学和某些计算机科学领域之外较为陌生。数学家运用形式逻辑来消除证明中的歧义，特别是在处理‘若A则B’这类条件陈述时。在形式逻辑中，‘若A则B’蕴含其逆否命题‘若非B则非A’，但不蕴含其逆命题或否命题。逻辑可用于构建数学体系，如实数，仅依赖公理而不借助物理直觉。更多...