欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
6502 家用计算机
6502曾是上世界80,90年代像Apple II型之类的许多著名计算机的CPU。本文作者花了几个月时间在这个8位CPU上攒了一台计算机,并详细记录了整个过程。
6502