Search Skills

Guides implementation of Adaptive Rejection Sampling (ARS) for log-concave distributions, covering envelope construction, adaptive updates, and performance considerations.

Guides cracking 7z archive password hashes for security testing, CTF challenges, and authorized password recovery.

Guides writing SPARQL queries to retrieve and manipulate academic data from RDF/Turtle datasets, including filtering and aggregation.

Analyzes chess board images to detect piece positions and calculate optimal moves, solving puzzles and providing strategic guidance.

Guides building Caffe from source, preparing CIFAR-10 datasets, and training CNN models with CPU-only deep learning workflows.

Guides reverse engineering of ray tracing and path tracing algorithms from binary executables to achieve pixel-perfect output reconstruction.

Guides implementation of headless terminal interfaces for programmatically controlling shell sessions, including keystroke input and output reading.

Configures Git repositories for multi-branch deployment with SSH authentication, web server routing, and automated post-receive hooks.

Guides setup of QEMU virtual machines with Alpine Linux, SSH configuration, port forwarding, and networking troubleshooting.

Guides reorganization of datasets into shards with constraints on file size and directory contents, optimizing for distributed AI/ML data processing.

Optimizes largest eigenvalue computation for small dense matrices, exceeding numpy/scipy performance using Cython and LAPACK.

Guides training of FastText text classification models with optimized hyperparameters for size-accuracy trade-offs.

Provides guidance for Bayesian MCMC sampling using RStan, including model specification, diagnostics, and hierarchical modeling tasks.

Guides induction proofs in Coq for arithmetic properties like addition commutativity using standard lemmas.

Provides algorithmic solutions for constraint-based scheduling, resolving calendar conflicts and optimizing time slots across multiple participants with hard and soft constraints.

Guides merging heterogeneous data sources (JSON, CSV, Parquet, XML) into unified datasets with conflict resolution for ETL and data consolidation.

Guides recovery of SQLite data from corrupted, encrypted, or inaccessible WAL files, preventing data fabrication and ensuring accurate restoration.

Guides conversion of RStan to PyStan code, including API mapping, hyperparameter translation, and output format handling for Bayesian statistical models.

Guides solving ARC-AGI pattern recognition tasks through git branch merging and algorithmic transformation implementation based on input-output examples.

Optimizes MuJoCo MJCF model configurations for improved simulation performance while preserving numerical accuracy in robotics and physics simulations.

Guides implementation of differential cryptanalysis on FEAL and Feistel ciphers for key recovery and CTF challenges.

Efficiently transforms large text files (thousands to millions of lines) using command-line tools like sed, awk, and Vim for bulk edits and pattern-based processing.

Guides querying ML model performance benchmarks from MTEB and HuggingFace leaderboards, including live data access and avoiding outdated sources.

Guides implementation of compression algorithms and encoders to ensure compatibility with existing decoders, including arithmetic and entropy encoding techniques.