哥德尔不完备定理，就是哥德尔不完蛋定理，鸡生蛋，蛋生鸡，生生不息
ECT-OS-JiuHuaShan/https://orcid.org/0009-0006-8591-1891 “哥德尔不完备定理，就是哥德尔不完蛋定理，鸡生蛋，蛋生鸡，生生不息” 是一次充满东方智慧的、对数学基础论题的终极超越与诗意重构。这并非否定哥德尔，而是将其定理从逻辑的“终结者”升华为宇宙生 ...
DotMemory系列：5. 如何实现自动化抓取和应用自托管
一：背景 1. 讲故事 前面几篇我们都是手工安装 dotmemory 软件，然后在程序的合适时机抓取snapshot，这种方式在绝大多数场景下都没有问题，但在一些精细化的场景下，如果能够实现自动化抓取，那就比较了，这篇我们就来聊一聊这玩意。 二：如何实现自动化抓取 1. 测试代码 所谓的自动 ...
随机爬树题解
随机爬树题解 题目传送门 更好的阅读体验 \(n^2\) 暴力： 思路： 求期望，即求所有点的权值乘上概率后的和，即： \[ans=\sum_{u \in V}{P_u a_u} \] 求每个点的概率 \(P_u\) ： 由题，令走到父亲的概率为 \(P_f\)，走到儿子 \(s\) 的概率则为 \ ...
opentelemetry全链路初探--jaeger架构拆分
前言 jaeger的架构演变 在之前的描述中，一直使用jaeger:all-in-one来做数据存储与展示，jaeger:all-in-one就是将collector、query、ui、storage等等功能的大杂烩，在调试与测试环境中，非常方便，但是在生产环境肯定是不能这样用，本节就来 将其拆分成 ...
工作中最常用的6种API网关
前言 API网关在项目中非常重要。 今天这篇文章跟大家一起聊聊工作最常用的6种网关，希望对你会有所帮助。 一、为什么需要API网关？ 有些小伙伴在工作中可能会问：我们的系统直接调用微服务不是更简单吗？ 为什么非要引入API网关这个"中间商"呢？ 让我们先来看一个实际的例子。 没有网关的微服务困境 / ...
如何测试低概率BUG，例如万分之一的概率问题？
“假设一个功能有万分之一的概率出现异常，你该怎么测试这个低概率事件？” 相信不少测试工程师在面试中都被问过类似的问题。初听之下，这个问题似乎有些“刁钻”——万分之一的概率意味着常规测试中可能跑上几千次都未必能碰到一次，难道真要靠“愚公移山”式的反复执行用例来碰运气吗？ 其实，这个问题恰恰考察的是测试 ...
蓝牙基础(七)：蓝牙协议栈的多路复用与数据调度中心 —— L2CAP（蓝牙逻辑链路控制与适配协议）
liwen01 2025.11.08 前言 我们简单分析这样的一个应用场景：一个智能手表和一副蓝牙耳机，它们通过蓝牙都连接到了一个手机上。 智能手表 需要的功能有： 实时显示手机来电/消息提醒（低延迟信号传输） 同步健康数据（如心率、步数、睡眠等） 播放控制音乐（音频控制命令） 手表固件升级（OTA ...
节省 60% Token 的新数据格式「GitHub 热点速览」
我最近琐事缠身，连续好几周没发「GitHub 热点速览」了，这样不行得赶紧续上。 首先映入眼帘的是可节省 60% Token 的新数据序列化格式 TOON，其官方开源的 TypeScript 实现在 GitHub 上一周便斩获了 3.5k Star，而且热度还在持续上涨。Snapchat 团队开源的 ...
20251103 - Balancer 攻击事件：还是 batchSwap，还是价格操纵+精度丢失
攻击背景介绍 2025.11.03，Balancer V2 的 可组合稳定池（Composable Stable Pools）遭到了黑客攻击，攻击者首先通过 batchSwap 操作用 BPT 兑换出大量 WETH 和 osETH（大幅度移除 Pool 中的流动性），然后通过精度丢失问题减少 Poo ...
MySQL EXPLAIN中的key_len：精准掌握索引使用情况
深入解析MySQL执行计划中最关键的指标之一，助你快速定位索引优化点，提升查询性能！同时介绍了key_len计算的核心规则。 ...
九成九新自用C#入门文档
C#九成九新个人用入门指南 前言 如果你是第一次学习编程，那么，可能会非常困难，如果你曾经学过面向对象的编程语言，那么可能会非常轻松 C：你干脆直接提我名字得了吧 在我们正式学习之前，我需要讲几个比较基础的知识 1. 高级语言，低级语言，强类型，弱类型 高级语言和低级语言，这两个概念对初学者来会非常 ...
Longest Palindromic Substring最长回文子串-学习动态规划Dynamic Programming(DP)
通过 leetcode 5的查找Longest Palindromic Substring最长回文子串，来学习一下动态规划。 动态规划的核心是能把当前问题分解成已经有的更小的问题，然后直到这个问题有一个常数答案，并且这个分解过程有一个固定模式。 所以最终目的就是寻找 1. 固定的分解模式 2.常数答 ...
MAF快速入门（1）化繁为简的Agent创建范式
MAF（Microsoft Agent Framwork）已经出来有一段时间，最近看到它的commit比较频繁，估计是为了在.NET Conf 2025发布1.0.0的正式版。预览版也并不妨碍我们的学习，那么从今天开始，我们就通过微软官方学习文档来一起进入MAF的世界吧。 ...
使用 LLM + Atlassian MCP 1小时生成年终总结
使用 LLM + Atlassian MCP 1小时生成年终总结 一、引言：年终总结的痛点 每到年底，技术人员都需要编写年终总结。这个过程通常面临以下挑战： 耗时耗力：人工梳理一年来的数十甚至上百个JIRA任务需要数小时到数天 信息遗漏：容易忘记某些重要项目或技术细节 缺乏量化数据：难以准确统计完成 ...
个人问题总结：JavaBoy第一个正式参与的实际项目
第一个有自己负责模块的项目接近尾声，总结一下自己在这个项目中产生的问题，希望以后减少、不会再犯此类错误。 项目分为java语言开发的web端与python语言开发的app端，后端与后端之间通过openFeign通信，此次开发我主要负责后端代码。 下面我以一个学生管理系统为例，记录一下本次开发遇到的不 ...
AI自动化神器N8N，保姆级安装教程，小白也能5分钟搞定（建议收藏）
大家好，我是汤师爷，AI智能体架构师，致力于帮助100W人用智能体创富~ n8n最近非常火爆，很多人都在用它来搭建自动化工作流。 作为一个开源的自动化工具，它不仅功能强大，而且完全免费，这让它迅速成为了自动化领域的热门选择。 今天把完整的部署教程分享给你，保证小白也能看懂。 什么是N8N？ 简单说， ...
Frida Hook Android手册
Frida Hook Android手册 write by ppl on 2025/4 Frida的安装与配置 网上教程一大堆，略 连接 Android 设备 运行Frida服务端 $> adb shell su cd /data/local/tmp ./frida-server 进行端口转发 ...
身份认证状态的存储与传递( Spring Boot篇 )
Spring Boot 登录信息获取机制摘要 Spring Boot 中浏览器获取登录信息的核心是通过身份凭证的存储与验证实现的，主要包括两种主流方案： Session+Cookie方案（经典方式） 服务端创建Session存储用户信息，生成唯一JSESSIONID 通过Set-Cookie响应头将... ...
是时候从 MySQL 转到 PostgreSQL 18 了
数据库技术革新的浪潮中，PostgreSQL 18 的发布标志着关系型数据库进入了新的时代，它不仅在性能上实现质的飞跃，更为开发者的工作效率带来了巨大提升。
- 性能优势：面对海量数据具备更好的性能和更多的优化手段。
- 可扩展性：丰富的索引类型、强大的分区表和扩展生态系统，满足各种业务场景。
-... ...
