brendanzab
/ pull-processing-syntax-trees.rs
Last active
November 29, 2019 05:21
Pull-based tree processing for lambda calculi.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| //! See [this twitter thread](https://twitter.com/brendanzab/status/1191233778854662144). | |
| //! | |
| //! Traditional syntax trees suffer from lots of pointer indirections and poor data locality! | |
| //! Could we stream things instead, using [pull-based events](http://www.xmlpull.org/history/index.html) | |
| //! as opposed to trees? This should be equivalent to our tree based approaches, but might | |
| //! require us to think carefully about what our core calculus looks like in order to make | |
| //! this kind of thing easier. | |
| use std::sync::Arc; |
iamtekeste
/ Download Google Drive files with WGET
Created
July 8, 2015 11:00
Download Google Drive files with WGET
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Download Google Drive files with WGET | |
| Example Google Drive download link: | |
| https://docs.google.com/open?id=[ID] | |
| To download the file with WGET you need to use this link: | |
| https://googledrive.com/host/[ID] | |
| Example WGET command: |