**ExactTeX** 是一款兼容 LaTeX 的工具，它为文档增加了渐进式注解功能，无需重写整个文档即可实现高级别验证。通过将 `.tex` 文件重命名为 `.xtex`，您可以选择需要注解的组件（如图片、表格或章节）；这些组件会经过错误校验，而其余的“普通” LaTeX 内容则会按字节原样保留。
主要功能包括：
* **直观的诊断信息：** 标准 LaTeX 通常只会提供令人费解的“overfull hbox”错误，而 ExactTeX 能精确指出导致问题的具体对象。
* **类型安全：** 它能捕获标准 LaTeX 会默默忽略的逻辑错误，例如将表格误引用为图片。
* **集成工具链：** 提供 LSP 服务器、基于 WebAssembly 的浏览器编辑器以及命令行界面，所有工具共享一个零依赖的核心。
* **渐进式采用：** 通过“渐进式类型”系统，它可以追踪文档中已受契约约束的比例。未注解的部分被视为“未知” (`?O`)，这确保了兼容性，并允许从标准 LaTeX 平滑过渡。
总之，ExactTeX 的作用就像是文档界的 TypeScript：您只需多写一点代码，即可获得高级工具支持、诊断功能和版本追踪，同时确保最终输出仍是标准的、可传输的 LaTeX 文档。
每日HackerNews RSS
抱歉。
Gimlet 宣布完成 3 亿美元的 B 轮融资，由 Andreessen Horowitz 领投，旨在扩展其多芯片 AI 推理云。随着 AI 工作负载从训练转向推理，功耗和延迟已成为行业面临的最严峻瓶颈。 Gimlet 通过摒弃传统的同构硬件来应对这些挑战。相反，他们利用异构架构，通过各种芯片（包括 GPU、CPU 和数据流加速器）智能地分解工作负载。通过拆解模型并将特定任务分配给最适合的芯片（例如分离预填充和解码阶段），Gimlet 实现了 3 至 10 倍的性能提升，并显著提高了能效。 这种方法使企业能够满足对智能体工作负载、更大规模模型和更长上下文窗口的激增需求，而不会触及当前数据中心电力容量的物理极限。随着 Gimlet 扩大其托管容量以应对行业的大规模增长，他们正在积极扩充团队，以继续构建这一对 AI 基础设施的根本性重构。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Gimlet 的 B 轮融资 (gimletlabs.ai)
6 分，由 bigcat12345678 发布于 1 小时前 | 隐藏 | 往日 | 收藏 | 2 条评论
grebc 17 分钟前 | 下一条 [-]
涵盖了昨天关于“风险投资已不再是真正的风险投资”讨论中的所有要点。
光明即黑暗。
向上即向下。
风险投资很有用。
回复
BiraIgnacio 34 分钟前 | 上一条 | 下一条 [-]
太棒了，恭喜！
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
Moadim 是一款开源、基于 MIT 协议的自动化工具，完全免费、无需账号且支持自托管。它专为 macOS 和 Linux 设计，作为本地守护进程（通过 `launchd` 或 `systemd` 管理）运行，执行任务时无需依赖云端，也不存在隐藏队列。 该工具支持多种内置代理（包括 Claude、Codex、Hermes 等），这些代理在独立的 `tmux` 环境中运行。每个任务的执行过程都经过彻底的沙盒隔离，确保运行之间不会发生状态泄露，并配备了看门狗计时器以终止卡死的进程。Moadim 要求系统路径中必须安装 `tmux`；若使用 Claude 代理，则还需 `python3` 来管理无人值守的信任授权和 MCP 审批。用户只需运行 `moadim install` 即可轻松管理持久化，确保守护进程在重启后依然生效。
抱歉。
AI 编程智能体经常将昂贵的“前沿”模型额度浪费在读取大文件或生成样板代码等常规 I/O 任务上。随着 AI 编程成本预计将大幅攀升，开发者需要一种更高效的方法。 解决方案是利用 Spotify Portal 中的“AiKA 模式”进行**模型路由**。通过将繁琐工作委派给更便宜且能力强大的模型（如 Gemini 2.5 Flash），你可以将昂贵的 Claude 额度留给复杂的推理和调试任务。 作者介绍了 **Shunt**，这是一款实现自动化路由的 Claude Code 插件： 1. **钩子 (Hooks)：** 拦截大文件读取请求，并将其重定向到“批量读取”模式。 2. **脚本 (Scripts)：** 执行专门的智能体来处理常规任务（如代码脚手架或摘要），而无需将整个上下文加载到主智能体中。 3. **技能 (Skills)：** 指导主 AI 何时以及如何分流任务。 这种方法在大文件读取上可节省约 90% 的额度，并将任务委派与基础设施管理解耦。通过使用 Portal 可共享、声明式的模式，团队可以将复杂的模型路由转化为简单的配置任务，确保昂贵的智能仅在真正需要时才被使用。
Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Portal by Spotify 将我的 Claude Code Token 使用量减少了 90% (atspotify.com)
12 点，由 cebert 发布于 54 分钟前 | 隐藏 | 往期 | 收藏 | 1 条评论
帮助
solenoid0937 2 分钟前 [–]
所以这只是把某些工作委派给了更笨的模型？我绝对不会像文中建议的那样使用 Gemini 2.5 Flash (!!?) 来编写代码。
我从来没觉得 Codex 或 Claude 在阅读大型文件时有什么问题，它们在进行精确的 grep 搜索方面非常出色。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系
搜索：
Artificial Analysis 发布了 Intelligence Index v4.2 版本。这是一个过渡性更新，旨在跟上人工智能快速发展的步伐，为 v5 版本的正式发布做准备。该版本引入了更严苛、更真实的测试任务，并将私有预留测试集的权重提高至 40%，以防止模型出现“刷分”现象。
主要新增内容包括：
* **AA-Briefcase**：一项针对代理型知识工作的评估，涉及复杂的、为期数周的项目。
* **GDP.pdf**：一项专业文档推理测试，要求模型整合 4,592 页图表、表格和文本中的数据。
* **评分增强**：升级了基础设施，包括改进采样方式并重新锚定 Elo 分级，以确保更高的稳健性和评分准确性。
目前的排名显示，Anthropic 的 Claude Fable 5.1 在总指数中领先，OpenAI 的 GPT-6 Astra 紧随其后，并表现出显著的效率提升。Anthropic、OpenAI、Meta 和 Z.AI 目前代表了“单次任务成本”的前沿水平。此次更新强化了该指数对实际应用价值的关注，随着团队继续推进 v5 版本的全面开发，未来还将发布更多增量更新。
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Artificial Analysis Intelligence Index v4.2 (artificialanalysis.ai)
6 分，由 nojs 于 27 分钟前发布 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
费城圣诞村（Christmas Village）和“费城制造”（Made in Philadelphia）市集的摊主们接到通知，今年圣诞季期间，购物者将不得进入摊位内部。为了符合《美国残疾人法案》（ADA），主办方德国美国营销公司（German American Marketing）要求摊位安装销售柜台或障碍物，实际上禁止了公众进入。 首席执行官托马斯·鲍尔（Thomas Bauer）解释称，由于大多数摊位无法容纳轮椅通道所需的8英尺坡道，关闭摊位是唯一可行的法律解决方案。尽管少数较宽的摊位仍可使用坡道，但大多数摊主现在必须依靠工作人员在摊位外协助顾客。 这一决定在摊主中引发了强烈不满。他们担心布局的改变会阻碍顾客光顾，并对销售额产生负面影响。许多人对这一规定的发布时间感到格外愤怒，指出他们在规定宣布前就已签署合同并支付了费用，因此无法转向其他市场。此举是在近期市议会就公共活动中系统性无障碍设施缺失问题举行听证会之后做出的，此前倡导者曾批评市政府未能执行残疾人标准。尽管主办方表示已花费数月咨询法律专家，但摊主们对这些后期变更带来的财务影响仍深感担忧。
费城圣诞村宣布了一项新规定，禁止购物者进入独立的摊位内部，从而废除了此前通过设置临时坡道以供残障人士通行的方式。市场管理方解释称，此举是由于此前有残障人士投诉，认为需要请求帮助才能进入摊位让他们感到被“特殊对待”，而健全的购物者则无需如此。
这一决定在黑客新闻（Hacker News）网站上引发了争议。用户将其与无障碍要求导致服务被取消而非改进的其他案例相提并论，例如加州大学伯克利分校为了避免字幕制作成本而删除了其公开讲座档案。批评当前《美国残疾人法案》（ADA）框架的人士认为，由于合规成本高昂，该法案产生了负面激励，往往迫使机构彻底取消相关服务，而非提供公平的获取途径。评论者建议该法律设计不当，亟需改革，但也承认此类变革在政治上仍十分困难。
反编译器浏览器 Decompiler Explorer
21 小时前
示例，或查看我们提供的以下示例之一： 选择一个示例... x86 Linux 上的 CTF 挑战 Arm Linux 上的 Hello World Megatest 反编译器测试二进制文件：arm64 FreeBSD Megatest 反编译器测试二进制文件：arm64 macOS Megatest 反编译器测试二进制文件：x86 Windows x86_64 Linux 上的 Ping6 x86 Windows 上的 VTable 又一个 x86 Linux CTF 挑战
```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Decompiler Explorer (dogbolt.org)27点 由 tripdout 发布于 4 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助
dang 32 分钟前 [–]
相关内容。还有其他吗？Dogbolt Decompiler Explorer - https://news.ycombinator.com/item?id=38520487 - 2023年12月 (89 条评论)Decompiler Explorer - https://news.ycombinator.com/item?id=32079227 - 2022年7月 (82 条评论)回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索: ```
《Calculating with Tones》一书的封面在吉他琴格与计算尺的对数性质之间建立了一种颇具启发性但并不准确的联系。尽管吉他琴格和计算尺都受到对数间距的影响，但它们的功能各不相同。
对数通过将乘法转化为距离的相加来简化运算，这正是计算尺的工作原理。相反，吉他琴格的定位是为了适应人类音高感知的对数性质而调整弦长。由于人类耳朵将八度音视为频率的倍增，琴格的间距设定为 2 的 12 次方根。
虽然“基于琴格的计算尺”在第一个八度音阶中似乎可行，但它无法在多个八度音阶中正确运作，因为其底层的数学刻度与乘法所需的真实对数刻度不同。在历史上，制琴师在精确数学公式普及之前，通常使用几何近似法（例如文森佐·伽利莱的 18:17 比率）来放置琴格。归根结底，虽然这两个系统都利用对数原理来映射自然界，但吉他琴格是为了音乐和谐而设计，而非作为数学计算工具。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
吉他品丝能进行乘法运算吗？ (charlespetzold.com)
12 分，由 wibbily 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系
搜索：
抱歉。
美国民众对政府腐败的认知已达到20年来的最高点。目前，89%的成年人认为腐败现象普遍存在，较去年上升了10个百分点。这一激增主要源于民主党人（91%）担忧程度的急剧上升，而独立人士（90%）和共和党人（83%）的悲观情绪也与之相当。 尽管许多国家都存在对政府腐败的担忧，但美国与其他发达经济体之间的差距正日益扩大。到2025年，美国在经合组织（OECD）国家中被认为腐败程度最高，且这一差距今年可能进一步拉大。值得注意的是，美国人认为政府的腐败程度远高于商业领域，目前两者18个百分点的差距是有记录以来的最高水平。 与往年党派偏见严重影响此类认知不同，当前创纪录的高位反映出一种罕见的跨党派共识。即使在政治领导层更迭后，各政治派别的美国人也越来越认为系统性的政府腐败是一个普遍存在的问题，这使得美国在全球政府腐败认知程度最高的国家中占据一席之地。
盖洛普近期的一项民调显示，高达 89% 的美国人认为政府腐败现象普遍存在，创下历史新高。《黑客新闻》（Hacker News）围绕这一调查结果展开的讨论，揭示了公众深刻的分歧，以及关于美国政治本质的广泛辩论。
**讨论中的关键点包括：**
* **“各打五十大板”与腐败规模之争：** 许多参与者认为，腐败并非新鲜事，但在规模和公开程度上已显著增加，尤其是在近期的行政决策和牟取暴利方面。另一些人则反驳称，“双方一样腐败”的论调是一种政治犬儒主义，通过削弱问责制从而使右翼阵营获益。
* **制度侵蚀：** 评论者担心现有的保障机制正在失效，例如竞选财务法、内幕交易监管法规，以及公职人员个人商业利益与公职的分离。一些人指出，最高法院对“联合公民诉联邦选举委员会案”（Citizens United）的判决是一个转折点，它变相推动了贿赂的合法化。
* **党派极化：** 尽管民主党人和共和党人绝大多数都认为腐败普遍存在，但他们关注的目标和原因大相径庭。对政府的信任度已高度依赖于哪个党派执政；支持者往往会对“自己阵营”的指控避而不谈，而将目光集中在对方的越界行为上。
* **公众绝望感：** 一个共同的主题是无力感。选民觉得自己在两个均有缺陷的选择之间陷入困境，导致许多人对政治体制持虚无主义态度。