pathsjs

18 ms·

181.
by pathsjs 11y ago
This is great! I really, really hope it takes off! C is in dire need of a package manager that can handle dependencies well. OS package managers do not allow multiple versions, and it is extremely difficult to get reproducible builds, becau
182.
by pathsjs 11y ago
Obligatory quote by Erdos: Suppose aliens invade the earth and threaten to obliterate it in a year's time unless human beings can find the Ramsey number for red five and blue five. We could marshal the world's best minds and faste
183.
by pathsjs 11y ago
For instance, interfacing with c in factor works like this. You have an internal dsl that allows you to express what the signature of a c function is. It is designed to look like a function declaration in c, but it is actually valid factor.
184.
by pathsjs 11y ago
I am not only saying that one needs to write things differently in Cython. I am arguing that the whole language needs to be designed differently, to take into consideration the presence of types. This includes adding features to recover the
185.
by pathsjs 11y ago
I will try to give my 2 cents. As you correctly state, Cython is in effect another language. Now, a core principle in the design of Cython is to be as much as possible source compatible with Python, which is a language without static types.
186.
by pathsjs 11y ago
It's not that tensors are particularly hard to reason about. It's just that the way they are represented as multidimensional arrays hides very well the fact that they are element of a tensor product (hence tensors). Natural operat
187.
by pathsjs 11y ago
> Tensors are the future; matrices are going to look so old in a few years. I am honestly curious about this point of view. Is there any example where actual multidimensional tensor have any relevance? What I mostly see around is just st
188.
by pathsjs 11y ago
I will have a look, but I cannot promise anything. There are a lot of things that I want to do and only so much time... :-)
189.
by pathsjs 11y ago
No, it is right like that. In linalg, * on vectors is the scalar product. I have designed linalg to agree with mathematical conventions, rather than numpy conventions.
190.
by pathsjs 11y ago
Numba is a great technology, but I find it still a little disappointing. The way I see it is this. Python is not a particularly fast language, but has evolved a big ecosystem of scientific libraries. Now people are running into the language
191.
by pathsjs 11y ago
I certainly hope so. It is of course the biggest missing element in sight, but I do not think we will see anything before 1.0 comes out
192.
by pathsjs 11y ago
The fact is that all these options are more complex than just using Nim. Cython is certainly great, but still Python objects and C structs differ, and you have to keep in mind the difference. Same for C functions and Python functions. And i
193.
by pathsjs 11y ago
I certainly would be happy to know about it when it comes out! I would rather avoid the double ecosystem in the long run, but it would be a great thing to have until the Nim ecosystem grows.
194.
by pathsjs 11y ago
I only compare it to python because of the use case. Actually, if you read the post, I also consider Lua and other languages. Still, I think, the similarity in syntax can help. If there is one thing that python got right, in my opinion, is
195.
by pathsjs 11y ago
I have lived in Paris, and it was the most crowded place I have been. The price of housing has gone through the roof and the municipality has passed at least two regulations in the past few years - the first one putting bounds on the rents
196.
by pathsjs 11y ago
Spent right? Implementing a protocol to coordinate transactions (if it is possible at all, depending on the various backends you work with) to get what you could have already done in your database?
197.
by pathsjs 11y ago
I did not check it myself, so I cannot tell, but this is what I have heard most often. Still, it was just to highlight the fact that there is a certain degree of subjectiveness when evaluating whether something constitutes a proof
198.
by pathsjs 11y ago
As a former mathematician, I found it quite entertaining :-) Plus, not only I would not find absurd the claim that a proof is simply "an argument that convinces someone who knows the subject." I actually agree with it! For an egre
199.
by pathsjs 11y ago
It depends on the language. For instance in Scala you can simulate collections of fixed size as in https://github.com/milessabin/shapeless/blob/master/core/src... Then, at runtime, you can cast an u
200.
by pathsjs 11y ago
Uh? Scala is not gradually typed, and in fact does not have these problems at all... :-?
201.
by pathsjs 11y ago
Amen to that.
202.
by pathsjs 11y ago
It currently does not have a REPL, and that is its main limitation right now. I think it is still suitable for more complex workflows where you would not do it in the REPL anyway - think training a large neural network. I hope something wil
203.
by pathsjs 11y ago
I am not quite sure. Let me be more specific. Dask requires you to encode computations as a graph explicitly, essentially forcing you to write an AST manually. This means that you are sidestepping the normal language mechanisms to encode pr
204.
by pathsjs 11y ago
Yes, there are a few open-source projects that you can check on our github :-)
205.
by pathsjs 11y ago
The problem with the Python ecosystem is that there exist a lot of libraries for scientific computation mostly incompatible with each other (blaze, numpy, numba, numexpr, dask...). Some of them try to reintroduce types in order to compile t
206.
by pathsjs 11y ago
Hardly 21st century. In its essence it was known to Markov, who died in 1922. For comparison, the idea of TUring machines came in 1936
207.
by pathsjs 11y ago
Is there anything in text format? I really cannot follow the whole video right now. I tried to follow the slides, but they do not make much sense alone. Here are some examples of things I do not understand. The article below the video state
208.
by pathsjs 11y ago
Can anyone explain what this is all about? I followed the tutorial, but still cannot understand what are the ideas behind Relay/GraphQL. There must be some principles why the application is structured that way, but without seeing them,
209.
by pathsjs 11y ago
Akka actors are multiplexed on real JVM threads. So they implement a cooperative model of threading (i.e. you'd better not block for long inside the body of an actor)
210.
by pathsjs 12y ago
Well, I certainly hope Paths.js does not have memory leaks. Since it is made of functions without side effect, with the ultimate purpose of producing a string, every intermediate result should be eventually collected. SVG itself is certainl

More ›