Skip to content

Instantly share code, notes, and snippets.


Panayotis Vryonis vrypan

View GitHub Profile
View gist:0772eba9c3fbe58e1406c614a6885e2b
Verifying my Blockstack ID is secured with the address 1H3ZnXreqdBvRwJmNbFMm3rQqLH5ZZujPR
vrypan / gist:198a189840f459384f8b07fe685d0d66
Created Apr 1, 2016 — forked from arvearve/gist:4158578
Mathematics: What do grad students in math do all day?
View gist:198a189840f459384f8b07fe685d0d66

Mathematics: What do grad students in math do all day?

by Yasha Berchenko-Kogan

A lot of math grad school is reading books and papers and trying to understand what's going on. The difficulty is that reading math is not like reading a mystery thriller, and it's not even like reading a history book or a New York Times article.

The main issue is that, by the time you get to the frontiers of math, the words to describe the concepts don't really exist yet. Communicating these ideas is a bit like trying to explain a vacuum cleaner to someone who has never seen one, except you're only allowed to use words that are four letters long or shorter.

What can you say?

vrypan / gist:a77e00a37a6e6ca41058
Last active Aug 29, 2015
Modify /etc/logrotate.d/rsyslog to archive log files to BigStash
View gist:a77e00a37a6e6ca41058
#
rotate 7
vrypan /
Created May 12, 2015
Country Codes accepted by as a python tuple.
# -*- coding: utf-8 -*-
# Country codes accepted by
countries = (
vrypan /
Last active Dec 24, 2015
improve twitter exported archive
#! /usr/bin/env python
This script will parse an unzipped Twitter archive export,
look for media links and download them localy, and replace
the links in the export to point to the local media copies.
It will also do the same for user avatars.
For more info visit:
View gist:9399295
### Keybase proof
I hereby claim:
* I am vrypan on github.
* I am vrypan ( on keybase.
* I have a public key whose fingerprint is 991C D46D A6C0 12FB D66E C2DC 5C73 8CBD 21BE DA13
To claim this, I am signing this object:
vrypan /
Last active Dec 24, 2015
Quick'n'dirty script to generate bucket3 posts from DayOne journal entries. Only entries with tag 'blog' will be published, the rest are ignored.
#!/usr/bin/env python
# -*- coding: utf-8 -*-
Usage: [options]
-p, --path=<path> top directory of your blog. [default: .]
vrypan /
Last active Aug 12, 2021
Python script to add/update an A record at amazon area53 DNS service, using current IP. (ie, dyndns replacement)
from area53 import route53
from boto.route53.exception import DNSServerError
import requests
import sys
from datetime import datetime
# Modified from
domain = 'domain.tld'
subdomain = 'subdomain_name'
vrypan / gist:4136206
Created Nov 23, 2012
smart redirects from 404 pages.
View gist:4136206
$.getJSON('/_/js/url_mapper.json', function(data) {
path = location.pathname.split("/") ;
if ( path[1] == "post" ){
id = path[2];
if ( data[id] ) {
$('#msg_en').html("The page you are looking has probably moved to \<a href=\"" + data[id] + "\"\>" + data[id] + "\</a\>.") ;
vrypan /
Created Feb 16, 2012
use to trigger scripts when a feed is updated
python | while read tag feed ; do
echo ">>>" $feed "updated!"
if [[ "$feed" == "" ]]; then
... do something here, like reading the new feed items, and post them to a different service.
echo "<<<"