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

Max Leibman

[email protected]

Winner of the Fediverse, 2025. 🏆 I do things with computers. Unspeakable things. I also write Overmorrow, a newsletter about technology and my problematic relationship with it.

21 followers, active 4 d ago

AZA_21m

[email protected]

sharp mind with a creative soul

1,717 followers, active 14 h ago

DnDFanatics

[email protected]

Your source for the latest news and reviews from the world of Dungeons & Dragons. https://dungeonsanddragonsfan.com/ #DnD #dungeonsanddragons #ttrpg

22 followers, active 1 d ago