Respuestas al mensaje #830

🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.

I think ∄n. To me this looks like defensive programming: copy the other collection just in case it changes on you. Mutable Collections: Not Even...

I didn't keep the profiling data, but I would estimate that this simple change saved 5-10 megabytes of garbage for every 10-20 seconds of runtime...