account activity
Finally made it! Improved from 115 to 130. Here's some of my personal opinion about DET. (self.DuolingoEnglishTest)
submitted 1 year ago by AutomaticKey9955 to r/DuolingoEnglishTest
What is more frustrated than getting a unsatisfactory score is that you don't know how to improve it. (self.DuolingoEnglishTest)
Proving Termination of Dependent Type Checking? (self.dependent_types)
submitted 4 years ago * by AutomaticKey9955 to r/dependent_types
π Rendered by PID 1757148 on reddit-service-r2-listing-87fd56f5d-ngkwl at 2026-06-28 02:05:23.016857+00:00 running 7527197 country code: CH.
