Aliveman276939156的博客

Ada，是一种程序设计语言。源于美国军方的一个计划，旨在整合美军事系统中运行着上百种不同的程序设计语言。其命名是为了纪念世界上第一位程序员Ada Lovelace。Ada不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。同时，Ada语言的使用可大大改善软件系统的清晰性、可靠性、有效性、可维护性。Ada是现有的语言中无与伦比的一种大型通用程序设计语言，它是现代计算机语言的成功代表，集中反映了程序语言研究的成果。Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada打破了John von Neumann 思维模式的桎梏，连同Ada的支持环境（APSE）一起，形成了新一派的Ada文化。它是迄今为止最复杂、最完备的软件工具。

学习latex的一本小书

入门scheme的书籍，适合作为阅读SICP之前的一本热身书

MIT教材，程序员必读

haskell入门的极好教程

CSS文档

可缩放矢量图形（Scalable Vector Graphics，SVG）是基于可扩展标记语言（XML），用于描述二维矢量图形的一种图形格式。SVG由W3C制定，是一个开放标准。

一个可以转换迅雷 旋风 快车 下载地址的转换工具