Skill UI

A comprehensive guide for positioning research in distributed-computing theory, specifically for conferences like PODC. It details how to move beyond topic listings to defining a precise 'delta' by comparing models, bounds, and costs against prior art. Crucial advice includes distinguishing between different synchrony models, fault tolerances, and handling self-citation in double-blind reviews.

This guide provides guidelines for ensuring that academic proofs are independently verifiable, particularly for proofs-focused conferences. It covers creating self-contained proof appendices, meticulously defining all underlying assumptions in a 'model box' contract, and ensuring perfect synchronization between the short conference proceedings and the full arXiv version.

This SDK allows asynchronous Python programming to control a live web browser, simulating user interactions for web automation, testing, and data extraction. Users can navigate pages, locate elements, fill forms, click buttons, and capture snapshots of the current page's content. It enforces a 'perceive → act → verify' cycle, making it ideal for building robust web scrapers and end-to-end testing tools.