TideScript: A Domain Specific Language for Peptide Chemistry
summary
TideScript is a domain-specific language with a formal syntax and small-step operational semantics that encodes SPPS chain assembly, peptide cleavage, and thiol–maleimide conjugation as executable protocol descriptions; it models declarations (molecules, solutions) and operations (dispense, heat, agitate hardware-agnostically) with unit support (syntactic sugar) and repetition to compress hundreds of coupling steps into compact code. Currently a specification (not yet running on instruments), it targets backend translation, aims for a richer type system and probabilistic semantics to catch domain errors and support optimization.
AI-written summary · about
chapters (14)
- 0:00TideScript introduction
- 2:06Motivation behind a domain-specific language
- 3:08What are peptides and why they matter
- 8:04Designing TideScript
- 11:57Protocols in TideScript
- 15:52Solid-phase peptide assembly
- 18:18Modeling chemistry in code
- 21:55Future work and semantics
- 22:39Q&A: Manual escapes
- 24:26Q&A: Manual processes
- 25:53Q&A: Chemist feedback
- 26:36Q&A: Optimizations
- 27:40Q&A: Analysis tools
- 28:44Q&A: Extending TideScript
related talks
39mDesigning 1000 genomes in a single bound: The Codon DSL
40mType-Driven Program Synthesis
13mDesigning Feature DSLs: Principles and Tradeoffs
47m... + CTAD + NTTP = 🤩
36mProbabilistic scripts for automating common-sense tasks
46mMachine Learning-based Design of Proteins and Small Molecules
01h 04mScientific Computing with Ruby Tegu (formerly GSA)
16mBeyond Patterns: The Case for Physics-Grounded AI in Drug Discovery