瞬时极限性WebApp实验室:无限接近如何被“看见”

在微积分的世界里,最深刻的思想往往隐藏在最短暂的瞬间。当时间趋近于零、距离无限缩小、分割不断细化时,一个充满连续性与变化性的数学宇宙逐渐显现。导数诞生于割线向切线逼近的瞬间,积分形成于无数微小面积不断累积的过程,而极限则是连接有限与无限、离散与连续的核心桥梁。然而,这些过程往往被压缩成静态公式,难以 ...

高精度算法

博主头像 一、为什么需要高精度运算 普通的整数类型(int、long long)都有固定的取值范围,例如64位 long long 最大只能存储约 9×10¹⁸ 的数值。当我们需要处理几十位、上百位甚至更长的大整数时(比如大数阶乘、密码学计算、超长数值运算等场景),内置类型会发生溢出,无法正确存储和计算。高精 ...

GitHub Actions + 阿里云 OSS:OIDC 免密同步构建产物

背景 最近在开发一个面向知识工作者的一体化创作系统 Molio,这个是一个桌面应用,需要打包安装。但是有个蛋疼的问题,Molio 的安装包通过 GitHub Releases 分发,国内用户下载不稳定,自动更新也稳定。后边想提供一个阿里云 oss 的策略,供用户下载。所以呢,我在 CI 流程中加了一 ...

编写高质量 Skill 系列 -- 如何设计需求分析与用例生成的 SKILL

博主头像 开篇 本篇内容其实在之前讲解如何设计知识库的文章中也有所涉及,事实上大部分 SKILL 的效果好坏,很大程度上取决于知识库是否完善和精准。下面咱们进入正题。 「需求评审」和「手工用例生成」的知识库要如何构建 下面先展示一下需求评审的多 SKILL 串联的工作流结构 需求评审:req-review(主 ...

分享一些程序员很棘手但是却又简单的工具

博主头像 这个问题很复杂,其实也很简单,比如用某包生成的图,去除或统一背景,可以到网上搜索在线抠图或图片切片,下面分享的这些工具完全免费,绝不弄虚作假 必经是自己做的,方便大家! 第一个 设计图切成碎片 原图 上传后就自动帮你切图了 我也试试 链接 https://www.noplay.top/image-c ...

我用 Codex 做周报自动化,第一件事是防止它胡写

博主头像 时间都去哪儿了? 我每周最烦的时间点,基本就是写周报。 前阵子我粗略算了一下,过去 3 个月我光是手写 prompt、翻记录、拼周报,差不多花了 12 个小时。平均下来,每周 50 分钟左右。这里面写字的时间其实不多,大头都花在找材料上:翻 GitHub,看这周提交了什么;翻 Jira,看哪些 ti ...

帧延迟 与 接口线速度 为什么cxp cof bitrate在持续提高

博主头像 帧延迟视角下的机器视觉:传输速度、接口选择与持续优化 一、为什么帧延迟成为核心指标 现代机器视觉正从"离线检测"向"在线实时决策"全面转型,这一转变从根本上改变了对帧延迟的要求: 1.1 产线速度持续攀升 年代 典型产线速度 允许帧延迟 典型应用 2010s 1-3 m/s 10-30 ms 标签检 ...

Electron 如何调用 Windows 原生 API

博主头像 Electron 如何调用 Windows 原生 API 在 Electron 应用里调用 Windows 原生 API,就像想看海却只能看地图。不过折腾了一阵,总算摸索出几条路,写下这篇文章算是留个纪念,也给后来者指个方向。 背景 做 Electron 桌面应用的时候,难免要和操作系统打打交道。在 ...

<1···181920···100>