提示信息
文章 便携屏搭配笔记本，比我想象的更有用：爱国者aigo14开箱 不存在！
程序设计实验室
微信公众号
一个技术探索与知识分享的平台~
ROCm on Windows 性能排查：RX 6650 XT 跑 PyTorch，为什么加速不明显？
自编译折腾半天，加速不到2倍？小模型+Windows+gfx1032非官方支持，能有这个速度算给面子了。别指望生产环境，当实验玩具玩吧。
2026-05-09
1270
ROCm
lighthouse-fw：一个管理腾讯云轻量服务器防火墙的终端工具
公网IP一换手动改防火墙？这效率也配叫程序员？ 一个增量diff引擎+系统钥匙串+TUI/CLI双模，443行重构包完事。 uvx直接跑，别告诉我还要pip install。
2026-05-02
878
DevOps
用本地大模型驱动中文输入法，我做了一个实验性的项目
一个拿350MB小模型给输入法做语境排序的实验，思路倒是比那些堆参数的玩意儿清醒。不过老哥，先用着Web版就别急着吹原生输入法框架，等你能把打字延迟压到100ms以下再说。
2026-04-30
740
LLM
Spark.NET：一个试图把 Django / Rails 式开发体验带回 .NET 世界的全栈 Web 框架。
又一个把Django/Rails那套“约定优于配置”搬进.NET生态的尝试，看着有点意思。预置了认证、队列、定时任务这些破事，省得自己天天重复造轮子。但767个star连个正式release都没有，就敢打着“生产级”旗号？呵，C#全栈爱好者...
2026-04-29
1015
C#
Zed AI 白嫖免费模型，搭配 DeepSeek v4，玩转 Agent 编程技巧
Zed AI功能够用但不算顶尖，自由度高轻量灵活，比主流工具舒服些。配置ACP协议和外部agent效果还行，但稳定性一般。白嫖DeepSeek、智谱等模型免费额度可行，但配置稍繁琐，Zed Agent虽开放但插件生态不足，Git Graph...
2026-04-28
1920
IDE
当 CGO 遇见 Zig：一种更优雅的折腾方式，对比 GCC 后端
“GCC 赢了跑分，但 Zig 赢了人生。” (GCC wins the benchmark, but Zig wins the DX/Developer Experience.) Windows下cgo编译器从gcc换到zig？GCC快...
2026-04-14
1941
Go
2026年AI编程工具横评：Cursor、Codex、Claude Code、Zed、Windsurf
Cursor还稳坐江山？Windsurf的Agent面板真那么神？Zed快是快，但AI功能跟不跟得上潮流再说。2026年选IDE，光看单点优势够呛，组合拳才王道——Cursor生态强还是Windsurf Agent管理顺？Codex细致度抵...
2026-04-13
1018
IDE
后 Django 时代：SQLAlchemy 2.0、Tortoise 与 Piccolo 三大异步 ORM 选型指南
SQLAlchemy 2.0 才是工业级稳定，Alembic 迁移能力谁用谁知道。Tortoise ORM 是 Django 老玩家的舒适区，但灵活度有限。Piccolo 语法现代但生态太嫩，适合玩票。别再迷信 Stars，生产环境看的是谁...
2026-04-10
981
Python