{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-15 13:34:14.835Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/Wallace_Lebrun/followers","following":"https://mathstodon.xyz/users/Wallace_Lebrun/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/837/418/690/556/856/original/1dd02d97fef04a23.jpeg","id":"pkzf0zmqy8tq8xp","inbox":"https://mathstodon.xyz/users/Wallace_Lebrun/inbox","iri":"https://mathstodon.xyz/users/Wallace_Lebrun","isLocal":false,"last_fetched":"2025-11-15 13:34:14.834Z","outbox":"https://mathstodon.xyz/users/Wallace_Lebrun/outbox","preferred_username":"Wallace_Lebrun","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4U39OC43dqa+nuSNowMQ\nVfkae8RF1jE+f7IQglOtX9LEe1E55H/gOeUUN+hYITNuSRFhBLAn4Mx+rIM9xwv2\n8601a8BpTW5hw6Oye0zXnEEvsXK9gh/KCU/12qVNDJoUNUvAljNW5VULTg50c70e\nqSNLKo3HckjuCBZNp8YrWYCoygVYIz4GdIINCFb50qsGY+hgv1Zp6RFZtCvboUOd\n7EmaOwIp8aa2WgqGppj2TPgWVvICmcBMJ0N0bVKqqruZSxvT+vUojJTOyWxwnPWB\nM3YdBizWJs9uEnw+7SXXpwR/EHjXJOxnmoKfpyM4Ag0563nSYDk5bD+S71nLFAqb\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-07-12 00:00:00.000Z","summary":"

Independent researcher in mathematical physics and formal methods. Focusing on constructing frameworks for quantum field theory within the Isabelle/HOL proof assistant. Since January 2025 culminating machine-verified proofs
#Quantum #Progress

","updated":"2025-11-15 13:34:14.835Z","user":"","username":"Lebrun"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-16 21:17:06.215Z","domain":"ecoevo.social","followerCount":303,"followers":"https://ecoevo.social/users/robjohnnoble/followers","following":"https://ecoevo.social/users/robjohnnoble/following","followingCount":325,"icon":"https://ecoevo.social/system/accounts/avatars/109/279/970/643/117/353/original/d7719195982bcab9.jpg","id":"xvt0vmgc56mhzv0","inbox":"https://ecoevo.social/users/robjohnnoble/inbox","iri":"https://ecoevo.social/users/robjohnnoble","isLocal":false,"last_fetched":"2025-11-15 13:34:14.869Z","outbox":"https://ecoevo.social/users/robjohnnoble/outbox","preferred_username":"robjohnnoble","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAy29fY4LcM7fFbaHxs4bh\ne4TKqy2lHI9rSEKiONAS8uBa4h5iYPV5IQ7YwF4PrlZfPSqe9lGs9czIugAS7H3O\nOQSepph/4xZNdwHF46ngMJ8wkiRqnCRUo1dqbOMCQ6chH6Uwvm7waAbs648XprOp\n2sBgV3mcjhDG3O3VIQy71i8Hwstx4TC2bqqYd7mpjoUXl3hI/MksJsBVj5mQWF2d\n7X89mMFKeTV+Vwenwjfla2ObPnI6QPEvRuAXMT/lKVFhbIw55b8V9GObs7sG4DCK\nWcl1tLMf7MIyyfvLd/JzwqppTyNXvuaoLTVgaYYKYKdQF4kU7cEK1DNOKjzeWxS6\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Senior Lecturer (≡ associate professor) in applied mathematics at City St George's, University of London, investigating the evolution and ecology of cancer. Dad of two small kids.

","updated":"2025-11-15 13:34:14.869Z","user":"","username":"Rob Noble"}],"page":1,"perPage":10,"totalItems":2,"totalPages":1}

Ben Hardisty

Followers