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
#Prime Art | |
import time | |
start = time. time() | |
import math as m | |
import matplotlib.pyplot as plt | |
import numpy as np | |
file="primes1.txt" #downloaded from "https://primes.utm.edu/lists/small/millions/" (removed first and last line) | |
with open(file,'r') as file: | |
d=file.readlines() | |
p=[] |
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
#Making latex and mendeley work together | |
with open('references.txt','r') as file: #EDIT FILENAME IF NEEDED. PUT IN SAME FOLDER | |
D=file.readlines() | |
change_url=False | |
for i in range(len(D)): | |
a=D[i] | |
if a[0:5]=='@misc': | |
change_url=True |
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
syntax on | |
set tabstop=4 softtabstop=4 | |
set mouse=a | |
set nu | |
set noerrorbells | |
set noswapfile | |
let mapleader= " " | |
nnoremap <leader>so :source %<CR> | |
imap jj <ESC> |
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
[/] | |
focus-highlight-color='#eeeeee' | |
hotkeys-overlay-combo='TEMPORARILY' | |
group-apps-label-font-weight='lighter' | |
trans-panel-opacity=1.0 | |
trans-use-custom-gradient=true | |
group-apps-label-max-width=130 | |
dot-color-unfocused-1='#5294e2' | |
dot-color-unfocused-2='#5294e2' | |
dot-color-unfocused-3='#5294e2' |