Eve

Better tools for thought.

[Jonathan Edwards @jonathoda]

Pleased to announce that Chris Granger @ibdknox, leader of Eve https://t.co/xKl8vWgZZ9 will be the keynote speaker at the Live Programming Workshop https://t.co/jIRNcT94wk

[Gilad Bracha @Gilad_Bracha]

Eve was one of the few interesting new efforts in the PL/PX space. It's a shame to see it come to an end. https://t.co/95qllV31EY

[Eve @with_eve]

So long, and thanks for all the fish.

https://t.co/6EuBfqsR34

[Eve @with_eve]

@rootkid Yep! There’s been lots of work going on since then, just not in the public repo.

[Chris Granger @ibdknox]

I was tallying up all the work we’ve done on @with_eve, it's hard to believe how much ground we covered:

compilers: 24
environments: 34
relational engines: 25
storage engines (indexes): 16
interpreters: 9
parsers: dozens
standard libs: dozens

[Chris Granger @ibdknox]

Wow, that was fast - my keynote from @splashcon is up! :)

Tackling a giant with a change in perspective

https://t.co/XxoH6hfT3T

[Chris Granger @ibdknox]

Pretty excited for my keynote at SPLASH on Wednesday :) Here’s a teaser:

[Eve @with_eve]

@michaelguimet Yep! We had a chance to see it a little before launch - cool stuff :)

[Eve @with_eve]

@asolove Yep! all is well. Most of that action has been happening on the mailing list and slack :)

[Eve @with_eve]

@arrdem @techpractical @cemerick Yeah, Eve isn’t real enough yet to be on that list. We hope to change that with the next release though :)

[Chris Granger @ibdknox]

As an aside, this optimizer has to be one of the coolest and most interesting things I’ve ever built. I haven’t heard of anything like it.

[Chris Granger @ibdknox]

@with_eve Some really amazing stuff is going to fall out of this work. Maybe even compiled Eve that’s competitive with C programs… ;)

[Chris Granger @ibdknox]

@with_eve Doing this on your whole program would let us compile your whole program down to something insanely efficient.

[Chris Granger @ibdknox]

@with_eve It then prunes nodes based on whether or not the domains could intersect.

[Chris Granger @ibdknox]

It uses a symbolic evaluator to propagate constraints on the domains of values through a simulated execution of an @with_eve program.

[Chris Granger @ibdknox]

A tale of an optimizer told through two graphs:

[Eve @with_eve]

July was a busy month, and we have quite a lot of progress to report on in last month's @with_eve dev diary: https://t.co/ZWbV1phenN

[mpj 💛 @mpjme]

Speaking of that @ibdknox just tweeted that the next major release of @with_eve is going to be a big one ... https://t.co/nXSdma70ws

[Eve @with_eve]

@eranmeir @BrandonBloom That is indeed the case :)

[Eve @with_eve]

@__wilky__ @IbuildingsIT This is awesome, thanks for sharing!