joppy

18 ms·

181.
by joppy 6y ago
I don’t know if there is an “issue” with fromIterator, the comment is just that it is ad-hoc: there is no law for it to satisfy. Law-abiding means that some equation holds, for example a monoid instance should be associative, so ((a <&gt
182.
by joppy 6y ago
I have not used Haxe, but looked over at it while writing Typescript - one thing I noticed were macros, which could make writing high-performance Typescript/javascript much more bearable. For example iterator protocols in JavaScript al
183.
by joppy 6y ago
I apologise for not having read the book, but that wasn’t the gist of my comment: my point was that wealth or income levels tend to run in families anyway just because of socioeconomic class and similar environmental factors. The book you m
184.
by joppy 6y ago
“Self-made”: if you come from a well-off (not necessarily “wealthy” family), you’re more likely to attend university, get a well-paying job, etc. If you come from a worse-off family you’re less likely to do those things. Upbringing and soci
185.
by joppy 6y ago
The source code for that function (groupby in toolz) is bizarre! Creating a defaultdict where the entries are append-to-list functions, calling them, then going over the dictionary again to extract the underling list objects. Does anyone kn
186.
by joppy 6y ago
In some databases like Postgres, you can do something like “SELECT x, array_agg(y) GROUP BY x” to get the exact same effect of this groupby operation in toolz.
187.
by joppy 6y ago
The scheme R5RS [1] (essentially, an edition of the language standard) defines in section 3.5 what it means for an implementation to be “Properly tail recursive”: it must support an unbounded number of active (yet-to-return) tail calls. I t
188.
by joppy 6y ago
It could be because I’m Australian or perhaps I’m just unfamiliar with mortgages - how does tax affect the effective loan rate?
189.
by joppy 6y ago
Does string theory only have one parameter? I was under the impression that you also had to insert some very complicated underlying geometry into spacetime (the extra dimensions), which I would count as more parameters.
190.
by joppy 6y ago
“Tail call” has a specific meaning in computer science, and it is possible to execute such a call without adding to the stack. Tail calls may not be directly recursive, they may be mutually recursive, or not even recursive at all.
191.
by joppy 6y ago
I guess my perspective is that end-user programming has to be easily discoverable and doable by end-users, and provide some method of progression from simple tasks up to more complicated ones (a perspective shared by the article authors). I
192.
by joppy 6y ago
It just struck me how dubious the term “Pacific time” is - a timezone named after the largest ocean on Earth. I’m in Australia on the side which is also on the Pacific, but my time is 6 or more hours away from “Pacific time” :P
193.
by joppy 6y ago
Emacs is fairly impenetrable for the majority of computer users. Excel is far more familiar - it looks like a normal program, has context menus, and has a conceptually simple model of execution: you say what you want a cell to be, and it ju
194.
by joppy 6y ago
In Australia or New Zealand, for example.
195.
by joppy 6y ago
Is this relevant? It is "well known" that log2(world population) is about equal to 33, so theoretically if you numbered every human alive consecutively you would only need 33 bits to store the number. But this is a long shot from
196.
by joppy 6y ago
Because context is always meaningless, right?
197.
by joppy 6y ago
I think that geometric algebra makes describing rotations quite easy - pick two vectors in the plane you want to rotate, at a suitable angle you desire to rotate through - but makes computing them more difficult. In dimensions higher th
198.
by joppy 6y ago
Tensor algebras are the most general algebras you can get (categorically inclined people would call them a “free object” in a suitable category), but because of this they are almost never useful on their own. We pretty much always study spe
199.
by joppy 6y ago
Some Clojure libraries have a hard dependency on Java (or JavaScript, in the case of libraries supporting ClojureScript) - Clojure does not cover all use cases. For example, if you want to do anything more complicated than find-all-matches
200.
by joppy 6y ago
Use two globes?
201.
by joppy 6y ago
Who goes from axiomatic set theory at all, if their goal is not to be a logician/type theorist? One does not need to know axiomatic set theory to study linear algebra any more than one needs to know about semiconductors in order to pro
202.
by joppy 6y ago
The Bourbaki volumes are fantastic references for experts, and as with most reference books they are a terrible from an introductory/teaching perspective.
203.
by joppy 6y ago
Log-probabilities are added so much that there are often special-purpose functions for adding them, Eg https://numpy.org/doc/stable/reference/generated/numpy.logad...
204.
by joppy 6y ago
It’s more of a perspective and opinion thing. For example I would not say that an integer is its twos-complement representation, but I am very happy to hold onto that representation as a kind of key for the “real thing”. Similarly, in a v
205.
by joppy 6y ago
The matrix inverse “undoes whatever the matrix did” is pretty much the most straightforward interpretation, if you’re thinking of a matrix as performing some kind of rotation/shear/scaling of space. There are some other interpreta
206.
by joppy 6y ago
If you don’t yet understand recursion, you must first understand recursion.
207.
by joppy 6y ago
The thing specifically with KaTeX is that if you do this, you can blow page sizes out completely. In the example above, less than 20 characters of latex turned into a giant amount of HTML markup. Repeat this in many places for a mathemati
208.
by joppy 6y ago
In my own experiments with mathematical writing, rendering KaTeX server-side increased the resulting HTML size by a nontrivial amount. I bet that if you took something small-textbook-sized, in terms of bytes it would be smaller to ship kate
209.
by joppy 6y ago
On the other hand, if a tool only covers 10% of the notation you care about because of a restriction like plain-text, it’s very difficult to document what you’re doing as you bump up against this boundary. Humans have been using nonlinear n
210.
by joppy 6y ago
Arguably this is a much more useful description for people who don't know what eBPF is, since "packet filter" makes it sound like it's exclusively for firewalling and/or routing.

More ›