Skill UI

A guide for articulating and bounding a methodological contribution in social science research. It teaches authors how to explicitly state the problem, the failing incumbent method, the mechanism of the fix, and the associated costs, ensuring the claim is proportional, specific, and actionable rather than overly general.

A comprehensive guide for authors submitting theoretical computer science papers to SODA. It clarifies the distinction between SODA (theory-led) and ALENEX (experiment-led), advising on when and how to incorporate numerical evidence. The protocol details best practices for honest numerics, including instance generation discipline, claim-class labeling (illustration, evidence, motivation), and proper submission routing to ensure academic rigor.

A detailed guide for authors submitting theoretical computer science papers, outlining the required evidence objects (proofs, certificates, code) and best practices for preparing the public, full version of the work. It emphasizes structuring arguments to meet the standards of top-tier academic conferences like STOC.

A comprehensive guide for theoretical computer science authors on converting an accepted paper into two distinct, public deliverables: a concise, citable proceedings version (extended abstract) and a comprehensive, full version for public preprint servers like arXiv. Details the formatting, copyright requirements, version control, and post-publication hygiene necessary for academic publishing.

Guidelines for ensuring academic proofs are completely verifiable by third parties, especially when theorems are distributed across multiple documents (e.g., extended abstract and full version). It emphasizes single-source builds, preventing statement drift, and detailing computational determinism requirements for maximum rigor in theoretical computer science research.

Master modern Julia 1.10+ development with performance optimization, multiple dispatch, and production-ready practices. Covers scientific computing, data science, machine learning, web development, and package management. Focus on type stability, modern tooling, testing, and CI/CD pipelines for high-performance applications.