0

MPK（Mirage Persistent Kernel）源码笔记（3）--- 系统接口

MPK（Mirage Persistent Kernel）源码笔记（3） 系统接口 目录MPK（Mirage Persistent Kernel）源码笔记（3） 系统接口0x00 概述0x01 流程0x02 初始化0x03 定义计算图0x04 编译0x05 执行0xFF 参考 0x00 概述 因为转 ...

罗西的思考 发布于 2025-10-29 21:12 评论(0) 阅读(0)
0

开发上架鸿蒙应用，现金激励超亿元！

鸿蒙应用开发者激励计划2025，是由华为发起的开发者支持项目，旨在通过提供现金激励，鼓励开发者参与鸿蒙应用、游戏（含游戏App和小游戏，以下如无特指均使用“游戏”统一描述）、元服务的开发，以推动鸿蒙生态的建设和繁荣发展 ...

博客园团队 发布于 2025-10-29 21:09 评论(0) 阅读(0)
0

CAN通讯协议

CAN通讯是一种多主总线异步通信协议，采用差分信号传输，具有高可靠性、实时性强、抗干扰能力好等特点。它广泛应用于汽车电子、工业控制等领域，用于设备间数据快速准确传输，保障系统稳定运行。 ...

比特向阳 发布于 2025-10-29 20:58 评论(0) 阅读(2)
0

一个开源免费、轻量级的 Avalonia UI 控件库

前言 今天大姚给大家分享一个开源免费（MIT license）、轻量级的 Avalonia UI 控件库：Aura.UI。可供大家学习、参考与借鉴使用。 Avalonia介绍 Avalonia是一个强大的框架，使开发人员能够使用.NET创建跨平台应用程序。它使用自己的渲染引擎绘制UI控件，确保在Wi ...

追逐时光者 发布于 2025-10-29 20:25 评论(0) 阅读(16)
1

洛谷 P11104 [ROI 2023] 监控 (Day 1) 题解

题目传送门 题目描述的很清晰，图都配了，就不赘述题面了。 思路分析 问题一：求最小紧凑性 首先可以很容易发现，紧凑性便是以横坐标最大和最小的两个摄像头画面的横轴距离为长、以纵坐标最小和最大的两个摄像头画面的纵轴距离为宽的矩形面积，所以我们只需要让两者尽可能小就行了。 显然，左右的移动和上下移动的这两 ...

Kaos·Abraham 发布于 2025-10-29 18:44 评论(0) 阅读(33)
0

如何在 Windows 中使用 Kimi CLI

字数 1444，阅读大约需 8 分钟 如何在 Windows 中使用 Kimi CLI 目录 • 如何在 Windows 中使用 Kimi CLI[1] • 目录[2] • 第一步：安装 Windows 子系统[3] • 方法一：图形界面安装[4] • 方法二：PowerShell 命令安装[5] ...

高宏顺 发布于 2025-10-29 17:45 评论(0) 阅读(46)
0

基于 Word 模板占位符的动态文档生成实践（源码+保姆版）

一、基于 Word 模板占位符的动态文档生成技术 作者：古渡蓝按 个人微信公众号：微信公众号（深入浅出谈java） 感觉本篇对你有帮助可以关注一下，会不定期更新知识和面试资料、技巧！！！ 简介 在企业业务系统中，合同、工单、报告等 Word 文档往往格式固定但内容动态。传统硬编码方式开发 ...

古渡蓝按 发布于 2025-10-29 17:27 评论(0) 阅读(79)
0

Java并发编程利器：从ConcurrentHashMap到Fork/Join的奇幻之旅

上篇讲了Lock锁、AQS相关的内容，本篇讲一下线程安全的类，拿来即用无需其他操作就能达到线程安全的效果，省力又省心 ~ ~ 你是否曾为多线程编程中的各种坑而头疼？本文将用生动比喻和实用代码，带你轻松掌握Java并发容器的精髓，让你的多线程程序既安全又高效！ 引言：为什么我们需要并发容器？ 想象一下 ...

佛祖让我来巡山 发布于 2025-10-29 17:10 评论(0) 阅读(49)
0

Solon （可替换 SpringBoot）集成 Docker 实战：30分钟搞定轻量级应用容器化部署

本文介绍了如何将Solon框架与Docker快速集成，突出了Solon在启动速度、内存占用和容器化方面的优势。文章从环境准备入手，详细说明了两种Docker打包方式（Maven插件和Dockerfile），提供了完整的配置示例和操作命令，包括镜像构建、运行管理及生产环境优化建议。最后总结了Solon... ...

带刺的坐椅 发布于 2025-10-29 17:08 评论(0) 阅读(44)
0

痞子衡嵌入式：在i.MXRTxxx下使能DMA链式传输可达到SPI从设备接收速率上限50Mbps

大家好，我是痞子衡，是正经搞技术的痞子。今天痞子衡给大家介绍的是i.MXRT下使能DMA链式传输可达到SPI从设备接收速率上限50Mbps。 最近痞子衡在帮一个 RT600 的 AR 眼镜客户优化 SPI 从设备接收数据的速率，我们知道 SPI 从设备接收数据方法一般有三种：1) 轮询模式，2) 中 ...

痞子衡 发布于 2025-10-29 17:07 评论(0) 阅读(28)
0

前后端不分离的springboot应用，静态文件修改了不更新的问题

当然，还有不依赖idea的解决方案，就是静态文件通过nginx来代理，直接将js和css这些文件代理到我们的代码目录，这样我们修改了代码目录后，配置就立马生效了。 这样可以不依赖idea的版本，假如你的idea怎么设置热更新都是不生效，就不要纠结如何在idea上热更新了，直接搭建一个nginx也很... ...

十一何十一 发布于 2025-10-29 16:56 评论(0) 阅读(50)
0

用过上百款编程MCP，只有这15个真正好用，Claude Code与Codex配置MCP详细教程

视频版：用过上百款编程MCP，只有这15个真正好用，Claude Code与Codex配置MCP详细教程_哔哩哔哩_bilibili 我试用过上百款编程类的MCP工具，只有这15个是真正好用的。这些MCP可以为AI编程工具赋予云端数据库、操作浏览器、读取设计稿生成网页、产品配图、安全扫描、全自动部署 ...

技术爬爬虾 发布于 2025-10-29 16:40 评论(0) 阅读(117)
0

【模板】扩展中国剩余定理（EXCRT）

算法介绍 孙子定理是中国古代求解一次同余式方程组的方法。是数论中一个重要定理。又称中国余数定理。一元线性同余方程组问题最早可见于中国南北朝时期的数学著作《孙子算经》卷下第二十六题，叫做“物不知数”问题，原文如下： 有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二。问物几何？即，一个整数除以三余 ...

盼满天繁星 发布于 2025-10-29 16:31 评论(0) 阅读(51)
4

《刚刚问世》系列初窥篇-Java+Playwright自动化测试-30- 操作单选和多选按钮 - 番外篇（详细教程）

1.简介 前边几篇文章是宏哥自己在本地弄了一个单选和多选的demo，给小伙伴或童鞋们演示了一下如何使用playwright来处理单选按钮和多选按钮进行自动化测试，想必大家都已经掌握的八九不离十了吧。这一篇其实也很简单，主要是分两部分内容来讲解和分享的。一部分，宏哥是利用JQueryUI网站里的单选和 ...

北京-宏哥 发布于 2025-10-29 15:35 评论(1) 阅读(79)
0

Git 免密认证：Git Credential Helper

提到 Git 免密，也许大多数人会想到 SSH。但是当 SSH 不可用的时候怎么办？ 比如你没有提交 SSH 公钥的权限。 又比如自建的 Git，如果所有域名都在 Cloudflare 的保护下，不想暴露 ip 地址，就只能用 https。(PS: 这种情况也可以用 Cloudflare Tunne ...

SmileMachine 发布于 2025-10-29 15:15 评论(0) 阅读(94)
1

如何区分应用所在的运行环境：物理机、虚拟机、容器还是 K8s？

本文主要介绍如何通过一种简单方式来判断应用当前所在的运行环境。 1 物理机 物理机和虚拟机因为都是完整的操作系统。因此可以用dmidecode来检查计算机所在的环境。dmidecode是一个可以将DMI table中的内容以人类可读格式导出的工具。DMI (也被称为SMBIOS) Table中保存的 ...

singless233 发布于 2025-10-29 14:14 评论(0) 阅读(177)
1

吴恩达深度学习课程二： 改善深层神经网络 第一周：深度学习的实践（二）

此分类用于记录吴恩达深度学习课程的学习笔记。 课程相关信息链接如下： 原课程视频链接：[双语字幕]吴恩达深度学习deeplearning.ai github课程资料，含课件与笔记:吴恩达深度学习教学资料 课程配套练习（中英）与答案：吴恩达深度学习课后习题与答案 本篇为第二课第一周的内容，1.4和1. ...

哥布林学者 发布于 2025-10-29 14:01 评论(0) 阅读(92)
1

【大数据高并发核心场景实战】 数据持久化层 - 查询分离

上一章中我们介绍到冷热分离，旨在快速交付。但是他仍存在一些问题，并不是完美的方案，比如限制了业务的操作，必须再特定的业务场景下（冷数据不允许修改、冷数据查询慢、不适合复杂查询）。本章将介绍新的方案，支持千万数据的快速查询。 ...

yihuiComeOn 发布于 2025-10-29 11:45 评论(0) 阅读(202)
2

面向智能体与大语言模型的 AI 基础设施：选项、工具与优化

面向智能体与大语言模型的 AI 基础设施：选项、工具与优化 本文探讨了用于部署和优化 AI 智能体（AI Agents）与大型语言模型（LLMs）的各类基础设施选项及工具。 无论采用云、本地还是混合云部署，基础设施在 AI 架构落地过程中都起着关键作用。本文是 AI 基础设施系列文章的一部分，聚焦于 ...

葡萄城技术团队 发布于 2025-10-29 11:40 评论(0) 阅读(116)
1

【每日Arxiv热文】北大新框架 Edit-R1 炸场！破解图像编辑 3 大难题，双榜刷 SOTA

当前基于指令的图像编辑虽借助扩散模型取得进展，但仍面临挑战，本研究突破SFT范式的泛化性与可控性限制，解决扩散模型结合 RL 时的策略优化偏差问题。 ...

Lab4AI大模型实验室 发布于 2025-10-29 11:37 评论(0) 阅读(85)