edwardkmett

5 ms·

1.
by edwardkmett 5y ago
"Use our bouncer or else." Sounds like a very democratic, open source, do what you will solution to me.
2.
by edwardkmett 5y ago
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 webchat that si
3.
by edwardkmett 11y ago
(Sorry, Lindsey, not Lindsay.)
4.
by edwardkmett 11y ago
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 compute th
5.
by edwardkmett 11y ago
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. =)
6.
by edwardkmett 11y ago
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 weeks. I started a pr
7.
by edwardkmett 12y ago
On the other hand, here's a problem. Extend your numeric type tower to handle whatever new numeric types I come up with in an internally consistent manner. In haskell I have number types for things that automatically compute derivative
8.
by edwardkmett 12y ago
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.
9.
by edwardkmett 13y ago
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 recursiv