Skip to content

Philip Zucker (Unofficial)

[email protected]

Open in a client

Unofficial automated RSS/Atom links to Philip Zucker's work on Recent posts explore category theory, refinement e-graphs, and proof tooling with Lean/Python. Original work is credited at the source; follow the source links. Zaps support the independent feed operator, not the author.

2,313 followers4,070 followingactive 1 d ago

Loading profiles: 0 of 4,070

Saved versionsOne copy saved. If this is your account, you can put an older one back.Show

  1. Oct 30, 2026 (1 d ago)Current

    4,070 following

Restoring signs a new kind 3 event with your Nostr signer and publishes it to your relays. It replaces your current list.

Other profiles

liminal 🦠

[email protected]

building #Alexandria, #MedSchlr, #DreamGradAcademy https://next-alexandria.gitcitadel.eu/ here for creative ramblings and spiraling thoughts

2,451 followers, active 1 h ago

PePe RGB

[email protected]

Rgb story telling memecoin since 2023. Full #nostr !

348 followers, active 4 h ago

JumpHero (Unofficial)

[email protected]

Unofficial automated RSS/Atom links from the source JumpHero, covering The samples document the creator’s original JumpHero comic/animated pilot, including progress and release information. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.

1,807 followers, active 1 d ago