In the exam:
- use
git config --global color.ui auto
- Remember
/opt/agda/agda-stdlib-1.1
(the/opt/agda
path can be derived fromagda-mode locate
) grep --color=always -R "foldr" . | less -r
<?xml version="1.0" encoding="utf-8"?> | |
<CheatTable> | |
<CheatEntries> | |
<CheatEntry> | |
<ID>0</ID> | |
<Description>"mainMusic"</Description> | |
<LastState Value="1" RealAddress="7FF4D2400AD0"/> | |
<VariableType>Float</VariableType> | |
<Address>7FF4D2400AD0</Address> | |
</CheatEntry> |
03b49141f96d01ba6086fa1facd9cddc0c22dc23 Add possibility of modifying dynamic objects behavior (#784) | |
0af85463c86ad3a6b9790f0ed74c274bafbd95ce Add isResourceProtected function (#1254) | |
0d548f3bba6f628c2e42e0de17b6783155711f26 Include fetchRemote downloads from stopped/restarted resources in getRemoteRequests. Automatically cancel large fetchRemote downloads from stopped/restarted resources. | |
19eb2e670f823831ceb52c557a0f35127148aa57 Add functions to manipulate colshapes parameters (#1215) | |
273a87aa6cb276e65c471ff2e68f1f1ea44f9b5f Add async encode/decodeString (#1226) | |
302f51237d8945c0ecb192d714f487c60d1d4c98 downloadFile: downloading from another resource (#945) | |
32e4206dab2b441132a6e00f35658f8e6e9a2f59 Fix error case in engineFreeModel | |
360f49ce1bd840d22cf49f85438791ee2e148101 initial "engineResetModelLODDistance" implementation | |
364c3a1b34a778f22f68a93b9dfc8ab8ba404b98 Update argStream checking as per #821 | |
3b2ed1caceacb84ad8635fab37fc0c0221d976c2 Fix node iteration & return errors on invalid XML string |
https://discordapp.com/channels/315277951597936640/315277951597936640/687341476883202066 | |
[19:59] qaisjp: note to self; stop testing in production | |
[20:09] Simon: a custom ircd could avoid sending any join/parts except to the main bot | |
[20:09] Simon: although for 1000 users it'd be better to use the s2s protocol | |
[20:10] Simon: which ideally needs a completely robust pretend server that doesn't do odd things | |
[20:10] qaisjp: I think that was our second idea wasn't it? Custom ircd? | |
[20:10] qaisjp: Or at least a second idea that was had for a different bridge | |
[20:11] qaisjp: What's the S2S protocol? | |
[20:11] qaisjp: Server to server | |
[20:11] Simon: it was the first idea but then I decided it would be easier to let you connect multiple times |
➜ ./suitup/app.py | |
---------- | |
Statistics | |
---------- | |
- 324 naked methods found | |
- 139 naked methods with non-asm found | |
- Completion: 57.10% | |
CODE File Method Context |
#!/usr/bin/env bash | |
# | |
# Usage: GOOS=linux go build && ssh discord.tardis ./replace.sh < go-discord-irc | |
set -u | |
set -e | |
target=$(tempfile) | |
echo "Copying file to \"$target\"" |
from flask import Flask, redirect | |
app = Flask(__name__) | |
@app.route('/') | |
def hello_world(): | |
return 'Page with password form!' | |
urls = { | |
"googlepass": "https://google.com", | |
"youtubepass": "https://youtube.com" |
static OSStatus | |
SSLVerifySignedServerKeyExchange(SSLContext * ctx, | |
bool isRsa, SSLBuffer signedParams, | |
uint8_t * signature, UInt16 signatureLen) | |
{ | |
OSStatus err; | |
SSLBuffer hashOut, hashCtx, clientRandom, serverRandom; | |
uint8_t hashes[SSL_SHA1_DIGEST_LEN + SSL_MD5_DIGEST_LEN]; | |
SSLBuffer signedHashes; | |
uint8_t * dataToSign; |
class Solution: | |
# Suitable ranges for: | |
# - HH is 00 to 23 | |
# - MM is 00 to 59 | |
def num_to_digits(self, n): | |
s = list(map(int, list(str(n)))) | |
if n < 10: | |
return [0, s[0]] | |
return s |
In the exam:
git config --global color.ui auto
/opt/agda/agda-stdlib-1.1
(the /opt/agda
path can be derived from agda-mode locate
)grep --color=always -R "foldr" . | less -r
{ | |
// Use IntelliSense to learn about possible attributes. | |
// Hover to view descriptions of existing attributes. | |
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387 | |
"version": "0.2.0", | |
"configurations": [ | |
{ | |
"name": "build and debug project", | |
"type": "cppdbg", | |
"request": "launch", |