Skip to content

Instantly share code, notes, and snippets.

View Nikolaj-K's full-sized avatar
💭
I'm combinating Why's.

Nikolaj Kuntner Nikolaj-K

💭
I'm combinating Why's.
119 followers · 15 following
View GitHub Profile
@Nikolaj-K
Nikolaj-K / copious_secret_santa.py
Last active August 19, 2023 18:01
Copious Secret Santa / Voting assignment
"""
Script used in the video
https://youtu.be/2b9fOpX0zKY
Formal structure: balanced simple digraph
(Important special properties out-degrees equals the in-degrees, no self-loops, no parallel arrows)
1. Proof task: Count them, given any assginment of out-degrees.
How does it compare to just random disgraphs with that those out-degrees?
1. Coding task: Generate one given the out-degrees, fast. (I have a bad, probabilistic solution)
@Nikolaj-K
Nikolaj-K / make_voting_assignment.py
Last active October 28, 2023 10:40
Create a HV-MT voting assignment based on a list of capacities
"""
Scirpt discussed in video here:
https://youtu.be/2b9fOpX0zKY?si=hjztP-RAwIgq_Yed
HV-MTL Voting assignment based on users with different voting capactities per day.
More formally: Generation of a balanced simple digraph* (and corresponding plot)
based on a vertex set and their number of outgoing edges,
with a high number of opposing edges (reciprocated votes percentage is a config).
@Nikolaj-K
Nikolaj-K / constructive_arithmetic_freebies.md
Last active September 23, 2023 12:14
Four freebies of constructive arithmetic
@Nikolaj-K
Nikolaj-K / absorbing_markov_chains.py
Last active October 1, 2023 12:06
Absorption probabilities in finite Markov chains
"""
Code used in the video
https://youtu.be/BiViLT6FCC4
"""
import random
import numpy as np
class LinAlgLib: # Linear algebra'ish functions
@Nikolaj-K
Nikolaj-K / regularity_vs_induction.md
Last active November 8, 2022 01:24
Regularity versus Induction

Text used in this video:

https://youtu.be/7HKnOOvssvs

==== Recall the regularity statement ==== $\forall s.\Big(s\neq{},\to,\exists(x\in s). x\cap s={}\Big)$

==== Logical definitions and theorems ==== === Definitions ===

@Nikolaj-K
Nikolaj-K / regularity_nonstandard.md
Last active September 7, 2022 13:51
Regularity and non-standard models of arithmetic #PaCE1
@Nikolaj-K
Nikolaj-K / choice_implies_lem.md
Last active August 16, 2022 23:35
AoC => LEM

Text used in the video

https://youtu.be/2EOW23uVcRA

==== ==== ==== ==== ==== ==== ==== ==== ==== ==== ==== ==== ==== ====

Theorem: ${\mathrm{Axiom\ of\ Choice}}$ implies ${\mathrm{LEM}}$

More concretely: If equality is governed by set-extensionality, then for any predicate $P$ allowed

@Nikolaj-K
Nikolaj-K / letterFrequency.py
Last active July 1, 2022 15:06 — forked from pozhidaevak/letterFrequency.py
Python dict with English letter frequency
LETTER_FREQUENCIES = {'E' : 12.0,
'T' : 9.10,
'A' : 8.12,
'O' : 7.68,
'I' : 7.31,
'N' : 6.95,
'S' : 6.28,
'R' : 6.02,
'H' : 5.92,
'D' : 4.32,
@Nikolaj-K
Nikolaj-K / click_through_to_your_land.py
Created May 1, 2022 19:37
import time
import pyautogui # pip install pyautogui
# Warning: This script will control your cursor for its runtime
ID_WHERE_YOU_ARE_NOW = 13665
ID_TARGET = 13800
BUTTON_POSITION = (1400, 500) # Depends on your screen
SLEEP_TIME = 0.1
DISTANCE = ID_TARGET - ID_WHERE_YOU_ARE_NOW + 1
@Nikolaj-K
Nikolaj-K / lotus_recall.py
Last active March 15, 2022 22:20
What's the optimal deck consisting of Lotus & Recall only?
"""
Code discussed in the video
https://youtu.be/s5ud06udqT0
"""
from random import shuffle
NUM_GAME_SIMS: int = 1000
PRINT_LOG: bool = NUM_GAME_SIMS == 1