@puffnfresh omg I have another thing where I think dependent types might be the solution care to hear?
@puffnfresh ideally it would be impossible to construct anything that didn't have this property
-
-
@puffnfresh sort of like reverse-monotonicity, if you will (capabilityists might call it "attenuation" or "degradation") -
@puffnfresh this paper describes it more formally: https://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/41892.pdf …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.