The field of molecular programming is moving towards more efficient and resource-saving methods, with a focus on co-transcriptional splicing as a key tool. This process has been shown to be programmable for assembling nano-scale RNA structures, and recent advances have proven its Turing universality. Researchers are working on formalizing co-transcriptional splicing as an operation on formal languages, which could provide insights for RNA template design in molecular programming systems. Another area of interest is automated synthesis, where techniques are being developed to synthesize programs from partial traces, allowing for the creation of correct-by-construction programs. SMT technology is also being applied to solve complex problems, including those involving uninterpreted functions and nonlinear real arithmetic. Noteworthy papers include: A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages, which introduces a formal model of co-transcriptional splicing and examines its complexity. Program Synthesis From Partial Traces, which presents a technique to synthesize programs from partial traces containing records of side-effecting functions. Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols, which approaches program synthesis via SMT-solving methods. SMT and Functional Equation Solving over the Reals: Challenges from the IMO, which proposes techniques to improve SMT performance in solving problems involving uninterpreted functions and nonlinear real arithmetic.