<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0">
  <channel>
    <title>How to use the current `\jobname` as a seed for random numbers?</title>
    <link>https://topanswers.xyz/?q=8175</link>
    <lastBuildDate>2026-04-22 13:51:37.358958+01</lastBuildDate>
    <pubDate>2026-04-22 13:50:36.879263+01</pubDate>
    <ttl>30</ttl>

          <item>
        <title>&lt;deleted - does not work&gt;</title>
        <link>https://topanswers.xyz/?q=8175#a7771</link>
        <guid>https://topanswers.xyz/?q=8175#a7771</guid>
        <lastBuildDate>Wed, 22 Apr 2026 22:35:29</lastBuildDate>
        <pubDate></pubDate>
      </item>
      
  </channel>
</rss>
