30年前，他被冤入狱，被关18年，终于因为新的DNA证据被证无罪。结果刚提出3600万赔偿，却又再次成了血腥杀人案的唯一嫌疑人，被判终身监禁。究竟是真的有罪还是警方栽赃陷害？ 纪录片播出之后，已经有15万人为他请愿。虽然判决已经论定，但是真相却永远没人知道。

Solarized 被称为是目前最完整的 Terminal/Editor/IDE 配色项目。它能给 Mac/Windows/Linux 下的终端、编辑器和 IDE 换上顺眼的颜色。有了这禅意的配色，你能更加冷静地工作。

这个软件是我必用而且非常常用的软件,本版本为绿色便携,内有bat文件可以替换系统笔记本！

Garry Tan 开源的 AI 代理长期记忆系统，支持 10000+ Markdown 文件的混合搜索

基于 Xray Core 构建的代理和用户管理工具，支持轻松添加用户、节点，配置 Xray，提供功能丰富的 REST API，适合需要搭建和管理代理服务的开发者和运维人员。

基于百年数学理论的AI交易机器人在预测市场Polymarket上自动套利，30天获利超46万美元，专抓深夜定价漏洞。

一个 API 驱动 Chromium/Firefox/WebKit 三大浏览器，支持 TS/Python/Java/.NET，自动等待+追踪调试+AI Agent 浏览器控制

佛学开示——业力重时先停下来，修止观、不被境转，从心性上提升真正的免疫力

1956年贝尔实验室提出的数学公式，已知胜率和赔率时算出最优投入比例，巴菲特段永平都在用

破文字相、破关系相、破情绪相、破时间相、破观念相、破我相、破执着相——骨架是金刚经，收尾是道德经

微软研究院 4B 参数 image-to-3D 模型：O-Voxel 表示搞定任意拓扑+完整 PBR 材质，512³ 仅 3 秒，24GB 显存可本地跑，MIT 协议全开源

语雀之父玉伯新作：Board看板剪藏素材+AI对话式研究+可改写初稿，把'看过'变成'产出'的AI创作闭环工具

zufuliu 分支改名转正，110+ 语言高亮紧跟 C++23/Java 25/Python 3.14，CJK 输入深度优化，Direct2D 渲染+字体连字，单文件绿色便携，记事本三部曲收官之作。

9张照片拼出可交互3D工作室刷屏背后：四条路线token成本差10倍，选错又贵又绕，附实测数据和场外更优解

Krea.ai从零自研的12.9B图像模型,ComfyUI官方仓935万下载:风格参考混搭+反AI味审美,Turbo版8步2秒出2K图,3090可跑

同一个模型有 4bit/8bit/免审版，怎么选？一句话：稠密选小、MoE 选大。附下载地址与实测速度；2026-09 补测 oMLX 引擎，修正「换引擎不会变快」的旧结论。

不知道 System One 决策模型能干嘛？这个策展站把 194 个真实 Jev 项目、演示和作者一站收齐，找灵感的最佳入口

不只量化更是全链路：Dynamic v3.0动态精度+MTP投机解码+Flash Attention加速，llama.cpp/Ollama一键起

哪吒探针数据不动，前端直接换代：卡片式实时监控+深色模式+手机友好，Docker一条命令或白嫖Vercel/CF部署

AAIF 基金会的 agentic 原生网关：Rust 写的 LLM/MCP/A2A 三合一代理，补认证、RBAC、护栏与可观测，单机一个 YAML 就能跑。