微软开源 iOS 流式 Markdown 渲染库 SwiftS...
微软在 GitHub 开源了 SwiftStreamingMarkdown，一个面向 iOS 的高性能 Markdown 渲染库，专为流式文本场景设计，支持逐段到达时平滑动画与滚动，适合聊天或 LLM 回复界面。
TechFoco
文章归档
第 1 页，共 45 页
GDM Science Skills：Google DeepM...
Google DeepMind 开源 GDM Science Skills，一套专为科研任务打造的 Agent 技能集合，覆盖基因组学、结构生物学、化学信息学、文献检索等领域，集成 30+ 数据库与工具，支持 np...
TechFoco
榨干垃圾服务器：本地AI运行的底层逻辑并非买显卡
本文指出，在本地运行大模型时，瓶颈并非算力而是内存带宽。作者以2016年的Xeon处理器和DDR3内存成功运行Gemma 4模型为例，说明通过推测解码、内存矩阵对齐和Flash Attention优化等技术，可以绕...
TechFoco
Linux内核的隐秘角落：如何让代码在百核时代狂飙
多核CPU上原子操作底层的缓存一致性协议（MESI）会成为新瓶颈。Linux内核的Restartable Sequences（rseq）将并发控制从线程维度降级到CPU核心维度，在用户态为每个CPU分配独立数据结构...
TechFoco
工具快了，也可能让你更快完蛋
AI降低了开发和执行门槛，但平庸想法贬值速度也史无前例地快。以前烂点子需半年和几十万预算，可能及时止损；现在三天内可做出垃圾产品，但会更快破产。技术不再是瓶颈时，胜负取决于对真实世界痛点的敏锐度和商业手腕。
TechFoco
本地大模型+MCP：把AI的“脑子”插上本地插头
Unsloth 发布教程，介绍如何通过 MCP 协议将 Qwen 或 Gemma 等本地大模型与外部工具（如本地文件、浏览器、Vercel、GitHub）连接，实现本地化、隐私安全的工具调用。
TechFoco
agents-best-practices：跨平台 Agent...
agents-best-practices 是一套跨平台 Agent 技能，提供 MVP 蓝图模板、工具权限分级、上下文压缩与提示缓存，帮助开发者安全高效地设计、审计和重构 Agent 运行时框架，兼容 Codex...
TechFoco
OpenLogi：用 Rust 编写的本地优先 Logitec...
OpenLogi 是一款用 Rust 编写的本地优先 Logitech Options+ 替代方案，无需账号、无遥测数据，所有配置存储在本地 TOML 文件中，支持通过 HID++ 协议重映射按键、DPI 和 Sm...
TechFoco
GordenPPTSkill：专为中文用户打造的 AI 原生...
GordenPPTSkill 是一套面向中文用户的 AI 原生 PPT 生成工具，内置 17 套精修模板，支持非破坏性文本编辑，基于 python-pptx 实现模板布局保留，通过 edits.json 驱动构建流...
TechFoco
鼠鼠实习妙妙工具（SIT）：AI 驱动的实习项目闭环工具，从...
鼠鼠实习妙妙工具（SIT）是一套 AI 驱动的实习项目闭环工具，帮助候选人将岗位 JD 转化为项目素材、简历和面试包，支持从选题到面试的全流程。
TechFoco
Terax：7MB 的终端优先 AI 原生开发工作空间，集成终...
Terax 是一款仅 7MB 的轻量级终端优先 AI 原生开发工作空间，集成多标签终端、CodeMirror 6 编辑器、完整 Git 工作流和 Agentic AI 侧边栏。完全本地运行，无遥测、无需账号，支持...
TechFoco
mathVideoMaker：专为数学教学打造的 Cursor...
mathVideoMaker 是一套 Cursor Agent Skill，专为数学教学设计，可同时生成 Manim 渲染的 MP4 视频和自包含交互式 HTML 网页。视频强制展示推导过程，网页支持参数拖拽交互，...
TechFoco
Gemma Skills：专为 Gemma 模型与智能体交互打...
Google 开源 Gemma Skills 技能库，为 Gemma 模型提供开发与知识问答能力。仓库包含 gemma-dev 技能，支持 Vercel Skills CLI 和 Context7 Skills C...
TechFoco
不要用“模仿大脑”来给AI计算量注水了
近期有研究试图用更符合生物学的复杂模型迭代经典神经元公式，声称能减少训练数据。但历史表明，产业界在80-90年代主动选择了简单算式，因为AI的尽头是规模化（Scaling），简单乘加运算易被GPU加速，复杂模型成本...
TechFoco
OpenAI 推理模型突破 80 年数学难题：单位距离问题被推翻
OpenAI 的通用推理模型自主破解了存在 80 年之久的离散几何难题——单位距离问题，推翻了 Erdős 猜想，展示了 AI 跨学科组合创新的能力。
TechFoco
GitHub 确认 3800 个仓库因恶意 VS Code 扩...
GitHub 内部约 3800 个仓库因员工安装恶意 VS Code 扩展而泄露，黑客 TeamPCP 正以 5 万美元起拍价叫卖数据。事件暴露了 VS Code 插件权限过大、开发者生态中信任与权限失控的结构性风...
TechFoco
PhoneClaw：一款完全离线的本地 AI Agent，现已...
PhoneClaw 是运行在 iPhone 上的本地 AI Agent，无需联网即可完成推理与工具调用，完全离线、私密。内置 Gemma 4 和 MiniCPM-V 等模型，支持图片理解、语音交互、健康数据查询、日...
TechFoco
AI 不会取代程序员，只会极速拉开开发者差距
文章指出AI不会取代程序员，而是放大开发者之间的能力差距：对专家是效能倍增器，对初学者则可能制造大量技术债。核心在于开发者自身是否具备定义“好”的标准和深厚的技术底蕴。
TechFoco
Dolphin：清华大学与DataoceanAI联合开源多语种...
Dolphin 是 DataoceanAI 与清华大学联合研发的多语种、多任务语音识别模型，支持 40 种东方语言和 22 种中国方言，训练数据超 21 万小时，可同时完成语音识别、语音活动检测、分段和语种识别。项...
TechFoco
Pyrefly：Facebook 开源的高性能 Python...
Pyrefly 是 Facebook 开源的 Python 类型检查器与语言服务器，单秒可处理 185 万行代码，内置 IDE 功能，支持 Pydantic、Django 等框架，已在 Instagram 2000...
TechFoco
