https://ota.polyonymo.us/others-papers/NetAssetTax_Bowery.tx...
When we got a law passed to privatize space launch services back in 1990
https://www.youtube.com/watch?v=boLdXiLJZoY
we were in the midst of a quasi-depression so I decided to address the problem of private capitalization of technology with the aforelinked proposal.
Autism being "too broad" is why it doesn't have a genetic cause?
Autism's nomenclature not being descriptive enough is why it doesn't have a genetic cause?
Autism not being as debilitating as DS is why it doesn't have a genetic cause? (developmental logic aside, are you familiar with Type 2 and Type 3 autistic individuals?).
Extra dings for not for over-use of CS analogy, "unwarranted fixation", and "we no longer live in the world".
Now if we can just find the grant money to get the DNA sequences read for all those samples...
Any predicate can be considered a constraint. Types are constraints. While it may be reasonable to have syntactic sugars for type declarations that, at compile time, are transformed into predicates, it is unreasonable to lard a completely different kind of semantics on top of an already adequate semantic such as first order logic.
https://groups.google.com/g/comp.lang.prolog/c/8yJxmY-jbG0/m...
https://www.academia.edu/93528167/Interval_Arguments_Two_Ref...
Claude 3 (as Double AI coding assistant): print('0000000001000100001100100001010011000111010000100101010010110110001101011100111110000100011001010011101001010110110101111100011001110101101111100111011111011111')
https://jimbowery.blogspot.com/2017/07/fusion-energy-prize-a...
https://youtu.be/boLdXiLJZoY