tel

22 ms·

181.
by tel 4y ago
Apologies, there’s only so much one can do firing explanations into the void. I don’t really mean to show off, but instead to share meanings which I’ve personally had success sharing with others and having them come to better understanding.
182.
by tel 4y ago
I agree with these criticisms. Really, my goal when I talk about Fourier Transforms is to avoid talking about phase. It's important, clearly, but it's both less intuitive and less practically meaningful. For a lot of applications,
183.
by tel 4y ago
Hahah, I do try not to dive into eigenfunctions when talking about this, but it is so compelling. Love seeing that exposition :)
184.
by tel 4y ago
I appreciate the feedback. I’m person I talk about pure tones more, mostly because I love how pretty complex spirals are. Here, I just tried to define them “Pure tones are signals that have the unique property of putting all of the energy a
185.
by tel 4y ago
Honestly, it's not so bad. It's easy to pick any such attempt apart. This is close to my favorite pithy way of explaining it, too, which is to break it down component-wise using the idea of filter banks. It's not a single sen
186.
by tel 4y ago
It’s because it’s all the same trick applied in many different specific domains as more approachable (for domain-relevant experts) examples. It’s all the same trick. That’s sort of the point of what he’s saying. Read until you find one that
187.
by tel 4y ago
Typically, the owner of the VerifiedEmail type restricts your ability to construct new values of that type by making the constructor private and then only "blessing" a small number of public constructors, each one performing that
188.
by tel 4y ago
It's because you can write these types: recognize : String -> UnverifiedEmail validate : UnverifiedEmail -> VerifiedEmail send : (VerifiedEmail, Message) -> () You can then use visibility controls to universal
189.
by tel 4y ago
There's a sharp distinction between validation and typing. I can cast a string into a domain-specific Email type without validating the string. I can also reject a string due to a validation rule without changing its type. Opaque type
190.
by tel 4y ago
It may help you to have a more firm grasp of how a type system and its value language interact. Which is important in understanding any language with a sophisticated type system, Rust included. But it'll be fairly marginal, I suspect.
191.
by tel 4y ago
That's correct, and a fair refinement.
192.
by tel 4y ago
The USG massively subsidizes home ownership. The burden is passed down to taxpayers, but also may cause a drag on the global economy due to lopsided interest rate hedging.
193.
by tel 4y ago
Maybe if you define AI to be “technology that could plausibly lead to AGI”, but everything in this book is still terrifically relevant for many practical “how to get my computer to solve this semi-open ended search problem efficiently”. Whi
194.
by tel 4y ago
There’s a second explicit a am list of pledged capabilities available if/when you exec.
195.
by tel 4y ago
Much of the point of the Y combinator is the construction of a fixed point operator without appealing to self-definition. Using fix in its own definition violates that, one could say that the recursion arises due to Haskell's recursive
196.
by tel 4y ago
I'm not saying functor is a good name. I'm saying it's the name that's more or less stuck. To start using a new one is just to make the terminology even more confusing. For what it's worth, "functor" prope
197.
by tel 4y ago
It's not that. The thing you're describing is often called a "functor". It could be called a "mappable" but generally once you've heard a functor is a thing that has a .map() function that works the way yo
198.
by tel 4y ago
Gold standard equation editing.
199.
by tel 4y ago
This tweet addresses your question, at least in part https://twitter.com/lougrims/status/1516013558475235335
200.
by tel 4y ago
Broadly, there are two kinds of error: false positives and false negatives. A false positive arises because reality conspired to produce what you consider to be an anomalous result. False negatives arise because your detector wasn't se
201.
by tel 5y ago
That's surely true in a sense where the gameplay and narrative are disconnected. I think this is common in the practice of TTRPGs, but not necessary. Gameplay can reinforce or even _be_ the narrative and some games exemplify this (Prim
202.
by tel 5y ago
R, and by R I mean R+tidyverse, is the world's best graphing calculator attached to an OK scheme. To which I mean R is a highly optimized, well-oiled machine if you're using it for its highly-optimized, well-oiled purposes. I tend
203.
by tel 5y ago
Even without subtraction defined, N is useful. Partial subtraction on N, as it is, is also useful. When I'm dealing with counts I pretty explicitly either want truncated subtraction or warnings when I overflow. Perhaps the biggest issu
204.
by tel 5y ago
Not every type pays it’s way, but the distinction between N and Z is well worn and useful. N measures the size of things while Z is a little more abstract. I think u64 can quickly convey a powerful intent.
205.
by tel 5y ago
It kind of depends on the formalism. In one setting you imagine a universe of things U and a function f maps its domain D < U to its range R < U. In other words, D and R are derived properties of the function, f. On the other hand, yo
206.
by tel 5y ago
Generative functors indeed fixes the issue, but it’s kind of interesting because they’re similar in a way to newtypes. In each case, you generate a new type, distinct from the others, which holds a new implementation of the same interfaces.
207.
by tel 5y ago
How is that enforceable? Is there a legal standard? Is it borne on the judgement of an officer?
208.
by tel 5y ago
You can also look at the Scala implementations if you like. Scala has HKTs so you can write it all directly. trait Functor[F[_]] { def map[A, B](f: A => B)(x: F[A]): F[B] } trait Applicative[F[_]] extends Functor[F] {
209.
by tel 5y ago
In general, the monad use case doesn't assume that there's the possibility of "unwrapping". For Maybe it's fine and can be used to replicate monadic functionality. But there are other functors/monads, as you su
210.
by tel 5y ago
Monadic/functorial are the adjective forms of monad/functor. You might say that "List has a monadic nature". This is hinting at the idea that List by itself isn't really a Monad, but instead (List, pure, bind) is.

More ›