| #!/usr/bin/env python3 | |
| def g(f): | |
| q = {} | |
| def new(x): | |
| if x not in q: | |
| q[x] = f(x) | |
| return q[x] | |
| return new |
This particular example was derived from an SO post, though I know there's at least one website that precedes this post by a few years. There are other great examples that derive contradictions in other ways, such as this one.
Suppose I could write a python program that told me whether a
| #!/bin/bash | |
| # Downloads, builds, installs, and runs timing tests for two starship and two git | |
| # programs, using a small repo (starship), a medium repo (rust-lang) and a large | |
| # repo (chromium) as test cases. Also has an option on Linux to use `sudo` to run | |
| # tests with cold caches. This can be done either by waiting for the interactive | |
| # dialog or by setting the envar `RUN_COLD_STARSHIP_TESTS` to any non-empty value | |
| # Unfortunately, I do not know what packages need to be installed on your computer | |
| # before you can successfully use this script. It's provided more as a starting |
| # A script to automate the timings of Rust compilation benchmarks used at | |
| # https://www.reddit.com/r/rust/comments/qgi421/doing_m1_macbook_pro_m1_max_64gb_compile/ | |
| import sys,os | |
| import subprocess | |
| import tempfile | |
| import time | |
| import json | |
| # You need to have the wasm32-unknown-unknown target installed, use | |
| # `rustup target install wasm32-unknown-unknown` to get it. |
| using Base.Threads | |
| using Serialization | |
| using Distributions | |
| using LoopVectorization | |
| function bin_data(data, lo, hi, nbins) | |
| dx = (hi - lo) / nbins | |
| bins = ((data .- lo) ./ dx) .|> floor | |
| bins = UInt8.(bins) | |
| clamp.(bins, UInt8(0), UInt8(nbins)) |
I hereby claim:
To claim this, I am signing this object:
| # In principle, this should be simple enough to reconstruct on the fly | |
| # In practice, every time I come back to it, it takes me 10-20 minutes | |
| # to recall the correct sequence of operations to get the dang thing | |
| # to diverge, so I'm going to gist this. | |
| x = 1/3 | |
| print(f"Initially, x is {x}") | |
| for _ in range(540): | |
| x *= 4.0 | |
| x -= 1.0 |