关于 aboutk：

• 是用于对冲基金、银行、制造商、F1 等的快速、有趣、通用的数据库和语言。
• 比 polars 数据表格、BigQuery、Redshift、Databricks、Snowflake 快 100 倍。
• Arthur Whitney 之父是多位 Putnam 奖得主（每次都击败 John Nash），K.E. Iverson（1920 - 2004），顾问有 APL Turing Award'79 的 John Cocke（1925 - 2002）和 RISC Turing Award'87 的。
• 基准测试：在相同机器、相同数据、相同查询下（苹果对苹果比较），H20（10 亿行）时 k 比 polars 数据表格快约 100 倍，Taxi（10 亿行）时 k 比 Biggie Shifty Sparky 快约 100 倍，Taq（10000 亿行）只有 k（包括 kx.com）能在有生之年完成 asof 连接，Stac（20000 亿行）只有 k（包括 kx.com）能完成这些查询。
• 数据量不同使用的工具：1000 行用 Excel，100 万行用 polars，10 亿行用 k，1000 亿行只有 k。
• 与其他数据库比较：real-sql(k)比 Redshift、BigQuery、Snowflake、Spark、MongoDB、Postgres 等 consistently 快 100 倍或更多，在相同数据、相同查询、相同硬件下，任何人都可运行脚本。
• 具体查询示例及时间对比：如在 H20 等数据集中的多个查询，k 速度远超其他如 postgres、spark 等。
• 对于不同数据量的查询示例及时间对比：如在 50GB 数据集中的 9 个多列聚合查询，k 速度快，不同版本 k 也有差异。
• 对于 10 亿和 100 亿数据量的类似结果。
• 在 Taxi 数据集中的多个查询及与其他如 spark 等的时间对比。

关于 docman：

• 是快速通用的数据库和语言，可连接一切，不依赖任何东西。
• 包含多种操作如 select、group 等，各种类型如 int、float 等，各种函数如算术函数等。
• 与其他语言如 sql、python、numpy 等在安装时间、硬件消耗、软件大小等方面对比，k 更优。
• 关于 ansi-sql 和 real-sql 的对比，real-sql 在连接、分组等方面更好，如 real 中的各种查询示例及与 ansi 的对比。

关于 edu：

• 给出了一些函数如 even-odd 等的实现，如 void f(in,VR,VX)的两种实现方式。
• 包含各种数学相关的函数和计算，从 4400BC 开始有相关内容，如各种数学概念的发展历程及相关人物（如 Inanna、Nephtiri 等）。