可逆计算理论:(可能是)下一代软件构造理论

让我们先从一个简单的事实开始—— 我们都知道,最好的程序员能够做出最简洁、最小的抽象系统,让我们将其称之为P, 然后,差一些的程序员(比如我)会写一些附带功能来扩展这个系统,让我们将我的代码称之为Code, 我们可以将这个过程表述为: App = P + Code 这个过程是很自然的,不是么? OK ,既然我们都接受这个自然的过程,那么设想实际上存在一个逆过程不是也很自然吗? 假设这里有一个庞大、丑陋的巨型系统W,难道不该存在一种逆过程,将这个系统改进成一种更简洁的形态L吗? 就像这样: W + inverse Δ = L 或是: APP - Code = P 你可能没见过这个东西,但是在数学...

无代码开源库~

https://github.com/dbreunig/whenwords 看到一个开源库,里面没有代码,只有提示词。现在有人尝试做一个没有代码,纯靠提示词整的应用么?😂...

一个完美替代 typora 的开源 markdown 生产力工具

一个完美替代 typora 的 markdown 生产力工具 自打 typora 收费后,一直关注 markdown 的编写工具;今天推荐一个国人开发的免费轻量且高性能的 markdown 工具。 你抵抗什么,什么就会持续,你静观什么,什么就会消失。 当当当当,主角隆重出场 介绍 今天的主角是 flymd ,它是一款仅 7MB 的高性能 Markdown 笔记工具!内置免费 AI 模型,智能生成 TODO 便签、主动提醒推送、本地知识库,AI 小说引擎。毫秒级启动,内存占用极低,短小精悍! 官方地址  http://flymd.llingfei.com/ 开源免费,清爽简洁 最突出的特点是支持...

试用 GPT5.2 代码功能发现给了一个好口语的注释

# 每个 GPU 进程内限制一下 intra-op 线程,避免 8 进程各自开满把 CPU 搞爆(你 CPU 很多也建议控一下) if args.torch_threads > 0: torch.set_num_threads(int(args.torch_threads)) torch.set_num_interop_threads(max(1, int(args.torch_threads // 2))) 如果是给 sonnet 4.5 要求做这个任务, 就不会出现这么口语的句子, 太好玩了来分享下 我还发现 GPT 家的习惯给代码上->注释类型, claude 的如果没要求,...

分享一个缓解干眼症的好办法

我之前的症状 因为长期用电子产品,导致右眼有严重的干眼症(干涩、疼痛并且剧烈的灼烧感),挤右眼角的时候,会发出 gugu 的气泡声。之前去三甲医院挂过眼科,医生开了一些滴眼液和眼药水,后面我自己也买了海露的玻璃酸钠滴眼液。陆陆续续差不多滴了一年多,用这些眼药水好像并没有完全解决我眼睛干涩、灼烧的问题。后面我有段时间我疼到时间受不了,就用网友推荐的用热毛巾敷眼睛的办法,确实有点效果。 我采用的办法 干眼症本质上就是眼睛缺水嘛,而且海露的作用也是让眼睛补水,那我为何不直接让眼睛补水?我要采取什么办法让眼睛充分补水?当然是把眼睛浸泡在温水中了! 1.找一个尽可能干净的盆或水桶,放满干净的温水(大概在...

我的 2025 年自媒体年终总结(程序员副业)

自媒体数据 我的搞笑短视频号《明哥秀》,全网粉丝数从 24 年 4.3w ,增长到 25 年 12.3w ,3 倍增长。创作分润,从 24 年¥800 ,增长到 25 年¥9500 ,12 倍增长。数据如下: 一年时间,我在 19 个平台投稿了大概 800 个短视频,每天花费 0.5~1h 来拍摄和剪辑短视频,然后使用批量投稿工具进行分发。目前主要收益来源于百家号和抖音的视频流量分润,另外还有一些平台未达到开通收益条件。也拍摄过一些卖货视频,但几乎无销量。同时我在 25 年 10 月,开始做 sora 的 AI 视频,目前百家号也开始有分润了,虽然还很少。我发现 AI 视频,比真人视频更难做,...

Happy 真是个 Claude Code 的宝藏工具。

以前都没发现的宝藏工具:有 Happy 这种 Claude Code 远程客户端之后,结合下 Skills + MCP ,用来搞个点外卖和炒股的个人 Agent 不是分分钟的事情。https://www.myaiexp.com/zh/items/dev-tools/happy...