academic

一款用于 LaTeX 中 TikZ 图形的 WYSIWYG 编辑器，可同步源代码和渲染输出，支持拖放编辑。它由 AI 编程代理（Codex）构建，旨在简化学术人员的图形创作。

本文讨论如何理解反证法，这是一种基本的数学推理技巧，旨在用于教育目的。

Xavier Leroy宣布了一本关于编程语言中控制结构的新书，涵盖从goto到代数效应的内容，提供CC许可下的免费预览。

推荐使用AI阅读论文的方法，并引用经典论文阅读技巧How to Read a Paper的三遍法。

用户推荐一个帮助阅读论文的功能，认为非常有用。

Awesome Rebuttal 是一个开源项目，专为 AI、NLP、机器人等方向论文打造，可帮助作者分析审稿意见、规划补充实验并生成有理有据的回复，支持嵌入 Cursor 或 Claude Code。

Pandoc Templates 提供针对期刊的 pandoc 模板，支持主要的统计学期刊，如 JASA、Biometrics 和 The R Journal。

探索使用幺半群进行易并行数据处理，表明霍纳规则和Boyer-Moore多数投票算法等传统串行算法可通过幺半群组合实现并行化。同时介绍了垂直幺半群组合，用于高效的嵌套分组聚合。

EMNLP 2024 的投稿量已达 11000 篇，高于去年的 8000 篇，凸显了 NLP 领域的快速增长。

推荐一个最近很受欢迎的学术开源项目。

这篇1979年的学术论文介绍了可证明安全操作系统(PSOS)的基础。

本文提出一种符号框架，利用本体、语义分析（AMR）和推理，将脱敏的警方叙述转化为证据关联的事实，从而能够对通常仅存在于自由文本中的事件细节进行结构化查询。

Charity 范畴式编程语言的档案库，包含两个解释器的源代码及来自1990年代的相关文献。

Manuscripts.app 是一款专为学术人员设计的产品，为那些需要更强大工具来替代电子表格管理手稿和投稿记录的用户提供解决方案。