I hereby claim:
- I am swapi on github.
- I am swapnil_mhatre (https://keybase.io/swapnil_mhatre) on keybase.
- I have a public key ASCUwe1yio-44zCE1O_dFlWcXK63ySRG4YZdgNza8koavQo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
h, j, k, l, w, b, e, ^, 0, $, gg, G, number powerd movement
b. Editing Start - i, a, I, A, o, O
c. Text operations - y, p, d, yank-register, r, . verb-motion
d. Misc - f, F, %, *, #| #!/bin/sh | |
| # Some things taken from here | |
| # https://github.com/mathiasbynens/dotfiles/blob/master/.osx | |
| # Set the colours you can use | |
| black='\033[0;30m' | |
| white='\033[0;37m' | |
| red='\033[0;31m' | |
| green='\033[0;32m' |
| #run this in bash. somehow the wildcards dont work on zsh | |
| #for nemo file manager instead of nautilus | |
| sudo add-apt-repository ppa:noobslab/mint | |
| #for latest git. | |
| sudo apt-add-repository ppa:git-core/ppa | |
| #for gnome-shell... cos unity will suck up all your memory | |
| #plus https://extensions.gnome.org/ !!! |
| set gfn=Courier_New | |
| set nobackup | |
| filetype plugin indent on " required! | |
| set laststatus=2 " Always show the statusline | |
| set t_Co=256 " Explicitly tell Vim that the terminal supports 256 colors | |
| set mouse=a | |
| set tabstop=4 |
| I have personally enjoyed several Aha! moments from studying basic automata theory. NFAs and DFAs form a microcosm for theoretical computer science as a whole. | |
| Does Non-determinism Lead to Efficiency? There are standard examples where the minimal deterministic automaton for a language is exponentially larger than a minimal non-deterministic automaton. Understanding this difference for Turing machines is at the core of (theoretical) computer science. NFAs and DFAs provide the simplest example I know where you can explicitly see the strict gap between determinism and non-determinism. | |
| Computability != Complexity. NFAs and DFAs both represent regular languages and are equivalent in what they compute. They differ in how they compute. | |
| Machines Refine Languages. This is a different take on what we compute and how we compute. You can think of computable languages (and functions) as defining an equivalence class of automata. This is a fundamental perspective change in TCS, where we focus not just on the what, but the |
| #!/bin/sh | |
| while [ true ]; do | |
| found=`curl --no-progress-bar "https://play.google.com/store/devices/details/Nexus_5_32GB_Black?id=nexus_5_black_32gb" 2> /dev/null | grep "Coming soon" | wc -l` | |
| if [ $found -eq "0" ]; then | |
| python ~/gcsms.py send | |
| if [ $? -eq 0 ]; then | |
| break | |
| else | |
| python ~/gcsms.py send | |
| fi |
| def large_sum(el): | |
| class _helper: | |
| large_pos = len(el) | |
| current_pos = len(el) | |
| large = [] | |
| current = [] | |
| h = _helper() | |
| def _large_sum(_el, pos): | |
| if pos == len(_el) - 1: | |
| h.large_pos -= 1 |
| function parse_git_branch { | |
| git branch --no-color 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/' | |
| } | |
| export PS1="\u@\h:\w\$(parse_git_branch) $ " |
| #Dependency: | |
| #-libpebble with other required libs (e.g. lightblue etc) | |
| #-py-vlcclient (https://github.com/DerMitch/py-vlcclient.git) | |
| #it is assumed that pebble is already paired. | |
| from vlcclient import VLCClient | |
| import pebble as libpebble | |
| import sys | |
| import time |