diff --git a/ai/model.md b/ai/model.md index b8810d1..bc8289c 100644 --- a/ai/model.md +++ b/ai/model.md @@ -1,5 +1,8 @@ # 模型 +- [3D 可视化 GPT 大语言模型](https://bbycroft.net/llm) + - []() + ## Model How AI models are made: Data is a crucial component @@ -21,13 +24,13 @@ data is upstream in process of developing good models [Stable Diffusion 1.0]() [CodeV1]() -## [DSD(Dense-Sparse-Dense)](https://arxiv.org/pdf/1607.04381.pdf) +### [DSD(Dense-Sparse-Dense)](https://arxiv.org/pdf/1607.04381.pdf) - [模型数据下载](https://songhan.github.io/DSD/) 如何通过改进训练过程提高传统模型的准确率 -## [onnx](https://onnx.ai/) +### [onnx](https://onnx.ai/) > Open Neural Network Exchange (ONNX) is an open ecosystem that empowers AI developers to choose the right tools as their project evolves. [microsoft的版本](https://github.com/onnx/onnx)和[ORT--ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator](https://github.com/Microsoft/onnxruntime) @@ -36,6 +39,10 @@ data is upstream in process of developing good models [开源可用的一些模型A collection of pre-trained, state-of-the-art models in the ONNX format ](https://github.com/onnx/models) +### [HPC-AI Tech](https://hpc-ai.com/) +- [HPC-AI Tech github, We are a global team to help you train and deploy your AI models](https://github.com/hpcaitech) +- [Colossal-AI: Making large AI models cheaper, faster, and more accessible](https://github.com/hpcaitech/ColossalAI) + ## 其他 - [Port of Facebook's LLaMA model in C/C++ ](https://github.com/ggerganov/llama.cpp) \ No newline at end of file diff --git a/articles/notes/math.md b/articles/notes/math.md index 383be41..67d2b39 100644 --- a/articles/notes/math.md +++ b/articles/notes/math.md @@ -1,8 +1,36 @@ # Math -> 数学 - - +## 基础概念 +> 数学的精准是建立在一系列基本概念和逻辑推理之上。定义、公理、猜想、定理、证明和推论相互关联，形成了一个严密的逻辑体系。 + +- 定义Definition，是对某个概念或术语清晰而精简的描述，它是利用已知的概念来解释新的数学对象 +- 公理Axiom，又称公设，是没有经过证明，但被当作不证自明的一个命题，是构建数学理论的出发点 + 1. 一组公理能构成某个公理系统的基础框架，用于构建特定的数学理论 + 2. 每个公理系统都试图以最少且最基本的假设出发，来构建整个理论体系， + 3. 如欧几里得几何的五大公理、皮亚若公理Peano axioms、集合论中的策梅洛-弗兰克尔公理ZFC +- 定理Theorem，是经过受逻辑限制的证明为真的陈述 + 1. 通过逻辑推理得到验证性陈述，一经证实，就称为定理 + 2. 如费马猜想，经证明后变成费马大定理 +- 命题Proposition，是数学论证中的基本陈述，是一个可以判断真或假的陈述句，亦有既真又假的命题（悖论） +- 引理Lemma，是在证明更为重要的定理过程中使用的预备性陈述 + 1. 通常是某个定理的证明的一部分的陈述 +- 推论Corollary，一旦定理被证明，可以直接从中推出一些结果，就是推论， + 1. 是一个从定理随之而即时出现的陈述 +- 推广Generalization，定理的推广是在原有定理的基础上拓展其适用范围 + 1. 原定理可以作为特殊情况（一个推论）被推导出来 + 2. 如欧几里得算法的两个数的最大公约数，同样适用于查找两个多项式的最大共因项，这就是一个推广的示例 +- 假说Hypothesis，是根据已知的科学事实和科学原理，对所研究的自然现象及其规律提出的推测和说明 + 1. 通常指的是在特定理论框架下，为推导出结论或建立一个数学证明而假定的前提条件 + 2. 它是建立在现有理论上，用于证明定理的一种假设 +- 猜想Conjecture，是一个看似正确但未经过证明的陈述，往往由数学家基于直觉或部分证据提出 + 1. 猜想是研究的起点，价值在于激发数学家深入探究，发展新的数学分支和技术解决这些难题 + 2. 如黎曼猜想、哥德巴赫猜想。 +- 法则Rule，是一些能够指导我们进行计算或推理的定理 + 1. 如克莱姆法则Cramer's Rule,链式法则Chain Rule，洛必达法则L'Hopital's Rule +- 定律Law、原理Principle，是某些基本普遍适用的定理 + 1. 大数定律law of large numbers是概率论的一条原理，它说明了在一定条件下，随着试验次数的增加，样本平均值将以高概率趋于期望值。 + 2. 鸽巢原理Pigeonhole principle（抽屉原理），是一个基本的组合数学原理，表明n+1个鸽子放置n个巢中，至少有一个巢有两个鸽子。 +- 证明，是验证的过程 ## Linear Algebra @@ -14,6 +42,10 @@ ## 观点 +### 读大师作品 + +有几点理由可以说明为何最优秀的数学家被吸引去读经典著作，首先，他们似乎是天生的善于进行综合的人，数学的真谛在于理解看起来不同的概念间的逻辑联系。最成功的数学家都是涉足面最广、洞察相似之物和将概念联系起来的能力最强的数学家。历史在这样的研究活动中的作用是明显的。对某些相似性的认识往往要经历几代人，而且通过对普遍的历史事实的回顾，往往容易看出各种联系。**进步不是出自于新的概念，而是由于认识到可以把旧概念用于新的情况，这样的事实比我们所愿想象的要多得多。** + ### 迈克尔·阿蒂亚：二十世纪的数学发展 从线性到非线性的发展，从非欧几里得几何的不同阶段到Riemann的更一般的几何，都是非线性的。 diff --git a/cg/mesh/mesh-generation.md b/cg/mesh/mesh-generation.md index 91e1572..7d26a7c 100644 --- a/cg/mesh/mesh-generation.md +++ b/cg/mesh/mesh-generation.md @@ -5,6 +5,7 @@ 核心思想是将边界离散为短边Generation front，然后以每一条短边为基准Base，在区域内找到一个最优的点，形成最优的三角形，同时更新短边的集合，直到集合中的所有短边都被处理。 +- [OpenCMP is a computational multiphysics software package based on the finite element method. It is primarily intended for physicochemical processes involving significant convective flow. ](https://github.com/uw-comphys/opencmp) ## Delaunay三角剖分 可对给定的任意离散点集，做最优的三角化。所谓最优就是得到的所有三角形的最小的内角最大。 diff --git a/cpl/cplusplus.md b/cpl/cplusplus.md index db4b11a..9513e37 100644 --- a/cpl/cplusplus.md +++ b/cpl/cplusplus.md @@ -267,6 +267,7 @@ React中引入Fiber，其概念来自C++，[C++ Fiber的基本知识](https://ag ## 参考 - [C++ Template这个文章描述的很清晰,思路也很通畅](https://www.3dgep.com/beginning-cpp-template-programming/) - [C++ stories](https://www.cppstories.com/) +- [PDFHummus is a Fast and Free C++ Library for Creating, Parsing an Manipulating PDF Files and Streams.](https://github.com/galkahana/PDF-Writer) ### 里缪 > 我看标准的这些机制设计和其他一些架构，其中很重要的一条原则就是追求一致性。不仅是美学上的追求，一旦符合这种一致性，系统本身就具备适应变化的能力，从而能够抵抗非连续性问题。一切本质的东西都很简单，且具有美感。设计之初就追求一致性，本质是一种多阶思维，看似麻烦，往往能够解决很多未能提前发现的问题。 diff --git a/database/database.md b/database/database.md index 0dc0fdc..d3ddf50 100644 --- a/database/database.md +++ b/database/database.md @@ -15,4 +15,18 @@ ACID属性 - [Provides easy browsing of tables, variables, functions and configuration settings.](https://www.timestored.com/qstudio/) - [HeidiSQL is free software, and has the aim to be easy to learn. "Heidi" lets you see and edit data and structures from computers running one of the database systems MariaDB, MySQL, Microsoft SQL, PostgreSQL and SQLite.](https://www.heidisql.com/) -- [Database manager for MySQL, PostgreSQL, SQL Server, MongoDB, SQLite and others. Runs under Windows, Linux, Mac or as web application ](https://github.com/dbgate/dbgate) \ No newline at end of file +- [Database manager for MySQL, PostgreSQL, SQL Server, MongoDB, SQLite and others. Runs under Windows, Linux, Mac or as web application ](https://github.com/dbgate/dbgate) + +## 实践性 + +### How to store password in DB +store + +client provide password, server provide salt, composite new string(password+salt), map to a hash(password+salt), +store in db table salt, hash(password+salt) + +test-valid + +client provide inPassowrd, server read salt and hash(password+salt), check hash(inPassword+salt) is equal hash(password+salt) + +这样数据库不存储用户密码明文，避免泄露数据造成破坏性问题。 diff --git a/index/article.md b/index/article.md index b2a4b67..27da33f 100644 --- a/index/article.md +++ b/index/article.md @@ -7,6 +7,7 @@ - [Markdown](../articles/markdown.md) - [Mathjax](../articles/mathjax.md) - [数学概念笔记](../articles/notes/math.md) +- [软硬件一体的项目](../others/robot.md) ## dev-note - [git](../dev-note/git.md) diff --git a/others/robot.md b/others/robot.md new file mode 100644 index 0000000..88b7983 --- /dev/null +++ b/others/robot.md @@ -0,0 +1,5 @@ +# Robot + +## [foc-wheel-legged-robot](https://github.com/Skythinker616/foc-wheel-legged-robot) +Open source materials for a novel structured legged robot, including mechanical design, electronic design, algorithm simulation, and software development. +一个新型结构的轮腿机器人开源资料，包含机械设计、电子设计、算法仿真、软件开发等材料 \ No newline at end of file diff --git a/web/css.md b/web/css.md index 047b363..f86d168 100644 --- a/web/css.md +++ b/web/css.md @@ -28,15 +28,11 @@ it transforms each element of the document and generates zero, one, or several b ### flex -#### 轴 - +轴 - 主轴main axis - 交叉轴cross axis -#### 容器 - -父容器可以统一设置子容器的排列方式，子容器可以单独设置自身的排列方式，如果两者同时设置，以子容器的设置为准。 - +容器,父容器可以统一设置子容器的排列方式，子容器可以单独设置自身的排列方式，如果两者同时设置，以子容器的设置为准。 - 父容器container - justify-content - 位置排列 flex-start flex-end center @@ -47,6 +43,17 @@ it transforms each element of the document and generates zero, one, or several b - 基线排列 baseline - 拉伸排列 stretch +```scss +.father { + display: flex; + flex-flow: row nowrap; + .son1 {} + .son2 { + flex-grow: 1; // 占满最后一个 + } +} +``` +- flex-grow, 设置剩余的占满的 ### effect #### scroll diff --git a/web/index.md b/web/index.md index 25753cd..f05d9b3 100644 --- a/web/index.md +++ b/web/index.md @@ -16,6 +16,7 @@ - [bable](./babel.md) - [vue](./vue.md) - [多语言i18n](./i18n.md) +- [Web Check网站分析，分析各种配置，可参考网站的配置](https://web-check.as93.net/) ## library diff --git a/web/mini.md b/web/mini.md index d5993f3..ca23773 100644 --- a/web/mini.md +++ b/web/mini.md @@ -6,7 +6,7 @@ 基于Web技术，但是与Html5是有差异的，最大的差异之一就是：浏览器中的UI和JavaScript逻辑都是在一个线程中执行的。而微信小程序使用双线程模型，一个线程专门负责渲染工作，称之为渲染层；另一个线程执行逻辑代码，称之逻辑层。这两个线程同时运行，通过微信客户端来交换数据。 -逻辑层执行代码逻辑，通过setData发送到渲染层， +逻辑层执行代码逻辑，通过setData发送到渲染层，JSON数据在小程序中是静态数据，这里容易产生性能问题，必须关注动态数据的更新 渲染层解析WXML和WXSS并渲染出页面。 [小程序没有 DOM 接口，原因,涉及小程序架构框架思路](https://developers.weixin.qq.com/community/develop/article/doc/000462336ccf080229a9eb37c59413)