Skip to content

Instantly share code, notes, and snippets.

View JJGO's full-sized avatar

Jose Javier JJGO

View GitHub Profile

Keybase proof

I hereby claim:

  • I am jjgo on github.
  • I am jjgo (https://keybase.io/jjgo) on keybase.
  • I have a public key ASCP_Q1PNEYdk24hEKnA1gwTZHzClugWOddb1K-xlGTJcQo

To claim this, I am signing this object:

Under Construction

Things to add to other sections

Course Overview

Virtual Machines

@JJGO
JJGO / getfit.py
Created February 5, 2019 20:22
Getfit automation
from selenium.webdriver import Firefox
from selenium.webdriver.common.keys import Keys
from selenium.webdriver.firefox.options import Options
import time
def getfit_submit(user, pwd, minutes, activity, intensity):
URL = 'https://getfit.mit.edu/user/login?current=team-fitness/home'
options = Options()
options.headless = True
@JJGO
JJGO / dslogs
Last active April 26, 2024 05:12
Script for pretty printing logs of MIT 6.824 labs
#!/usr/bin/env python
import sys
import shutil
from typing import Optional, List, Tuple, Dict
import typer
from rich import print
from rich.columns import Columns
from rich.console import Console
from rich.traceback import install
@JJGO
JJGO / dstest
Last active March 21, 2024 18:10
Utility for running MIT 6.824 lab test in parallel and saving failed logs
#!/usr/bin/env python
import itertools
import math
import signal
import subprocess
import tempfile
import shutil
import time
import os
def check_libjpeg_turbo():
from PIL import features
return features.check_feature("libjpeg_turbo")
def check_pillow_simd():
import PIL
return ".post" in PIL.__version__
["tench, Tinca tinca",
"goldfish, Carassius auratus",
"great white shark, white shark, man-eater, man-eating shark, Carcharodon carcharias",
"tiger shark, Galeocerdo cuvieri",
"hammerhead, hammerhead shark",
"electric ray, crampfish, numbfish, torpedo",
"stingray",
"cock",
"hen",
"ostrich, Struthio camelus",
@media (prefers-color-scheme: light) {
div#notebook {
font-family: sans-serif;
font-size: 14pt;
line-height: 170%;
color: #303030;
-webkit-font-smoothing: antialiased !important;
padding-top: 25px !important;
}
body,
@media (prefers-color-scheme: light) {
div#notebook {
font-family: sans-serif;
font-size: 14pt;
line-height: 170%;
color: #303030;
-webkit-font-smoothing: antialiased !important;
padding-top: 25px !important;
}
body,
@media (prefers-color-scheme: light) {
div#notebook {
font-family: sans-serif;
font-size: 14pt;
line-height: 170%;
color: #303030;
-webkit-font-smoothing: antialiased !important;
padding-top: 25px !important;
}
body,