Geoffrey Irving girving

Chief Scientist at the UK AI Security Institute (AISI). Previously DeepMind, OpenAI, Google Brain, etc.

girving / gambler.py

Created November 15, 2012 16:53

Lower and upper bounds for a gambler's ruin problem

girving / diagonals

Created August 20, 2015 23:51

reachability on random diagonal graphs

	#!/usr/bin/env python

	from __future__ import division,print_function
	from numpy import *
	import scipy.sparse
	import scipy.sparse.csgraph

	"""
	Consider approximate disjoint diagonal cycles concentric around the origin.
	We can arrange that cycle C_n has radius O(n) and length O(n).

girving / 01.python

Created November 15, 2015 06:06

	2015-11-14 22:02:14 -0800

	python
	-c
	import setuptools, tokenize
	__file__ = 'setup.py'
	exec(compile(getattr(tokenize, 'open', open)(__file__).read()
	.replace('\r\n', '\n'), __file__, 'exec'))
	--no-user-cfg
	install

girving / 01.cmake

Created November 15, 2015 22:06

	2015-11-15 14:05:33 -0800

	cmake
	..
	-DCMAKE_C_FLAGS_RELEASE=
	-DCMAKE_CXX_FLAGS_RELEASE=
	-DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/cubicsdr/HEAD
	-DCMAKE_BUILD_TYPE=Release
	-DCMAKE_FIND_FRAMEWORK=LAST
	-DCMAKE_VERBOSE_MAKEFILE=ON

girving / 01.cmake

Created November 15, 2015 22:09

	2015-11-15 14:09:03 -0800

	cmake
	..
	-DCMAKE_SHARED_LINKER_FLAGS='-Wl,-undefined,dynamic_lookup'
	-DPYTHON_LIBRARY='/usr/local/lib/libgnuradio-runtime.dylib'
	-DCMAKE_C_FLAGS_RELEASE=
	-DCMAKE_CXX_FLAGS_RELEASE=
	-DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/soapysdr/HEAD
	-DCMAKE_BUILD_TYPE=Release

girving / 01.cmake

Created November 16, 2015 00:39

	2015-11-15 14:05:33 -0800

	cmake
	..
	-DCMAKE_C_FLAGS_RELEASE=
	-DCMAKE_CXX_FLAGS_RELEASE=
	-DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/cubicsdr/HEAD
	-DCMAKE_BUILD_TYPE=Release
	-DCMAKE_FIND_FRAMEWORK=LAST
	-DCMAKE_VERBOSE_MAKEFILE=ON

girving / 01.cmake

Created November 16, 2015 00:44

	2015-11-15 16:43:49 -0800

	cmake
	..
	-DCMAKE_C_FLAGS_RELEASE=
	-DCMAKE_CXX_FLAGS_RELEASE=
	-DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/cubicsdr/HEAD
	-DCMAKE_BUILD_TYPE=Release
	-DCMAKE_FIND_FRAMEWORK=LAST
	-DCMAKE_VERBOSE_MAKEFILE=ON

girving / ops-without-double.py

Created June 19, 2016 20:10

	"""Print ops that have float but not double definitions."""

	from __future__ import absolute_import
	from __future__ import division
	from __future__ import print_function

	from google3.net.proto2.python.public import text_format
	from google3.pyglib import app
	from google3.pyglib import flags
	from google3.third_party.tensorflow.core.framework import op_def_pb2

girving / nines

Created December 3, 2016 18:05

	The complete works of Shakespeare in binary have length

	s = 8 * 5.3M = 8 * 5458199 = 43665592

	Let S be the set of numbers that contain the complete works of Shakespeare in binary.
	If N is the number of occurrences of the complete works of Shakespeare, N is approximately
	Poisson distributed with mean

	E(N) = (lg n - s) 2^-s = mu

girving / np-pywrapweaver

Created March 13, 2017 22:08

This file has been truncated, but you can view the full file.