antithesis

本文研究了经过指令微调的Transformer模型（LLaMA和Mistral）如何通过可解释性技术，在下一个词元预测任务中编码因果关系与对立关系的话语关系。

来自Antithesis的一篇详细博客文章，描述了他们的软件测试工具如何用于探索并实现Tetris中的‘重生’（达到255级），在此过程中克服挑战并发现故障。

对Antithesis的深入探讨，这是一款针对大型分布式系统的多重宇宙调试器，提供确定性重放和故障注入功能，现已作为免费文章发布。

Hillel Wayne 宣布其著作《Logic for Programmers》推出 0.14 版本，并透露将加入 Antithesis 担任开发者教育家，计划继续运营本通讯，但侧重点有所调整，频率可能降低。