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