arcfide

16 ms·

1. 31.▲
   by arcfide 10y ago

   This might be true for standard consumer applications that can fit within the web paradigm. However, you then fail to be able to leverage vendor specific interaction paradigms, which is something I want to be able to do, such as the Mac tou
2. 32.▲
   by arcfide 10y ago

   I also don't know if I would consider C/C++ or Python or the others success stories. They all have an ecosystem around them that allows for developers to be funded doing work on these projects, but only because of other products
3. 33.▲
   by arcfide 10y ago

   If I were to expand that idea a bit more and remark on the biggest class of bug that causes segfaults for me in ArrayFire, it would be the requirement for explicit data type casting using as() to avoid problems. I wouldn't want this to
4. 34.▲
   by arcfide 10y ago

   ArrayFire was designed primarily as an user library for scientists, it seems, and so there is a clear bias there. My coopting it for use as an IR language for a compiler front-end is perhaps outside of the original scope of ArrayFire. The g
5. 35.▲
   by arcfide 10y ago

   We're working on it! We're getting close already. If you have a naively parallel algorithm that is good for doing CSP style decompositions on, then you can compile your individual unit programs using Co-dfns and then using Dyalog
6. 36.▲
   by arcfide 10y ago

   I'm actually designing one better. :-) Probably a few years out from true production ready (maybe more, who am I kidding, probably more), but definition something cool.
7. 37.▲
   by arcfide 10y ago

   If that works for them, more power to them! They'll still likely need a commercial Co-dfns license if they are doing that, not because of the produced code, but because of the programming environment in which they do the development, u
8. 38.▲
   by arcfide 10y ago

   :-) Thanks, but see my talk above. I'm slowly attempting to build just such controlled experiments. My first exploratory study on such is discussed in the above talk.
9. 39.▲
   by arcfide 10y ago

   😸 A quick search reveals at least 12 ideographs for cat.
10. 40.▲
    by arcfide 10y ago

    Nobody wants to write proofs as English prose like they did when first proving basic algebraic properties. Yet those proofs are much easier to guess at the meaning of, even if you don't fully get it, than using our standard mathematica
11. 41.▲
    by arcfide 10y ago

    I'm not convinced of this. See my talk: https://www.youtube.com/watch?v=kIItfQJEVdM
12. 42.▲
    by arcfide 10y ago

    One problem with cross-platform graphical environments, IMO, are that they fail the integration standards that I've come to expect from GUI apps. I want Mac apps to feel like Mac apps, Linux apps like Linux apps, and Windows apps like
13. 43.▲
    by arcfide 10y ago

    Co-dfns is Open Source, and funded/licensed by Dyalog. They also produce MiServer and a host of tools Open Source as well. The problem is that they have to fund that work somehow, and I've yet to see a good business model on inter
14. 44.▲
    by arcfide 10y ago

    Acquire the APL, and then be the hero in your own code every day.
15. 45.▲
    by arcfide 10y ago

    Ah, there it is, thanks!
16. 46.▲
    by arcfide 10y ago

    Thanks!
17. 47.▲
    by arcfide 10y ago

    You'll need to get at least a free copy of Dyalog to use the compiler. They have a number of different free options. If you intend to use the compiler, it is available for use by all under an AGPL license. However, the generated code a
18. 48.▲
    by arcfide 10y ago

    I try to avoid going bare metal as much as I can because of the difficulty involved with working with GPUs at that layer. I try to focus on higher level concerns, and use the excellent low level work of people such as the ArrayFire develope
19. 49.▲
    by arcfide 10y ago

    Currently Dyalog APL provides green-threaded concurrent programming using a traditional "fork" model as well as a CSP-style distributed computing model called "Isolates." In addition, Dyalog will utilize vectorized opera
20. 50.▲
    by arcfide 10y ago

    When I spoke about benefits on the GPU, I was speaking of the benefits of executing the compiler passes on the GPU, because with a Nanopass architecture, or really, the Micropass architecture I'm using here, each pass is simpler than t
21. 51.▲
    by arcfide 10y ago

    In compilers the N value is commonly considered to be the number of nodes in an AST. Compiler performance is generally evaluated based on its performance over the code, which is generally bound by the number of nodes in the AST. The identit
22. 52.▲
    by arcfide 10y ago

    Here's an English reading of the above code: Filter the numbers from [2,R), removing any number that is a member of the set of products of pairs of elements in [2,R).
23. 53.▲
    by arcfide 10y ago

    See Andy Keep's dissertation on using Nanopass to reimplement the Chez Scheme compiler. The short answer is, not really. Nanopass can add some constant factors, but is essentially a linear/constant addition, whereas the majority o
24. 54.▲
    by arcfide 10y ago

    Thanks for giving me a chance to chat a bit more!
25. 55.▲
    by arcfide 10y ago

    Thanks everyone for the great discussions and interest. I'm going to get back to this thread later, but won't be actively commenting for the rest of the day. Please feel free to continue discussion and continue asking questions an
26. 56.▲
    by arcfide 10y ago

    That's an interesting idea, and I can see there being some overlap, but the Key operator is actually not my invention, but is a member of a class of operators sometimes called classifiers. You can think about the GROUP BY operator in S
27. 57.▲
    by arcfide 10y ago

    Good luck, and please feel free to provide feedback. I'm always looking for ways of improving the situation or approaching it from a different angle.
28. 58.▲
    by arcfide 10y ago

    You may also want to see "Game of Life in APL" on YouTube. https://www.youtube.com/watch?v=a9xAKttWgP4
29. 59.▲
    by arcfide 10y ago

    Try this one: (2=+⌿0=X∘.|X)/X←⍳20 :-) They're equivalent, but the second should give you a bit more intuition based on your understanding of the definition of prime numbers. Use TryAPL.org to explore the code. Evaluation is right
30. 60.▲
    by arcfide 10y ago

    I would consider ArrayFire a "hard abstraction" that is basically the bottoming out of the system. Previous to this I was using OpenACC. See my talk at the Dyalog User Meeting Last year to see some of the struggles there with Scan