这个域名下面的几个小项目，随手点开就行。2026 年 10 月上线的是 7-Zip 在线版和 NNG4 中文版：一个在浏览器里离线压缩解压，一个用 Lean 从 0 证到费马大定理，再走进算法世界。
把官方 7-Zip 24.09 的引擎编译成 WebAssembly，塞进一个约 3 MB 的网页。打开就能浏览、解压、测试、比较或新建 7z / ZIP / WIM，文件始终留在本机。
首次加载约 3 MB，之后完全可以断网使用。没有账号，也没有上传按钮。
支持 7z、ZIP、TAR、GZ、BZ2、XZ；加密包会提示输入密码，错误可重试。
解压可写回文件夹，或打包成 ZIP 下载；新建支持密码、AES-256 与分卷。
7-Zip 引擎在本机浏览器里运行，没有服务器接收文件；关掉页面，内存里的内容就清空。
7z 支持 AES-256 和文件名加密。打开加密包会弹密码框，输错会给出明确提示并允许重试。
.001 可以直接打开（把同一组卷一起选上）。创建分卷时，浏览器会打包成一个 ZIP 下载，解开就是 .001/.002…。
受 32 位 WebAssembly 内存限制，建议压缩包控制在几百 MB 内；RAR 仅解压，超大档案请用桌面版 7-Zip。
第一次用？看 30 秒上手与常见问题。7zip.bttip.com 由 Cloudflare Pages 托管；如果暂时打不开，请稍后重试或检查网络。
从 0 和后继数出发，用 Lean 的证明策略闯过 9 个世界 79 关，走到费马大定理，再进入算法世界。所有题目、提示与文档都已中文化，部分关卡提供提示（共 110 条，43 关有提示），也可以查看答案。
打不开？试试备用入口 nng4.pages.dev
NNG4 原项目由 Kevin Buzzard、Jon Eugster 与 Lean 社区制作，Apache-2.0 许可；本站为非官方中文离线版。
插上 RTL-SDR，浏览器直接连 USB：实时频谱、FM 解调、ADS-B 飞机、语音转文字。用 Edge 打开即可。
土中双语对照的入门读物，按级别排好，适合从零开始啃。
中文网页版放置小游戏，随手点两下就能玩，专治碎片时间。