← Back to context Comment by baxtr 2 years ago Through smart definitions I can contract any longer term as much as I want. 2 comments baxtr Reply l33tman 2 years ago Yes, and it's exactly those "smart definitions" that are the Standard Model. The whole goal is to produce even smarter definitions, including showing that as much as possible of it couldn't be any other way, preferably. Vampiero 2 years ago Yes and that's precisely why you're writing high-level code instead of ASM. It's your job.
l33tman 2 years ago Yes, and it's exactly those "smart definitions" that are the Standard Model. The whole goal is to produce even smarter definitions, including showing that as much as possible of it couldn't be any other way, preferably.
Vampiero 2 years ago Yes and that's precisely why you're writing high-level code instead of ASM. It's your job.
Yes, and it's exactly those "smart definitions" that are the Standard Model. The whole goal is to produce even smarter definitions, including showing that as much as possible of it couldn't be any other way, preferably.
Yes and that's precisely why you're writing high-level code instead of ASM. It's your job.