跳到正文
10月11日周日
  1. Hacker News36

    软件开发中的渐进式确定化:用 LLM 弱点定位该写成普通代码的部分

    开发者提出"渐进式确定化"方法:先用一个 prompt 让 LLM 完成整个任务,再通过运行观察其出错、重复推理、耗时十秒等问题,逐步把汇率查询、VAT 计算、科目校验等环节抽成确定性代码,让 prompt 缩小、代码增长。该方法需记录每次模型调用的输入、输出、成本与耗时,并以 BDD 风格的 given/when/then 测试保证抽取后的行为正确。

  2. GitHub36

    Workpane:把终端、编辑器、浏览器与 AI 智能体装进一个原生窗口

    Workpane 是一个面向开发者的原生工作空间,把终端、代码编辑器、浏览器、本地服务器和 AI 智能体整合进同一个窗口。它用 C++ 编写、由 GPU 绘制,每个功能都是可开关或自行编写的 Lua 插件,并支持本地模型等自选 AI 提供商。标签页、布局和设置会实时保存,异常中断的会话可在下次启动时恢复,数据存于可导出导入的本地数据库。

  3. GitHub34

    A008:面向项目、聊天与本地语义记忆的 provider 无关 AI 客户端

    A008 是 A007 的正式继任仓库,提供项目、聊天、工具与本地语义记忆共享的 provider 无关运行时,已实现项目注册、持久会话、CLI、Web GUI、Tauri/Electron 桌面端及 @a008/client SDK。聊天支持工具调用、MCP、文件上传与图像生成,记忆视图为只读诊断界面,V1/V2/ACP 保留兼容,V3 持久工作面按配置开启。

  4. GitHub48

    Talkflow 发布:实时会议与面试 AI 副驾,本地 Whisper 语音识别

    Zehnix 在 GitHub 发布 Talkflow,一款面向会议和面试的实时 AI 副驾,能识别提问并用第一人称、贴合个人档案的语气逐词流式生成建议回答。语音识别由本地 Whisper 模型(tiny 到 large-v3)在 PC 上完成,音频不外传,仅文本发送给用户自选的 OpenAI、Claude 或 Gemini,并使用用户自己的 API key。

  5. GitHub30

    Go Micro:Go 分布式系统开发框架

    Go Micro 是用于分布式系统开发的 Go 框架,提供 RPC、服务发现、消息传递、存储和配置能力,各组件均以 Go 接口加可替换的默认实现构成。该框架支持智能体将服务作为工具调用,并通过工作流编排服务调用与智能体任务,工作流具备有序步骤、重试和检查点机制。安装方式为 go get go-micro.dev/v6,采用 Apache 2.0 许可。

  6. GitHub22

    ORIGIN:Proofly 架构下的作者溯源与诚信账本

    ORIGIN 是一个基于 Proofly 架构的作者溯源与诚信账本系统,将抄袭检测扩展为完整的作者归属分析,通过句法节奏、词汇密度、语义漂移和结构韵律为文档构建多维指纹。系统采用 Docker Compose 编排的微服务架构,支持 47 种语言,提供 0-100 的谱系评分而非二元判定,并通过 Flask API 和可视化诚信地图呈现分析结果。