"Use our bouncer or else." Sounds like a very democratic, open source, do what you will solution to me.
This has been the major reason why #haskell didn't try to move more forcefully. We'd like to get some of the old logging bots moved over, etc. We have some number of users who connect from tor, from matrix, or from…
(Sorry, Lindsey, not Lindsay.)
Without the propagators themselves being monotone they don't have enough to ensure determinism. They also don't have a guarantee of termination. e.g. repeatedly taking Heron steps on a rational interval approximation to…
Indeed. Our old discussions about "omega-continuous semiring homomorphisms" as the way to try to make something half-way between Dyna and the datalog bits I was working on have been very much present in my mind lately.…
Talk about timely, I recently took the opportunity to unmothball the old propagators idea and have been running a bunch of ideas past Sussman's former student Alexey Radul on a fairly constant basis for the last 3…
Nah, it is a type of numeric ID's for different types of things. The parameter 'a' is just a phantom type parameter to keep you from mixing up a mesh ID with a texture ID.
import Control.Lens and let us use two components from lens: rewriteOf :: Setter' a a -> (a -> Maybe a) -> a -> a which can take a rewrite rule and apply it to any 'self-similar' setter recursively in a bottom up…
"Use our bouncer or else." Sounds like a very democratic, open source, do what you will solution to me.
This has been the major reason why #haskell didn't try to move more forcefully. We'd like to get some of the old logging bots moved over, etc. We have some number of users who connect from tor, from matrix, or from…
(Sorry, Lindsey, not Lindsay.)
Without the propagators themselves being monotone they don't have enough to ensure determinism. They also don't have a guarantee of termination. e.g. repeatedly taking Heron steps on a rational interval approximation to…
Indeed. Our old discussions about "omega-continuous semiring homomorphisms" as the way to try to make something half-way between Dyna and the datalog bits I was working on have been very much present in my mind lately.…
Talk about timely, I recently took the opportunity to unmothball the old propagators idea and have been running a bunch of ideas past Sussman's former student Alexey Radul on a fairly constant basis for the last 3…
Nah, it is a type of numeric ID's for different types of things. The parameter 'a' is just a phantom type parameter to keep you from mixing up a mesh ID with a texture ID.
import Control.Lens and let us use two components from lens: rewriteOf :: Setter' a a -> (a -> Maybe a) -> a -> a which can take a rewrite rule and apply it to any 'self-similar' setter recursively in a bottom up…