Open Textbook Initiative The American Institute of Mathematics (AIM) seeks to encourage the adoption of open source and open access mathematics textbooks. The AIM Editorial Board has developed evaluation criteria to identify the books that are suitable for use in traditional university courses. The Editorial Board maintains a list of Approved Textbooks which have been judged to meet these criteria. textbooks.aimath.org/textboo…

三好学生，数学好，音乐好，编程好

我在用迅雷，别笑话我 因为10T网盘和BT资源

Free math book, 630 pages, Carnegie Mellon University, CC license An Infinite Descent into Pure Mathematics cnewstead.gitlab.io/infdesc/… TeX source @ GitLab gitlab.com/cnewstead/infdesc The first part of the book covers core material, including basic mathematical reasoning, symbolic logic, sets, functions, induction and relations. These are the concepts that all mathematicians should feel comfortable with. The second part of the book covers basic material in a number of mathematical areas—topics include number theory, combinatorics, real analysis, infinite sets, equivalence relations, probability theory, order theory and structural induction. Throughout, strategies are provided that help readers to see how mathematical concepts and results can be used in a proof. Another aspect of doing mathematics covered in the book is using LaTeX to typeset a mathematical document, a skill required of almost all professional mathematicians but rarely formally taught to them. LaTeX commands are provided for all new notation introduced in the book at the time that the notation appears. The LaTeX source for the book is available on Gitlab. A reader intending to self-study this textbook should seek additional help from others, such as peers, tutors or even online communities such as Mathematics Stack Exchange. math.stackexchange.com/

Local AI 时代的桌面基础设施 Apple Mac mini/Mac Studio, NVIDIA DGX Spark, AMD Ryzen AI Halo

Geometric structures on manifolds math.umd.edu/~wmg/gstom.pdf At the very end of 2022, the book was published in the AMS Graduate Studies in Mathematics volume 227. 'Geometric Structures on Manifolds' is an accessible, sophisticated, modern, and grounded introduction to the theory of (G,X)-structures on manifolds, which standardize the notion of spaces locally modeled on manifolds with geometry, aimed at a graduate level audience and above...[and] would make an excellent reference text upon which to base a semester-long, intermediate level graduate course. Max Lahn (University of Michigan), MAA Reviews Key words and phrases. Euclidean geometry, affine geometry, projective geometry, manifold, coordinate atlas, convexity, connection, parallel transport, homogeneous coordinates, Lie groups, homogeneous spaces, metric space, Riemannian metric, geodesic, completeness, developing map, holonomy homomorphism, proper transformation group, Lie algebra, vector field

吉他和弦轮盘，吉他和弦五度圈乐理 很酷的Web应用 guitar-compass.pages.dev/

个人感受，习惯了摇滚重金属、电音Techno，人反而变得更加安静了

最牛逼的商业模式，你不购买就会落后 放眼望去，现在的NVIDIA就是这个状态

手头上最重的一块砖头，搬砖的日子也是充实的 240某鱼入手，厚重感让人倍感踏实，远离喧嚣

The future Internet, built peer-to-peer. Pear is an installable Peer-to-Peer (P2P) Runtime, Development & Deployment platform. Build, share & extend unstoppable, zero-infrastructure P2P applications for Mobile, Desktop & Terminal. Welcome to the Internet of Peers – @Holepunch_to the P2P Company Bare 是一个轻量级的模块化 JavaScript 运行时环境 github.com/holepunchto/bare Bare 支持多种引擎（JavaScriptCore、V8、QuickJS） 通过 libjs (built on libuv) 实现对 C API 的最小 JavaScript 绑定 适用于桌面和移动设备，与 Node.js 类似 它提供了一种异步、事件驱动的架构 但与 Node.js 不同的是，Bare 将嵌入式应用和跨设备支持作为其核心用例 力求在手机和笔记本电脑上都能流畅运行 适用于联网的、点对点应用，并且可以在各种硬件上运行

家里没有CD机，平时放CD唱片，就用 Pioneer CDJ

形式化数学、形式化音乐，两个非常有趣的领域 形式化数学已经有了很大的突破，发展迅猛 著名数学家陶哲轩也着迷于数学形式化证明 x.com/huihoo/status/20587245… 比如形式化语言：Lean, Rocq, Isabelle/HOL 它们都提供了丰富的数学库 Lean: 构建了统一数学库，核心优势所在 github.com/leanprover-commun… Rocq: Mathematical Components, UniMath, Coq-HoTT math-comp.github.io/ github.com/UniMath/UniMath github.com/HoTT/Coq-HoTT/ Isabelle/HOL Archive of Formal Proofs isa-afp.org/ 其中，Lean Mathlib 目录结构包含有： • Algebra：代数相关内容，包括群、环、域以及模理论等 • Analysis：实分析和复分析内容，包括极限、导数、积分以及函数空间 • Category Theory：范畴论相关内容，涵盖函子、自然变换以及对范畴的基本定义 • Data：数据结构及其性质，例如集合、映射、序列和树 • Geometry：几何内容，包括平面几何、微分几何的部分模块 • Linear Algebra：线性代数内容，包括向量空间、矩阵理论以及线性映射 • Logic：逻辑与证明论的核心模块，支持形式化推理的基础工具 • Measure Theory：测度论模块，包括勒贝格测度和积分理论 • Number Theory：数论内容，例如素数、模运算以及有限域 • Probability：概率论内容，涵盖经典概率论中的基本定理和结果 • Topology：拓扑学内容，包括拓扑空间、紧致性、连通性等核心概念 形式化音乐 (Mathematics of music) 这块有些滞后 《Formalized Music Thought and Mathematics in Composition》 一本出版很早的书，是希腊作曲家、建筑师兼工程师伊阿尼斯·泽纳基斯（Iannis Xenakis）的著作 他在书中阐述了运用随机数学函数进行音乐创作的动机、理念和技巧 2001年的第二版，书中包含了泽纳基斯早期计算机音乐创作程序GENDY的完整FORTRAN程序代码 该书被誉为一部开创性的作品 图2：在音乐集合论中，音程向量是一个自然数数组 它概括了一组音级中存在的音程

Topological Neural Operators arxiv.org/abs/2606.09806

local.ai Awesome domain name