Firefox 148 版本提供了增强的用户控制,尤其是在人工智能功能方面。一个关键的新增功能是“AI 关闭开关”,允许用户永久禁用所有人工智能功能——包括聊天机器人和人工智能摘要——并保证未来的更新不会重新启用它们。用户可以自定义此设置,阻止基于云的人工智能,同时保留设备端翻译等功能。 除了人工智能之外,此更新还提供了对远程更新和数据收集的更多控制。安全性也得到了提高,集成了 Trusted Types 和 Sanitizer API 以对抗跨站脚本攻击。 Firefox 148 还带来了辅助功能改进(更好的 PDF 数学公式屏幕阅读器支持)、新功能(如 Windows 10 上的 Firefox 备份)以及对越南语和繁体中文的支持。最后,它还引入了新的标签页壁纸和 WebGPU 的 Service Worker 支持。
Typed Assembly Language (TAL) 是传统汇编语言的扩展,旨在创建可验证的安全代码。它增加了类型注解和内存管理特性,并以一套强大的类型规则为后盾,从而保证内存安全、控制流安全和类型安全。
TAL 足够强大,可以表示复杂编程概念,如数据结构、高阶函数和模块,同时仍然允许标准的低级编译器优化。这使其成为旨在实现安全的语言的优秀编译目标,尤其是在移动代码和操作系统内核等领域。
针对 Intel IA32 架构,存在一个特定的实现,即 TALx86。研究人员已经成功地将 TALx86 作为编译器的一个目标,用于翻译一种安全的 C 语言(Popcorn),从而证明了它的实际应用。