3 分•作者: dlowe-net•4 个月前
我于2015年启动了这个项目,旨在将TeX的原始规范翻译成易于解析的格式(s-doc),并创建该格式的HTML渲染作为概念验证。<p>项目托管于:<a href="https:&#x2F;&#x2F;codeberg.org&#x2F;dlowe&#x2F;metaspectre&#x2F;" rel="nofollow">https:&#x2F;&#x2F;codeberg.org&#x2F;dlowe&#x2F;metaspectre&#x2F;</a><p>与Hyperspec的差异(来自README):<p><pre><code> - 最重要的是,它可以自由修改和分发。 - 原始TeX非常难以解析,除了生成打印副本之外,很难用于其他用途。Hyperspec是HTML渲染,可以作为HTML解析,但丢失了很多信息。Metaspec有一个易于解析的中间形式,可用于各种目的,例如转换为查找表。 - 数学公式使用MathML渲染。 - 包括致谢和附录部分。 - 使用渐进增强的JavaScript提供搜索和浅色/深色主题切换。 - 整合了超过145个内容补丁,使用了多年积累的更正,并在勘误页面中进行了记录。 - 包括TeX注释,其中可能包含有趣的历史数据。 - 包括指向书目引用的链接和标识符。</code></pre>
5 分•作者: mvand•4 个月前
Forte 是一个功能强大的云平台,能帮助开发者更快地将代码投入生产。开发者只需提供代码,Forte 即可为其进行容器化,并提供自动扩缩容和无冷启动功能,安全配置认证,并开箱即用地提供日志洞察和监控。 我曾负责 AWS 的服务开发,即使在 AI 编码尚未普及之前,我们最大的瓶颈也鲜少是功能开发。在发布新功能之前,我们通常需要花费数月时间进行安全准备、可观测性工具配置、值班优化以及其他前期工作。在我创业期间,每个团队都遇到了惊人相似的一系列问题,并花费数周时间重建认证、日志记录、监控和支付系统。 Heroku、Render 和 Railway 等平台在运行容器方面很有帮助,但它们无法提供团队上线生产所需的其他工具——例如认证、安全默认设置和请求级别的日志记录。我们构建 Forte 就是为了解决这一整套问题。 您可以在 <a href="https://forteplatforms.com" rel="nofollow">https://forteplatforms.com</a> 体验 Forte(注册免费,无需支付方式)。我们非常期待您的提问和反馈!
1 分•作者: petemilly•4 个月前
哪些 AI 网关效果好?我们目前直接在我们的 AI 代理(在 val.town 上)中使用 Anthropic 的路由器,但正在考虑添加 OpenRouter 或 Vercel AI Gateway,或者其他完全不同的方案。 我对网关知之甚少,只知道它们似乎是新的 VS Code 分支(即,每个人都在做)。我初步的研究表明,OpenRouter 拥有最多的模型/提供商,*但是* 会收取 5.5% 的即用即付平台费用(我们将推理成本转嫁给客户),*并且* 不支持提示缓存等功能。 我们主要使用 Cloudflare,几分钟前我了解到他们也有一个 AI 网关——但到目前为止,我找到的“2026 年最佳 LLM 网关”之类的文章都是由……拥有网关的公司发布的。