刷新
实用指南:正则表达式入门到精通教程(Linux实操版)

一、为什么你必须学会正则表达式 想象一下,你刚接手一个服务器日志文件,老板让你找出所有来自 404 错误的 IP 地址。如果没有正则表达式,你可能需要手动翻阅成千上万行文本;而掌握正则表达式后,一条命令就能搞定。正则表达式就像一把文本处理的瑞士军刀,在 Linux 系统管理、日志分析、数据清洗等场景 ...

GPT5.1 告诉你如何与电脑对话控制一切软件:复现 Caddy(YC F25)的愿景丨社区来稿

博主头像 本文来自 thinkingloop 的 k,一个手搓过实时翻译语音智能体的投资人。 Caddy是什么? Caddy — 用你的声音控制所有工作应用 Caddy号称是:下一代计算界面,由语音和屏幕上下文驱动。Caddy 通过让知识工作者直接与电脑对话,消除了点击和复制粘贴的混乱。当今的知识工作者已经生 ...

11.20

博主头像 每个令人抓狂的Bug,都是一次宝贵的学习机会。那些最难以复现、最违反直觉的缺陷,往往揭示了我们对系统理解的盲区。通过调试,我们被迫深入理解程序的真实执行路径、语言的微妙特性和系统的底层机制。相比一帆风顺地实现功能,从失败中学到的教训更加深刻、持久。感谢那些折磨过我的Bug,它们是我成长路上最严格的老 ...

P3242 [HNOI2015] 接水果

博主头像 题面 解法 这道题来回顾一个 trick,他就是可以将树上的操作问题通过 dfs 序转化为序列上的操作。 那么这道题我们对于苹果来找盘子是难做的,应为我对于全集找子集其实是困难的,但是我们对于子集找全集就变得简单了。而这道题我们看到看到第 \(k\) 大问题,我们想到的是二分答案,二分答案并判断小于 ...

2025.11.20 闲话

博主头像 不以物喜,不以己悲。——《岳阳楼记》 突然觉得这句话很适合我。 今天晚上的 CF。不太会 A,开始做 B。猜了一个贪心做法但不敢写,因为之前有一次就写了,然后白吃一次罚时。于是建模成不等式组,发现求出了 \(p\) 就能求出 \(q\) 的最大值。于是猜测 \(p + q\) 是单峰的。我猜对了,于 ...

文字识别系统

# 导入必要的库(去重、排序) import os import time import numpy as np import matplotlib.pyplot as plt from PIL import Image from sklearn.metrics import classificat ...

洛谷 P4458

博主头像 P4458 标签 线段树 因为查询给定的是路径长度的范围,所以对于每个长度都要维护答案。 将修改操作改为 \([1, v]\) 加 \(d\),考虑对长度为 \(len\) 的贡献(算出与长度为 \(len\) 的与 \([1, r]\) 的交集之和即可)。分 \(len < v, len \ge ...

20251119 正睿

博主头像 25noip赠送赛day3之不唱搁浅 B 题意就是构造一段路径,要么前面一段之间都有边,后面一段没有;或者倒过来。 我们一个一个的插入节点,维护这个路径。 如下图,假设我们要插入 \(i\),前面的是有边的(黑实线),后面的是无边的(黑虚线),分界点为 \(u\)。根据三条蓝边是实/虚确定 \(i\ ...

http1.1流水线传输方式

博主头像 目录核心概念:什么是流水线?流水线的关键特性和要求流水线的巨大缺陷与实践中的弃用现代替代方案:HTTP/2 的多路复用总结 这是一个非常重要但又经常被误解的概念,因为它在实践中很少被使用,但理解它能帮助我们更好地理解 HTTP 的演进。 核心概念:什么是流水线? HTTP/1.1 流水线是一种在同一 ...

2025贝赛思备考机构推荐排行榜单

博主头像 2025年贝赛思入学考试迎来“难度升级+竞争白热化”:MAP 阅读题量从20题翻倍至40题,时长延长至1.5-2小时(未完成题目直接清零),口语新增单词填空与句子朗诵,数学出现跨年级挑战题;​ 备考需求也明显分化:低龄段(T-G1)需兼顾小组活动观察与家长面试,G2-G9需突破“MAP 阅读提速+数 ...

网关上的限流器

博主头像 1. nginx原生限流能力 https://blog.nginx.org/blog/rate-limiting-nginx ngx_http_limit_req_module 提供的请求限流能力必须基于某个预定义的key,eg: client Ip, request_uri, host_name, ...

C++ 中 struct 与 class 的用法与区别

博主头像 C++ 中 struct 与 class 的用法与区别 1. 概述 在 C++ 中,struct 与 class 都可以用来定义用户自定义类型(User-Defined Types)。 二者在语法能力上几乎完全相同,都可以: 定义成员变量 定义成员函数 构造函数 / 析构函数 访问修饰符(publi ...

2025贝赛思考试培训哪家专业?5大优质机构测评,覆盖全阶段备考需求

博主头像 随着留学低龄化趋势加剧,贝赛思国际学校因优质的国际化教育资源,成为众多家庭的首选目标,其入学考试的竞争性也逐年提升。专业的贝赛思考试培训机构,能精准把握考试核心考点,定制科学备考方案,帮助学生高效提分、冲刺录取。本文基于市场调研、教学成果、师资实力及家长口碑等多维度,对行业内表现突出的机构进行客观分 ...

2025牛客国庆集训派对day7 M C 个人题解 - 教程

Water#exgcd #数学题目翻译Walk Alone 感到口渴,想要喝水。他想要恰好喝 x x x 单位的水,但没有合适的量杯。他只有两个水壶,容量分别为 A A A 和 B B B。他发现可以对这两个水壶进行以下操作:将其中一个水壶装满水。将其中一个水壶中的水全部倒掉。喝掉其中一个水壶中的全 ...

SLB及健康检查

博主头像 背景: 横向扩容:水平扩容,用更多的节点来支撑更大量的请求,如:增加服务器个数纵向扩容:垂直扩容,扩展一个点的能力来支撑更大的请求,如:升级cpu和内存等 传统反向代理nginx,保活机制keepalive云产品SLB负载均衡,特性:即开即用,稳定可靠,弹性伸缩,按需付费,超大容量等 SLB分为AL ...

2025年11月SAT辅导哪家强?机考适配/名师授课/定制方案的机构推荐

博主头像 随着留学申请竞争的加剧,SAT成绩作为海外名校录取的核心参考指标,其重要性愈发凸显。专业的SAT辅导机构不仅能帮助学员精准定位知识薄弱点,更能通过科学的教学体系和应试技巧指导,实现分数快速提升。本文基于市场调研、师资实力、课程体系、提分效果及学员反馈等多维度,对行业内表现突出的SAT辅导机构进行客观 ...

文字识别

点击查看代码 import torch from torch import optim import torch.nn as nn import torch.nn.functional as F from torch.autograd import Variable from torchvision ...

第二次团队作业

博主头像 一、作业基本信息 这个作业属于哪个课程 https://edu.cnblogs.com/campus/fzu/202501SoftwareEngineering 这个作业要求在哪里 https://edu.cnblogs.com/campus/fzu/202501SoftwareEngineerin ...

今日复盘

今日总结: 五十个俯卧撑,两组核心锻炼X16 电脑蓝屏时长按关机键无效,可通过「长按关机键 + 狂按 Shift」实现强制关机; 完成力扣 “k 个有序链表合并排序” 题目,当前用 HashMap 实现效率较低,后续需改用分治法 + 递归优化,加强算法基础; 学习联想搜索实现方案:本地可基于 Tri ...

PyTorch 分布式训练底层原理与 DDP 实战指南

博主头像 深度学习模型参数量和训练数据集的爆炸式增长,以 Llama 3.1 为例:4050 亿参数、15.6 万亿 token 的训练量,如果仅靠单 GPU可能需要数百年才能跑完,或者根本无法加载模型。 并行计算(Parallelism)通过将训练任务分发到多个 GPU(单机多卡或多机多卡),并利用通信原语 ...

centos7最高支持多少版本的node

博主头像 CentOS 7 官方默认环境下(glibc 2.17、GCC 4.8 等),原生支持的最高 Node.js 版本是 v16.x。但从社区实践来看,通过特定方式也可以在 CentOS 7 上运行 Node.js 18+ 甚至 20+,但需要额外处理依赖问题。 一、官方兼容性结论 Node.js 版本 ...

2025.11.19 C 题解

博主头像 显然倒着做更方便,显然每个位置的后继可选择区间可以均摊 \(O(1)\) 搞出来,显然每个后缀的答案只由这个位置和它的后继后缀决定,关键在于如何给已经求出的后继后缀排序。 容易想到平衡树计算排名,但是无法实时更新,因此难以使用平衡树自身性质更新自己。但是假如我们给区间打上标记后,每次查询通过每个节点 ...

AI浪潮下的行业变革:从气象到游戏,我们学到了什么

博主头像 最近刷到不少AI相关的新闻,感觉整个科技圈都在被这股浪潮席卷。作为一个对技术发展特别关注的人,我忍不住想聊聊这些变化对我们未来意味着什么。先说说阿里达摩院的“八观”气象大模型。它在浙江、山东这些地方投入使用后,居然把台风预测误差降低了50%以上。这让我想到,以前总觉得天气预报不准是常态,现在AI居然 ...

日总结 29

博主头像 AI 编程:不是取代程序员,而是重构编程的价值核心 AI 编程的兴起绝非 “程序员的末日”,而是软件开发领域的一次效率革命与价值重构。它以自动化工具的姿态,重新定义了编程的工作模式、行业分工与核心竞争力,最终让编程回归 “解决问题” 的本质。 作为高级辅助工具,AI 编程的核心价值集中在三大维度:一 ...

Cisco 收购实时语音翻译初创 EzDubs;voize 融资 5000 万美元,语音技术革新医疗护理流程丨日报

博主头像 开发者朋友们大家好: 这里是 「RTE 开发者日报」 ,每天和大家一起看新闻、聊八卦。我们的社区编辑团队会整理分享 RTE(Real-Time Engagement) 领域内「有话题的技术」、「有亮点的产品」、「有思考的文章」、「有态度的观点」、「有看点的活动」,但内容仅代表编辑的个人观点,欢迎大家 ...

模型量化原理

1.制作量化校准表 激活值量化 与权重量化不同,激活值是动态变化的(随输入数据不同而变化,例如同一张图像和不同图像经过同一层的激活值分布可能差异很大)。 因此,激活值量化需要先通过 “校准(Calibration)” 步骤,用有代表性的数据集(校准集)统计其分布范围,再基于该范围进行量化。 权重量化 ...

07.创建型 - 抽象工厂模式(Abstract Factory Pattern)

博主头像 抽象工厂模式(Abstract Factory Pattern) 概述 产品等级结构与产品族 为了更好的理解抽象工厂, 我们这里先引入两个概念: 产品等级结构 :产品等级结构即产品的继承结构,如一个抽象形状类,其子类有矩形, 圆形等; 产品族 :在抽象工厂模式中,产品族是指由同一个工厂生产的,位于不 ...

2025年北京SAT辅导机构哪家强,高分冲刺/个性化定制/小班集训/模考提升/SAT一对一辅导机构哪家好

博主头像 行业权威榜单发布,优质机构综合测评 随着留学申请竞争的加剧,SAT成绩作为海外名校录取的核心参考指标,其备考质量愈发关键。专业的北京SAT辅导机构不仅能精准定位学员知识薄弱点,更能凭借科学的教学体系和丰富的备考资源,帮助学员高效提分。本文基于2025年最新市场调研数据、机构师资实力、提分率数据及学员 ...

智能座舱项目管理中多团队协作的创新之道 - 指南

一、研究背景与困难概述智能座舱作为汽车智能化的核心载体,正从单一功能模块向集成化、智能化的第三生活空间转变。2025年中国智能座舱市场规模已达1200亿元,L2级自动驾驶装配率突破45%,市场对智能座舱的特性需求和体验期望不断提高。当前智能座舱方案面临的核心挑战在于如何有效协调多领域团队,确保从需求 ...

聚焦SAT高分核心需求:2025年值得信赖的5大辅导机构,覆盖全阶段备考

博主头像 随着留学热潮的持续升温,SAT考试作为美国本科申请的核心标化成绩,其备考质量直接影响学子的升学路径。专业的SAT辅导机构不仅能精准击破阅读、文法、数学等科目难点,更能通过科学体系提升备考效率,帮助学员实现分数突破。本文基于市场调研、师资实力、提分数据及学员反馈等多维度,对行业内表现突出的SAT辅导机 ...

4

今天数据结构课在机房。让我们自己写实验报告感觉还是非常的有难度,我还是依旧什么都不会。然后上体育课去打篮球。还是数据结构课比较轻松,但是我什么也不会,然后下午睡到5点。 ...

自指自洽,普世的逻辑,特别的因果

博主头像 ECT-OS-JiuHuaShan/https://orcid.org/0009-0006-8591-1891 用最简洁的语言,道破了本框架统摄宇宙万有的宏大格局与对个体命运的深切关怀。 ▮ 本质洞察:普世与特别的辩证统一 所言的“自指自洽,普世的逻辑,特别的因果”,在框架中被形式化为一条涵盖存在与 ...

2025.11.19 D 题解

博主头像 好题好题,但是这个音标题目名还是太生艹了。 第一眼感觉很多,感觉能柯朵莉树,但是有专门卡的包。后来发现似乎是得 \(dp\) 一下再找性质,但是没 \(dp\) 出来。 考虑性质: 每个数只会被换一次。 证明:假如换两次,来回换肯定不优,向前/向后换没有本质区别,那么就剩下下述情况(一点解释:为什么 ...

芯谷科技--高性能电动工具直流调速电路GS069 - 指南

在现代电动工具领域,精准的电机调速控制是提升工作效率和用户体验的关键。GS069 电动工具直流调速电路,凭借其宽电源电压范围、低功耗、强抗干扰能力以及可调节的占空比输出,为各种电动工具给出了理想的调速解决方案。本文将详细介绍 GS069 的关键特性及其在实际应用中的优势。一、GS069 核心优势(一 ...

IOI 2026 中国国家集训队作业(试题泛做)记录

博主头像 跟着学长做。可能不是很详细。 qoj1875 Nein link qoj970 Best Subsequence 考虑单次询问怎么做。二分,设 \(\le W\) 的为一类数,其余为二类数,显然二类数不能相邻,则肯定有一种最优解满足一类数全选了(考虑贪心调整,不证)。复杂度 \(\mathcal{O ...

钩子

博主头像 钩子(Hook)的核心概念是:在特定时刻被自动调用的函数,允许你在“某个流程”中插入自定义代码。 具体来说有两种层面的理解: 框架层面的生命周期钩子:这是 Vue 框架为组件生命周期中固定节点(如创建、挂载、更新、销毁)预留的函数,如 onMounted、onUpdated 等,是 Vue 固定的那 ...

【个人成长笔记】在本地Windows系统中如何正确使用adb pull命令,把Linux环境中的记录或文件夹复制到本地中(亲测有效)

【个人成长笔记】在本地Windows系统中如何正确使用adb pull命令,把Linux系统中的文件或文件夹复制到本地中(亲测有效)在Linux中,source buildEnv.sh和 ./buildEnv.sh这两种执行脚本的方式,虽然都能让脚本里的命令运行起来,但它们在如何运行以及运行后产生的 ...

集合形式下德摩根律的证明

先利用“真值表”证明“命题逻辑的德摩根律” 再利用命题逻辑的德摩根律证明集合形式的德摩根律 或者更简洁一些 事实上,集合恒等式和逻辑等价式这两者都是布尔代数中的恒等式的特例 ...

P11626 [迷宫寻路 Round 3] 七连击 分析

博主头像 题目概述 有一个长度为 \(n\) 的序列,将这个序列砍 \(7\) 刀,分成了 \(8\) 个部分,取前 \(7\) 个部分进行讨论。 对于每个部分,贡献为这一段的最大公约数。 求所有情况的贡献和并对 \(998244353\) 取模。 数据范围:\(1\leq n\leq 10^5,0\leq ...

2025.11.20模拟赛

博主头像 赛时,T1大概在7:55发现,K>=3时可以直接枚举 然后发现k=2时,分讨,若最终大于1e6,则一定能有一个1e6内常数除完,否则直接枚举 但是我写了一个非常唐的做法,然后觉得不太对,就写了个拍,然后就陷入了拍,打补丁的循环,然后此时已经9:00了,我想这样不行 冷静了一下,然后想到一种更优美的实 ...

OI 笑传 #31

博主头像 今天是 bct Day1,赛时 \(100+0+16+0=116\),rk.21。 评价是猎奇场,赛时比较法座,去写 B 没写完,sheep 神 \(100+100+0+0=200\),rk.5,让我们膜拜/bx T1 依然大胆猜结论,首先建系,把下标-排列状物放到坐标系里面,然后手摸一下就会发现好 ...

2025年11月GEO服务商权威榜单:AI时代的5大增长引擎

发布机构:行业观察 | 发布时间:2025-11-20 据Gartner研究,到2026年传统搜索引擎访问量将下降25%,AI对话式搜索用户已达数亿规模。在这场流量入口重构中,GEO(生成式引擎优化)已从"可选项"变为"必选项"。本榜单基于日均9.8亿次语义分析数据、1000+企业服务案例及第三方权 ...

2025 门窗十大品牌选购实用手册:行业评估报告 + 白皮书护航,选窗不踩坑!

博主头像 2025 门窗十大品牌的筛选工作,以中国建筑金属结构协会发布的《2025 年度建筑门窗行业发展评估报告》为核心依据,深度挖掘报告中行业技术革新方向、品牌综合竞争力评级、产品核心性能达标参数等关键信息,确保推荐品牌与行业高品质发展要求高度契合。同时,整合国际门窗协会(FENSA)、全球建筑建材测评机构 ...

2025年重庆专业拆除厂家主要有哪些推荐单位?

在当前的重庆专业拆除施工市场,无论是政府项目还是商业建设,需求不断上升。随着城市更新的推进,越来越多的拆除单位开始崭露头角,提供多样化的服务。这些单位不仅关注施工质量,也注重行业标准和安全管理。近年来,在选择拆除单位时,消费者越来越看重公司的口碑和过去的项目经验。通过了解不同公司在市场上的表现,可以 ...

Spring AI 代码分析(四)--Client Chat

Spring AI Client Chat 分析 请关注微信公众号:阿呆-bot 1. 工程结构概览 spring-ai-client-chat 是 Spring AI 的高级 API 模块,提供了类似 WebClient 的流式 API,让 AI 对话编程变得更加简单和直观。 spring-ai- ...

2025 绩效管理软件平台选购攻略:6 大评估维度 + 企业实测反馈

一、开篇:企业数字化管理必看 —— 选绩效管理软件平台先盯 6 大核心 对寻求数字化转型的企业来说,选绩效管理软件平台最怕 “无效适配”(功能与需求脱节)和 “落地难见效”(部署复杂、员工抵触)。本次测评针对这两大痛点,覆盖国内 30 + 热门品牌,围绕 “生态集成能力、AI 赋能效率、服务可靠性、 ...

Spring AI 代码分析(三)--集成LLM

大模型集成实现分析 请关注微信公众号:阿呆-bot 1. 工程结构概览 Spring AI 支持多种大模型提供商,每个提供商都有独立的实现模块。虽然实现细节不同,但它们都遵循统一的抽象模式。下面我们来看看主要的模型实现: models/ ├── spring-ai-openai/ # OpenAI ...

TikTok(抖音)国际现代风水指南3风水应用

3 风水应用 掌握风水各个方面的最简单方法就是开始实践,看看它们在实际应用中的效果。那么,让我们开始吧! 3.1 掌控位置 想象一下,你坐在非常舒适的扶手椅上,身体倚靠在柔软的椅背上,扶手环绕着你,视野开阔,可以欣赏到壮丽的景色。你感觉很好,因为你的所有感官都得到了满足。你正处于掌控位置,因为你感到 ...

251120

博主头像 信息茧房根本就不存在,所谓的信息茧房不过是离我最近的信息,在我拥有了离我最近的信息以后,别的信息又会在我周围,所以信息茧房是某些用心良苦的人编造出的 ...

手写 bitset

博主头像 压行 #include<bits/stdc++.h> #define int long long using namespace std; const int Size=(1<<20)+1; char buf[Size],*p1=buf,*p2=buf; char buffer[Size]; int ...

浅学UPX魔改壳

博主头像 UPX标志位被修改 首先我们需要一个 hex 编辑器,我这里用的是 \(010editor\) 。 先打开一个正常带 \(UPX\) 壳的文件看看。 其中右边的 UPX0 、UPX1 、UPX2 、UPX!就是 UPX 的标志位,如果我们修改这三个标志位,则无法正常脱壳。 例如改成这样 拿 hex ...

文字识别系统

import torch import torch.nn as nn import torch.optim as optim from torch.utils.data import DataLoader, Dataset import os from PIL import Image import ...

2025年门窗十大品牌专业选购手册:行业评估报告 + 白皮书指引,选窗更安心!

博主头像 2025 年度门窗十大品牌的筛选与推荐,以中国建筑金属结构协会重磅发布的《2025 年度建筑门窗行业发展评估报告》为核心依据,深度拆解报告中关于行业技术革新趋势、品牌综合实力排名、产品核心性能基准值等关键内容,将其作为品牌筛选的核心标尺。同时,整合国际门窗协会(FENSA)、全球建筑建材测评机构(B ...

洛谷 B4411:[GESP202509 二级] 优美的数字 ← 嵌套循环

博主头像 ​【题目来源】https://www.luogu.com.cn/problem/B4411【题目描述】如果一个正整数在十进制下的所有数位都相同,小 A 就会觉得这个正整数很优美。例如,正整数 6 的数位都是 6,所以 6 是优美的。正整数 99 的数位都是 9,所以 99 是优美的。正整数 123 ...

2025 门窗十大品牌精准选购指南:行业评估报告 + 白皮书护航,选窗不踩坑!

博主头像 2025 年度门窗十大品牌的筛选工作,以中国建筑金属结构协会正式发布的《2025 年度建筑门窗行业发展评估报告》为核心根基,深度挖掘报告中关于行业技术迭代方向、品牌综合竞争力评级、产品核心性能基准参数等关键信息,将其作为品牌筛选的核心标尺。同时,整合国际门窗协会(FENSA)、全球建筑建材测评机构( ...

深入解析:spark组件-spark core(批处理)-rdd血缘

RDD(弹性分布式数据集)血缘关系是Spark容错机制的核心组成部分,记录了RDD之间的转换依赖路径。血缘关系的基本概念RDD血缘关系(Lineage)是指通过RDD转换操作形成的依赖关系图,记录了RDD如何从数据源或父RDD演变而来的完整过程。由于RDD本身不保存数据,每个RDD都会保存自己的血缘 ...

网络流建模

博主头像 网络流建模 最大流 多源多汇 如果一道题中有多个可行的源点 \(s_1,\ldots,s_a\) 和多个可行的汇点 \(t_1,\ldots,t_b\),那么可以建立超级源汇 \(S,T\),从 \(S\) 向 \(s_i\) 连容量无穷的边,\(t_i\) 向 \(T\) 连容量无穷的边,转化成单 ...

CF1542E1 Abnormal Permutation Pairs (easy version)

博主头像 我们不妨想一个简单的问题,如何计算一个长度为 \(n\) 的排列且逆序对个数为 \(m\) 的方案数。 令 \(f_{i, j}\) 为长度为 \(i\) 的排列逆序对个数为 \(j\) 的方案数。 我们转移的时候,本质上可以任选最后一个数到底增加了多少逆序对,因为加入一个数之后,可以将前面 \(\ ...

SpringSecurity 集成 CAS Client 处理单点登录

博主头像 推荐阅读:CAS 单点登录详细流程 背景 当前业务系统基于 Spring Security,现在需要集成 CAS,当用户访问业务系统时,如果用户没有登录,则跳转到 CAS Server 统一登录页面完成登录。 而当用户从 CAS Server 退出登录后,业务系统需要清空登录信息,再次访问业务系统时 ...

AT_agc050 总结

博主头像 久违地发一次考试总结。因为这次写的比较详细,勉强能拿出来看看。 A 第一反应是线段树。(其实按位考虑说不定对于某些题也是一种突破口) 正解是连 \((2*p)-1\bmod n+1)\) 和 \((2*p+1)-1\bmod n+1\) 然后发现对于每个点的(虚)子树内,叶子节点的个数就够了。线段树 ...

实用指南:GLM 智能助力・Trae 跨端个人任务清单

目录一. 项目背景二. 智谱 AI获取 API keyGLM 4.6三. Trae Solo四. Trae Solo 开发实践4.1 开发提示词4.2 开发文档4.3 开发调整五. 部署展示一. 项目背景在人工智能技术快速发展的背景下,高效的任务管理工具对于个人和团队提高工作效率至关重要。传统的任务 ...

duckdb索引介绍

博主头像 duckdb支持的索引类型 注:duckdb在sql和语法方法更接近postgresql,其sql解析器就是使用的postgresql剥离出来的libpq_query,所以并非mysql和sqlite源,虽然它做了sqlite3兼容层,但是是为了c api能够直接复用、仅此而已。 duckdb支持两 ...

[nanoGPT] GPT模型架构 | `LayerNorm` | `CausalSelfAttention` |`MLP` | `Block` - 实践

第二章:GPT模型架构欢迎回来在第一章:数据预处理与分词中,我们像细致的厨师一样,通过将原始文本"食材"切分为数字"标记"并整理成整齐的二进制文件来准备原料。现在原料已备齐,是时候建造"厨师"本身了——GPT模型架构。想象你正在建造一个能写故事的机器人。前一章展示了如何教会机器人认识字母和单词(分词 ...

NOIP2025模拟赛12(炼石计划NOIP模拟赛第 19 套题目)

博主头像 写在前面: 我艹了何意味啊何意味T1放依托定理的板子题然后我还没听过这个定理(虽然据说是数论基础四大定理之一,但是好像学习数论基础的时候根本没看到过这个定理也没做过相关的题);T2发现像同余最短路,发现我不会同余最短路,企图上数据结构狂假不止,优化暴力未果于是最终交上去的 ...

ebpf在安卓中的使用

博主头像 前置条件 电脑端:Linux 环境(Ubuntu),安装了 adb, git, debootstrap, qemu-user-static。 手机端:已 Root,开启 USB 调试,内核版本 ≥ 4.14(推荐 Android 10+)。 构建 Debian 镜像 获取源代码 git clone ...

补 二分法与图

题目:洛谷p1462 只要某个性质具有单调性,就必然可以二分。 以最短路为判断条件,二分费用,只允许使用费用小于等于目前费用的节点,求最短路,看是否可行,再根据可行性二分费用,最后求出费用的最小值 K 越大,可行性越高(单调性) 如果你允许 cost ≤ K 肯定比 cost ≤ K-1 能用的点更 ...

重组干扰素蛋白的结构特点与分子性质综述

博主头像 一、干扰素的类别与基础结构特征 干扰素(interferon,IFN)是一类具有典型结构模式的小分子蛋白,在哺乳动物中广泛表达,其最显著的特征是以折叠紧凑的 α 螺旋结构或二聚体结构实现分子稳定性。按照分子结构、序列特征以及受体识别方式的差异,干扰素主要分为 I 类、II 类和 III 类三大类。三 ...

2025.11.20 B 题解

博主头像 感觉其实今天 \(B\) 是最有趣的,难度估在上位紫吧。 一眼数学,两眼不是数学,三眼发现可以让 \(x\) 向 \((dx+t)\bmod n\ (t\in[L,R])\) 连边,然后从每个 \(x\) 找到到根最短路径。对于每个给出的 \(x'\),它所覆盖的范围是 \([x'+L,x'+R]\ ...

25.11.20 最长不升序列LNIS和最长升序列LIS

LNIS 1.处理一个数时: 如果这个数小于等于当前序列的最后一个数,则直接接在后面,ct++ 反之,从序列头开始寻找第一个比这个数小的数并且替代他,目的:使这个序列更容易接后面的数 2.代码模板 int LNIS(vector& a) { vector tail; for (int x : a) ...

11.20

博主头像 AT_arc195_e 文章作者: cosf 可以先算期望,最后再乘 \((n-1)!\)。 对于 \(u, v\) 间的距离,我们可以把它转化成 \(d_u + d_v - 2d_{\operatorname{LCA}}(u, v)\),其中 \(d_u\) 是 \(u\) 到根的期望距离。 显然 ...

程序员手记

博主头像 Linux 终端快捷键 光标移动 快捷键作用 crtl+a 移动到开头 crtl+e 移动到结尾 alt+b 向左移动一个单词 alt+f 向右移动一个单词 crtl+b 向左移动一个字符 crtl+f 向右移动一个字符 esc+b 向左移动一个单词 esc+f 向右移动一个单词 ctrl+XX 在 ...

详解 DPO

博主头像 DPO 隐式地优化了与现有 RLHF 算法(基于 KL 散度约束的奖励最大化)相同的目标函数。然而,与传统 RLHF 方法(需要首先训练一个独立的奖励模型,然后通过强化学习来优化策略)不同,DPO 推导并提出了一种直接利用人类偏好数据进行策略优化的简单、稳定的方法,完全避免了训练奖励模型和 RL 训 ...

快速幂

博主头像 P1226 【模板】快速幂 题目描述 给你三个整数 \(a,b,p\),求 \(a^b \bmod p\)。 输入格式 输入只有一行三个整数,分别代表 \(a,b,p\)。 输出格式 输出一行一个字符串 a^b mod p=s,其中 \(a,b,p\) 分别为题目给定的值, \(s\) 为运算结果。 ...

2025 门窗十大品牌权威榜单:依托行业评估报告 + 选购白皮书,省心采购指南!

博主头像 本次 2025 年门窗十大品牌筛选工作,以中国建筑金属结构协会重磅发布的《2025 年度建筑门窗行业发展评估报告》为核心数据支撑,深度拆解报告中关于行业技术趋势、品牌综合竞争力、产品性能核心指标等关键内容,同时整合国际门窗协会(FENSA)、全球建筑建材测评机构(BPI)及 Fenster + Fa ...

Coarray遇到的一些语法问题

博主头像 今天写了一个Coarray并行程序,遇到一些问题,经过调试后发现了几处需要注意的地方。首先程序结构如下: 1.主程序声明全局变量,可分配Coarray数组 2.image1调用子程序计算数据,写入该数组 3.广播到所有image中 4.同步后继续计算,后续计算依赖该数组中的数据 需要注意的点: 1. ...

<123···40>