Skip to content

Instantly share code, notes, and snippets.

View rocarvaj's full-sized avatar

Rodolfo Carvajal rocarvaj

View GitHub Profile
veekaybee /
Last active December 5, 2023 07:27
Normcore LLM Reads
lyeskhalil /
Last active December 9, 2021 05:39
Get CPLEX's presolved model with the cuts added at the root

Get CPLEX's presolved model with the cuts added at the root

Based on Rodolfo Carvajal's gist.

1- Adjust CPX_PATH and ARCH based on your machine;
2- make cpx.


rocarvaj / dotgraph.tex
Created May 8, 2017 17:56
Dot graph paper in LaTeX
View dotgraph.tex
\foreach \x in {0,...,41}
\foreach \y in {0,...,57}
\fill[gray!75] (\x,\y) circle (0.06cm);
jaywilliams /
Last active June 6, 2022 14:06 — forked from palexander/gist:2975305
Compiling and running mosh on Dreamhost (Updated - 2018)
#!/usr/bin/env bash
# Thanks to @samsonjs for the cleaned up version:
# Create Source Directory
mkdir -p $PREFIX/src
erikzenker /
Created March 10, 2015 14:49
Metis usage example
#include <cstddef> /* NULL */
#include <metis.h>
#include <iostream>
// Install metis from:
// Build with
// g++ -lmetis
aaronhalford /
Created November 28, 2014 19:59
Customize ChromeOS Crosh Terminal with Custom Fonts and Solarized Dark Theme

Customize Chromebook Chrosh Shell Environment

Requirement: Chromebook, Common Sense, Commandline Ablity, 1 hour of time

Dear developers with a spare Chromebook lets inject a little personalization into your Crosh shell with custom fonts, the solarized theme, and extra secure shell options.

Also, keep in mind that the terms Chrosh, Chrosh Window, and Secure Shell all refer to various versions and extentions built around the ChromeOS terminal. Settings that affect the ChromeOS terminal are global.

Custom Fonts

why-not / gist:4582705
Last active December 1, 2023 20:51
Pandas recipe. I find pandas indexing counter intuitive, perhaps my intuitions were shaped by many years in the imperative world. I am collecting some recipes to do things quickly in pandas & to jog my memory.
View gist:4582705
"""making a dataframe"""
df = pd.DataFrame([[1, 2], [3, 4]], columns=list('AB'))
"""quick way to create an interesting data frame to try things out"""
df = pd.DataFrame(np.random.randn(5, 4), columns=['a', 'b', 'c', 'd'])
"""convert a dictionary into a DataFrame"""
"""make the keys into columns"""
df = pd.DataFrame(dic, index=[0])
pwenzel /
Created October 23, 2012 15:16
Internet Radio Streams Via Command Line
# 1. Install mplayer command line (via Brew, Macports, or APT)
# 2. Add the following aliases to ~/.profile
# 3. Type `source ~/.profile`
# 3. Type `news` or `current` to listen in your terminal
alias news="mplayer -playlist" # MPR News
alias current="mplayer -playlist" # The Current
alias classical="mplayer -playlist" # Classical MPR
alias localcurrent="mplayer -playlist" # Local Current
alias heartland="mplayer -playlist" # MPR Radio Heartland
rocarvaj / bibtexStuff.bib
Created April 27, 2012 19:05
LaTeX tricks (or stuff I forget)
View bibtexStuff.bib
% A website
Author = {Jean Schneider},
Title = {The Extrasolar Planets Encyclopaedia},
howpublished = {\url{}}
View tmux_cheatsheet.markdown

tmux cheatsheet

As configured in my dotfiles.

start new:


start new with session name: