← Back to context Comment by baxtr 1 year ago Through smart definitions I can contract any longer term as much as I want. 2 comments baxtr Reply l33tman 1 year 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 1 year ago Yes and that's precisely why you're writing high-level code instead of ASM. It's your job.
l33tman 1 year 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 1 year 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.