This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#include "logger.h" | |
namespace log { | |
bool LoggingTarget::WriteMessage(const std::string &) | |
{ | |
return true; | |
} | |
bool LoggingTarget::SupportsColors() const |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import time | |
for i in range(5): | |
time.sleep(1) | |
print(i) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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; | |
}; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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; | |
}; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import base64 | |
import itertools | |
from datetime import datetime, timezone | |
TOKEN_EPOCH = 1293840000 | |
CRYPTO_PART_LEN = 27 # seem to be constant | |
CHARLES_ID = 505532526257766411 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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 { |