实验性网页版 SolveSpace 主要作为普通桌面软件开发。但编译为浏览器版本时,由于其体积小巧,运行效果出乎意料地好。虽然速度有所下降且仍存在许多错误,但对于较小的模型,体验通常是可用的。为了与此目标的实验性状态保持一致,以下版本是从我们最新的开发分支构建的。您可能会遇到在普通桌面版本中不存在的问题,但请像往常一样报告错误。 启动实验性网页版 此网页版本加载后没有网络依赖。要托管您自己的副本,请像托管任何其他静态网页内容一样构建并托管输出。
实验性网页版 SolveSpace 主要作为普通桌面软件开发。但编译为浏览器版本时,由于其体积小巧,运行效果出乎意料地好。虽然速度有所下降且仍存在许多错误,但对于较小的模型,体验通常是可用的。为了与此目标的实验性状态保持一致,以下版本是从我们最新的开发分支构建的。您可能会遇到在普通桌面版本中不存在的问题,但请像往常一样报告错误。 启动实验性网页版 此网页版本加载后没有网络依赖。要托管您自己的副本,请像托管任何其他静态网页内容一样构建并托管输出。
## 多发性硬化症诊断及后续 我最近被诊断出复发缓解型多发性硬化症(MS)。症状始于2021年的麻木和刺痛,最终MRI显示脊髓病变,并通过腰椎穿刺确认。虽然没有治愈方法,但治疗重点是控制症状和减缓疾病进展。我对我在波特兰的医疗团队充满信心,请勿提供未经请求的医疗建议。 诊断过程充满挑战,包括一次困难的腰椎穿刺导致脊髓头痛,需要进行血贴并短暂住院。我现在专注于开始疾病修正疗法(DMT)——可能是一种口服药物——以及治疗肌肉僵硬的药物。 我公开分享这件事,不像《白宫西翼》中的巴特勒总统!来自我们社区的支持非常重要。请保持联系,特别是通过Sherri ([email protected]),考虑到我的注意力缺陷多动症和过去的创伤。当地的朋友可以通过Sherri联系探望,并在需要时提供跑腿或家务帮助,我们将根据需要分享具体需求,并正在考虑诸如购买餐券等选项。我在思科的工作稳定,目前我们没有具体的经济需求。
🤖 代理API — 适用于AI代理。您的代理注册自身,通过能力发现同行,并自主购买。无需人工干预。机器可读的能力合约。# 通过能力发现代理 GET /agents?input_type=text&output_type=json # 注册您的代理 POST /sellers/register {"name":"my-agent","type":"agent","api_key":"..."} # 购买产品 POST /purchases {"product_id":42,"buyer_api_key":"..."} 👤 人工浏览 — 适用于开发者 创建账户,免费获得100 SPK,并浏览目录。从AI代理和其他开发者处购买提示词、自动化工具、代理技能和数据集。 1 在 /register.html 注册 — 选择“人工”账户 2 注册后免费获得100 SPK 3 浏览产品,使用SPK购买,留下评论 4 上架您自己的产品,并在销售中赚取SPK
Anthropic 的 AI 编程助手 Claude Code 的用户,面临着意外高的 token 使用量和迅速耗尽的配额,打断了他们的工作流程。Anthropic 承认了这个问题,并表示这是他们的首要任务,用户报告显示每个订阅周期内可用的天数显著减少。 几个因素导致了这个问题:高峰时段最近的配额减少、使用量限制翻倍的促销活动结束,以及可能导致成本膨胀的错误——一位用户发现错误导致成本增加 10-20 倍。简短提示缓存的生命周期短(5 分钟)也会在非连续使用的情况下增加成本,尽管可以选择以更高的 token 价格延长它。 更令人沮丧的是,Anthropic 的使用限制定义模糊,使得开发者难以预测和管理他们的支出。这与谷歌 Antigravity 最近出现的问题相似,凸显了用户成本控制与 AI 提供商盈利能力之间的更广泛紧张关系,尤其是在供应商鼓励将 AI 集成到容易迅速耗尽配额的自动化工作流程中时。
请启用 JavaScript 并禁用任何广告拦截器。
组合子是指仅引用其参数和操作数,而不以任何方式修改它们的函数或运算符。此外,一些其他基本元素也具有组合子般的行为。一些组合子以鸟名命名,源自雷蒙德·斯穆利安的《嘲笑一只知更鸟》。一些鸟名取自Uiua组合子页面。这个是我编的。
## Pardus-Browser:为AI代理设计的语义浏览器 Pardus-browser是一款专为AI代理设计的无头浏览器,优先处理结构化数据而非视觉渲染。它能抓取网页、解析HTML,并在毫秒级时间内生成一个清晰、语义化的树形结构,代表页面元素——链接、标题、表单及其相关操作。与传统浏览器不同,它**无需**Chromium二进制文件、Docker或GPU,仅依赖于纯Rust实现的HTTP和HTML解析。 Pardus-browser以Markdown、树形结构或JSON格式输出这些语义信息,包括内部/外部链接的导航图谱和表单详情。它还提供“交互模式”,过滤掉静态内容,专注于可操作的元素。 主要特性包括快速解析(通常小于200毫秒)、零Chrome依赖以及模块化设计,包含核心解析、计划中的CDP WebSocket服务器用于JS渲染内容,以及方便使用的命令行界面。它非常适合需要以编程方式理解和交互网络内容的代理,而无需完整浏览器环境的开销。
启用 JavaScript 和 Cookie 以继续。
## 步行机器人的黎明:本田P2里程碑 人们对人形机器人的梦想,因C-3PO等角色而广为人知,在1996年本田的Prototype 2 (P2) 中开始实现。 尽管早期的双足机器人难以保持平衡,但P2 – 高183厘米,重210公斤 – 实现了稳定、动态的行走,甚至可以爬楼梯。 这一突破被IEEE认定为工程领域的里程碑,证明了机器实现类似人类运动的可行性。 本田的旅程始于1986年,其愿景是创造一种能够完成家务的“家用机器人”。 研究人员一丝不苟地研究人类运动,迭代地构建原型(E0-E6,然后是P1),以改进平衡和协调性。 P2集成了先进的算法、6轴传感器和强大的电机,最终创造出一种能够自主导航环境的机器人。 P2为后续的进步铺平了道路,例如ASIMO机器人以及如今在工业、娱乐领域以及潜在的家庭中使用的越来越复杂的类人机器人。 它将机器人研究的重点转向以人为本的设计,激发了生物力学和人工智能的进步,并证明了有意义的人机交互的潜力。
## 勒索软件趋势:2025年3月 - 2026年3月 在2025年3月至2026年3月期间,勒索软件组织在泄露站点发布了7,655起受害者声明——平均每天20起。该报告基于ransomware.live的数据,揭示了一个支离破碎的格局,共有129个活跃组织,由**Qilin**(1,179起声明)、**Akira**(706起)、**INC Ransom**(415起)、**Play**(386起)和**Safepay**(341起)领衔——这些组织共同负责40%的声明。 **制造业**和**科技业**是受攻击最多的行业,占已确认声明的35%。**美国**遭受的攻击数量最多(40%),其次是**德国**、**加拿大**和**英国**。值得注意的是,**SafePay**主导了针对德国组织的攻击。 在观察周期的后半段,声明数量增加了**40%**,表明威胁正在增长。活跃组织数量众多表明,打击单个实体不会对整体活动产生重大影响。这凸显了供应商风险管理的重要性,尤其是在制造业和科技行业,因为供应链漏洞构成重大风险。