Elias Wahl

Hey @austincondiff, could you assign this to me? I already got some of the CodeEditorView code working: 

This is the current state of the minimap. Still a lot of bugs to fix, but I am getting there slowly... https://user-images.githubusercontent.com/82230675/231145498-c3f3ad40-2a18-4034-9e3c-c883e0843a42.mov @thecoolwinter I need to set the bounds of...

Unfortunately, I have had little time recently, since I am currently working on my degree. I have decided that I am going re-implement the minimap in textkit2, instead of textkit1,...

Yeah, there is a small shift of the line numbers happening, when it updates them on click.

@chenyuxyz One issue this method has is that it sometimes takes very long to search with beam because some opts are especially terrible. Some opts will take minutes to execute....

Display name is `eliulm` and username is `eliaaaaaaas`.

@geohot Update: I am seeing a lot of python time with BERT training: `2 932.44 ms run, 1.22 ms fetch, 475.75 ms python, 455.47 ms CUDA, 10.90 loss, 0.000002 LR,...

@chenyuxyz : 1. **Download and Uncompress:** ```bash TRAIN_DOWNLOAD=1 VERIFY=1 python3 extra/datasets/wikipedia_download.py ``` 2. **Preprocessing for Training:** - To preprocess and train on all samples, use: ```bash NUM_WORKERS=32 python3 extra/datasets/wikipedia.py pre-train...

@chenyuxyz Unfortunately, no. Only a few sets on tiny10.

@chenyuxyz Yeah, I will write multiple instances to a file. Wanted to refactor the dataloaders anyway.