cmrfrd

import random
from functools import reduce

import numpy as np
from matplotlib import pyplot as plt

player_names = ["Alice", "Bob", "Charlie", "David"]
match_matrix = np.zeros((len(player_names), len(player_names)))

# player in the first position is the prob of winning

cmrfrd

import Mathlib.Analysis.InnerProductSpace.Basic
import Mathlib.Analysis.NormedSpace.Basic

variable (F : Type) [LinearOrder F] [NormedAddCommGroup F] [InnerProductSpace ℝ F]

open RealInnerProductSpace

-- https://en.wikipedia.org/wiki/Cauchy%E2%80%93Schwarz_inequality
theorem cauchy_schwarz_inequality (u v : F) :
  |⟪u, v⟫| ^ 2 ≤ ⟪u, u⟫ * ⟪v, v⟫ := by {

cmrfrd

import httpx

HOST = "https://dsapi.expcloud.com/odata/replication"
IMAGE_SERVICE_KEY = "..."

GET_TOKEN = "https://dsauth.expcloud.com/oauth2/token"
CLIENT_ID = "..."
SECRET = "..."
SCOPE = "..."

cmrfrd

import numpy as np
from matplotlib import pyplot as plt
from tqdm import tqdm

data = []
num_refreshed_data = []

ITERATIONS = 5_000
N = 10_000
T = 100

cmrfrd

{pkgs, ...}: let
  pname = "cursor";
  version = "0.39.6";

  src = pkgs.fetchurl {
    url = "https://downloader.cursor.sh/linux/appImage/x64";
    hash = "sha256-huZTzIZFAYtGRMhXGC+1sd0l2s5913QkWM+QjCtsEl0=";
    # use this to update the hash
    # nix hash to-sri --type sha256 $(nix-prefetch-url https://downloader.cursor.sh/linux/appImage/x64)
  };

cmrfrd

const clickableElements = await page.evaluate(async () => {
    const resultElements: Elem[] = []
    const clickables = [
        'a',
        'button',
        'input',
        'textarea',
        'select',
        'details',
        'summary'

cmrfrd

import numpy as np
np.random.seed(256)

DTYPE=np.int64
P = 101

def is_singular(matrix: np.ndarray) -> bool:
    return np.isclose(np.linalg.det(matrix), 0)
def add(x, y, m): return (x + y) % m
def sub(x, y, m): return (x - y) % m

cmrfrd

from typing import Generator
import llama_cpp
import numpy as np
import regex
from lark import Lark, UnexpectedInput, UnexpectedToken
from llama_cpp import Llama
from pydantic import BaseModel, Field
import rstr
from itertools import islice

cmrfrd

#! /usr/bin/env nix-shell
#! nix-shell --quiet -p uxplay -i bash

set -ueo pipefail

## Clear any existing "DROP ME" rules
## ref: https://stackoverflow.com/a/63855690/12393422
while sudo iptables -L -n --line-number | grep "DROP ME" > /dev/null; do
  sudo iptables -D INPUT $(sudo iptables -L -n --line-number | grep "DROP ME" | head -1 | awk '{print $1}');
done

cmrfrd

import time
import asyncio
import operator
from functools import wraps
from itertools import repeat, count
from aioitertools import iter as aiter
from aioitertools import islice

from peewee import *
from peewee import Expression