Fogapod

START TRANSACTION;
# create user before function because:
# See https://github.com/edgedb/edgedb/issues/1625
START MIGRATION TO {
    module default {
        type User {
            required property created_at -> datetime {
                default := datetime_current();
            };
            required property nickname -> name_type {

Fogapod

import base64
import itertools

from datetime import datetime, timezone


TOKEN_EPOCH = 1293840000
CRYPTO_PART_LEN = 27  # seem to be constant

CHARLES_ID = 505532526257766411

Fogapod

START TRANSACTION;
START MIGRATION TO {
    module default {
        type User {
            required property nickname -> str {
                constraint exclusive on (str_lower(__subject__));
            };
            required property email -> str {
                constraint exclusive;
            };

Fogapod

ROLLBACK;
START TRANSACTION;
START MIGRATION TO {
    module default {
        type User {
            required property nickname -> str;
            required property email -> str;
            required property email_verified -> bool {
                default := false;
            };

Fogapod

Keybase proof

I hereby claim:

• I am fogapod on github.
• I am fogapod (https://keybase.io/fogapod) on keybase.
• I have a public key ASCpKPNWLTjGI3yyQ-rN1TY9au7AKv-ArDZsvC7dNOv7AQo

To claim this, I am signing this object:

Fogapod

import time
  
for i in range(5):
    time.sleep(1)
    print(i)

Fogapod

#include "logger.h"

namespace log {

bool LoggingTarget::WriteMessage(const std::string &)
{
    return true;
}

bool LoggingTarget::SupportsColors() const