mccoyb

27 ms·

241.
by mccoyb 4y ago
Can this same idea be extended to, say, interact with an open-source SVG editor like Inkscape? What are the requirements of the editor — I presume it must support some form of scripting? I would love to be able to have GPT sketch math figur
242.
by mccoyb 4y ago
This is just speculative discussion from my own experiences, but I appreciate that the metaprogramming constructs are restricted to operate on pure functions, vs attempting to handle things like (e.g.) Python data declarations, or syntactic
243.
by mccoyb 4y ago
I want to applaud the transition out of TensorFlow and into a new org / community. I’ve been following the community org issues and have enjoyed watching the governance, etc unfold. It’s cool to see processes like these actually happen
244.
by mccoyb 4y ago
Brandon, I’m curious how the goals of your representation differ from, say, Jaxprs. Why should I look at Aesara’s representation of multi-dimensional array programs when I might already use JAX’s? Does Aesara support a staging transformatio
245.
by mccoyb 4y ago
I’m talking about passes which operate on either (a) CodeInfo - a high-level IR which is the data interface for Julia’s abstract interpretation based type inference an (b) IRCode which is what Julia’s optimizer uses. Note: again, I haven’t
246.
by mccoyb 4y ago
I would start here: https://jax.readthedocs.io/en/latest/notebooks/Writing_custo... Note that JAX enforces certain limitations, so you should be careful when considering JAX to be "the perfect language&q
247.
by mccoyb 4y ago
No — macros are a non-intrusive transformation — they don’t allow you to transform callees of a function, unless you wrap the macro around the callee. People have tried this in Julia, and it’s horribly slow. There’s another mechanism in Jul
248.
by mccoyb 4y ago
I think it's young - and perhaps JAX itself is not so specialized to a specific task (but there's plenty of libraries for deep learning focused tooling, although not as mature as PyTorch). It has often been said in other threads o
249.
by mccoyb 4y ago
JAX is such a beautiful system. There's many deep PL ideas in the design of JAX, one could spend years thinking about them. It's wonderfully fun to design new interpreters, implementing some semantics, stage them out -- automatica
250.
by mccoyb 5y ago
Yes, Python and Ruby both have JIT compilers, but they do not operate in the same way that Julia's JIT operates. Numba is a tracing JIT -- Julia does not do that. It precompiles a static CFG (as much of the CFG as inference can concret
251.
by mccoyb 5y ago
Except an MIT licensed language and compiler implementation isn't a business. It's open source software. And despite the fact that other users have referenced the recent valuation of Julia Computing, that doesn't change the f
252.
by mccoyb 5y ago
I think the difference is in name only -- but TBH, I'm a little naive on more specific PL details. That's just how I imagine the implementation of that concept would likely go in the Julia space.
253.
by mccoyb 5y ago
New compiler improvements have vastly increased the space of linting -- please see JET.jl, for example: https://github.com/aviatesk/JET.jl
254.
by mccoyb 5y ago
Not a core team member -- but this comment confuses me. What exactly do you mean by "duck type and thtt" (?) Also, people are constantly asking for traits. But I don't think I've seen a compelling example where: this is
255.
by mccoyb 5y ago
Just a nit: Zygote is not technically a language level library. In fact, none of the above libraries really are language level — they are all just Julia libraries, some of which use macros. With the exception of metaprogramming with macros,
256.
by mccoyb 5y ago
If you are curious, I would stop by the Julia slack — specifically the #compiler-plugin channel. Otherwise, if you’re curious about how Julia’s type inference algorithm works via abstract interpretation, I would recommend the following blog
257.
by mccoyb 5y ago
Just a comment: you’re right on the money here. This is the dream that a few people in the Julia community are working towards. The framework of abstract interpretation, when combined with multiple dispatch as a language design feature, is
258.
by mccoyb 5y ago
Have you explored the SciML landscape at all (?): https://sciml.ai/ There are a number of components here which enable (what I would call) the expression of more advanced models using Julia's nice compositional propert
259.
by mccoyb 5y ago
Have you seen Shuhei Kadowaki's work on JET.jl (?) If you're curious: https://github.com/aviatesk/JET.jl This may seem more about performance (than IDE development) but Shuhei is one of the driving contributo
260.
by mccoyb 5y ago
Just a comment to participants who are suspicious of Julia usage over another, more popular language (for example) -- I think most Julia users are aware that the ecosystem is young, and that encouraging usage in new industry settings incurs
261.
by mccoyb 6y ago
Hi - this is a really cool looking project! I just want to encourage you to keep going. It’s awesome that you’re exploring the design and implementation of a rather complex thing (a full language!) early on. Stay positive!
262.
by mccoyb 6y ago
This basically applies to all programming? Reconsider this thought in the context of automatic differentiation, where a similar argument can be made. I doubt, however, that people would contest the utility of automatic differentiation syste
263.
by mccoyb 6y ago
I think you’re right! I haven’t explored these systems enough to comment with certainty. I think Stan and PyMC3 both focus on optimized implementations of Hamiltonian Monte Carlo - a Markov chain Monte Carlo algorithm which requires that yo
264.
by mccoyb 6y ago
I’m happy someone mentioned the community in Julia! We’re always looking for interested people to join and try out some of the systems. For easy access to some of the active PP frameworks: Turing.jl https://turing.ml/dev&#x2