Eve (@with_eve) header
Eve (@with_eve) profile picture

Eve

@with_eve

Better tools for thought.

 San Francisco, CA
programming.witheve.com
Joined August 2014
  • Tweets174
  • Following90
  • Followers1.8K
5Media
Photo by Eve (@with_eve)Photo by Eve (@with_eve)Photo by Eve (@with_eve)Photo by Eve (@with_eve)Photo by Eve (@with_eve)
Pleased to announce that Chris Granger @ibdknox, leader of Eve witheve.com/ will be the keynote speaker at the Live Programming Workshop 2018.splashcon.org/track/liv…
1
8
28
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. nitter.cf/with_eve/status/956258…
Eve (@with_eve) profile pictureEve@with_eve24 Jan 2018
So long, and thanks for all the fish. groups.google.com/forum/#!to…
18
1
38
So long, and thanks for all the fish. groups.google.com/forum/#!to…
11
40
34
77
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
3
4
48
Wow, that was fast - my keynote from @splashcon is up! :) Tackling a giant with a change in perspective youtube.com/watch?v=a_o-Zzgp…
3
15
1
64
Pretty excited for my keynote at SPLASH on Wednesday :) Here’s a teaser:
Image from Chris Granger (@ibdknox)
1
8
2
45
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.
1
2
1
11
Replying to @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… ;)
3
24
Replying to @ibdknox @with_eve
Doing this on your whole program would let us compile your whole program down to something insanely efficient.
2
1
8
Replying to @ibdknox @with_eve
It then prunes nodes based on whether or not the domains could intersect.
1
1
4
It uses a symbolic evaluator to propagate constraints on the domains of values through a simulated execution of an @with_eve program.
3
2
9
A tale of an optimizer told through two graphs:
Image from Chris Granger (@ibdknox)
1
8
1
43
July was a busy month, and we have quite a lot of progress to report on in last month's @with_eve dev diary: incidentalcomplexity.com/201…
1
7
1
15
Speaking of that @ibdknox just tweeted that the next major release of @with_eve is going to be a big one ... nitter.cf/BrandonBloom/status/89…
1
2
14
Our next @with_eve meetup is tomorrow! Come build stuff with us :) Lots of cool new things to share too. meetup.com/witheve/events/24…
3
10
We've got the #evelang June dev diary up: tinyurl.com/y7458hk2 And a new Meetup on Jul 25: tinyurl.com/ybotmbo6 Hope to see you there!
1
2
7
.@ibdknox came & spoke at @BiDLab about Eve. It was a terrific, memorable talk. Congrats on the #splash2017 keynote, Chris! nitter.cf/craiganslow/status/879…
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
1
6
10
Don't forget: We're hosting our second meetup on 6/27. Topic: Getting started with Eve. Bring your laptops! Details: meetup.com/witheve/events/24…
2
1
8
Plenty of stickers for our first official #evelang meetup. See you at 7. meetup.com/witheve/events/24…
Image from Eve (@with_eve)
1
1
7
I’ll be giving a keynote at SPLASH this year about @with_eve! Should be an exciting talk. :) 2017.splashcon.org/event/spl…
5
19
Load more