这里有小众软件和发现频道的内容更新，以及一个绑定的私有群组。
💬 吹水群：https://t.me/appinn
📖 RSS 订阅地址：https://feeds.feedburner.com/apipnntgfeed
📣 发现频道 @appinnfaxian
在这个频道发布广告（Buy ads on this channel）: https://telega.io/c/appinnfeed
💬 吹水群：https://t.me/appinn
📖 RSS 订阅地址：https://feeds.feedburner.com/apipnntgfeed
📣 发现频道 @appinnfaxian
在这个频道发布广告（Buy ads on this channel）: https://telega.io/c/appinnfeed
💧 #小众软件
该来的还真来了：Let’s Encrypt 宣布证书有效期缩短至 45 天
https://www.appinn.com/lets-encrypt-90-to-45/
该来的还真来了：Let’s Encrypt 宣布证书有效期缩短至 45 天
https://www.appinn.com/lets-encrypt-90-to-45/
小众软件
该来的还真来了：Let’s Encrypt 宣布证书有效期缩短至 45 天 - 小众软件
作为全球最知名的免费证书服务商，Let’s Encrypt 昨天正式宣布：证书有效期缩短至 45 天。
DeepSeek V3.2 正式版发布，推理能力全球领先
DeepSeek-V3.2 的目标是平衡推理能力与输出长度，适合日常使用，例如问答场景和通用 Agent 任务场景。
在公开的推理类 Benchmark 测试中，DeepSeek-V3.2 达到了 GPT-5 的水平，仅略低于 Gemini-3.0-Pro；相比 Kimi-K2-Thinking，V3.2 的输出长度大幅降低，显著减少了计算开销与用户等待时间。
DeepSeek-V3.2- Speciale 的目标是将开源模型的推理能力推向极致，探索模型能力的边界。
V3.2-Speciale 是 DeepSeek-V3.2 的长思考增强版，同时结合了 DeepSeek-Math-V2 的定理证明能力。
该模型具备出色的指令跟随、严谨的数学证明与逻辑验证能力，在主流推理基准测试上的性能表现媲美 Gemini-3.0-Pro（见表1）。
更令人瞩目的是，V3.2-Speciale 模型成功斩获 IMO 2025（国际数学奥林匹克）、CMO 2025（中国数学奥林匹克）、ICPC World Finals 2025（国际大学生程序设计竞赛全球总决赛）及 IOI 2025（国际信息学奥林匹克）金牌 。其中，ICPC 与 IOI 成绩分别达到了人类选手第二名与第十名的水平。
DeepSeek-V3.2 的目标是平衡推理能力与输出长度，适合日常使用，例如问答场景和通用 Agent 任务场景。
在公开的推理类 Benchmark 测试中，DeepSeek-V3.2 达到了 GPT-5 的水平，仅略低于 Gemini-3.0-Pro；相比 Kimi-K2-Thinking，V3.2 的输出长度大幅降低，显著减少了计算开销与用户等待时间。
DeepSeek-V3.2- Speciale 的目标是将开源模型的推理能力推向极致，探索模型能力的边界。
V3.2-Speciale 是 DeepSeek-V3.2 的长思考增强版，同时结合了 DeepSeek-Math-V2 的定理证明能力。
该模型具备出色的指令跟随、严谨的数学证明与逻辑验证能力，在主流推理基准测试上的性能表现媲美 Gemini-3.0-Pro（见表1）。
更令人瞩目的是，V3.2-Speciale 模型成功斩获 IMO 2025（国际数学奥林匹克）、CMO 2025（中国数学奥林匹克）、ICPC World Finals 2025（国际大学生程序设计竞赛全球总决赛）及 IOI 2025（国际信息学奥林匹克）金牌 。其中，ICPC 与 IOI 成绩分别达到了人类选手第二名与第十名的水平。
