<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[RSS Feed]]></title><description><![CDATA[RSS Feed]]></description><link>http://direct.ecency.com</link><image><url>http://direct.ecency.com/logo512.png</url><title>RSS Feed</title><link>http://direct.ecency.com</link></image><generator>RSS for Node</generator><lastBuildDate>Sat, 16 May 2026 15:25:32 GMT</lastBuildDate><atom:link href="http://direct.ecency.com/created/langsec/rss.xml" rel="self" type="application/rss+xml"/><item><title><![CDATA[The MONA Project]]></title><description><![CDATA[The MONA Project For all who are interested in Monadic Second Order Logic, the Mona Project may be of interest. As some may already know, Tau developer Ohad Asor has arrived at Monadic Second Order Logic]]></description><link>http://direct.ecency.com/tauchain/@dana-edwards/the-mona-project</link><guid isPermaLink="true">http://direct.ecency.com/tauchain/@dana-edwards/the-mona-project</guid><category><![CDATA[tauchain]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Tue, 23 Aug 2016 12:53:24 GMT</pubDate><enclosure url="https://i.ecency.com/p/LcTxR7u1XKaedqKxkqBKqeDhLNEQP5dtu7ePcGNKRRj6RGz8nTqULLcHUZF4CRkqXKxeCo6mDNAKHnn86ptPMGRxauv791czAX3W22i8iokwNyyFnmcLPhJNoiNqE1RLxqc9S7b9rYGmjDqhawHp6RXpS?format=match&amp;mode=fit" length="0" type="false"/></item></channel></rss>