Quint是一种特别适用于分布式系统的规范语言。它结合了Temporal Logic of Actions (TLA)的强大理论基础和最先进的类型检查和开发工具。Quint具有简单和熟悉的语法、表达能力强的类型系统、新颖的效果系统、模拟器、...

近日，NASA分享了一段视频，详细介绍了其计划向月球发射商业交付服务。目前NASA正在与14家公司合作，将科学技术送到月球表面。NASA计划长期建立一个永久性的月球基地，而商业交付服务将极大地增加可以实现的科学量。...

微软的Medprompt+是目前MMLU最佳提示方法。微软已发布该模板以及许多其他思路链式模板，这些模板在评估界是标准的。

MI300X是AMD的旗舰人工智能加速器。随着ROCm 6的推出，它现在在推理工作负载方面接近于NVIDIA的性能。这对社区来说是个好消息，因为它为新兴的人工智能公司打开了使用替代芯片的可能性。

领先的创始人和风投投资者谈论人工智能的发展现状，从LLMs的应用到企业创新。如果“你应该了解的关于人工智能的事情”节奏有点令人不知所措，那么这是一个不错的快速回顾。人工智能正在成为越来越多行业的关键技术之一...

通过在魔法飞天卡牌游戏中进行微调实验，以提高GPT-4的性能，获得了一个精细调整的7B参数模型，其性能接近于人类水平。

DeepEval是一款全能的LLM应用评估框架，可让用户轻松识别和迭代不令人满意的LLM输出。它目前提供了14+种评估指标，如幻觉、摘要、G-Eval、RAGAS等，供用户以Pytest样式或组件化方式评估整个数据集。

上周推出的 Coffee 可以通过插入现有的代码库来帮助前端开发中的 AI 流程。该项目专注于基于 Coframe 团队从利用 AI 生成 80% 以上前端的经验中获得的一流 DX。Coffee 将使用人工智能来改进前端开发工作流程，从而使...