Skip to content
View allen-proxmire's full-sized avatar
2 followers · 0 following

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Block or report allen-proxmire

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. commitment-ontology commitment-ontology Public

    Time's direction is fundamental. This is the ontology's central claim. The lattice engine now matches every gravity test it has been set against, as far as it can resolve.

  2. Primes Primes Public

    Prime-number research: the Factor Skyline, the wheel, and a twin-prime Bertrand postulate. Every measured claim has a reproduction script — including the ones that failed.

    Python

  3. cdt-3p1-sampler-note cdt-3p1-sampler-note Public

    Notes on the public Common Lisp 3+1 CDT Monte Carlo code (tryggth/CDT): the acceptance step omits the Metropolis–Hastings proposal ratio, plus two smaller issues in move selection. Includes code an…

    Common Lisp

  4. teorth/expdb teorth/expdb Public

    Exponent pair database

    TeX 84 23

  5. teorth/erdos-guy-selfridge teorth/erdos-guy-selfridge Public

    Project to verify the Guy-Selfridge conjectures

    TeX 30 11