Adit Cahya Ramadhan matematikaadit

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

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?

This article is now published on my website: Prefer Subshells for Context.

tmux cheatsheet

As configured in my dotfiles.

start new:

tmux

start new with session name:

	#!/usr/bin/env python2
	"""
	Author: takeshix <[email protected]>
	PoC code for CVE-2014-0160. Original PoC by Jared Stafford ([email protected]).

	Supportes all versions of TLS and has STARTTLS support for SMTP,POP3,IMAP,FTP and XMPP.
	"""

	import sys,struct,socket
	from argparse import ArgumentParser

	#include <stdio.h>

	int main(void){
	printf("Hello World!\n");
	return 0;
	}

	# Inspired by http://rarlindseysmash.com/posts/stupid-programmer-tricks-and-star-wars-gifs
	# via https://news.ycombinator.com/item?id=6633490
	# Requires
	# * a reasonably recent ffmpeg suite
	# * Graphicsmagick or ImageMagick
	# * optionally: Gifsicle
	# * an input video file
	# Usage:
	# python gifgif.py a_video_file.avi

	let g:startify_custom_header = [
	\ ' ________ __ __ ',
	\ ' __ /\_____ \/\ \\ \ ',
	\ ' __ __ /\_\ ___ ___ \/___//''/''\ \ \\ \ ',
	\ ' /\ \/\ \\/\ \ /'' __` __`\ /'' /'' \ \ \\ \_ ',
	\ ' \ \ \_/ \|\ \ \/\ \/\ \/\ \ /'' /''__ \ \__ ,__\',
	\ ' \ \___/ \ \_\ \_\ \_\ \_\ /\_/ /\_\ \/_/\_\_/ ',
	\ ' \/__/ \/_/\/_/\/_/\/_/ \// \/_/ \/_/ ',
	\ '',
	\ '',

	13:15 <xQuasar> \| HASKELL IS FOR FUCKIN FAGGOTS. YOU'RE ALL A BUNCH OF
	\| FUCKIN PUSSIES
	13:15 <xQuasar> \| JAVASCRIPT FOR LIFE FAGS
	13:16 <luite> \| hello
	13:16 <ChongLi> \| somebody has a mental illness!
	13:16 <merijn> \| Wow...I suddenly see the error of my ways and feel
	\| compelled to write Node.js!
	13:16 <genisage> \| hi
	13:16 <luite> \| you might be pleased to learn that you can compile
	\| haskell to javascript now

	{-# LANGUAGE GADTs, Rank2Types, KindSignatures, ScopedTypeVariables, TypeOperators, DataKinds, PolyKinds, MultiParamTypeClasses, FlexibleInstances, TypeFamilies, DoRec, ExtendedDefaultRules #-}
	import Control.Applicative
	import Control.Category
	import Control.Comonad
	import Control.Monad.Fix
	import Control.Monad (ap)
	import Data.Functor.Identity
	import Data.Typeable
	import Data.Monoid
	import Data.Unique

	var parser = document.createElement('a');
	parser.href = "http://example.com:3000/pathname/?search=test#hash";

	parser.protocol; // => "http:"
	parser.hostname; // => "example.com"
	parser.port; // => "3000"
	parser.pathname; // => "/pathname/"
	parser.search; // => "?search=test"
	parser.hash; // => "#hash"
	parser.host; // => "example.com:3000"