amkkma

9 ms·

31.
by amkkma 4y ago
Various people have expressed skepticism of needing language level traits, but it's in vogue to be writing interface packages with no top level abstract types (see Tables.jl) because we don't have some way to extensibly express
32.
by amkkma 4y ago
Dex proves indexing correctness without a full dependent type system, including loops. See: https://github.com/google-research/dex-lang/pull/969 and https://github.com/google-research/dex
33.
by amkkma 4y ago
Thanks. regarding "improving a lot of the underlying compiler infrastructure overall" Is the compiler plugin project still active/ planned?
34.
Why I still recommend Julia(huijzer.xyz)
219 points by amkkma 4y ago|204 comments
35.
by amkkma 4y ago
You think python is free of those things?
36.
by amkkma 4y ago
Cool! How big were the emitted nim binaries?
37.
by amkkma 4y ago
to add, as you know, this is part of a more general problem about type level programming vs write your own compiler vs the non composability of DSLs, where Julia folks in various other non ML domains like PPLs and fancy arrays have been
38.
by amkkma 4y ago
Glad to hear it's being worked on! > That said, I don't think we can be faulted for that one, because I don't think anybody really has a good answer to this particular design problem. Agreed! To be clear, If there's a
39.
by amkkma 4y ago
Hi Keno, Thanks for the honest assessment. Do you have any thoughts about correctness/ composability of compiler transforms like AD, reliability of GPU acceleration and predictability of optimizations? (basically what you've d
40.
by amkkma 4y ago
As a Julia evangelist, your point is well received. I've definitely been making an effort to temper any discussion of benefits with associated drawbacks. Though, I just want to express WHY I'm so enthusiastic. I've used both
41.
by amkkma 4y ago
Do you have a specific example? Did they miss some pytorch optimization? It takes work to write fast idiomatic code. It's not fair to expect someone to be able to squeeze every ounce of performance across n languages and n framework
42.
by amkkma 5y ago
which paper?
43.
by amkkma 5y ago
When's the last time you've tried it? Load times are way better. New improvements for code caching have been merged in 1.8, and native code caching is coming in 1.9. It's a complex problem due to Julia's aggressive speci
44.
Pluto: A Simple, reactive programming environment for Julia(plutojl-preview.netlify.app)
2 points by amkkma 5y ago|0 comments
45.
Dex: A new array oriented research language from Google(youtube.com)
5 points by amkkma 5y ago|2 comments
46.
by amkkma 5y ago
Julia
47.
by amkkma 5y ago
What are your concerns with MLJ?
48.
by amkkma 5y ago
There are innumerable benefits that the compiler gets from being able to see into functions. Codegen, AD, fusion, inlining, user defined arrays and element types being first class etc
49.
by amkkma 5y ago
Ask and you shall receive: https://github.com/JuliaLang/julia/pull/41936 That giant runtime enables all sorts of features that are used by unparalleled julia packages. Soon TM you'll be able to emit runti
50.
by amkkma 5y ago
Can you elaborate? How does loading a Julia module involve compiling c++?
51.
by amkkma 5y ago
> there's a LOT more language features required to help tooling in the ecosystem improve. Aside from interfaces, what would those be?
52.
by amkkma 5y ago
The details and implications seem to be disputed, but in any case, What in the world does this have to do with Julia? What will be accomplished by involving an MIT open source language which is opening new horizons in climate science, physi
53.
by amkkma 5y ago
>Higher level abstractions like these? https://github.com/JuliaGPU/KernelAbstractions.jl https://github.com/mcabbott/Tullio.jl https://github.com/JuliaFolds/FoldsCUDA.jl
54.
by amkkma 5y ago
Which Julia version and what were the flaws?
55.
by amkkma 5y ago
In this analogy, Julia is the student? Or are you and Julia is the martial arts? I'd be curious to hear more specific critiques if you don't mind
56.
by amkkma 5y ago
And the two other links?
57.
by amkkma 5y ago
That's just not true. https://github.com/GenieFramework/Genie.jl https://github.com/JuliaWeb/HTTP.jl https://www.youtube.com/watch?v=xsxJt4prFG4 And with upcoming improvemen
58.
by amkkma 5y ago
Well IMO it can definitely be rewritten in Julia, and to an easier degree than python since Julia allows hooking into the compiler pipeline at many areas of the stack. It's lispy an built from the ground up for codegen, with libraries
59.
by amkkma 5y ago
Regarding all the questions about Julia: There's ongoing work to reduce runtime dependencies of Julia (for example in 1.8, you can strip out the compiler and metadata), but then it's only approaching Go/Swift and other static
60.
by amkkma 5y ago
>I have lost my interest in KGs for Knowledge Representation (in the AI sense) Hi! Can you say more about that please?

More ›