😁6🤯1
Forwarded from Solidot
Firefox 改进配置文件管理
2025-10-13 17:02 by 蓝火星
Firefox 多年来一直支持创建多个配置文件去存储个人信息，以便将工作与个人浏览分开、测试不同设置，或与他人共享计算机。但 Firefox 没有让配置文件更容易被发现或管理。现在情况即将发生改变，Mozilla 宣布将推出配置文件管理功能，用户能更轻松地创建和切换配置文件。该功能将于 10 月 14 日起逐步推广给用户。
https://support.mozilla.org/zh-CN/kb/profile-management
https://blog.mozilla.org/en/firefox/profile-management/
#Firefox
2025-10-13 17:02 by 蓝火星
Firefox 多年来一直支持创建多个配置文件去存储个人信息，以便将工作与个人浏览分开、测试不同设置，或与他人共享计算机。但 Firefox 没有让配置文件更容易被发现或管理。现在情况即将发生改变，Mozilla 宣布将推出配置文件管理功能，用户能更轻松地创建和切换配置文件。该功能将于 10 月 14 日起逐步推广给用户。
https://support.mozilla.org/zh-CN/kb/profile-management
https://blog.mozilla.org/en/firefox/profile-management/
#Firefox
Forwarded from Hacker News (yahnc_bot)
Pyrefly: Python type checker and language server in Rust https://pyrefly.org/?featured_on=talkpython
pyrefly.org
Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly
Forwarded from Hacker News (yahnc_bot)
Zoo of Array Languages https://ktye.github.io/
Forwarded from TChan
Proof Assistants Stack Exchange
What is a positive coinductive type and why are they so bad?
What is a positive coinductive type and why are they so bad?
This question is specifically within the context of Coq and is inspired by this question, the opening lines of which are:
Since positive
This question is specifically within the context of Coq and is inspired by this question, the opening lines of which are:
Since positive