infinity0

# -- Options for LaTeX output ---------------------------------------------

latex_elements = {
# The paper size ('letterpaper' or 'a4paper').
'papersize': 'a4paper',

# The font size ('10pt', '11pt' or '12pt').
#'pointsize': '10pt',

# Additional stuff for the LaTeX preamble.

infinity0

#!/bin/sh
# Run this from a clone of:
# https://forge.ocamlcore.org/anonscm/git/ocamleditor/ocamleditor.git

set -e

VERSION="${VERSION:-1.13.2}"

git checkout $VERSION
git clean -fdx

infinity0

#!/usr/bin/python3 -i

from nacl.bindings import *
from binascii import b2a_hex

BO = "little"

order_b = 2**252 + 27742317777372353535851937790883648493
order = 8 * order_b

infinity0

#!/usr/bin/python
# RFC2822 to ISO8601 date converter, that doesn't require you to fuck with the TZ variable.
# Fuck the POSIX time functions.
import time, email.utils, sys
t = email.utils.parsedate_tz(sys.argv[1])
t, tz = t[:-1], t[-1]
print(time.strftime("%Y-%m-%dT%H:%M:%S", t) + "{0:+03d}{1:02d}".format(tz/3600, tz/60%60))

infinity0

9

infinity0

#!/usr/bin/python
#
# Usage:
#
# $ ./conception.py 1969-12-25
# searching for most recent event before 1969-04-03
# <li><a href="/wiki/April_1" title="April 1">April 1</a>
# &#226;&#8364;&#8220; The <a href="/wiki/Hawker_Siddeley_Harrier" title="Hawker Siddeley Harrier">Hawker Siddeley Harrier</a> enters
# service with the <a href="/wiki/Royal_Air_Force" title="Royal Air Force">Royal Air Force</a>.</li>
#