### math, philosophy of math, computer science:

A lot of mathematics is about proving theorems, but when a statement cannot be proven true or false we have the opportunity to better understand mathematics. I feel that we, unfortunately, do not take advantage of those opportunities. As our understanding of mathematics grows, we may ask more questions that land on the boundary of what we can know. I expect that it will only become more important to grapple with logical independence.

Cantor's legacy

Forgetlessness

the difficulty of proofs of the difficulty of problems

PNP here: argh! more:
counting depth first search run-times,
dfs_times.csv,
graph_stuff.py

topology is connectedness and locality Do topologists really run around daycare facilities slapping the hands of children for poking holes in silly putty or rolling together *more than one* piece of play dough?

for permutaion's sake

dovetailing diagonalization a hint on diagnolization

Black Swan the Bayesian

block chain for enforcing abstractions limit your attack surface, lower maitenence and running costs

parallel merge

encapsulation protocol provide isolation as a service

computably approximatizable a better name for co-RE / co-CE

### philosophy, politics:

**You are what you believe**

mourning

small government, little justice

gentleman's four letter word

blaming the victim is fun how has the American dream come to this?

love of truth

conservative justice

software law

Be yourself: cruelest of the ___ yourselfs

### other:

responsible words

better than me

paint the wall

*links*:

w3schools
HTML cheatsheet