<?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>Thu, 16 Apr 2026 00:05:14 GMT</lastBuildDate><atom:link href="http://direct.ecency.com/created/tlaplus/rss.xml" rel="self" type="application/rss+xml"/><item><title><![CDATA[Reproducing a Memory-Tracking Bug with TLA+]]></title><description><![CDATA[I was interested in a first project for getting familiar with TLA+, “a high-level language for modelling programs and systems.” TLA+ has been used to find errors in the design of real-world distributed]]></description><link>http://direct.ecency.com/programming/@fuzz-ai/reproducing-a-memory-tracking-bug-with-tla</link><guid isPermaLink="true">http://direct.ecency.com/programming/@fuzz-ai/reproducing-a-memory-tracking-bug-with-tla</guid><category><![CDATA[programming]]></category><dc:creator><![CDATA[fuzz-ai]]></dc:creator><pubDate>Mon, 18 Feb 2019 02:37:30 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iPYxhSDmt9gBMdQENJ1Q9fgtgvcUjRRX3dm1NtfHheb2edkpQdkkAryEzXSphDqyxURBac1co2W?format=match&amp;mode=fit" length="0" type="false"/></item></channel></rss>