It's now just "Tor" and when accessing hidden services it isnt really a proxy. The Onion Router acronym went away back with the vidalia proxy. But i do miss the oldschool torbutton. It was fun.
> The dark web is a vast groups of services that cannot be accessed without using special software
This takes me to the 1990's.... "groups of services that cannot be accessed without using special software" definitely matches NNTP, FTP, SMTP, SSH, HTTP, etc.
The differences are explained in the post. The dark web is a vast groups of services that cannot be accessed without using special software / proxy.
The hidden services are service running on the TOR network and accessed using a browser that use the TOR proxy.
They are a type of dark web services, but not the entirety