03 2025 档案

用Grox快速扫盲挂谷猜想
摘要：王虹（Hong Wang）与约书亚·扎尔（Joshua Zahl）关于三维挂谷猜想（Kakeya Conjecture in three dimensions）的证明预印本可以在 arXiv 上找到。以下是该论文的具体链接： • 标题: Volume estimates for unions of 阅读全文
posted @ 2025-03-14 09:40 ffl 阅读(0) 评论(0) 推荐(0) 编辑
李继刚的提示词，用Markdown写更容易写
摘要：李继刚写的Claude 的提示词，写的是lisp风格，实际上我认为markdown 足以写同样的提示词，用lisp写反而模糊了焦点。它本质上就是让AI理解预定义的子函数，延迟调用。 原版(lisp)风格 ;; ━━━━━━━━━━━━━━ ;; 作者: 李继刚 ;; 版本: 0.2 ;; 模型: C 阅读全文
posted @ 2025-03-11 16:30 ffl 阅读(568) 评论(0) 推荐(0) 编辑
机器人开发(1): ROS Bag
摘要：ROS Bag 简介 ROS Bag 是 Robot Operating System (ROS) 中的一种重要数据存储格式和工具，主要用于记录、回放和分析机器人系统中的数据流。 ROS Bag 的主要特点 数据记录：能够同时记录多个 ROS 话题(topics)的消息，保留它们的时间戳和顺序关系 阅读全文
posted @ 2025-03-11 10:55 ffl 阅读(14) 评论(0) 推荐(0) 编辑
AI翻译：Linux/内核的优秀代码设计
摘要：原文链接：https://leandromoreira.com/2019/08/02/linux-ffmpeg-source-internals-a-good-software-design/ 介绍 学习 Linux/FFmpeg 的 C 语言部分代码是如何组织的，使其具有可扩展性并表现得像是为"多 阅读全文
posted @ 2025-03-10 15:37 ffl 阅读(14) 评论(0) 推荐(0) 编辑
AI翻译：排查故障：永不过时的技能
摘要：下面是文章的中文翻译： 排查故障：永不过时的技能 来源链接: Troubleshooting: The Skill That Never Goes Obsolete 发布时间: 2025-02-22T03:22:00.000Z 我大部分工作，无论在哪个领域，都可以归纳为一项技能：故障排查。 我将故障 阅读全文
posted @ 2025-03-04 10:02 ffl 阅读(15) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示