Tag
A WYSIWYG editor for TikZ figures in LaTeX that synchronizes source code and rendered output, allowing drag-and-drop editing. Built using AI coding agents (Codex), it aims to simplify figure creation for academics.
This paper discusses how to make sense of proof by contradiction, a fundamental mathematical reasoning technique, for educational purposes.
Xavier Leroy announces a new book on control structures in programming languages, covering from goto to algebraic effects, available as a free preview under CC license.
Recommends using AI for reading papers and references the three-pass method from the classic 'How to Read a Paper' technique.
User recommends a feature that helps with reading papers, finding it very useful.
Awesome Rebuttal is an open-source project designed for papers in AI, NLP, robotics, and other fields. It helps authors analyze reviewer comments, plan supplementary experiments, and generate well-reasoned responses. It supports embedding into Cursor or Claude Code.
Pandoc Templates offers journal-specific templates for pandoc, supporting major statistical journals such as JASA, Biometrics, and The R Journal.
Explores the use of monoids for embarrassingly parallel data processing, showing that traditionally sequential algorithms like Horner rule and Boyer-Moore majority voting can be parallelized via monoid composition. Also introduces vertical monoid composition for efficient nested grouping-aggregation.
EMNLP 2024 has already received 11,000 submissions, up from 8,000 last year, highlighting the rapid growth of the NLP field.
Recommending a popular academic open-source project recently.
This 1979 academic paper presents the foundations of a provably secure operating system (PSOS).
This paper proposes a symbolic framework that converts redacted police narratives into evidence-linked facts using ontology, semantic parsing (AMR), and reasoning, enabling structured querying of incident details that are typically only available in free text.
Archival repository of the Charity categorical programming language, including source code for two interpreters and related literature from the 1990s.
Manuscripts.app is a product designed for academics who need a more robust alternative to spreadsheet-based tracking of their manuscripts and submissions.