labspc

Home

❯

reading

Folder: reading

2 items under this folder.

  • Feb 20, 2024

    SICP 之道:为什么这本书被奉为编程圣经?

    • programming-abstraction
    • computer-science
    • system-design
    • sisp
    • computational-thinking
  • Nov 03, 2023

    类型系统与编程语言:TAPL 读书笔记与思考

    • type-systems
    • programming-languages
    • formal-semantics
    • type-theory
    • programming-abstraction

Lambert 的卡片盒:一座写给自己的数字花园,埋下技术与生活的种子,也采撷灵感与疑问的微光。
主页 • 标签云 • 图片库 • 外链监测 • RSS 管理 • LLMs 使用声明
Created with Zettelk v6.0-0901
© 2025 labspc
感谢您的访问