Search Results
7/23/2025, 7:07:04 PM
7/8/2025, 6:21:37 PM
>>105838774
>Everyone on the spectrum (me included) is drawn to type theory because of the accuracy.
Close but not quite: everyone on the spectrum (you included) is drawn to academic masturbation instead of actually doing work. Spending one’s time on the study of type theory gives them a convenient reason to never actually ship software.
>Everyone on the spectrum (me included) is drawn to type theory because of the accuracy.
Close but not quite: everyone on the spectrum (you included) is drawn to academic masturbation instead of actually doing work. Spending one’s time on the study of type theory gives them a convenient reason to never actually ship software.
6/18/2025, 5:08:42 AM
.
6/14/2025, 6:04:15 PM
Page 1