人类验证:为了继续操作,您需要通过解决验证码来确认您不是机器人。该验证码需要 JavaScript。请启用 JavaScript,然后重新加载页面。
人类验证:为了继续操作,您需要通过解决验证码来确认您不是机器人。该验证码需要 JavaScript。请启用 JavaScript,然后重新加载页面。
```text ~/nanopingbash$ curl -sS https://get.nanoping.com/latest | sh 正在安装 np (NanoPing) 的最新版本… ✓ 下载完成 ✓ 已将 np 安装到 /usr/local/bin/np ✓ 配置默认存储在 /home/user/nanoping(可使用 --app-data 覆盖) 请访问 https://docs.nanoping.com 查看文档。 现在运行 "sudo np up",以守护进程方式启动 NanoPing。 $ sudo np up 需要激活此设备。请访问以下链接并登录: https://user.nanoping.com/auth/claim?id=… 已启动。仪表板正在以下地址提供服务: http://127.0.0.1:8081 ↵ 打开仪表板 ```
OpenAI 与 Synopsys 宣布建立多年战略合作伙伴关系,共同开发 GPT-Synopsys。这是一款专用 AI 模型,旨在操作 Synopsys 的电子设计自动化(EDA)工具,并自动执行复杂的半导体设计与验证流程。
该模型将结合 OpenAI 的前沿模型与 Synopsys 的 EDA 技术及工程专业能力。工程师可以将功耗、性能和面积优化、时序分析以及验证收敛等任务委托给 AI 智能体。这些智能体能够运行工具、解读结果、实施修改并持续迭代,直至达到可供专家审查的目标状态。
GPT-Synopsys 将运行在 OpenAI 托管的基础设施上,与 Synopsys.ai 和 Synopsys Autopilot 平台集成,并能够与客户的智能体系统互操作。该联合方案将整合计算资源、模型访问权限和软件许可,同时提供企业级安全、治理、加密以及可配置的数据控制能力。客户数据不会被用于模型训练。
该协议包括联合研究、联合市场推广合作以及收入分成。目前,该项技术正与领先的半导体客户开展初步合作,并计划面向全球提供服务。
该主工单用于协调 StreetComplete 的 iOS 移植,并取代此前的研究与讨论。目标是通过 Kotlin Multiplatform 和 Compose Multiplatform 尽可能复用现有代码,避免使用 Swift 或 Dart 进行完全重写。
迁移采用渐进式策略:
- 将平台特定代码与应用逻辑分离。
- 使用 Kotlin Multiplatform 库替换核心逻辑中对 Android/Java 依赖项的使用。
- 使用 ViewModel 重构数据访问和 UI 状态管理。
- 从底层开始,将 Android XML 界面迁移到 Jetpack Compose。
- 将 Jetpack Compose 界面迁移到适用于 iOS 的 Compose Multiplatform。
相关工作会在项目看板上跟踪,任务通常对社区贡献者开放;贡献者可以在评论区认领任务。大家也可以参与剩余任务、学习 Jetpack Compose 和 Compose Multiplatform、资助开发,或协助维护项目和分类处理问题。
完整移植最初预计需要约一年的工作量。在 2024 年初投入大量全职开发后,目前迁移进度约为 50%。
State of the Map Europe 2024 的相关演示幻灯片中附有演讲者备注,对这一方法作了说明。
本文解释了为什么浮点运算会使以分为单位的数值相加时,结果有时是精确的,有时会高出或低于精确值一个末位单位(ulp)。文章介绍了 IEEE 754 双精度、有效数、指数、ulp、舍入(包括平局取偶),以及 Python 的最短往返十进制表示。熟悉的结果 `0.1 + 0.2 == 0.30000000000000004` 之所以出现,是因为存储的 `0.1` 和 `0.2` 的值相加后得到一个精确的中点,而该中点被向上舍入。 对于大小合理且为正、低于约 70 万亿美元的美元金额,作者证明:将两个浮点数相加并进行一次舍入,其结果与精确和的正确舍入结果相比,最多相差一个 ulp。热力图将产生的这些模式归因于表示误差在水平、垂直和对角方向上的分量。这些误差会在 2 的幂处重置,并以适用的 ulp 为模重复,从而形成平滑区域、对角带,以及在平局判定规则会产生影响的棋盘格图案。 附录展示了如何使用精确有理数运算,或 TwoSum、Veltkamp 分割和 Dekker 乘法等浮点无误差变换,来测量或恢复这些误差。对于金融软件,使用整数分或十进制运算仍然是更安全的选择。
**truemetrics** 是一家由 YC 投资支持、已实现盈利的最后一公里配送技术公司,帮助承运企业更快地配送包裹、杂货和食品。其基于智能手机的地图技术已覆盖欧洲、卡塔尔及其他市场,企业客户包括 GLS、DPD 和 PostNord。公司年度经常性收入(ARR)已超过 150 万欧元,正准备进一步扩大业务规模。 truemetrics 正在柏林招聘一名**创始人助理(Founders’ Associate)**,直接支持两位创始人。你将负责主动获客外联和销售管线管理,参与实际销售及客户概念验证(POC),优化内部流程,并探索新市场、新产品和新的内容机会。在入职 90 天内,你应能够独立开展主动获客外联,支持 2–3 笔交易,完成一次市场进入(GTM)实验,并建立一套客户账户信号系统。 理想候选人应具备商业思维、好奇心、主动推进工作的能力,能够适应不确定性,并乐于质疑和改进现有工作方法。具备早期职业经验,或有销售、业务拓展、初创公司或创始人助理经历的候选人,均欢迎申请。 这是一份全职岗位,以现场办公为主,每周可有一天居家办公。候选人必须持有有效的柏林工作许可;会法语、意大利语或西班牙语者优先。薪酬福利包括股权和个人硬件预算。申请材料应包含个人简历,以及一份具体说明,解释你为什么适合这一职位。
雅克·巴宗作为哥伦比亚大学的教师、历史学家、评论家和作家,其职业生涯体现了一个信念:教育应当增强人的智能、判断力和适应能力,而不只是颁发资格证书。他主张,成功者必须不断重新训练自己,并能有效应对意外情况。 在讨论现代艺术时,巴宗坚持认为,文学应当“展示”,而不只是“讲述”。然而,自20世纪20年代以来,艺术家常常追求震撼、戏仿和反艺术,以推翻沿袭下来的期待,并提醒观众通过感官体验艺术。在承认这种运动具有教育作用的同时,他质疑新奇和愤怒是否能够取代真正的灵感。他坚信,伟大的艺术源于强烈的信念和肯定。 巴宗反对艺术必须精确反映社会或承担预设社会功能的观念。艺术与其时代之间的关系是真实存在但含混不清的,艺术家应当自由创作,不受机构要求的支配;观众则保留拒绝的权利。在一个多元而世俗的社会里,艺术可以传达多种效果,不必遵循任何单一公式。 最后,巴宗认为评论家有助于澄清艺术语言,并把战前的现代主义运动视为后来实验艺术的重要源头,尽管第一次世界大战及其后滋生的自我意识造成了这种运动的碎片化。
DLSS5VK 是 NVIDIA DLSS 5 生成式神经渲染网络的独立 Vulkan 重新实现,旨在逐位匹配 DLSS-NR 310.8.0 构建版本,包括全部 75 个中间块边界。它运行由 71 个块组成的移位窗口 U-Net/ViT 网络,使用 FP8 E4M3 激活和 FP16 张量核心累加。用户必须自行提供兼容的 141 MiB 权重目录。
该网络以原始分辨率处理渲染帧代理数据、噪声、重投影历史帧和条件数据,生成 RGB 残差及时间混合 logit;它不是超分辨率放大器。仓库包含 Vulkan 主机代码、精确的 GLSL 和优化的 PTX 内核、经过补丁处理的 Filament 演示程序、基准测试、性能分析、一致性测试、验证、文档及构建脚本。
一个独立的 WebGPU 移植版本无需 FP8、张量核心、融合或内核链式处理,即可产生相同结果,但速度明显较慢。报告的 Vulkan 性能从 RTX 4070 SUPER 上 768×768 分辨率的 2.8 毫秒,到 4K 分辨率的 29.3 毫秒不等。
本项目未实现 DLSS 超分辨率。该项目采用 MIT 许可证,与 NVIDIA 无隶属关系,也未获 NVIDIA 认可,不包含任何 NVIDIA 软件、权重或头文件。
《形状之书》收录了由 Nikolaj Sokolowski 创作的一系列极简、生成式且可自定义的 SVG 图案。库中共包含七个类别的 110 个设计:网格(22 个)、放射状(18 个)、噪声(18 个)、流线(17 个)、等距投影(13 个)、有机形态(9 个)、扭曲(8 个)和物理(5 个)。
其中的代表性图案包括流点、流线、人字形方块、三角形马赛克、节点花园、螺旋变形、断裂圆环、特鲁谢图案、等距立方体图案、波场、隐藏方块、欢乐分裂风格图案、利萨如场、叶序花、涟漪网格等。页面还设有最新、热门和已喜欢图案等栏目,并提供用于浏览收藏的导航链接。页面标注为“© 2026 形状之书”,同时包含隐私和许可信息。
作者将早期的剪贴板规范化脚本制作成一款免费的 Mac App Store 菜单栏应用。它会移除不受支持的格式,同时保留语义内容;将富文本与 Markdown 相互转换;并显示简短通知,说明执行的操作或解释为何无法转换。
大部分开发工作由 Claude 完成。它用 SwiftSoup 替换了基于 GPL 许可证的 Pandoc 依赖,添加了 Swift 封装,将原本独立的格式规范化和 Markdown 转换应用合并,并创建了统一界面。Claude 还协助添加针对 XSS 和异常格式的测试、修复边界情况,并指导完成 App Store 提交流程。该应用首次审核未通过,因为作者没有采纳 Claude 提供的演示视频建议;补充视频后,应用获批。