Nocturne Research Archive

Blog

筛选
Agent Orchestration

Agent Orchestration

Agent Orchestration 是整个 Agent 领域中的重要一环,我们推出了 Cantilune 项目,旨在为 Agent Orchestraion 提供更好的自主性、观测性、稳定性与长程可执行性。

2026/08/14 45 分钟
Lean4 and Formal Verification

Lean4 and Formal Verification

Lean 是微软研究院在 2013 年推出的计算机定理证明器。Lean 4 于 2021 年发布,为 Lean 定理证明器的重新实现,能够生成 C 代码后进行编译,以便开发高效的特定领域自动化。其兼具数学和编程两方面的特性,数学家可以将数学定理转换成代码,并严格验证这些定理的正确性;也具有依赖类型的严格的纯函数式语言性质。

2026/07/24 1 分钟
本体工程:如何呈现 (Ontology Engineering: How to present)

本体工程:如何呈现 (Ontology Engineering: How to present)

这一章讲讲 Palantir 的表现方式,包括对象浏览器、对象检测器、对象视图、本体管理器、顶点(产品,Vertex)、机械(产品,Machinary)、铸造厂(产品,Foundry)规则、地图、动态调度。

2026/07/23 19 分钟
ETL (Extraction-Transform-Load)

ETL (Extraction-Transform-Load)

ETL,Extract-Transform-Load的缩写,是将业务系统的数据经过抽取、清洗转换之后加载到数据仓库的过程。

2026/07/22 7 分钟
本体工程:深入本体构建 (Ontology Engineering: Deepdive into Ontology Construction)

本体工程:深入本体构建 (Ontology Engineering: Deepdive into Ontology Construction)

本体论是一种用于存储本体资源或实体的工具,包含对象类型、链接类型、操作类型、接口/界面、共有属性和对象类型组等。我们将这些资源称为本体资源。本体可以是私有的,仅属于一个组织,也可以在多個组织之间共享。

2026/07/21 83 分钟
本体工程:本体论 (Ontology Engineering: Ontology)

本体工程:本体论 (Ontology Engineering: Ontology)

本体工程(Ontology Engineering)是知识表示与本体构建的系统化方法论,主要关注如何在人工智能和语义网领域中设计、实现和维护高质量的本体。它涉及多种技术与理论,包括一阶逻辑、描述逻辑、统计关系学习等,用于建立领域知识的结构化表示。

2026/07/20 10 分钟
本体工程:初识本体的构建 (Ontology Engineering: First Time View of Ontology building)

本体工程:初识本体的构建 (Ontology Engineering: First Time View of Ontology building)

Palantir 本体是该组织的一个操作层。该本体位于集成到 Palantir 平台中的各种数字资产之上(如数据集、虚拟表、模型等),并将这些资产与现实世界中的实体进行连接——从物理资产如工厂、设备、产品,到概念如客户订单或金融交易等。在许多场景中,该本体充当了组织的数字孪生体,包含了实现各类应用场景所需的语义元素(对象、属性、链接)以及动态元素(操作、功能、动态安全机制)。

2026/07/20 41 分钟
Google 软件工程-风格指南与规则

Google 软件工程-风格指南与规则

在进行软件开发的流程中,设置和持续维护一套风格指南与规则,用于指导开发至关重要。

2026/03/18 5 分钟
Google 软件工程-团队领导与生产力度量

Google 软件工程-团队领导与生产力度量

在进行多人协作的过程中,需要发挥良好的团队领导才能并合理度量生产力,尽可能地用合理的方式解决问题。

2026/03/11 13 分钟
Google 软件工程-团队合作与知识管理

Google 软件工程-团队合作与知识管理

在进行项目时,如何更好地参与团队合作与进行知识管理,是一个值得思考的问题。

2026/03/04 6 分钟
Google 软件工程-序言

Google 软件工程-序言

软件工程重点考虑时间、规模和权衡。书中提出的海勒姆定律和碧昂斯规则都是值得反复思考和品味的重要原则。书中提出的经典案例也引人深思。

2026/03/02 3 分钟
讨论:从《DeepSeek-R1 通过强化学习激励LLM中的推理》开始

讨论:从《DeepSeek-R1 通过强化学习激励LLM中的推理》开始

关键观点:LLM 的推理能力可以通过纯强化学习 (RL) 来激励,从而无需人工标记的推理轨迹

2025/09/23 1 分钟
《图论导论》平面图

《图论导论》平面图

平面图(Planar Graph)的基本知识 平面图(planar graph)的定义:平面图是指不存在交叉(crossing)、能被完整体现在平面(draw in the plain)上的图。 瓦格勒(Wagner,1936)-珐里定理(Fáry,194

2025/09/21 8 分钟
本体工程

本体工程

本体工程基础 本体工程的定义与演变 本体工程的定义 本体工程的概念今年来在不断演变,其侧重可以概括为以下几点: 专业术语、概念、命名法 实体关系 概念辨别、定义修正、关系优化 其逐渐从宽泛类属和术语定义转向了更为严谨的从属和逻辑关系。

2025/09/19 6 分钟
机器学习与算法交易(五): 无监督学习及相关技术应用

机器学习与算法交易(五): 无监督学习及相关技术应用

⽆监督学习实现数据驱动的⻛险因⼦和资产配置 ⽆监督学习通过学习⼀种信息丰富的数据表示,帮助探索新数据、发现有⽤的⻅解或更有效地解决其他任务。降维和聚类是⽆监督学习的主要任务。 维度灾难 由距离公式:

2025/08/18 21 分钟
机器学习与算法交易(六): 深度学习技术及其在算法交易的应用

机器学习与算法交易(六): 深度学习技术及其在算法交易的应用

用于交易的深度学习 作为表征学习的深度学习 许多⼈⼯智能任务,如图像或语⾳识别,都需要关于世界的知识。其中⼀个关键挑战是如何对这些知识进⾏编码,以便计算机能够利⽤它们。⼏⼗年来,开发机器学习系统需要⼤量的领域专业知识,才能将原始数据(如图像像素)转换为学习算法可以⽤来

2025/08/18 20 分钟
因子专题:Alpha因子分析

因子专题:Alpha因子分析

Alpha 类型分类总览 均值回归型(Mean-Reversion Alpha) alpha 的方向与其所基于的回报方向相反——例如当价格上涨时做空,价格下跌时做多,预期价格将“回归”。示例如下:

2025/08/18 26 分钟
机器学习与算法交易(四): 更复杂的机器学习与量化模型

机器学习与算法交易(四): 更复杂的机器学习与量化模型

⽤于波动率预测和统计套利的时间序列模型 本部分,我们将构建动态线性模型,以明确表示时间,并纳⼊在特定时间间隔或滞后期观测到的变量。时间序列数据的⼀个关键特征是其序列顺序:我们的数据不是像横截⾯数据那样的单个观测值的随机样本,⽽是⼀个我们⽆法重复的随机过程的单次实现。我们的⽬

2025/08/13 23 分钟
前端开发整理(五): Vue框架的组件通信和全局状态管理

前端开发整理(五): Vue框架的组件通信和全局状态管理

组件间通信 父子组件通信 父子组件通信是指,B 组件引入到 A 组件里渲染,此时 A 是 B 的父级;B 组件的一些数据需要从 A 组件拿,B 组件有时也要告知 A 组件一些数据变化情况;Child.vue 是直接挂载在 Father.vue 下面的。

2025/08/12 77 分钟
机器学习与算法交易(三): 机器学习与因子分析交易流程

机器学习与算法交易(三): 机器学习与因子分析交易流程

机器学习流程 为任务匹配算法 不同算法的假设空间⼤⼩差异显著。⼀⽅⾯,这种限制使得成功的搜索成为可能;另⼀⽅⾯,它也意味着⼀种归纳偏⻅,当算法从训练样本泛化到新数据时,可能会导致性能不佳。因此,关键的挑战在于如何选择⼀个模型,其假设空间既要⼤到⾜以包含学习问题的解决⽅

2025/08/11 33 分钟
前端开发整理(四): Vue框架的路由和插件

前端开发整理(四): Vue框架的路由和插件

路由的使用 路由的目录结构 Vue3的路由管理在的目录下: index.ts 是路由的入口文件,如果路由很少,那么可以只维护在这个文件里;项目稍微复杂时,可以拆出两个文件index.ts 和 routes.ts ,在 routes.ts 里维护路由树的结

2025/08/11 90 分钟
前端开发整理(三): Vue框架的脚手架配置与单组件编写

前端开发整理(三): Vue框架的脚手架配置与单组件编写

Vue3的脚手架构建 Vue的安装与模板创建 vue的安装与简单的模板创建方式如下: 使用Vite创建项目 创建Vite项目的方式包括Create Vite、Create Vue、Create Preset三种: 不论使用上方哪种方式

2025/08/08 71 分钟
机器学习与算法交易(二): 金融特征工程与简单量化交易

机器学习与算法交易(二): 金融特征工程与简单量化交易

金融特征工程——α因子研究 算法交易策略由信号驱动,这些信号指示何时买卖资产,以期获得相对于基准(如指数)的超额回报。资产回报中⽆法由该基准⻛险敞⼝解释的部分被称为阿尔法(alpha),因此,旨在产⽣此类⾮相关回报的信号也被称为阿尔法因⼦。数⼗年的研究积累了⼤量关于市场运作

2025/08/07 33 分钟
前端开发整理(二): TypeScript语言

前端开发整理(二): TypeScript语言

TypeScript简介和需求原因 TypeScript 简称 TS ,是在 JavaScript 的基础上增加了一套类型系统,它支持所有的 JS 语句,为工程化开发而生,最终在编译的时候去掉类型和特有的语法,生成 JS 代码。 对于下述JavaScript代码:

2025/08/07 33 分钟
自动化特征工程(AutoFE)

自动化特征工程(AutoFE)

特征工程(FE)的数学表达与自动化特征工程基本框架。

2025/08/05 1 分钟
机器学习与算法交易(一): 发展历史与数据

机器学习与算法交易(一): 发展历史与数据

机器学习在算法交易中的发展潮流 量化投资与因子制取方法的发展 随着交易不断的高频化和隐藏化,为了在混乱的交易中脱颖而出,则需要研究更加优秀的算法;同时,由于交易和风险紧密相连,风险因子的探究也变得愈发重要,从单因子逐渐演变为了双因子。 在重视程度方面,基本面投资

2025/08/05 16 分钟
前端开发整理(一): 前端工程化及准备

前端开发整理(一): 前端工程化及准备

前端工程化 前端工程化需要遵循的一些规范 前端工程化代码的常用结构: 在写属性时,尽可能一个属性占一行;同时对多种正确的语法方式要确定一种作为标准 Vue.js与工程化 Vue 的编程方式被称为 “数据驱动” 编程,通过操作虚拟 DOM (

2025/08/05 53 分钟
赞哦校园集市分析助手

赞哦校园集市分析助手

总览 2024年暑假,本人计划开始构建一个能智能提取、分类的校园集市助手,可惜当时技术和时间有限,在随便完成爬取后就匆匆作罢;2025年暑假,因为多了一年的历练和实习等原因,技术力具有一定提升,因此决定重拾去年未竟之事,做一个初步完整的项目构建,完成了除前端页面外的其它内容

2025/07/24 100 分钟
资源整理

资源整理

LLM与数据科学领域 专用任务LLM(如命名实体识别、向量化等)

2025/07/21 5 分钟
《图论导论》树

《图论导论》树

树的性质 树的简洁定义:一个无环连通图就是树,其是最简单的非平凡图类型 平凡图 平凡图指只有一个顶点且没有边的图,非平凡图至少有两个顶点和一条边。 树的性质一 记具有n个节点的图为T,则有以下论断等效: (i) T是

2025/07/19 7 分钟
强化学习(reinforcement learning)

强化学习(reinforcement learning)

强化学习的数学基础 基本概念 强化学习的基础概名词 状态(State):表示当下环境,是做决策的唯一依据 动作(Action):做出的决策,动作种数一般用ii表示 环境(Environment):使智能体不断变换状态的位

2025/07/18 25 分钟
统计关系学习(Statistical relational learning)

统计关系学习(Statistical relational learning)

统计关系学习(Statistical Relational Learning, SRL)是人工智能与机器学习的一个子领域,专注于既具备不确定性(可通过统计方法处理),又具有复杂关系结构的领域模型。通常,SRL 中开发的知识表示形式会使用一阶逻辑(的一部分)来以通用方式(普遍量化)

2025/07/16 72 分钟
《图论导论》路径和环

《图论导论》路径和环

连通性前置知识 游走(walk):从v0v_0到vmv_m的过程,写作 v0→...→vmv_0 \to ... \to v_m 起始节点(initial vertex) 末端节点(final vertex) 游走长度(walk):从

2025/07/11 15 分钟
《图论导论》前言与导论

《图论导论》前言与导论

书籍内容分布 该书一共可分为四个部分: 第1-3章:基础知识,包括图、有向图、连通性、欧拉和哈密顿路径、循环、树 第4-5章:平面和着色,重点介绍四色定理 第6章:横向理论和连通性 第7章:拟阵 图(grap

2025/07/08 1 分钟
《图论导论》定义与案例

《图论导论》定义与案例

图的定义与基础概念 图的组成:节点集V(G),边集E(G) 图的重构(Isomophism) 图的重构可以采用如下的数学逻辑描述:

2025/07/08 10 分钟