1. Software Development

Guide for implementing metacircular evaluators in Scheme-like languages, covering eval/apply loops, environment management, and closure handling.

Guides compilation of CompCert, a formally verified C compiler, including Coq/OCaml environment setup and opam-based dependency management.

Enables programmatic control of shell sessions via headless terminal interfaces, supporting terminal emulation and pseudo-terminal wrappers.

Guides creation of polyglot files valid in both C and Python, ensuring identical output when compiled and interpreted.

Guides debugging and fixing memory management issues in the OCaml garbage collector, including segfaults and pointer arithmetic bugs in allocation and sweeping code.

Extracts and implements code from images (PNG, JPG) via OCR, converting visual code representations into executable code.

Guides creation of source files that compile and run correctly in both Rust and C/C++ using syntax differences and preprocessor directives.

Guides creation of Python packages using pyproject.toml/setup.py and local PyPI server setup for pip-based installation.

Guides development of multi-tenant SaaS applications with Next.js App Router and Supabase, including auth patterns, state management, and Row-Level Security.

Guides implementation of chess move generation and game state validation using regular expressions, encoding complex game logic into regex patterns.

Guides migration of legacy Python 2 scientific computing code to Python 3, updating to modern libraries like pandas and numpy for data processing and numerical computation.

Extracts structured data from log files using complex regular expressions, handling patterns like dates, IPs, and timestamps with lookaheads and anchors.

Builds MIPS interpreters and emulators for executing MIPS binaries, including CPU emulation, ELF loading, and syscall handling.

Enables programmatic control of terminal sessions through PTY wrappers and terminal emulators for automated command-line interactions.

Guides construction of complex regex for parsing and validating log data, including IP addresses, dates, and boundary conditions.

Provides algorithmic solutions for constraint-based scheduling, enabling developers to resolve calendar conflicts and optimize time slots with hard and soft constraints.

Guides compilation of SQLite with gcov for code coverage, custom installation paths, and system-wide binary availability.

Guide for implementing gRPC key-value store services in Python, including protobuf definitions and CRUD operations.

Guides conversion of RStan code to PyStan, enabling migration of Bayesian inference models between R and Python environments.

Guides building and fixing Cython extensions for numpy compatibility, resolving deprecated type errors in modern numpy versions (2.0+).

Extracts code or pseudocode from images using OCR and provides a correctly implemented version for immediate use in development projects.

Guide for managing isolated message threads in agent-based chat applications using Letta Conversations API, enabling multi-user session handling and context separation.

Guides building legacy applications from Debian/Ubuntu source packages, covering dependency removal and headless compilation.

Guides cross-compilation of C programs (e.g., DOOM) for embedded MIPS targets with limited stdlib and custom VM runtimes.