数学里的“性质”，到底是什么？
“连续”“有界”“可逆”“紧致”“可数”……学数学时，我们会反复遇到一个词：性质。一个函数有连续性，一个矩阵有可逆性，一个空间有紧致性。听起来，“性质”好像就是对象身上的某种标签。但如果继续追问：性质到底是什么？事情就没有那么简单了。
函数类型：箭头到底在说什么？
第一次看到“函数类型”，很多人会把它和“一个具体函数”混在一起。比如：A 到 B。数学里通常写成 A 箭头 B。它到底表示什么？如果只记一句话，可以记住：A 箭头 B 是一种类型。这个类型里的项，是接收 A 类型输入，并产生 B 类型输出的函数。
普通人正确跑步的科学依据有哪些？
普通人正确跑步的科学依据核心在于以心率为指导、进行跑前评估并遵循适度训练原则。这不仅能降低受伤风险，还能让跑步真正成为健康的“补给站”，而不是身体的负担。心率是安全跑步的黄金指标对普通人来说，跑步强度不该看配速，而应看心率——它是衡量运动安全的“黄金指标”。
AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
大模型评测：传统基准测试实战（二）：GSM8K、MATH 与 TruthfulQA
IT策士 10余年一线大厂经验，专注大模型测试、AI产品质量保障与职场进阶。我会在各个平台持续发布最新文章，助你少走弯路。上一篇我们拆解了 MMLU 和 HellaSwag，一个测"知识储备"，一个测"常识推理"。
7MB挑战VS Code：这个开源AI开发神器，正在重新定义程序员工具
crynta/terax-ai · ⭐ 8.5k · TypeScript项目是什么Terax是一个超轻量（约7MB）的AI原生开发环境，以终端为核心。
AI让数学再也回不去那个旧世界了。
来源：数字生命卡兹克昨天早上，可能会是人类时代的一个分水岭。
C语言泛型数学库，tgmath.h
C语言中，是C99引入的泛型数学库（Type-Generic Math），它通过宏的方式将和中的数学函数进行统一封装。使用
9.2K+ Star 仅 7MB！把终端、IDE、Git、AI 塞进单窗口，本地开发神器
绝大多数 AI 终端基于 Electron 套 pty，体积大、响应延迟，Terax 采用 portable-pty 原生 PTY 后端，搭配 xterm.js WebGL 渲染: 多标签、自由分屏布局，完美兼容 bash/zsh/pwsh/fish/WSL;