<p><span class="h-card" translate="no"><a href="https://mastodon.sdf.org/@raphael" class="u-url mention">@<span>raphael</span></a></span> related, a funny story! I once switched my custom file format from ISO date strings to ints for performance, and it did bring a nice win. But then I realized what I really needed in most of the code was just consistent ordering, and didn't even need to convert ints into datetimes at all :-) So I kept them as plain ints and only converted to datetimes on the fly when it was needed in a user action.</p>
