As configured in my dotfiles.
start new:
tmux
start new with session name:
/* | |
* Customize Footnotify on your site by adding custom css. | |
* | |
* This file is NOT loaded by the script and must be | |
* implemented on the site in order to apply. | |
* | |
* More info: https://gist.github.com/1046538 | |
* | |
*/ |
As configured in my dotfiles.
start new:
tmux
start new with session name:
""" | |
Implementation of pairwise ranking using scikit-learn LinearSVC | |
Reference: "Large Margin Rank Boundaries for Ordinal Regression", R. Herbrich, | |
T. Graepel, K. Obermayer. | |
Authors: Fabian Pedregosa <[email protected]> | |
Alexandre Gramfort <[email protected]> | |
""" |
augroup filetype_tex | |
autocmd! | |
autocmd Filetype tex let b:inquote = 0 | |
autocmd Filetype tex inoremap <buffer> " <esc>:call <SID>LQuote()<cr>a | |
augroup END | |
function! <SID>LQuote() | |
if b:inquote | |
let q = "''" | |
else |
function countPieces() { | |
it = b.pieces(); | |
var i = 0; | |
while (it.current()){ i++; it.next() } | |
return i; | |
} | |
function getRandPiece() { | |
var it = b.pieces(); | |
var n = Math.floor(Math.random()*countPieces()); |
function countPieces() { | |
it = b.pieces(); | |
var i = 0; | |
while (it.current()){ i++; it.next() } | |
return i; | |
} | |
function getRandPiece() { | |
var it = b.pieces(); |
#!/usr/bin/env python3 | |
''' | |
Filter to wrap Pandoc's CodeBlocks into minted blocks when using latex. | |
Pandoc's `fence_code_attributes` can be used to provide: | |
- the language (first class) | |
- minted's argumentless options (following classes) | |
- minted's options with arguments (attributes) | |
''' |
about:config settings to harden the Firefox browser. Privacy and performance enhancements.
To change these settings type 'about:config' in the url bar.
Then search the setting you would like to change and modify the value. Some settings may break certain websites from functioning and
rendering normally. Some settings may also make firefox unstable.
I am not liable for any damages/loss of data.
Not all these changes are necessary and will be dependent upon your usage and hardware. Do some research on settings if you don't understand what they do. These settings are best combined with your standard privacy extensions
(HTTPS Everywhere No longer required: Enable HTTPS-Only Mode, NoScript/Request Policy, uBlock origin, agent spoofing, Privacy Badger etc), and all plugins set to "Ask To Activate".