academic

A 585-page open-access PDF textbook on game theory from arXiv, containing 165 solved exercises.

This economics paper examines the speculative growth surrounding artificial intelligence and the potential for an AI bubble, offering analysis from an economic perspective.

A discussion on whether LLMs are enabling CS PhD students to complete their degrees faster by simplifying experiments and paper writing, questioning observed trends.

This paper proposes a semantic framework to describe AI systems, distinguishing justified claims from misleading outputs, and defines common failures such as hallucination and unsupported assertions.

Introducing the PDF2zh translation plugin for Zotero, which supports one-click translation of English PDF papers into Chinese, preserving formulas and layout, providing side-by-side Chinese-English comparison, and supporting multiple translation engines.

Recommend Jin Guantao's book 'Cybernetics and Scientific Methodology', which is believed to fundamentally reshape thinking and raise the ceiling of personal work and learning.

This tweet summarizes 6 open-source tools covering PDF to markdown, document understanding, OCR, paper translation, and automatic literature review, aiming to streamline document workflows.

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.