cmrfrd

import Mathlib.Data.ZMod.Basic
import Mathlib.Data.Fin.Basic
import Mathlib.Tactic.IntervalCases
import Mathlib.Tactic  
import Mathlib.Tactic.FinCases
import Mathlib.Data.Fintype.Basic
import Mathlib.Data.Finset.Basic
import Mathlib.Data.Finset.Card

/-!

cmrfrd

import random
import math
from collections import Counter

def sample_unit_circle(n) -> list[tuple[float, float]]:
    points = []
    while len(points) < n:
        x = random.uniform(-1, 1)
        y = random.uniform(-1, 1)
        if x*x + y*y <= 1:

cmrfrd

#!/usr/bin/env bash
#
# Boot a local ubuntu VM auto installed with yeet
# Learn more about yeet: yeet.cx 
#

YEET_KEY="..."

echo "boot2yeet starting..."
if [ ! -f ./id_rsa.pub ]; then

cmrfrd

"""Implementation of RREF (Reduced Row Echelon Form)."""

import functools
import hashlib
import time
from abc import ABC, abstractmethod
from textwrap import dedent
from typing import Any, Iterator, Optional

import numpy as np

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'