Aesara Devs

A fast and hackable meta-tensor library in Python.

[Saul Shanabrook @SShanabrook]

I gave a lightning talk at @PyData NYC giving a short intro to e-graphs as well as this example of compiling scikit-learn to numba https://t.co/nBEuPpxDuV

[Brandon T. Willard @BrandonTWillard]

@SShanabrook @numba_jit @AesaraDevs We're in the process of moving some of our symbolic work from @AesaraDevs into the the LLM space, and we might end up using egglog and the new RVSDG support in @numba_jit to do that.

[Brandon T. Willard @BrandonTWillard]

@SShanabrook @numba_jit @AesaraDevs The plan with @AesaraDevs was always to shed the tensor library elements and focus on building useful domain-specific relations using whatever frameworks are most effective. egglog and @numba_jit are shaping up to be those frameworks, and that's exciting!

[Brandon T. Willard @BrandonTWillard]

In the end, I'm glad to have gotten the chance to implement and demonstrate some of the features I always wanted in a PPL, and I still hope to see one that realizes them all--even if it ends up being in Julia!

[Brandon T. Willard @BrandonTWillard]

At some point I'll start putting out write-ups about some of the most interesting domain-specific rewrites and optimizations we added, and some details about the automated sampler construction process and its potential.

[Brandon T. Willard @BrandonTWillard]

Projects like @numba_jit can provide that, along with all the necessary support and expertise for maintaining them.

[Brandon T. Willard @BrandonTWillard]

I'm glad that my adhoc transpilation approach was able to breathe new life into an old project like Theano, but tighter integration with better compilation targets are necessary.

[Brandon T. Willard @BrandonTWillard]

Aesara was designed to fulfill a very specific backwards compatibility requirement that ultimately complicated its true goals: domain-specific symbolic rewriting. We're very proud of what we were able to accomplish under those constraints, but the way forward can't have them.

[Brandon T. Willard @BrandonTWillard]

Regarding our original mission with @AesaraDevs, we believe that projects like @numba_jit, its push for RVSDG support, and projects like the ones by @SShanabrook are good ways forward in this space.

[Brandon T. Willard @BrandonTWillard]

Simply put, the projects have gone through a lot in the past year and we've moved on to some exciting new ventures. We're bringing similar symbolic thinking and approaches to a new space: LLMs.

[Brandon T. Willard @BrandonTWillard]

I just wrote a reply involving questions about @AesaraDevs, and it reminded me that we need to provide some updates regarding the projects: https://t.co/RO4U17mT4i

[Rémi in 🌁 for AIEF @remilouf]

🥳

[Aesara Devs @AesaraDevs]

Submit 30 PRs 🎂

[Cameron @just_cameron]

What should I do for my thirtieth birthday?

[Aesara Devs @AesaraDevs]

AePPL

[Aesara Devs @AesaraDevs]

The Numba backend and Rust both use LLVM under the hood!

[Naïve Bayesian @naivebayesian]

@AesaraDevs At this point, this is unsurprising and expected of all Python libraries that wish to be fast, and therefore is unsuitable as an April Fool’s prank.

[Aesara Devs @AesaraDevs]

The Aesara Project is excited to announce that we will be rewriting all of our libraries in Rust.

Let’s cargooooooool!

[Aesara Devs @AesaraDevs]

@vboykis @remilouf If you need meta-programming, i.e. the ability to reason at runtime about your model and modify it. Aesara represents the model as a graph of mathematical operations. See https://t.co/ixUQbTSRYA for an example where it is used, and https://t.co/Y0DNKrfnH5 for ideas.

[Aesara Devs @AesaraDevs]

https://t.co/cb9Iu5paBG

[Aesara Devs @AesaraDevs]

AeMCMC

[Rémi in 🌁 for AIEF @remilouf]

Then we'll implement a high-level DSL to simplify the construction of complex samplers with Blackjax, and use AeMCMC to automatically compile samplers thet are adapted to your model.

https://t.co/uilvUEfZUt