3 ms·

thanks! was looking for exactly this. also, is there any working rss or newsletter or any other way to follow gwern's writings at gwern.net?