Skip to content

Instantly share code, notes, and snippets.

View dpo's full-sized avatar
💭
Hacking

Dominique dpo

💭
Hacking
View GitHub Profile
enable_autocomplete_brackets(false) # do this if using OhMyRepl and Tmux
using Pkg
Pkg.activate("dev-jso-solvers")
Pkg.develop(PackageSpec(url="../LinearOperators.jl"))
Pkg.develop(PackageSpec(url="../NLPModels.jl"))
Pkg.develop(PackageSpec(url="../NLPModelsJuMP.jl"))
Pkg.develop(PackageSpec(url="../SolverTools.jl"))
# Pkg.develop(PackageSpec(url="../OptimizationProblems.jl"))
const global syms = ["caxpy", "cbdsqr", "ccopy", "cdotc", "cdotu", "cgbtrf",
"cgemm", "cgemv", "cgerc", "cgeru", "cgetrf", "cgetrs",
"chemm", "chemv", "cher", "cher2", "cher2k", "cherk",
"chetrd", "clacgv", "clacpy", "cladiv", "clanhs",
"clarfg", "clartg", "claset", "clasr", "classq", "claswp",
"cpbtrf", "cpotrf", "cpttrf", "crot", "cscal", "csscal",
"cswap", "csymm", "csyr2k", "csyrk", "ctbtrs", "ctrmm",
"ctrmv", "ctrsm", "ctrsv", "ctrtrs", "dasum", "daxpy",
"dbdsqr", "dcopy", "ddot", "dgbtrf", "dgemm", "dgemv",
"dger", "dgetrf", "dgetrs", "disnan", "dlabad", "dlacpy",
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
set -g prefix Home
unbind C-b
bind-key Home send-prefix
# List of plugins
set -g @plugin 'tmux-plugins/tpm'
set -g @plugin 'tmux-plugins/tmux-sensible'
# tmux-resurrect and tmux-continuum to save the state across system restarts
# prefix-Ctrl-s to save the state
@dpo
dpo / vd
Created September 18, 2019 16:24
#!/bin/bash
# To be called by Skim for linkback.
# Server name can be 100 chars max in length.
#server=$2
#(( ${#server} > 100 )) && server=${server:0:100}
# Debug: send args to console.
syslog -s -l error "file $2 line $1"
#/usr/local/bin/vim --servername "$server" --remote-send ":buffer$2<CR>:$1<CR><CR>"
#!/bin/bash
file="$1"
line="$2"
[ "${file:0:1}" == "/" ] || file="${PWD}/$file"
exec osascript \
-e "set ESC to ASCII character 27" \
-e "tell application \"/Users/dpo/bin/vim\" to activate" \
@dpo
dpo / vims
Created September 18, 2019 16:23
#!/bin/bash
# Server name can be 100 chars max in length.
server=$(pwd)/$1
(( ${#server} > 100 )) && server=${server:0:100}
/usr/local/bin/vim --servername $server $1
using LinearAlgebra
using Logging
using JLD2
using CUTEst
using JSOSolvers
using NLPModels
using SolverBenchmark
using SolverTools
@dpo
dpo / .vimrc
Created September 4, 2019 19:53
call plug#begin('~/.vim/plugged')
Plug 'tpope/vim-sensible'
Plug 'tpope/vim-commentary'
Plug 'tpope/vim-tbone'
Plug 'airblade/vim-gitgutter'
Plug 'junegunn/fzf', { 'do': 'yes \| ./install' } " fzf is a fuzzy file search
Plug 'junegunn/fzf.vim'
@dpo
dpo / .vimrc
Created September 4, 2019 19:53
call plug#begin('~/.vim/plugged')
Plug 'tpope/vim-sensible'
Plug 'tpope/vim-commentary'
Plug 'tpope/vim-tbone'
Plug 'airblade/vim-gitgutter'
Plug 'junegunn/fzf', { 'do': 'yes \| ./install' } " fzf is a fuzzy file search
Plug 'junegunn/fzf.vim'