Mai Icy
Linux 上的压缩文件
Linux 下压缩和解压文件的命令种类很多，不同格式使用的命令也不一样，初学者会觉得比较复杂。故作一个总结。 🗂 常见压缩文件种类一览&误区解释 格式/扩展名 工具/程序 解压命...
Docker基本使用学习
安装 Linux (以Ubuntu为例) sudo apt install apt-transport-https ca-certificates curl software-propertie...
Ubuntu 使用 Nginx 搭建 WebDAV
前言 搭建一个WebDav用于存储Obsidian文件，借助 remotely save 插件来做到多端同步。 安装步骤 安装Nginx sudo apt update sudo apt ins...
计算机网络笔记9——TCP
TCP是因特网运输层的面向连接的可靠的运输协议 TCP是点对点的，而并不是一个发送方发给一群人。 为了保存验证的消息，例如确认双方信息等。两者需要保存确保数据传输的参数（TCP状态变量）。 客户...
灯塔&3D-3D:ICP
补传一下，好久之前做的。 理想下双灯塔求结果点 函数原型 bool lighthouseGeometryGetPositionFromRayIntersection(const baseStat...
rust库学习——Diesel
Diesel 是 Rust 生态中的一个强类型、安全、高性能的 ORM（对象关系映射）和查询构建器。它的核心设计理念是 充分利用 Rust 的类型系统，在编译时保证 SQL 查询的正确性，从而减...
RAG的认识与构建
概念解析 RAG（Retrieval-Augmented Generation，检索增强生成）是一种结合信息检索（Retrieval）和文本生成（Generation）的技术，常用于大模型（如G...
本地部署大模型Qwen-math-7b
本次部署为简单概述流程，本地配置为4060Ti-16G，采用7b模型部署。 下载模型 注：模型实际上可以直接在线使用，此处只为便于离线使用。 模型通常开源于 huggingface，一个大模型开...
数据库内核实验报告四：查询执行
基础实现思路和难度总结 本次实验根据拉取式模型的火山模型的自上而下遍历节点获取数据的基本模式 分别实现limit算子，排序算子，嵌套循环连接算子，归并连接算子。 框架基本认识 本次操作为Exec...
数据库管理系统——查询执行
输入是物理执行计划，由优化器产生并给予，输出代码或者机器码。 发展过程 1994：火山模型（尽量减少内存） 2000：物化模型 2005：向量化执行 2010：源到源编译模型 2011：实时编...