与「latex」相关的搜索结果

加州大学伯克利分校（UC Berkeley）的一位哲学教授在 2006 年顺手写了个工具，如今成了互联网上最耐用的底层基础设施之一。 这一维护，就是整整二十年。 这个教授叫 John MacFarlane。 他写的工具，叫 Pandoc。 如果你平时写文章、写代码，或者需要处理各种格式的文档，你大概率直接或间接用过它。 它被称为“文档转换的瑞士军刀”。 电脑世界里的文档格式，简直就是巴别塔之后的灾难。 微软的 Word（.docx）、网页的 HTML、写学术论文的 LaTeX、电子书格式 EPUB、轻量级的 Markdown、甚至数据库导出的 CSV 表格…… 它们彼此互不相通，格式乱飞。 Pandoc 的唯一工作，就是当这个超级翻译官。 只要在命令行输入一行代码，它能把一份 Markdown 笔记瞬间变成排版完美的 Word，或者把一堆学术文献无损转换成电子书格式。 最妙的是，这个哲学教授写 Pandoc 时，选了一个在程序员圈子里被视为“天书”的编程语言：Haskell。 这门语言以极度严密的数理逻辑著称，商业公司几乎不碰，因为太难招人，也太难上手。 但对一个天天琢磨逻辑学的哲学教授来说，Haskell 简直就是他的母语。 结果呢？ 用 Haskell 写出来的 Pandoc 稳如磐石。 过去二十年里，互联网技术迭代了无数轮，多少风口上的 SaaS 公司死掉了。 但这个由哲学教授业余维护的工具，依然是全球数百万开发者 and 学者桌面上最不可或缺的底层工具。 这就是开源世界的浪漫。 没有风投资本催着变现，没有产品经理天天想着塞广告、搞留存，没有为了迎合市场而做的一堆花哨垃圾功能。 只有一个智商极高的人，凭着自己极端的洁癖和长期的坚持，给全世界打了一口能用几十年的深井。 在这个连记事本都要收订阅费的时代，最伟大的生产力工具，依然是免费的。

Here’s everything you need to know about Grok Build’s changelog since release Grok Build is moving fast from a coding CLI into a full terminal-native agent workspace Since launch, it has added or improved plan/review/approve workflows, clean diffs, project-aware context through AGENTS.md, skills, hooks, plugins, MCP servers, parallel subagents, headless mode, ACP support, web/X search, image and video tools, compaction, memory handling, and long-running sessions The biggest upgrade people should not miss is the rendering layer Grok Build can now keep more technical output directly inside the terminal: math, formulas, LaTeX, Mermaid diagrams, ER diagrams, UML/class diagrams, state diagrams, sequence diagrams, tables, media outputs, and richer terminal views That matters a lot for research, ML, simulations, algorithms, database design, infra diagrams, paper implementation, and serious code review The terminal is no longer just where you run commands. It is becoming the place where you understand the work, inspect the logic, review diagrams, and keep moving without constantly copying output into another app The workspace layer is also got much more serious upgrades Agent Dashboard lets you manage multiple coding sessions from one screen, see what is working, idle, blocked, or waiting for input, peek at the latest output, reply inline, and dispatch new work without jumping between sessions The Plugin Marketplace turns Grok Build into an extensible developer environment Plugins can bundle skills, slash commands, agents, hooks, MCP servers, and LSPs. Launch partners include MongoDB, Vercel, Sentry, Chrome DevTools, Cloudflare, and Superpowers. Plugin installs can now resolve directly from registered marketplaces instead of only local paths The latest releases are mostly about making all of this reliable during real work Long responses can resume after network blips. MCP servers recover better after drops or noisy output. Compaction no longer hangs forever. Notifications only fire when user attention is actually needed. Linux clipboard support is stronger. Windows and iTerm rendering are cleaner. Very long sessions can scroll, resume, and quit without falling apart Grok Build is becoming a full terminal-native agent workspace: multi-session, plugin-driven, MCP-connected, diagram-aware, math-capable, media-capable, long-context, and built for developers who actually live in the terminal

Grok Build just got a serious update. It can now natively render math, formulas, and LaTeX directly in the terminal For anyone doing research, ML, simulations, algorithm work, or implementing papers......this removes a real friction point. The terminal just became a proper environment for technical work

看到很多硕博还在"古法做科研"——文献一本本看、实验一行行写、报告一字字敲，挺心疼的。 现在学术开源生态已经很成熟：写论文有 LaTeX 智能助手，文献调研有 Deep Research 类 13 agent 流水线，引用有 claim-level 审计防止幻觉，Claude Code 里两条命令就能装好。 跑完整篇 1.5 万字论文成本 4-6 美元。 机械活交给 AI，思考留给自己。 这才是科研该有的样子——不是手工时代的延续，是 AI 时代的杠杆。