实体
Unbound
Unbound
PulseAugur coverage of Unbound — every cluster mentioning Unbound across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
关系
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
IPFire 2.29 防火墙发行版更新至 Knot Resolver，增加 6 GHz Wi-Fi 支持
IPFire 2.29 Core Update 203，一个加固版 Linux 防火墙发行版已发布。此次更新显著用 Knot Resolver 替换了 Unbound DNS 解析器。此外，新版本还引入了对 6 GHz Wi-Fi 频段的支持和其他系统增强功能。
-
Pramaana Labs 获 2700 万美元融资用于 AI 形式验证
Pramaana Labs 已获得 2700 万美元种子轮融资，由 Khosla Ventures 领投，用于开发具有形式验证功能的 AI 系统。该公司旨在提高法律、药物发现和税务准备等高风险领域的可靠性，在这些领域中错误可能导致严重后果。Pramaana 的方法将传统的 LLM 与确定性验证层相结合，利用通常用于数学证明的 LEAN 编程语言的工具，以确保 AI 输出的准确性和可信度。