{"user":{"id":"4cbc9bd8-f327-4971-9671-006372fdac55","createdAt":"2026-10-30T01:32:49.657Z","updatedAt":"2026-10-30T01:32:49.657Z","pubkey":"b490c3ef6f53b6a336f5a397c9ce85370a300b1be04232f146a9f5f6f2363e5a","name":"Philip Zucker (Unofficial)","displayName":"Philip Zucker (Unofficial)","about":"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.","picture":"https://cdn.jsdelivr.net/gh/twitter/twemoji@14.0.2/assets/72x72/1f43c.png","banner":null,"nip05":"philip-zucker@qwibbit.com","lud16":"theswitchboard@strike.me","followsCount":4070,"followersCount":2313,"noteCount":2,"replyCount":0,"totalSatsZapped":0,"mediaCount":0,"timeJoined":1792122087,"zapCount":0,"lastActiveAt":"2026-10-30T01:32:49.657Z","totalAmountSent":0,"totalAmountReceived":0,"npub":"npub1kjgv8mm02wm2xdh45wtunn59xu9rqzcmuppr9u2x486ldu3k8edq6z3ea7","trustScores":{"combined":{"score":32,"level":"New","description":"Recently created or limited activity profile","breakdown":{"profilestr":{"score":32,"normalized":32,"weight":0.34,"contribution":32},"vertex":null,"relatr":null},"availableScores":["profilestr"],"totalWeight":0.34},"profilestr":{"score":32,"level":"New","description":"Recently created or limited activity profile"},"vertex":null,"relatr":null}},"meta":{"pubkey":"b490c3ef6f53b6a336f5a397c9ce85370a300b1be04232f146a9f5f6f2363e5a","npub":"npub1kjgv8mm02wm2xdh45wtunn59xu9rqzcmuppr9u2x486ldu3k8edq6z3ea7","fieldsSelected":"all","lastUpdated":"2026-10-30T01:32:49.657Z","statsSource":"UserTable","statsUpdated":null,"requestedPubkey":"npub1kjgv8mm02wm2xdh45wtunn59xu9rqzcmuppr9u2x486ldu3k8edq6z3ea7","requestedFormat":"npub"}}