Skill UI

This comprehensive guide outlines the end-to-end process of building production-grade ETL data pipelines using Databricks and Delta Lake. It implements the robust Medallion Architecture (Bronze, Silver, Gold) for scalable data management. Techniques covered include Auto Loader for incremental streaming ingestion, MERGE INTO for upsert semantics, data cleansing, and advanced aggregation into analytics-ready layers. Ideal for establishing reliable data pipelines in a data lakehouse environment.

Guides stable API and interface design. Use when designing APIs, module boundaries, or any public interface. Covers REST/GraphQL endpoints, type contracts, error semantics, validation, and extensibility principles.

Guides Python authors from commit to release with end-to-end steps for structuring src layouts, choosing setuptools/hatchling/flit/poetry backends, enforcing SOLID+type-hinting patterns, orchestrating lint/test/CI, managing PEP 440 semantics, and publishing trusted releases to PyPI.

A comprehensive reference guide covering idiomatic C++ practices, focusing on modern features from C++17 to C++23. Topics include smart pointers, move semantics, structured bindings, ranges library, concepts, and robust error handling techniques.

This tool diagnoses and validates complex cron expressions (e.g., crontab, Kubernetes CronJob) to prevent silent scheduling failures. It identifies five common pitfalls: impossible dates, misunderstood OR semantics, resource spikes, uneven step drift, and leap year issues. Users can check the syntax, understand the true meaning, and calculate future execution times reliably.

This comprehensive guide outlines industry best practices for designing robust and consistent REST APIs. It covers proper resource naming conventions, standardized HTTP method semantics, detailed HTTP status codes (e.g., 201, 404, 422), structured response formats (including pagination and links), and advanced strategies like cursor-based pagination. Essential for building scalable and maintainable APIs.

This skill guides authors on positioning their programming language research for the PLDI conference. It covers scope fit, required evidence (formal semantics, implementation insights), structural recommendations, and necessary framing changes (e.g., from journal to conference style) to maximize acceptance chances at this flagship venue.

This skill guides authors on optimizing manuscripts for the ACM SIGPLAN International Conference on Functional Programming (ICFP). It helps assess the technical depth, scope fit, and required evidence (e.g., type systems, semantics, compilers) needed to successfully position a functional programming paper for this top-tier venue. Use it for pre-submission refinement, framing, and strategic planning.

This skill provides a comprehensive guide for authors targeting the ACM SIGPLAN POPL conference. It helps authors strategically position their programming language theory work, covering core areas like type systems, semantics, and formal reasoning. It ensures manuscripts are reframed to meet the rigorous standards of a top-tier academic conference, emphasizing precise formal contributions and clear theoretical significance.

This guide helps researchers determine if their theoretical computer science result is suitable for ICALP, the premier European conference. It details the crucial two-step decision process: first, selecting the correct venue (ICALP vs. STOC/FOCS/SODA/Journals), and second, classifying the work into the appropriate specialized track (Track A: Algorithms, or Track B: Logic, Automata, and Semantics).

This skill provides a comprehensive guide for authors submitting theoretical linguistics manuscripts. It ensures the contribution is framework-neutral, highly generalizable, and makes a clear theoretical argument accessible to linguists across diverse subfields (e.g., phonology, syntax, semantics). It acts as a venue selection and framing aid for high-level academic publishing.

This guide outlines the rigorous standards for achieving full reproducibility in theoretical computer science papers (like those presented at POPL). It details how to ensure that independent readers can re-establish research claims by meticulously tracking mechanized theorems, on-paper proofs, formal semantics, and empirical results. Key practices include maintaining a central correspondence table and ensuring assumption hygiene to prevent logical divergence.