Skip to content
View jaredwilder's full-sized avatar

Achievements

Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: QuickdrawAchievement: YOLO

Block or report jaredwilder

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

Popular repositories Loading

  1. white-label-ecommerce white-label-ecommerce Public

    A portable, white-label e-commerce platform with inline content editing

  2. wp-devops-monitor wp-devops-monitor Public

    WordPress plugin monitoring interface library

    PHP

  3. wp-devops-hub wp-devops-hub Public

    WordPress DevOps monitoring hub with centralized dashboard and alert system

    PHP

  4. erdos902 erdos902 Public

    Lean 4 formalisation of the classical bounds for Erdős #902 (Schütte), including the Szekeres–Szekeres lower bound; kernel-checked. Problem remains open.

    Lean

  5. erdos203 erdos203 Public

    Erdős–Graham #203: coset-cover attack corpus. Exact structural results, replayed finite obstructions (N=5040 pool kill, overlap tax), and search engines. Problem remains open.

    Lean

  6. erdos411 erdos411 Public

    Erdős–Graham #411 (r=2): the Steinerberger–Hercher bridge, the base-6 cascade (axiom-free Lean), and the omega-ladder; no exceptional prime below 1.33e14. Residual gap open; retraction preserved.

    Lean