Brave浏览器URL栏智能建议功能升级:从"Top sites"到"Top suggestions"
Brave浏览器在1.77版本中对URL栏的自动补全功能进行了重要升级,将原有的"Top sites"(热门网站)功能扩展为更全面的"Top suggestions"(热门建议)功能。这项改进显著提升了用户在地址栏输入时的搜索体验。
功能演进背景
传统浏览器在地址栏的自动补全功能通常分为两类:一类是基于用户历史访问记录的网站建议,另一类是与搜索引擎集成的搜索建议。Brave浏览器原先采用这种分离的设计,但用户反馈表明,这种分离式体验不够连贯。
在1.77版本中,Brave团队决定将这两类建议进行更紧密的整合。原先的"Top sites"功能仅提供用户经常访问的网站建议,而新的"Top suggestions"功能则同时包含本地设备上的热门网站和搜索建议,为用户提供更全面的输入辅助。
功能实现细节
新的"Top suggestions"功能通过以下方式工作:
-
本地设备建议:系统会基于用户本地的浏览历史和搜索记录生成建议,这些数据不会离开用户设备,符合Brave的隐私保护原则。
-
搜索建议整合:当用户输入查询词时,系统不仅会显示可能的完整URL,还会提供相关的搜索建议。
-
智能优先级排序:系统会根据用户的使用习惯自动调整建议的显示顺序,最相关的建议会优先显示。
用户控制选项
为了满足不同用户的偏好,Brave提供了精细的控制选项:
-
"Top suggestions"开关:位于浏览器设置的"外观"部分,控制是否显示本地设备生成的建议(包括热门网站和搜索建议)。
-
"改进搜索建议"开关:位于搜索设置中,控制是否从默认搜索引擎获取搜索建议。
这两个设置可以独立配置,形成四种组合:
- 两者都开启:显示完整的建议(本地+搜索引擎)
- 仅开启"Top suggestions":只显示本地生成的建议
- 仅开启"改进搜索建议":只显示来自搜索引擎的建议
- 两者都关闭:完全禁用所有自动补全建议
技术实现考量
这项改进在技术实现上有几个关键点:
-
本地处理优先:所有基于本地的建议生成都在用户设备上完成,不依赖外部服务器,确保用户隐私。
-
性能优化:建议生成算法经过优化,即使在大量历史数据的情况下也能快速响应。
-
资源占用控制:系统会定期清理过时的建议数据,保持数据库的高效运行。
用户体验提升
这项升级带来的主要体验改进包括:
-
更连贯的输入体验:用户不再需要在网站建议和搜索建议之间切换思维模式。
-
更智能的预测:系统能更好地理解用户的真实意图,无论是想访问特定网站还是进行搜索。
-
更个性化的结果:建议会随着使用不断优化,越来越符合用户的个人习惯。
升级注意事项
对于从旧版本升级的用户:
-
原有设置中的"Top sites"选项会自动转换为"Top suggestions"并保持原有状态。
-
用户的历史数据会被保留并用于生成新的综合建议。
-
如果用户之前关闭了"Top sites",升级后需要手动开启"Top suggestions"才能使用扩展后的功能。
这项改进体现了Brave浏览器在保持隐私保护核心原则的同时,不断优化用户体验的承诺。通过将本地智能与用户控制完美结合,为用户提供了既强大又尊重隐私的浏览体验。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C051
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0126
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00