jakelevi1996

from jutility import util

def main():
    p = util.Printer("poly_table", file_ext="tex", print_to_console=False)

    b_deg = 5
    a_deg = 7

    p("\\documentclass{article}")
    p("\\usepackage{subcaption}")

jakelevi1996

jakelevi1996

jakelevi1996

jakelevi1996

from jutility import util, plotting
import gymnasium as gym

def main():
    table = util.Table(
        util.CountColumn("c"),
        util.TimeColumn("t"),
        print_interval=util.TimeInterval(1),
    )

jakelevi1996

from jutility import util
import tree

def diagram_fm(n_max, printer):
    table = util.Table(
        util.Column("n",        width=10, title="n"),
        util.Column("f_n",      width=10, title="F(n)"),
        util.Column("m_n",      width=10, title="M(n)"),
        util.Column("m_f_n",    width=10, title="M(F(n))"),
        util.Column("f_m_n",    width=10, title="F(M(n))"),

jakelevi1996

# Remember to install z3 with `python -m pip install z3-solver` (instead of
# `python -m pip install z3`) !

import z3
import numpy as np

f = lambda x: (x - 2) * (x - 3) * (x - 4)
x = z3.Real("x")
y = z3.Real("y")
z = z3.Real("z")

jakelevi1996

Delta-sigma modulation demo

• Delta-sigma modulation is a technique for ADC (analog to digital conversion), which converts a continuous-time, continuous-voltage input signal into a discrete-time, binary-voltage output signal, from which the original input signal can later be recovered
• There is a description of delta-sigma modulation on Wikipedia (although it is not the most concise or helpful of Wikipedia articles)
• Below are explanations of the basic technique of delta-sigma modulation and how to recover the input signal, a simple Python implementation of modulation and recovery (in 10 + 3 lines of code + generating input data and plotting), and some visualisations of a sinusoidal input signal, its delta-sigma modulated output signal, the recovered input signal, and the time integral of each signal respectively

Basic technique

• The basic principle of delta-sigma modulation is to output either +delta or -delta (where delta is a given pa

jakelevi1996

""" Solve a digits puzzle from https://www.nytimes.com/games/digits

TODO: don't duplicate calculations of equivalent commutative operations

Usage example (make 495 from [5, 6, 10, 11, 18, 12]):

python solve_digits_puzzle.py 495 5 6 10 11 18 12

Example of solving a difficult Countdown numbers problem (
https://youtu.be/pfa3MHLLSWI ):

jakelevi1996

Fix Gists not pushing

Problem: pushing to Github Gist returns 403 error, as shown below:

$ git push
remote: Permission to write to gist denied.
fatal: unable to access 'https://gist.github.com/USERNAME/GISTNAME/': The requested URL returned error: 403