CharlesAverill

(** logging.ml - Custom logging and error messages *)

(*
  The two key functions here are _log and fatal, which do what they sound like
*)

(** Represents the severity of a log statement *)
type log_type =
  | Log_None
  | Log_Debug

CharlesAverill

Require Import ZArith.
Require Import List.
Require Import Coq.Strings.Byte.
Import ListNotations.
Import ByteNotations.
Open Scope list_scope.
Open Scope nat_scope.
Open Scope bool_scope.

(* 

CharlesAverill

import pandas as pd
import requests
import os
import progressbar

def download_image(tweet_id, url):
    dot_index = url.rindex(".")
    q_index = url[dot_index:].index("?") if "?" in url else len(url)
    fn = f"tweet_{tweet_id}" + (url[dot_index:q_index])
    if os.path.exists(fn):

CharlesAverill

cont = input("This is a tough one to get out of. Use ctrl-c as a backup. Continue? (y/n) ")
if not "y" in cont:
    quit()

print("CHALLENGE: EXIT INTERPRETER USING A VALID PYTHON 3.10 PAYLOAD")

import builtins
import readline

input = builtins.input

CharlesAverill

/*
* Author: Charles Averill
* WARNING: Don't run this on anything important
*/

#define _GNU_SOURCE

#include <stdio.h>
#include <fcntl.h>
#include <unistd.h>

CharlesAverill

/*
Author: Charles Averill
Usage: Open BuildPlayer window from Tools > BuildPlayer
Note: This script assumes that your scenes are in Assets/Scenes, and that you have a Builds folder in your project root.
Ex: 
Project/
├── Assets
│   └── Scenes
│       ├── Scene1.unity
│       └── Scene2.unity

CharlesAverill

matrix_shape = matrix.shape
flat_matrix = matrix.flatten()
ls_matrix = flat_matrix.tolist()

num_items = len(ls_matrix)

for stricken in range(int(num_items * self.v_ratio)):
    if self.value:
        ls_matrix[random.randint(0, len(ls_matrix) - 1)] = self.value
    else:

CharlesAverill

weights[tuple(map(lambda x: np.random.randint(0, x), weights.shape))] = random.uniform(
                                self.low_bound, self.high_bound)