Skip to content

Instantly share code, notes, and snippets.

View gist:0772eba9c3fbe58e1406c614a6885e2b
Verifying my Blockstack ID is secured with the address 1H3ZnXreqdBvRwJmNbFMm3rQqLH5ZZujPR
vrypan / gist:198a189840f459384f8b07fe685d0d66
Created April 1, 2016 09:47 — 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 August 29, 2015 14:21
Modify /etc/logrotate.d/rsyslog to archive log files to BigStash
View gist:a77e00a37a6e6ca41058
#
rotate 7
vrypan /
Created May 12, 2015 14:37
Country Codes accepted by as a python tuple.
# -*- coding: utf-8 -*-
# Country codes accepted by
countries = (
vrypan /
Last active December 24, 2015 16:47
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:
vrypan / gist:9399295
Last active August 29, 2015 13:57
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 December 24, 2015 06:29
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 August 12, 2021 21:43
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 November 23, 2012 15:48
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 February 16, 2012 13:31
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 "<<<"