tel

65 ms·

751.
by tel 11y ago
Here are a few possible complaints: 1. It's way longer 2. Naming the monad "Action" may be misleading depending on choice of Monad 3. It's tied syntactically to the syntax of the implementation
752.
by tel 11y ago
I'm using this one, thanks!
753.
by tel 11y ago
Portability and easier compilation.
754.
by tel 11y ago
Time libraries like this are a basket of inscrutable bugs waiting to happen. A simply API deceiving its users into thinking they're dealing with a simple subject. Time is anything but. There are a few notions of time, each wildly diffe
755.
by tel 11y ago
Haskell's `time` (and its faster, lensier, API-compatible copy, `thyme`) handle these issues with aplomb and have been around a while. You'll also want to include timezone-series and timezone-olson for accurate TZ handling.
756.
by tel 11y ago
Pretty visualizations... but many of the animations kill this for me. Some are great, animating the decision-tree-pachinko machine for training/CV data sets is fantastic... but all the swooping and building just made me want to skip ha
757.
by tel 11y ago
They're just trying to illustrate 7 dimensional data. There are 6 7 2-dimensional comparisons, scatterplots, 6 7/2 if you eliminate ones made redundant by symmetry, 6*7/2+7 if you add 1-dimensional histograms for "self c
758.
by tel 11y ago
Hm, I sort of ignored these when diving into ES6 at first, but they're perfect for making extensible sum types function match(t, matchers) { const variant = t[Symbol.for('variant')]; return matchers[variant]
759.
by tel 11y ago
I don't think he meant to liberate the mechanism of computers, but instead our worlds and conceptions for talking about computer programs... which are then translated wherever.
760.
by tel 11y ago
For the interested, here's the summary from the bottom of the page Dataflow can be used for pipelined parallelism, which is often exploited on fine grained concurrent embedded hardware such as FPGAs. The dataflow programming style can
761.
by tel 11y ago
There is technically a pretty significant difference between + function add(x, y) { return x + y; } in general in strict, effectful languages. The transformation is called "eta expansion" (technically, I performed two
762.
by tel 11y ago
I don't think we're disagreeing at all in principle. I'm mostly trying to point out that your change is a group whether you think about it or not (actually, several). Then, let the best representation win. Monads aren't
763.
by tel 11y ago
I still honestly haven't given this enough time to digest—my Java-fu is quite rusty so I'm sort of reading between the lines on what I know about delimited continuations generally. First I want to state that delimited continuation
764.
by tel 11y ago
Here's a simple counter-example. The state monad is the following functor St s a = s -> (a, s) if we compose it with itself (using `d` as the second state parameter) St s (St d a) = s -> (d -> (a, d), s) is `
765.
by tel 11y ago
Another way of looking at it that's nice is that they "rewire the pointers". If a LL looks a bit like this [1] -> [2] -> [3] -> [4] -> [] where the [n] location actually represents a data pointer then st
766.
by tel 11y ago
If you're interested in this idea where derivatives form one-hole contexts then you might also be interested in derivative parsers: http://matt.might.net/papers/might2011derivatives.pdf
767.
by tel 11y ago
That's been occurring to me for a while with SO questions. I get about halfway through and begin to recognize the writing style. :)
768.
by tel 11y ago
I've been idly chasing that idea for some time. There's some great literature out there on categories of distributions and (conditional) random variables as arrows between them. That would be a good place to start looking more dee
769.
by tel 11y ago
It feels a lot like one might getter better bang for their buck using Category Theory here than raw type theory or functional programming.
770.
by tel 11y ago
It feels like those are on different ends of a spectrum. On one side the Judea Pearl style causality analysis relies on human interpretation because we must adjoint the graphical network with an "assumption graph" which allows for
771.
by tel 11y ago
Mediator just about creating a stable API. The various mediated objects offer functionality, the mediator makes a common (and stable) interface against that functionality. Consumers only see the mediator and this leaves you free to change t
772.
by tel 11y ago
He was pretty directly referencing Dr. Milewski, I'm sure. He's a relatively famous C++ guy from my understanding who of late has been doing this whole category theory for programmers series. Which is a shame because the whole ser
773.
by tel 11y ago
Tbh, I find lisp to be a pretty annoying language for talking about this stuff. It seems to aim just slightly below the right level of abstraction by talking about symbols where you really want to have abstract binding trees. I'd like
774.
by tel 11y ago
Outside the topic of admittedly really cool delcont stuff: The way you refer to the value and the CPS'd value as the same is by referring to their effects in stack machine semantics as the same. This makes your intuition non-transferra
775.
by tel 11y ago
Ever used CPS style? Instead of producing values and passing them back to callers you provide continuations to functions and then they never return, merely calling the continuation instead. It turns out that this can save a lot of stack spa
776.
by tel 11y ago
It's perhaps a bit like "everything is a model" in the sense that all of these tests, even the model-free ones, arise from a coherent choice of assumptions and, if you for a moment take the Bayesian perspective very seriously
777.
by tel 11y ago
There's also the systemic effect of prioritizing particular p values in that negative results are omitted leading to replication bias across the community.
778.
by tel 11y ago
Which arises from a model (!) of random noise and of your effect.
779.
by tel 11y ago
I think you're pointing out the difference between the "art" and "science" of architecture. A similar thing arises, IMO, in technical products between product and technology. There's a whole hell of a lot of
780.
by tel 11y ago
I think given your clarification here I can directly state that (a) I don't think this is necessary and (b) I don't think C-H is a good name for this exactly. Point (b) is a bit silly to discuss, but point (a) is key. I think ther

More ›