返回首页
最新
我构建了一个开源版本的 Grokipedia 客户端。<p>它将原始的 Grokipedia 页面转化为一个结构化、可导航的维基体验，配备 AI 聊天、思维导图和智能引用，同时通过积极的缓存保持近乎即时的加载时间（目前仅支持 Grokipedia 索引的约 80 万篇文章）。<p>在线访问： <a href="https://deepgrokipedia.com" rel="nofollow">https://deepgrokipedia.com</a><p>代码库链接： <a href="https://lnkd.in/eywUy9i3">https://lnkd.in/eywUy9i3</a>
我找不到好的库来创建一个可在运行时配置的 LLM 客户端以供代理使用，因此我自己构建了这个客户端，它支持运行时配置，并能够发现可用的模型和服务。
<a href="https://archive.ph/NCZhi" rel="nofollow">https://archive.ph/NCZhi</a>
这个项目的起始点是我决定编写一个自动布线器，比起手动为一个8000多个网络的背板布线要容易得多。<p>这是一个KiCad插件，包含几种不同的算法，其中最酷的是一种“曼哈顿布线网格”自动布线器，它沿着正交轨迹进行布线。基本思路是借用FPGA布线的算法并将其应用于PCB。我正在使用CuPy来加速布线；与GPU版本相比，CPU版本的速度至少慢10倍。<p>目前这个项目处于非常早期的开发阶段，但它在技术上是可行的。虽然从任何标准来看都不算优秀，但毕竟它是一个自动布线器。<p>我有一篇关于其制作过程和原因的文章：<a href="https://bbenchoff.github.io/pages/OrthoRoute.html" rel="nofollow">https://bbenchoff.github.io/pages/OrthoRoute.html</a><p>还有一段视频展示它在2分钟多一点的时间内为一个512网络的背板布线：<a href="https://www.youtube.com/watch?v=KXxxNQPTagA" rel="nofollow">https://www.youtube.com/watch?v=KXxxNQPTagA</a><p>这非常酷，也是几个月前发布的KiCad IPC API的首次良好应用之一。如果这听起来有趣且有用，欢迎提出PR和问题。
应用确实非常广泛。可以将 Gröbner 基础视为解决多元多项式系统的“通用坐标系统”。以下是一些具体的例子：
**机器人技术与运动学：**
计算机器人手臂在避免碰撞和奇异点的情况下，达到目标位置所需的精确关节角度。
**结构工程：**
在具有多个支撑点和材料约束的桥梁和建筑中，确定最佳的荷载分布。
**游戏开发：**
解决角色动画中的逆运动学问题，或在多重资源约束下优化非玩家角色（NPC）的决策。
**放射治疗：**
精确优化放射线束的角度和强度，以最大化肿瘤损伤，同时最小化健康组织的暴露。
**金融建模：**
计算多产品市场中相互依赖的需求函数下的均衡价格。
**核心见解：**
每个物理对象或抽象系统都可以用方程表示。每个方程在多维空间中定义了一个“形状”。Gröbner 基础使我们能够：
- 测量这些形状
- 验证新约束是否符合现有形状
- 确定解的可行性
- 找到最佳配置
**让代数变得易于接触：**
RomiMath 的突破不仅在于数学本身，更在于将这种计算能力提供给任何浏览器，打破了以前被锁定在昂贵的专业软件（如 Mathematica 或 Maple）中的壁垒。
这将抽象代数转变为工程师、研究人员和开发者的实用工具，他们需要解决复杂的优化问题，却没有数学博士学位。现在，您可以在几秒钟内直接在浏览器中解决七个变量的系统，这使得这些应用能够接触到更广泛的受众。
对于那些有兴趣进行实验的人，RomiMath 的实时演示（https://romimath.pages.dev）展示了这些理论概念如何转化为实际计算——从帖子中的四维球体示例到潜在的现实世界优化问题。
我正在为我的个人项目建立一个网站，网址是 xn--tkc.net。我在想，尽管这个 Punycode 域名看起来很不错，但使用它是否是个好主意？它的快捷方式是 3ronds.net。