This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# name: L | |
function fish_prompt | |
set -l cyan (set_color -o cyan) | |
set -l yellow (set_color -o yellow) | |
set -l red (set_color -o red) | |
set -l blue (set_color -o blue) | |
set -l green (set_color -o green) | |
set -l normal (set_color normal) | |
set -l arrow "λ" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
On a 850MB csv file | |
time sum-haskell big-data.csv | |
1500352.4655644759,1500860.0948624783,... | |
10.61 real 10.24 user 0.35 sys | |
time ./sum-ocaml big-data.csv | |
1500352.46556,1500860.09486,1499634.... | |
17.71 real 17.30 user 0.33 sys |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; install following plugins: | |
;; flx-ido (ttps://github.com/lewang/flx) (http://www.youtube.com/watch?v=_swuJ1RuMgk) fuzzy matching for ido | |
;; rojectile https://github.com/bbatsov/projectile project management somwhat like in sublimetext | |
;; diff-hl (https://github.com/dgutov/diff-hl) nice screensoht: http://d.pr/i/Udgb show visual VCS diffs | |
;; undo-tree (http://www.emacswiki.org/emacs/UndoTree) (M-x undo-tree-visualize) Undo Tree, much better undo feature in emacs | |
;; rainbow-delimiters (https://github.com/jlr/rainbow-delimiters) show nested parsens etc in a sane fashion | |
;; smartparens (https://github.com/Fuco1/smartparens) autoclose and create parens, braces etc | |
;; flycheck (https://github.com/flycheck/flycheck) automatic, async syntac checker for nearly every language | |
;;;;;;;;;;;;;; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
*filter | |
# Allow all loopback (lo0) traffic and drop all traffic to 127/8 that doesn't use lo0 | |
-A INPUT -i lo -j ACCEPT | |
-A INPUT ! -i lo -d 127.0.0.0/8 -j REJECT | |
# Accept all established inbound connections | |
-A INPUT -m state --state ESTABLISHED,RELATED -j ACCEPT | |
# Allow all outbound traffic - you can modify this to only allow certain traffic |