A software engineer blogged about an attempt to formalize the well-known result that quines follow from Kleene's second recursion theorem, drawing on an existing preprint that carries out the construction in untyped lambda calculus. The post walks through the classical computability-theoretic statement of the theorem and sketches how setting the relevant function to the identity yields a self-referential index resembling a quine.
emarzion.github.io
· 2026-10-31
Enveda, a biotech startup using AI to identify drugs from plants and microbes, closed a $311 million Series E funding round at a $2 billion valuation. Catalio Capital Management led the round, with Iconiq and other investors participating. The valuation doubles what the company achieved a year earlier.
techcrunch.com
· 2026-09-23
A security researcher tested how generative AI models behave when fed their own outputs repeatedly, using Nano Banana 2 to make a video poster undergo successive localized edits until the image degraded into visual noise. Testing the same recursive approach on text rewrites, the researcher found that unlike images, text doesn't spiral into total chaos because encoding is lossless and per-token entropy is low—but open-ended rewrites still drift substantially from the original, eventually stabilizing into a distinct, homogenized style.
blog.coredump.cx
· 2026-09-07
GoKawiil