Skip to content

Instantly share code, notes, and snippets.

View gist:0772eba9c3fbe58e1406c614a6885e2b
Verifying my Blockstack ID is secured with the address 1H3ZnXreqdBvRwJmNbFMm3rQqLH5ZZujPR https://explorer.blockstack.org/address/1H3ZnXreqdBvRwJmNbFMm3rQqLH5ZZujPR
@vrypan
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
vrypan / gist:a77e00a37a6e6ca41058
Last active Aug 29, 2015
Modify /etc/logrotate.d/rsyslog to archive log files to BigStash
View gist:a77e00a37a6e6ca41058
# Read more at http://blog.bigstash.co/2015/05/25/log-archiving-using-logrotate-and-bigstash/
/var/log/syslog
{
rotate 7
daily
missingok
notifempty
delaycompress
compress
postrotate
@vrypan
vrypan / country_codes.py
Created May 12, 2015
Country Codes accepted by Braintreepayments.com as a python tuple.
View country_codes.py
# -*- coding: utf-8 -*-
# Country codes accepted by Braintreepayments.com
# https://developers.braintreepayments.com/javascript+python/reference/general/countries
countries = (
('Afghanistan','AF','AFG','4'),
('Åland','AX','ALA','248'),
('Albania','AL','ALB','8'),
('Algeria','DZ','DZA','12'),
@vrypan
vrypan / improve_twitter_archive.py
Last active Dec 24, 2015
improve twitter exported archive
View improve_twitter_archive.py
#! /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: https://blog.vrypan.net/2015/12/24/how-to-archive-your-tweets/
"""
View gist:9399295
### Keybase proof
I hereby claim:
* I am vrypan on github.
* I am vrypan (https://keybase.io/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
vrypan / dayone-to-b3.py
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.
View dayone-to-b3.py
#!/usr/bin/env python
# -*- coding: utf-8 -*-
"""
Usage:
dayone-to-b3.py [options]
Options:
-p, --path=<path> top directory of your blog. [default: .]
"""
@vrypan
vrypan / dyndns53.py
Last active Aug 12, 2021
Python script to add/update an A record at amazon area53 DNS service, using current IP. (ie, dyndns replacement)
View dyndns53.py
from area53 import route53
from boto.route53.exception import DNSServerError
import requests
import sys
from datetime import datetime
# Modified from https://markcaudill.me/blog/2012/07/dynamic-route53-dns-updating-with-python/
domain = 'domain.tld'
subdomain = 'subdomain_name'
@vrypan
vrypan / gist:4136206
Created Nov 23, 2012
smart redirects from 404 pages.
View gist:4136206
<script>
$.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
vrypan / automator.sh
Created Feb 16, 2012
use listener.py to trigger scripts when a feed is updated
View automator.sh
python listener.py | while read tag feed ; do
echo ">>>" $feed "updated!"
if [[ "$feed" == "http://picks.vrypan.net/rss" ]]; then
... do something here, like reading the new feed items, and post them to a different service.
...
fi
echo "<<<"
done