DEV TRENDS / CATEGORY
2026年10月26日 – 2026年11月1日 内首次发现的 8 个新项目，已跨 5 个来源去重。
2026年8月10日 – 2026年11月1日 内首次发现 67 个项目
这是运行在 ESP32-P4、ESP32-S31 和 ESP32-C5 上的 GB、GBC 和 GBA 模拟器，模拟核心、解释器和 RISC-V JIT 都是从零编写的。游戏直接从 SD 卡加载，有卡带存档、RTC、即时存档和触摸界面，部分板子还能接 USB 手柄或蓝牙手柄。目前支持 8 块开发板，Release 里有每块板子的完整固件。 亮点 JIT 把 SM83 和 ARM7TDMI 代码翻译成 RISC-V，在单片机上运行 GBA 游戏 蓝牙手柄由 ESP32-P4 的 LP Core 直接收发 HCI，游戏运行时主核不参与 一套代码支持三种芯片和 8 块开发板 在真机上用 SingleStepTests 和测试 ROM 验证，解释器和 JIT 的结果必须一致
同时开着 Qoder、Claude Code、Codex、ZCode、WorkBuddy、OpenCode 的时候，很难判断谁在跑、谁在等你回答。Agent Ping 是一个 macOS 菜单栏 / Linux 托盘面板：只读这些工具已经写在本机的日志，把每条会话标成正在跑、排队、等你回答、已完成或报错停下，点一行就回到那条会话；不联网、不要账号。 亮点 同屏六家 Agent，按状态分组而不是按工具分组——打开面板先看见「谁在等你」；等你回答的那条会话会带出问题原文和可选项（装 hook 后可精确到提问）。整个二进制不发起网络请求，只读日志，不碰账号密码；macOS 用 Homebrew 一条命令源码编译安装，Linux 有源码构建。
Lasm has been my dream for a good part of 2026. I firmly believe that formal verification is the next evolution of software engineering and programming languages. This next wave will largely be enabled by the incredibly intelligent LLMs that understand formal verification and its programming languages. Lean is one of the most popular languages that allow for formal verification, and to me is incredibly powerful because it is a general purpose programming language with formal verification built directly into it. You can build general purpose software in Lean, and formally verify it in Lean. Amazing. Lasm brings Lean to the browser, Node, serverless, and edge environments (and more). The idea is that you can now write web apps, frontend to backend, in Lean and formally verify these apps. Imagine an Express server or Hono server, running on Cloudflare Workers, with formal verification of its specification. I'm an agentic engineer with an emphasis in software engineering, and Lasm was built mostly by Claude Opus 5.5 with my high-level direction.
原文在终端里看鸟群飞舞。这是一款用 C 语言编写的终端鸟群动画工具，基于 Boids 算法模拟群飞。它可以在终端中用盲文点阵画出鸟群，支持 3D 模式、老鹰捕猎、鸟群拼字显示时钟和屏保模式。
用截图告诉 AI 界面该怎么改。这是一款面向 AI 编程的截图批注工具，可以把具体怎么改整理成 AI 能直接读取的 JSON。支持悬停识别界面元素、点和框批注、拖动组件调整布局、暂停视频按帧批注，以及 OCR 和长截图，所有处理均在本地完成。
把 Linux 桌面变成一张书桌。该项目是基于 Wayland 的 Linux 桌面环境，整个房间采用光线追踪渲染。桌面是一张木书桌，窗口是一页页纸，最小化时像信一样折起，关闭时揉成纸团扔掉。
Autonomous, always-on Home Network Sentinel & Canary Honeypot for under $4 on ESP8266
原文以前习惯 QQ 五笔，但这个已经几年没更新了，在 win10 和 win11 下面还有兼容性问题。同样是 86 码表，搜狗五笔和 QQ 五笔的不一样，导致我很不适应。基于开源输入法小狼毫二开了一个 QQ 版（也就是极点版） 86 码表的输入法。同时兼容 98 和新世纪码表。 提供 windows 可执行文件安装包。 基本设置是根据我的习惯设置的。只配备了必要功能，没有太多花里胡哨的东西。（搜狗五笔最搞笑的功能是按词频调整词序，还有什么热门短语，五笔的盲打就是基于固定词序的。）
换一个关键词或分类试试。
