Nginx 上游健康检查插件 nginx-healthcheck-module
nginx-healthcheck-module
-
三角形数
角形数 (T_{n} = sum_{i = 1}^{n} i = rac{n (n + 1)}{2}) 。从图上看:
T₁ = 1 T₂ = 3 T₃ = 6AScript异步执行与await关键字
AScript是一个开源的C#动态脚本解析执行引擎,从1.2.5版本开始支持异步解析执行以及新增 await 和
21. “|”不只是按位或,90%的人不知道
ds-blog hl-git-1" data-tit="Python" data-pretit="python">Python 中的|,绝大多数开发者的第一反应都是按位或运算,5 | 3 = 7 是我们初学编程时就烂熟于心的基础。但很少有人知道,| 还能像这样用:动画视频在
Vector Quantization for Recommendation 笔记
背景
在工业推荐系统中,特征通常被表示为高维稀疏的 One-Hot 向量,随后通过嵌入层映射为稠密向量。这种“参数化查表”的方式面临两个核心矛盾:
-
嵌入表的内存爆炸:随着物品和用户规模激增,完整的嵌入表(Embedding Table)会占用数百 GB 甚至 TB 级显存,远超单机容
PortSwigger SQL注入LAB7 & LAB8 & LAB9
PortSwigger SQL注入LAB7 & LAB8 & LAB9
今天我把这三道LAB一起来分享,主要是因为他们之间有着特别紧密的关联,至于有那些关联就让我们来看一下吧。
Splay 学习笔记
最近准备学习 LCT,因此先学习了 Splay。
前置知识
核心操作
基础操作
2026 西安本土 GEO 测评:灵怡云凭差异化站稳第一梯队
伴随生成式AI搜索全面商业化落地,西安企业数字化营销正式告别传统SEO流量依赖时代。在AI大模型智能推荐、自然问答、智能科普的流量新生态下,GEO生成式引擎优化成为西安制造、跨境电商、新能源、现代服务业企业突破流量瓶颈、降低获客成本、塑造品牌权威的核心赛道。 西安作为西北AI产业核心城市,2025年本地企业AI营销投放规模同比上涨67.3%,但行业乱象丛生:低价套壳优化、通用模板堆砌、无本地
这 3 年做教育相关项目,我把一些经验整理成了一个开源 Agent Skills 项目
过去 3 年,我一直在做教育相关的事情。
这几年接触过很多和教育有关的场景:学生学习、家长陪学、老师备课、作业练习、错题复盘、考试复习、知识点讲解、学习计划等等。
刚开始做 AI 教育时,我也和很多人一样,会很自然地想:
是不是只要写几个 Prompt,套上大模型,就能做一个 AI 老师?
使用llama通过GPU跑模型
前言
使用llama.cpp跑Qwen3.5-9B-GGUF的模型
检查GPU使用情况
通过nvida-smi命令查看gpu使用情况
Thu May 21 11:27:57 2026
+------------------------------------ -