my very opinionated rating of programming semantics, a thread.
-
my very opinionated rating of programming semantics, a thread.
-
my very opinionated rating of programming semantics, a thread.
assembly: reasoning about its execution flow, you'll feel like an old timey post office clerk mentally shuffling around notes and paperwork between wooden trays as you follow the instructions of a choose-your-own-adventure book. 10/10
-
assembly: reasoning about its execution flow, you'll feel like an old timey post office clerk mentally shuffling around notes and paperwork between wooden trays as you follow the instructions of a choose-your-own-adventure book. 10/10
static single assignment form: the intersection of all assembly. each note gets its own tray and you're now pinballing between straight trajectories. 10/10
-
static single assignment form: the intersection of all assembly. each note gets its own tray and you're now pinballing between straight trajectories. 10/10
continuation-passing style: the snobbish cousin of static single assignment form. what if every instruction is a never-returning function? feels like falling into the hypercube from christopher nolan's movie "interstellar". including the sobbing and the regret. 10/10
-
continuation-passing style: the snobbish cousin of static single assignment form. what if every instruction is a never-returning function? feels like falling into the hypercube from christopher nolan's movie "interstellar". including the sobbing and the regret. 10/10
control flow: you're in charge of the tray arrangement! the pinball machine has been replaced by a tree of lexical scopes. genius! look at that tree. man. trees! they are so simple. you can get all kinds of data up into your tree trays! just getting it back to the ground takes careful passing-along. merging. picking what you want to keep. up: shopping spree. down: marie kondo. if marie kondo hid all her sentimental knick-knacks in a big heap in the cellar. 10/10
-
control flow: you're in charge of the tray arrangement! the pinball machine has been replaced by a tree of lexical scopes. genius! look at that tree. man. trees! they are so simple. you can get all kinds of data up into your tree trays! just getting it back to the ground takes careful passing-along. merging. picking what you want to keep. up: shopping spree. down: marie kondo. if marie kondo hid all her sentimental knick-knacks in a big heap in the cellar. 10/10
data flow: control has no flow. even trees don't flow man. water flows, audibly! forget trees, we are rowing our boat gently down the babbling brook. it's all noodled together very nicely, watch how the rivers split and merge! except, what is the lifetime of anything? how are we supposed to compose this? how do we get dub style feedback fx? and what are our datastructures? doesn't matter man. chill! 10/10
-
data flow: control has no flow. even trees don't flow man. water flows, audibly! forget trees, we are rowing our boat gently down the babbling brook. it's all noodled together very nicely, watch how the rivers split and merge! except, what is the lifetime of anything? how are we supposed to compose this? how do we get dub style feedback fx? and what are our datastructures? doesn't matter man. chill! 10/10
relational: the hypercubes have accepted me as one of their own. like the joined faces in an alex grey painting i see now that everything intersects with everything! and in my ego's disintegrating demise, i understand now that it is all a matter of perspective - no. that viewpoints are fleeting matters of mere mortals. mapping, reducing, tranceducing! i do it with a short readable oneliner like the most transparently understandable god of the multiverse. i am the keeper of all strings. 0/10
-
relational: the hypercubes have accepted me as one of their own. like the joined faces in an alex grey painting i see now that everything intersects with everything! and in my ego's disintegrating demise, i understand now that it is all a matter of perspective - no. that viewpoints are fleeting matters of mere mortals. mapping, reducing, tranceducing! i do it with a short readable oneliner like the most transparently understandable god of the multiverse. i am the keeper of all strings. 0/10
lambda calculus: imagine you could turn a stern letter to some kind of institution you wrote into a form. just cut away the names you want to be replaceable. boom. you got a template err i mean a function. now imagine the names of that letter were replaced with more letter forms. forms that could produce forms. turn forms into forms. upon forms. you're in the black hole, the hypercube of forms. what is this actually about again? regret overwhelms you. you sob uncontrollably. 10/10
-
lambda calculus: imagine you could turn a stern letter to some kind of institution you wrote into a form. just cut away the names you want to be replaceable. boom. you got a template err i mean a function. now imagine the names of that letter were replaced with more letter forms. forms that could produce forms. turn forms into forms. upon forms. you're in the black hole, the hypercube of forms. what is this actually about again? regret overwhelms you. you sob uncontrollably. 10/10
@lritter and its lesser-known brethren, lambada calculus and la bamba calculus.
-
@lritter and its lesser-known brethren, lambada calculus and la bamba calculus.
@lritter and, of course, the forbidden limbo calculus
talk about low level!
-
undefined aeva shared this topic on