AQL research complete and call for involvement

[Ryan Wisnesky]

Hi all,

The AQL research program completed this March, with million rows per minute pullbacks and pushouts in the AQL tool, as well as a successful milestone for the DARPA BRASS project being implemented in AQL.

We are therefore putting out a "call for involvement”, to see if there are people interested in helping to take the AQL tool to the next level, either commercially through CI or through the categorical data open source project.

Don’t be shy - we are soliciting involvement of all kinds!

Here are the latest links for categorical data related information:
- Our academic site: http://categoricaldata.net/aql.html
- Our corporate site: http://catinf.com
- The combined slides I use for the talks I give on this topic: http://categoricaldata.net/fql/lambdaconf.pdf
- An introductory video by me: https://www.youtube.com/watch?v=GizBg4M3bII and by David Spivak: https://www.youtube.com/watch?v=fTporauBJEs
- A survey paper describing how our work compares to traditional relational techniques: http://categoricaldata.net/fql/wadt.pdf

Ryan

[David Spivak]

Hi Ryan,

Did you know that John Baez is doing an online course on Seven Sketches? If you sign up, you can post discussions. Apparently there are a bunch of programmers looking for projects. You might poke around and see if you can drum up some interest..

David

 
Ryan

--
You received this message because you are subscribed to the Google Groups "categoricaldata" group.
To unsubscribe from this group and stop receiving emails from it, send an email to categoricaldata+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Jelle Herold]

> On 30 May 2018, at 03:29, Ryan Wisnesky <wisn...@gmail.com> wrote:
>
> We are therefore putting out a "call for involvement”, to see if there are people interested in helping to take the AQL tool to the next level, either commercially through CI or through the categorical data open source project.

Hey Ryan,

One of the developers that contributes to AQL is now working for Statebox (Erik Post) and in the months before that we have been trying to understand what a deeper integration between AQL and Statebox would look like (as it is basically a compositional categorically structured immutable database).

Not sure exactly how we will be contributing, but thought I’d at least let you know that we are working with AQL in some way

:^)

Cheers,
Jelle

[Ivano Pagano]

Hello Ryan,

is there any place for people interested and excited by in the subject, but with relatively basic CT knowledge, no expertise in C/C++, but good knowledge of Functional Programming with Scala and the fundamentals of Haskell?

Just to understand what kind of contributions could be useful.

Ivano 

[Ryan Wisnesky]

Hi Ivano,

Given your background, you may find this ‘Boston Haskell’ lecture particularly useful:

https://www.youtube.com/watch?v=Q0m8baqBrk4

At the moment, the most useful contributions are tutorials and pilot projects. For example, if you learned how AQL worked, you could write a tutorial explaining it to other functional programmers who don’t know category theory; or, you could pick a project you’re working on that is data related and see if AQL can be used for it. In either case we’re happy to help.

There’s also a list of more academic project ideas here: https://categoricaldata.net/projects.html

> --
> You received this message because you are subscribed to the Google Groups "categoricaldata" group.

> To unsubscribe from this group and stop receiving emails from it, send an email to categoricalda...@googlegroups.com.