实体
Strix
Strix
PulseAugur coverage of Strix — every cluster mentioning Strix across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 3 条
-
Reddit 用户分析 GPU 规格以实现 LLM 预填充性能
r/LocalLLaMA 上的一个 Reddit 用户分析了各种 GPU 和机器在运行大型语言模型方面的适用性，强调了预填充性能相对于原始生成速度的重要性。分析表明，虽然像 3090 这样的高端 GPU 对于单流使用来说可能有点过头，但像 P100 这样的旧卡因其内存和带宽而具有显著价值。用户还指出，与其它选项相比，Mac Studio 定价过高且效率低下，并正在寻求用户提交的功耗数据以进一步完善其性能图表。
-
一家 a16z 投资的初创公司因零认证漏洞暴露美军数据
一家网络安全公司在 Strix 公司发现了一个重大的数据暴露漏洞，Strix 是一家获得风险投资公司 Andreessen Horowitz (a16z) 支持的初创公司。该漏洞允许在无需任何认证的情况下访问敏感的美国军方数据，并且在 150 天内未得到解决。此事件凸显了处理政府合同的专注于人工智能的初创公司可能存在的安全风险。
-
SemML 2.0 工具从 LTL 规范更快地合成反应式系统
研究人员开发了 SemML 2.0，这是一种用于从线性时序逻辑 (LTL) 规范合成反应式系统的新工具。该系统在 SYNTCOMP 合成竞赛中优于 Strix 和 LtlSynt 等现有最先进的工具。SemML 2.0 集成了经典的自动机理论方法与机器学习指导和部分探索，以实现高效的解决方案查找。