In the exam:
- use git config --global color.ui auto
- Remember /opt/agda/agda-stdlib-1.1(the/opt/agdapath 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", |