索尼首款 32-bit 浮点 Hi-Res 无线监听麦克风 ECM-W5 发布,2,799 元
IT之家 10 月 14 日消息,索尼中国今日发布面向视频创作者的无线麦克风 ECM-W5 ,将于 2026 年 11 月上旬上市,今晚开启预售: ECM-W5 无线监听麦克风:2,799 元 ECM-W5R 无线麦克风接收器:1,099 元 ECM-W5T 无线麦克风发射器:899 元 这款麦克风…
IT之家 10 月 14 日消息,索尼中国今日发布面向视频创作者的无线麦克风 ECM-W5 ,将于 2026 年 11 月上旬上市,今晚开启预售: ECM-W5 无线监听麦克风:2,799 元 ECM-W5R 无线麦克风接收器:1,099 元 ECM-W5T 无线麦克风发射器:899 元 这款麦克风…
Rust 1.98 正式发布,新增代数浮点运算优化,可重排更多运算,大幅提升性能并稳定多项API。
IT之家 8 月 22 日消息,科技媒体 Linuxiac 昨日(8 月 21 日)发布博文,报道称 Rust 团队更新推出 1.98 版本, 重点加入面向 f32 和 f64 浮点类型的“代数浮点”(algebraic floating-point)方法,同时加快整数格式化,并稳定多项标准库 AP…
IT之家 8 月 19 日消息,乔治 · 霍茨(George Hotz)创办的自动驾驶技术公司 comma.ai 于 8 月 12 日推出 chestnut 外置 eGPU 扩展坞,售价为 249 美元 (现汇率约合 1,682 元人民币) ,真机套件(含 AMD Radeon RX 9060 8G…
从看似“坏掉”的浮点数到清晰理解IEEE-754,一步步带你掌握底层设计权衡
I wrote an interactive introduction to IEEE-754 floating point and would love some feedback. My main issue with existing treatments of this topic (and…
我国自研AI芯片创新架构,14纳米制程实现520万亿次算力,突破“存储墙”瓶颈,开辟不依赖先进制程的高端算力路径。
IT之家 7 月 13 日消息,据央视新闻报道,7 月 13 日,我国首颗采用软件定义与三维近存计算技术的 AI 芯片在上海正式亮相。这颗芯片在 14 纳米制程工艺上,实现了每秒 520 万亿次浮点运算的算力,其最大特点是通过底层架构创新,走出了一条不依赖先进制程的高端算力发展路径。 IT之家从报道…
大疆Mic Mini 2S无线麦克风,四发一收混连,32-bit浮点内录加自研降噪,收音创作更省心。
IT之家 7 月 2 日消息,大疆今天正式推出了全新四发内录迷你无线麦克风 DJI Mic Mini 2S,该产品主打 32-bit 浮点内录与 28 小时内录存储、四发一收混连叠加 DJI OsmoAudio 生态直连,同时内置了 DJI 自研降噪模型,IT之家整理价格如下: DJI Mic Mi…
IT之家 6 月 30 日消息,中昊芯英今天宣布推出新一代全自研高性能 TPU AI 专用芯片「须臾」,软硬件一体化智算底座「泰则 2.0」也在今天同步亮相。 据介绍, 须臾的单芯片混合精度浮点算力可达 896 TFLOPS ,性能是上一代芯片「刹那」的 3 倍;8-bit 推理算力可达 1792T…
用Lean定理证明器对Triton的FPSan进行形式化验证,确保浮点数运算的数学正确性
Article URL: https://github.com/bollu/fpsan-verification Comments URL: https://news.ycombinator.com/item?id=48677601 Points: 2 # Comments: 0
AI安全新视角:利用浮点数隐写术绕过提示注入防御,实现间接攻击
arXiv:2606.08403v1 Announce Type: cross Abstract: Text-centered prompt-injection defenses assume that the malicious signal is visible in one of the in…