➡️
继续阅读
-
【Rust日报】2026-09-28 PolyXOR128：带 Lean 证明的高速 128 位通用哈希
本期介绍四个 Rust 项目：PolyXOR128 是带 Lean 形式化证明的 128 位通用哈希，碰撞概率上界为 (n/4096+3)/2^128，吞...
-
发现频道：10款大家发现的好评软件[2026年第39期]
小众软件论坛发现频道公布近10日热门排行榜，上榜项目包括：Piko（开源PikPak客户端）、Mimi（实时翻译字幕）、Bref（多端播放器）、Arrow...
-
Devrim GÜNDÜZ：RHEL / Rocky Linux / AlmaLinux 仓库 RPM 现已跟随操作系统小版本更新
PGDG 修复了仓库 RPM 问题：此前各 RHEL 小版本有独立仓库 RPM，导致 dnf update 后系统被锁定在旧小版本，现已修复，建议尽快更新...
-
判断引擎落地 .NET 的四条路线、一个客户端与一份生产样本 - 张善友
2026年9月，Jev、Laya等决策模型将“判断”从生成中剥离为独立基础设施：一次前向传播返回带概率的选项、分数或布尔值，答案空间预先锁定，并用RLCD...
-
大脑充血 Vol.100
作者坚持周更小报满100期，本期为小游戏特辑，推荐三款游戏：色彩计数器，凭记忆写出颜色英文名，作者得50个并分享词源；Nordle，同时玩N个Wordle...
-
准双曲面齿轮计算器
准双曲面齿轮是一种特殊的锥齿轮，两轴不相交且存在偏置距。其传动比等于大齿轮与小齿轮的齿数之比，偏置距会影响承载能力和传动性能。
