Instantly share code, notes, and snippets.

View analysis_theorems.tex
\begin{tikzpicture}
\node[draw,text width=3.5cm] (lub) at (5,10) {Least upper bound property};
\node[draw,text width=4cm] (bw) at (0,0) {Bolzano--Weierstrass theorem};
\node[draw,text width=3cm] (nested) at (11,0) {Nested intervals theorem};
\node[draw,text width=3cm] (ivt) at (11,5) {Intermediate value theorem};
\node[draw,text width=3cm] (bounded) at (5,5) {Boundedness theorem};
\node[draw,text width=3cm] (evt) at (0,5) {Extreme value theorem};
\draw[->] (lub) -- (nested) node[midway, fill=white, text width=1.5cm] {Stillwell, Folland};
\draw[->] (lub) -- (evt) node[midway, fill=white] {Spivak};
View out.sql
insert into donations(donor,donee,amount,donation_date,donation_date_precision,donation_date_basis,cause_area,url,notes) values
('Adam Weissman','Machine Intelligence Research Institute',10000.0,'2012-07-19','year','donee contributor list','AI safety','https://web.archive.org/web/20120719220051/http://singularity.org:80/topdonors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',18000.0,'2017-09-29','year','donee contributor list','AI safety','https://web.archive.org/web/20170929195133/https://intelligence.org/topcontributors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',16050.0,'2018-01-17','year','donee contributor list','AI safety','https://web.archive.org/web/20180117010054/https://intelligence.org/topcontributors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',17000.0,'2018-04-07','year','donee contributor list','AI safety','https://web.archive.org/web/20180407192941/https://intelligence.org/topcontributors/',NULL)
,('Aleksei Riikonen
View dump.sql
('Adam Weissman','Machine Intelligence Research Institute',10000.0,'2012-07-19','year','donee contributor list','AI safety','https://web.archive.org/web/20120719220051/http://singularity.org:80/topdonors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',18000.0,'2017-09-29','year','donee contributor list','AI safety','https://web.archive.org/web/20170929195133/https://intelligence.org/topcontributors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',16050.0,'2018-01-17','year','donee contributor list','AI safety','https://web.archive.org/web/20180117010054/https://intelligence.org/topcontributors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',17000.0,'2018-04-07','year','donee contributor list','AI safety','https://web.archive.org/web/20180407192941/https://intelligence.org/topcontributors/',NULL)
,('Aleksei Riikonen','Machine Intelligence Research Institute',14000.0,'2012-11-18','year','donee contributor list','AI safety','https://web.arc
View gist:f2a386b79b7e000621beaa79e9b9b0a2
('Adam Weissman','Machine Intelligence Research Institute',10000.0,'2012-07-19','year','donee contributor list','AI safety','https://web.archive.org/web/20120719220051/http://singularity.org:80/topdonors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',18000.0,'2017-09-29','year','donee contributor list','AI safety','https://web.archive.org/web/20170929195133/https://intelligence.org/topcontributors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',16050.0,'2017-12-23','year','donee contributor list','AI safety','https://web.archive.org/web/20171223071315/https://intelligence.org/topcontributors/',NULL)
,('Alan Chang','Machine Intelligence Research Institute',17000.0,'2018-04-07','year','donee contributor list','AI safety','https://web.archive.org/web/20180407192941/https://intelligence.org/topcontributors/',NULL)
,('Aleksei Riikonen','Machine Intelligence Research Institute',14000.0,'2012-11-18','year','donee contributor list','AI safety','https://web.arc
View dump.txt
unknown sector: Advanced technical and managerial training
unknown sector: Basic life skills for youth
unknown sector: Civilian peace-building, conflict prevention and resolution
unknown sector: Debt for development swap
unknown sector: Domestic Revenue Mobilisation
unknown sector: Ending violence against women and girls
unknown sector: Media and free flow of information
unknown sector: Promotion of development awareness (non-sector allocable)
unknown sector: Public Finance Management (PFM)
unknown sector: Recreation and sport
View dump.xml
<iati-activity xml:lang="en" default-currency="USD" hierarchy="1"
last-updated-datetime="2018-07-31T15:07:03" humanitarian="0">
<iati-identifier>DAC-1601-OPP1001424</iati-identifier>
<reporting-org ref="DAC-1601" type="60" secondary-reporter="0">
<narrative>Bill and Melinda Gates Foundation</narrative>
</reporting-org>
<title>
<narrative>2009 Annual Fundraising Gala</narrative>
</title>
<description type="1">
View dump.xml
<iati-activity xml:lang="en" default-currency="USD" hierarchy="1"
last-updated-datetime="2018-08-01T12:23:56" humanitarian="0">
<iati-identifier>DAC-1601-OPP10024</iati-identifier>
<reporting-org ref="DAC-1601" type="60" secondary-reporter="0">
<narrative>Bill and Melinda Gates Foundation</narrative>
</reporting-org>
<title>
<narrative>new health care delivery model in
Nigeria</narrative>
View dump.diff
diff --git a/proc.py b/proc.py
index a5cdafb..cc061ad 100755
--- a/proc.py
+++ b/proc.py
@@ -3,6 +3,8 @@
import sys
from bs4 import BeautifulSoup
+SEEN_SEPARATE = {}
+SEEN_ALL_IN_ONE = []
View gist:735a0e50f802c16b2e700395e15be415
mysql> select person,group_concat(organization) from aiwatch.positions where organization in (select distinct(donee) from donations where donor='Open Philanthropy Project') and person in (select distinct(donor) from donations where donee='Machine
Intelligence Research Institute') group by person;
+---------------------+---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
| person | group_concat(organization) |
+---------------------+---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------+
| Andrew Hay | Machine Intelligence Re
View gist:6cda8464b7feb7ff64fa14014ace5912
('c1.medium', 'us-east-1a') 0.0130209677419
('c1.medium', 'us-east-1b') 0.013
('c1.medium', 'us-east-1c') 0.013
('c1.medium', 'us-east-1d') 0.0130064516129
('c1.medium', 'us-east-1e') 0.13
('c1.xlarge', 'us-east-1a') 0.0729576651306
('c1.xlarge', 'us-east-1b') 0.0727055376344
('c1.xlarge', 'us-east-1c') 0.0739697849462
('c1.xlarge', 'us-east-1d') 0.0761150921659
('c1.xlarge', 'us-east-1e') 0.52