{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 17:02:44.182Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/matematiflo/followers","following":"https://mathstodon.xyz/users/matematiflo/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/685/598/128/444/419/original/fb55138140c33137.jpeg","id":"2h901q7c6x8xa48","inbox":"https://mathstodon.xyz/users/matematiflo/inbox","iri":"https://mathstodon.xyz/users/matematiflo","isLocal":false,"last_fetched":"2025-07-26 03:28:14.002Z","outbox":"https://mathstodon.xyz/users/matematiflo/outbox","preferred_username":"matematiflo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAkw9XAyKMLYcfWUzGpQM5\nPnSZD3f7ugEVCTiuvQFN5kYb+oH8vEwAnnQ61lF7slnBEw4LEQnRTaD5p11Yjx8J\n1ABpQQMd0AbTIcbfFHBz0Y7WXtkJ/QKMxTjq3Ymi74RQH43Pg7/eN7dUIxj6cknR\nhfoCfvWlYOPFGJCjWTQVktod0H+lJxDxGUXtSyAKu+SwknNDkvBshM12Jxkh4cPq\n0BAqPLnoPi+TIb3YbpN/e30JTgDyOUJB/M69ELVqYyoTMVP/4zQ6XPXECCVes7bv\nGrV3BfgxM44vtl4Pv2+OCqbKTQjbBUJWPjN+MujCp9P+6baezTpEIXIFwBX4gG+Y\n+QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-12-20 00:00:00.000Z","summary":"

Mathematician. Working at the Institute for Mathematics, Heidelberg University.

","updated":"2025-07-26 03:28:14.003Z","user":"","username":"matematiflo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 03:28:14.055Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/leolerena/followers","following":"https://mathstodon.xyz/users/leolerena/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/148/691/original/47b132bcdbe1205e.jpg","id":"25n00154u75n8t1","inbox":"https://mathstodon.xyz/users/leolerena/inbox","iri":"https://mathstodon.xyz/users/leolerena","isLocal":false,"last_fetched":"2025-07-26 03:28:14.055Z","outbox":"https://mathstodon.xyz/users/leolerena/outbox","preferred_username":"leolerena","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA5MpDGidI2Ki3wPaAmNMC\nG0ptlBstjbHHwYDYjMN3bvY806ne3w6ovwGcLZ5JmnRN1Q0TQ6fo/07HDpEKSw6X\nrZgCQFng47HjAR5s8gqx/8d/IO4Nn9eKf/oDLXoQ2wxTRCMWFZMaA1KHRogHLH41\nqtdKFR9WWzGCjc9jVi8JK1lJusIDE/6tMFfnJLtog9uL/VLy7I9tIl6XvP93WXgf\nQWuY0+MuY8TcW/7rYdnDSxPZDnaQtYZYRJBs7cqo/Z/cVdK8cRSv9K+PR020e6IQ\nkoBJGWVM4OsVK7IztelRbE3uEvT3CfGWVxNzNTdio0C7KLBNYzX4bjqxIazhaUgM\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-04-08 00:00:00.000Z","summary":"

1st year TCS PhD student at UBA.

Interested in logic, type theory, proof assistants and algebra.

","updated":"2025-07-26 03:28:14.055Z","user":"","username":"leo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-23 03:57:36.975Z","domain":"infosec.exchange","followerCount":0,"followers":"https://infosec.exchange/users/metacurity/followers","following":"https://infosec.exchange/users/metacurity/following","followingCount":0,"icon":"https://media.infosec.exchange/infosec.exchange/accounts/avatars/109/243/688/522/761/749/original/958dc2958799c9b8.png","id":"64x0rvy8c134sc7","inbox":"https://infosec.exchange/users/metacurity/inbox","iri":"https://infosec.exchange/users/metacurity","isLocal":false,"last_fetched":"2025-07-26 03:28:14.122Z","outbox":"https://infosec.exchange/users/metacurity/outbox","preferred_username":"metacurity","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2GdME1ax99BvNnQ+8/nD\nCqJJX9K9SL8NXtTUhzoOoQm3vU4QHB0TgJkZQdn2Qd9GYnsk8fJ7q/CYnMDDyiMb\nfduJFkzFci5ps5ptG4d/tmxNWQa+SUHf1g6x0FUK73ivQMju55Yy0u7VV8DG13i4\nJeg5q2b09VFszHO7NwQqPep2TI4QXiBnF1BhpnylMvMWfW/yD21n3sy8sjY5A8zw\nz8Um8CLRux77LdYmSnlirjlfzdxiuh687J86QZAylavpY9Hn6Kub+BLsl1SRBtlW\n5NC8+uVIvmd+chj8itzwaPtt7Owpp3PqveZf+B2g9tz/Aptl6mVJ8rWabEg6GaAa\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Metacurity.com (https://metacurity.com) is the one-stop destination for leading infosec news and cybersecurity developments. Run by infosec writer and columnist Cynthia Brumfield, Metacurity draws from thousands of sources every day to deliver aggregated summaries of the latest infosec developments. If anyone wants to get in touch with me, on or off the record, you can reach me at cynthia [at] digitalcrazytown.com or on Signal via Cynthia.507. Sign up for our free daily emails at https://www.metacurity.com. Searchable

","updated":"2025-07-26 03:28:14.123Z","user":"","username":"Metacurity"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 06:27:25.632Z","domain":"mastodon.social","followerCount":0,"followers":"https://mastodon.social/users/wingo/followers","following":"https://mastodon.social/users/wingo/following","followingCount":0,"icon":"https://files.mastodon.social/accounts/avatars/000/030/108/original/f8b6d4f9df14ca94.JPG","id":"45kf2063tpe5vel","inbox":"https://mastodon.social/users/wingo/inbox","iri":"https://mastodon.social/users/wingo","isLocal":false,"last_fetched":"2025-07-26 03:28:14.216Z","outbox":"https://mastodon.social/users/wingo/outbox","preferred_username":"wingo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwepG/Z34TiE4Soer/tA9\nB+Ro1l0wHynCGPF1w4M0Q9Vle+hakwhf85ostWn945phs4Sz90jbRGEyKOJHVuPI\nTTc9oWG8SISKJqKaYL5mS1E65KGF8OUfTTtQYDwlWZsFAqdivsXPLnUEKmdXVaDh\nbkwvtTdm0jIMFHXt9wiDmd8cGt9WM9c3CNH5WzeOGFn/p2zbMcnLh1QA77jmQhFR\nNl5UmCRY9Cqy+1g80SNKyHtmgvLBL2wAIm8iiZky4CHxxf8sGFcolyD9NKfqirup\nL5ts5owLgvl05vWuw9RBBqmXufeQxk20+r+yx9/Or2Q9iVV7lZpUFbcqKcGrH8eE\nkwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-02 00:00:00.000Z","summary":"

https://wingolog.org | a work in progress | niche content | truthiness is couthiness

","updated":"2025-07-26 03:28:14.216Z","user":"","username":"Andy Wingo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 03:28:14.262Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/quiver/followers","following":"https://mathstodon.xyz/users/quiver/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/273/614/073/448/153/original/f33436bd868acbaa.png","id":"06r11enpe39g03c","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2025-07-26 03:28:14.261Z","outbox":"https://mathstodon.xyz/users/quiver/outbox","preferred_username":"quiver","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv9w8AFq+o9tCrNQGfp/U\nt30XL/pJB6DekMg7FhYDIDl2Q/H6E7GP2VZQYHox97pfuc+C4pM8UQ+5S1fp3Cm0\nSCARrvLnxEjREiU1F7pJgD/JncOhRcxXujWHvsOiK/FiDfAh6oPAG23Tcqp2oeZc\nM8QaKc9CoBPPPu4n3jMHuO4r16MwWXd6juhP0yFrK3gFG3IB1MOS4D/IdQfVE8ud\nvuef1Fhk2cGd9x3rLOS1etMqxU2yaYcEn2JIdXg3qJ4GmOj9PAhBmMkL3d6/5W0o\nQTcGpskUnqIyXutYScvrtfMwlT99J5FOOvYSWefkecR0xEtkxWOUoR3+OQIxus/9\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-21 00:00:00.000Z","summary":"

A modern commutative diagram editor for the web.

","updated":"2025-07-26 03:28:14.262Z","user":"","username":"quiver"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-21 15:12:09.746Z","domain":"mstdn.science","followerCount":1813,"followers":"https://mstdn.science/users/KnowableMag/followers","following":"https://mstdn.science/users/KnowableMag/following","followingCount":179,"icon":"https://static.mstdn.science/accounts/avatars/109/484/844/783/232/453/original/45f89a78f1e4a54d.png","id":"86p5oqsne49sje9","inbox":"https://mstdn.science/users/KnowableMag/inbox","iri":"https://mstdn.science/users/KnowableMag","isLocal":false,"last_fetched":"2025-07-26 03:28:14.911Z","outbox":"https://mstdn.science/users/KnowableMag/outbox","preferred_username":"KnowableMag","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw28mRAeO0NeLqT9r93FB\ncYuPqAtFMnvYgMcAciM7HuDJUH/dVdPiOR8F89I374oiDuiME0E7XVhEG/l66GY7\nqOZTgC3yeTV26HFrGkHnZQtd6NripxN5kepzm3SP2GmKYwO97uP7IJfZzoBPko90\n0zi49Yt3UpVqmVllnjeKcZ++ZIWkrGNbP7NybVqu/c+VI6PHWifGq6yoERcw5KUg\ndlj25i1ILWkM+Qe/E66a0hv+zQxbcCTpk4mGaAYV4x5gDSFB2tVguicJqa/N3ABA\nE2LF0uwDTgYi4YNq7RlMu0lOsJeICrZpoQUKvyG4/OUK3WlA1eD9Tohjq7VAr3jb\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-09 00:00:00.000Z","summary":"

Sound science, smart stories. Knowable Magazine is a nonprofit, mission-driven publication that seeks to make scientific knowledge accessible to all. Free to read, republish and share. An editorially independent journalistic endeavor published by @AnnualReviews

","updated":"2025-07-26 03:28:14.912Z","user":"","username":"Knowable Magazine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 04:01:45.582Z","domain":"mathstodon.xyz","followerCount":73,"followers":"https://mathstodon.xyz/users/christianjaeh/followers","following":"https://mathstodon.xyz/users/christianjaeh/following","followingCount":734,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/403/811/627/484/031/original/89a485befaa7d3c3.jpg","id":"52x8so5t1vm6q92","inbox":"https://mathstodon.xyz/users/christianjaeh/inbox","iri":"https://mathstodon.xyz/users/christianjaeh","isLocal":false,"last_fetched":"2025-07-26 03:28:14.956Z","outbox":"https://mathstodon.xyz/users/christianjaeh/outbox","preferred_username":"christianjaeh","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4UIeR6ZwS27F91WBHS0\n5AaU7vhjzxx0+tsdheLK5P370QhCx6klGMOkgjh0WQr/5cUUUkinuCcZDmU/KUPz\nDNOMmg/LQ1ftx5jADnq/C/4kyI/5rfSFZP+hncAv0A9lP9McNYj0wfjOul4kK2bo\n5Bq/EXolYXu3r03l2r7qIYpUxWmMZsGtG7kio+GS46CnHwaqCGE1zW57dkjexT34\nJH9vFKXR9/OHh3pPdqSnyYQm9EPDbJfqH4j0HRJsK530wcfeURb1mRFwAfSyfOMW\nLYpyAK1lKl//rJjcTJunD3lUJnif1xv2/X832KjqHTwiJyuSyBJCkJazEnNcFYDz\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-25 00:00:00.000Z","summary":"

I am a mathematician interested in all things #Analysis real and complex. In particular #PDE in the tradition of Hörmander.

","updated":"2025-07-26 03:28:14.957Z","user":"","username":"Christian Jäh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 03:28:15.006Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/jadkoleilat/followers","following":"https://mathstodon.xyz/users/jadkoleilat/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/762/540/272/409/357/original/d5e1cf5f91ebe196.png","id":"oke3r7603f6fwaf","inbox":"https://mathstodon.xyz/users/jadkoleilat/inbox","iri":"https://mathstodon.xyz/users/jadkoleilat","isLocal":false,"last_fetched":"2025-07-26 03:28:15.006Z","outbox":"https://mathstodon.xyz/users/jadkoleilat/outbox","preferred_username":"jadkoleilat","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyyCycS7faI8Eg4IE7Tr0\n8QnVxc1QlW5gVDZAMQVWPBYRB5YXyJ0XmnB5D43KNbC65rRC6tr16ewral7J6XnV\nmS5f+zTTWZjJcZrzBk1Va/jqZaHiY4XaWSSr0lhOcGErTflvTANl/YNH+XdKgq7z\njpFeP715CxerfvOtD6WpDD+qHCCZyLvVRzgaMiv0FnbyLH5v2kkgMJmgT9KUpGfD\nYwTGSXI53SXXUPt33XAdtdlZ5kPAbhCkIAYbAoNEliEbro32e1EyZIhm6QN2mMG5\nFabd8aHfE7O9KF62ZKcIMCRWMuihO6dFA+Em5TuJXAlPFBo/XcjGbOs4wFM2zUva\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-27 00:00:00.000Z","summary":"

PhD student at LIPN lab in logic. I’m interested in: LL, DiLL, denotational semantics, category theory, type theory, functional analysis, differential geometry, cooking, homotopy theory, board games and choice axioms.

Currently working on understanding differentiation from a logical perspective.

I post in French and English

","updated":"2025-07-26 03:28:15.006Z","user":"","username":"Jad Koleilat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 03:28:15.605Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/icfp_conference/followers","following":"https://mastodon.acm.org/users/icfp_conference/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/113/425/511/623/960/578/original/1a652765c570a52a.jpg","id":"8n5k246w3sz5z2e","inbox":"https://mastodon.acm.org/users/icfp_conference/inbox","iri":"https://mastodon.acm.org/users/icfp_conference","isLocal":false,"last_fetched":"2025-07-26 03:28:15.604Z","outbox":"https://mastodon.acm.org/users/icfp_conference/outbox","preferred_username":"icfp_conference","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsLIlRY/hp+OVfyoOVHsW\n804hZSm11wHiO7u8eUGOvRYvKFaR1Z87Bp3vJurCcrXLGCRClTGnvyLzh7rFDSr7\nHaX3ENwnHmcwGnZ/BkVGxH5rdLGuwwOM2++1/RHeVw5fJwqYCkq00cRWTX+OItqg\nh/331QS9azdWemcoFYm6Pm0BnPOmoI3agHgdTl9XQrLll50HuZMNpIjlZd9KcYVI\n7Kv6DCVs+nCbFGTz/sHfWERYPnmWA2m/FnHQYOMNOzwpA4/47v/nsBjGAx4Erz7I\nAvGG621STmFKEoCyKJuopfO4x3/Q6WXxTQW+AkY8shtRBXOF7CtXwZcwGVAJzStF\n3QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-11-04 00:00:00.000Z","summary":"

ACM SIGPLAN International Conference on Functional Programming. Toots by discuss.systems/@shwestrick

","updated":"2025-07-26 03:28:15.605Z","user":"","username":"ICFP Conference"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-22 10:50:39.418Z","domain":"discuss.systems","followerCount":30,"followers":"https://discuss.systems/users/weirdsmiley/followers","following":"https://discuss.systems/users/weirdsmiley/following","followingCount":191,"icon":"https://fd.discuss.systems/accounts/avatars/109/375/198/521/219/478/original/d92ce1d162abd8d1.png","id":"u9uk9fovjaooozt","inbox":"https://discuss.systems/users/weirdsmiley/inbox","iri":"https://discuss.systems/users/weirdsmiley","isLocal":false,"last_fetched":"2025-07-26 03:28:15.995Z","outbox":"https://discuss.systems/users/weirdsmiley/outbox","preferred_username":"weirdsmiley","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsQbGapfxvjwAtgZ1Zw2B\nloY+ONEMoK84f452WcmdfnOTEdQFwFCBl5GZYBEQby0rzgOBajcj0g+5LWpQiTLw\nfSCzRe8BpRVRxzY9BBC0hbAUA2LtFKtPqnJQKtJ+m/iL35dTpcDVuBAKecLYlDL4\nL2/aEKhYiyD54PEyZytU5HamN1O0QrY749U+iAovmKulLOC89/1LC4jUZBJWwnI5\nxwJW+q1slH9ExELmD1pUDLtghMk7QmpuZoFTikQTYDHcy0Qcc23U+xtC9TLwInfM\n5Mk6dKgSq+XNvM1YVkoga1J2APrOOP+E69f8UpkTGZfSOL97+b3fX/nCjQMxrcqr\nAQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Compilers, PLD, OSDev, QC

","updated":"2025-07-26 03:28:15.995Z","user":"","username":"Manas is a bird"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-25 13:41:44.408Z","domain":"c.im","followerCount":0,"followers":"https://c.im/users/smlckz/followers","following":"https://c.im/users/smlckz/following","followingCount":0,"icon":"","id":"wklddec0p0sjme0","inbox":"https://c.im/users/smlckz/inbox","iri":"https://c.im/users/smlckz","isLocal":false,"last_fetched":"2025-07-26 03:28:16.125Z","outbox":"https://c.im/users/smlckz/outbox","preferred_username":"smlckz","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2vejVhAgr6/2nedArpov\nkNpBN9HLgvv8ZSPDPWk+XJ0b1DfotoekdxoTPh/TkQFfLmNTQY+fVJeuZuGvnE+V\nWE3B3to8pknoLtYjf8+WENDmfLIW2hNUGwCfFkriFEvUgAr76K7TuyQBYBAL1ta6\n/Sr/SuaCKX1/GorSURtw2W99VOpEETT/60KTBTuVLlXJuskxJoLAFXxF5ryfrVcB\no6ic8tvS1bq1b3LYxDQ/9guMqWLXGPMDlHPRWpQ/mohvJDVSeYHsv8cZRw6VA3H9\nJMf3Izh7RvtH4Bl6tRy16U91lr0VsnL0530i2PKiqmGIA5XrgTbeH7k0dYoU3aZI\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-02-16 00:00:00.000Z","summary":"","updated":"2025-07-26 03:28:16.126Z","user":"","username":"ûnkreativiteit"}],"page":1,"perPage":10,"totalItems":674,"totalPages":68}

🇨🇦 Joey Eremondi

Following