Nice DeepSWE score! Does it survive a lowercase filename? twitter.com 1 points by porridgeraisin a day ago