We propose and analyse a mathematical model of evolutionary adaptation for non-degenerate (permanent) replicator systems, in which the fitness landscape matrix evolves on a slow timescale -- the evolutionary time -- while the species dynamics unfold on a fast timescale. Under a two-timescale separation justified by Tikhonov's theorem, the adaptation problem reduces to maximising the mean fitness at steady state over a convex admissible set of fitness landscape matrices. We derive a fitness variation formula and establish necessary and sufficient conditions for a fitness maximum, showing that the optimisation reduces at each step to a linear programming problem. The algorithm is applied to four canonical replicator systems: the hypercycle, the bi-hypercycle, the anthill system, and the RNA molecule network. In all cases the evolutionary process follows a universal three-phase pattern: an initial phase of fitness growth without equilibrium shift, during which purely altruistic replication gives way to mixed altruistic-selfish behaviour; a second phase of dominant species emergence; and a stabilisation phase analogous to the error catastrophe threshold in quasispecies models. A key co
It has long been known that luminous, ultra-steep spectrum radio sources are preferentially associated with massive galaxies at high redshifts. Here we describe a pilot project directed at such objects, to demonstrate the feasibility and importance of using LOFAR to study the most distant forming massive galaxies and protoclusters. We have successfully imaged four high-redshift ($z>2$) high-luminosity radio galaxies with sub-arcsecond resolution, at 144 MHz, using the International LOFAR Telescope (ILT). Our targets were 4C 41.17 ($z=3.8$), the "Anthill", B2 0902+34 ($z=3.4$), 4C 34.34 ($z=2.4$) and 4C 43.15 ($z=2.5$). Their low-frequency morphologies and the spatial distributions of their low-frequency spectral indices have been mapped, and compared with available optical, infrared, and X-ray images. Both for the Anthill at $z = 3.8$ and B2 0902+34 at $z=3.4$, the location of the steepest radio emission coincides with the Ly$α$ emitting ionized gas halo. Our pilot project demonstrates that, because of its outstanding sensitivity and high angular resolution at low frequencies, the ILT is a unique facility for studying the co-evolution and interaction of massive galaxies, galaxy
Gradual typing combines static and dynamic typing in the same language, offering the benefits of both to programmers. Static typing provides error detection and strong guarantees while dynamic typing enables rapid prototyping and flexible programming idioms. For programmers to fully take advantage of a gradual type system, however, they must be able to trust their type annotations, and so runtime checks must be performed at the boundaries of static and dynamic code to ensure that static types are respected. Higher order and mutable values cannot be completely checked at these boundaries, and so additional checks must be performed at their use sites. Traditionally, this has been achieved by installing wrappers or proxies on such values that moderate the flow of data between static and dynamic, but these can cause problems if the language supports comparison of object identity or has a foreign function interface. Reticulated Python is a gradually typed variant of Python implemented via a source-to-source translator for Python 3. It implements a proxy-free alternative design named transient casts. This paper presents a formal semantics for transient casts and shows that not only are t