agl

data Attachment = NoAttachment | Platform | CrossPlatform deriving (Show)
data ResidentKey = RKNotSpecified | RKDiscouraged | RKPreferred | RKRequired deriving (Show)
data UserVerification = UVDiscouraged | UVPreferred | UVRequired deriving (Show)

allCreateOptions = do
  attachment <- [NoAttachment, Platform, CrossPlatform]
  rk <- [RKNotSpecified, RKDiscouraged, RKPreferred, RKRequired]
  uv <- [UVDiscouraged, UVPreferred, UVRequired]

  return (attachment, rk, uv)

agl

Keybase proof

I hereby claim:

• I am agl on github.
• I am agl (https://keybase.io/agl) on keybase.
• I have a public key whose fingerprint is C921 7238 4F38 7DBA ED4D 4201 65EB 9636 F02C 5704

To claim this, I am signing this object:

agl

package main

import (
	"crypto/tls"
	"fmt"
	"net"
	"os"
	"bytes"
	"io"
)

agl

diff --git a/otr/otr.go b/otr/otr.go
index 0d18a60..ed560ed 100644
--- a/otr/otr.go
+++ b/otr/otr.go
@@ -12,20 +12,21 @@ import (
 	"crypto/cipher"
 	"crypto/dsa"
 	"crypto/hmac"
 	"crypto/rand"
 	"crypto/sha1"

agl

Require Import Clightdefs.
Require Import floyd.proofauto.
Require Import Coq.ZArith.Zdiv.
Require Import compcert.common.Values.
 
Local Open Scope Z_scope.
 
Definition _b : ident := 32%positive.
Definition ___compcert_va_int64 : ident := 16%positive.
Definition ___builtin_fmadd : ident := 24%positive.

agl

If anyone can publish the two, non-trivial factors of this number (where neither is 1!) then they'll have my attention:

0xe5c30e1286c41c7137dc06194199dde641120de591c1b7392de35ef6a961d6d29faa3bcdb7603d42768a90322197a7a46fa2cf23f6f10de5554db6e7322ba35e858f576f840347c795c8782c3f4ef9f530d2fd1f6b5c275ce49404958f0decddd0b53386d12c745891d5eeca1f265bdf87bfe258cc7999dd1b21c570dddf1b33

In standard form:

-----BEGIN PUBLIC KEY-----
MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQDlww4ShsQccTfcBhlBmd3mQRIN
5ZHBtzkt4172qWHW0p+qO823YD1CdoqQMiGXp6Rvos8j9vEN5VVNtucyK6NehY9X
b4QDR8eVyHgsP0759TDS/R9rXCdc5JQElY8N7N3QtTOG0Sx0WJHV7sofJlvfh7/i

agl

#include <stdint.h>

typedef int64_t limb;
typedef int32_t s32;

void product(limb out[19], const limb *a, const limb *b) {
	s32 t1, t2;

	t1 = a[0];
	t2 = b[0];

agl

package main

import (
	"crypto/x509"
	"fmt"
	"io/ioutil"
	"sync"
	"strconv"
)

agl

package main

import (
	"bytes"
	"code.google.com/p/go.crypto/openpgp"
	"crypto/rand"
	"crypto/rsa"
	"crypto/x509/pkix"
	"encoding/pem"
	"fmt"

agl

package main

import (
	"bufio"
	"fmt"
	"io"
	"net"
	"strings"
)