{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-18 23:01:38.745Z","domain":"mastodon.social","followerCount":2305,"followers":"https://mastodon.social/users/wingo/followers","following":"https://mastodon.social/users/wingo/following","followingCount":555,"icon":"https://files.mastodon.social/accounts/avatars/000/030/108/original/f8b6d4f9df14ca94.JPG","id":"59rc668knlv4vam","inbox":"https://mastodon.social/users/wingo/inbox","iri":"https://mastodon.social/users/wingo","isLocal":false,"last_fetched":"2025-07-20 22:42:16.590Z","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-20 22:42:16.591Z","user":"","username":"Andy Wingo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 06:37:08.736Z","domain":"mathstodon.xyz","followerCount":99,"followers":"https://mathstodon.xyz/users/quiver/followers","following":"https://mathstodon.xyz/users/quiver/following","followingCount":1,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/273/614/073/448/153/original/f33436bd868acbaa.png","id":"2p4nuf5o0vde771","inbox":"https://mathstodon.xyz/users/quiver/inbox","iri":"https://mathstodon.xyz/users/quiver","isLocal":false,"last_fetched":"2025-07-20 20:45:58.513Z","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-20 20:45:58.513Z","user":"","username":"quiver"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 18:47:10.058Z","domain":"mstdn.science","followerCount":0,"followers":"https://mstdn.science/users/KnowableMag/followers","following":"https://mstdn.science/users/KnowableMag/following","followingCount":0,"icon":"https://static.mstdn.science/accounts/avatars/109/484/844/783/232/453/original/45f89a78f1e4a54d.png","id":"yfo8m83bf042tl4","inbox":"https://mstdn.science/users/KnowableMag/inbox","iri":"https://mstdn.science/users/KnowableMag","isLocal":false,"last_fetched":"2025-07-20 22:42:17.231Z","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-20 22:42:17.232Z","user":"","username":"Knowable Magazine"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 23:43:09.054Z","domain":"mathstodon.xyz","followerCount":70,"followers":"https://mathstodon.xyz/users/christianjaeh/followers","following":"https://mathstodon.xyz/users/christianjaeh/following","followingCount":729,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/403/811/627/484/031/original/89a485befaa7d3c3.jpg","id":"20034ghx6x618g2","inbox":"https://mathstodon.xyz/users/christianjaeh/inbox","iri":"https://mathstodon.xyz/users/christianjaeh","isLocal":false,"last_fetched":"2025-07-20 21:24:11.020Z","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-20 21:24:11.020Z","user":"","username":"Christian Jäh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 22:42:17.277Z","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":"26r83i165g1896f","inbox":"https://mathstodon.xyz/users/jadkoleilat/inbox","iri":"https://mathstodon.xyz/users/jadkoleilat","isLocal":false,"last_fetched":"2025-07-20 22:42:17.276Z","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-20 22:42:17.277Z","user":"","username":"Jad Koleilat"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 22:42:18.122Z","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":"zr206ao8wn3c431","inbox":"https://mastodon.acm.org/users/icfp_conference/inbox","iri":"https://mastodon.acm.org/users/icfp_conference","isLocal":false,"last_fetched":"2025-07-20 22:42:18.121Z","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-20 22:42:18.122Z","user":"","username":"ICFP Conference"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 05:56:52.380Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/weirdsmiley/followers","following":"https://discuss.systems/users/weirdsmiley/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/109/375/198/521/219/478/original/d92ce1d162abd8d1.png","id":"aodzj66h968e042","inbox":"https://discuss.systems/users/weirdsmiley/inbox","iri":"https://discuss.systems/users/weirdsmiley","isLocal":false,"last_fetched":"2025-07-20 22:42:18.493Z","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-20 22:42:18.494Z","user":"","username":"Manas is a bird"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 16:08:30.997Z","domain":"c.im","followerCount":0,"followers":"https://c.im/users/smlckz/followers","following":"https://c.im/users/smlckz/following","followingCount":0,"icon":"","id":"7v4ra0lr2oocz48","inbox":"https://c.im/users/smlckz/inbox","iri":"https://c.im/users/smlckz","isLocal":false,"last_fetched":"2025-07-20 22:42:18.715Z","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-20 22:42:18.715Z","user":"","username":"ûnkreativiteit"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 13:11:41.193Z","domain":"mastodon.social","followerCount":5366,"followers":"https://mastodon.social/users/mhoye/followers","following":"https://mastodon.social/users/mhoye/following","followingCount":404,"icon":"https://files.mastodon.social/accounts/avatars/000/028/257/original/b707847cdbe52b17.jpeg","id":"3lr0v6d5zzcvslc","inbox":"https://mastodon.social/users/mhoye/inbox","iri":"https://mastodon.social/users/mhoye","isLocal":false,"last_fetched":"2025-07-20 21:21:06.584Z","outbox":"https://mastodon.social/users/mhoye/outbox","preferred_username":"mhoye","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoM6L+ozpo3ga+Gd7+7Qw\nViO5Hh7ktKmBhFfZclGSOZXTMzMlTJc5pmMOPZ3/QT4lW42GmUg4+WCkmtCo+Fx2\naVGVTrPKldM6C4+dMzK2xfR6RYPT0MbthxJp/JakgZqt+7p3xflV+wT3vLJiMy48\ncDWHAwtWT19J4Od7SJTXWwUzojG+QzT++rto39MnGCF4Bo6wNkPmhvOQtD/TbHRR\npO/OFYC7Fz5qKngQ1lTJ0G2c8K8U2QwieEIZ8+kMc0rlM3NfPyzn7bN8miVRrrD4\nD/koscD1qk0RkFAzqFLp1dCwO5mqEJBWggi9mtOgvNhzlRz6Eliq7+SihvI9N3eK\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-01 00:00:00.000Z","summary":"

Envoy, arbiter, sysadmin.

A message, and part of a system of messages.

","updated":"2025-07-20 21:21:06.585Z","user":"","username":"mhoye"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-20 10:40:39.727Z","domain":"mathstodon.xyz","followerCount":12,"followers":"https://mathstodon.xyz/users/bool/followers","following":"https://mathstodon.xyz/users/bool/following","followingCount":43,"icon":"https://media.mathstodon.xyz/accounts/avatars/114/679/601/609/495/290/original/88b71a713e044a5a.jpg","id":"71uecp52a8m4o01","inbox":"https://mathstodon.xyz/users/bool/inbox","iri":"https://mathstodon.xyz/users/bool","isLocal":false,"last_fetched":"2025-07-20 22:23:19.139Z","outbox":"https://mathstodon.xyz/users/bool/outbox","preferred_username":"bool","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqBoF132z9QaCDIB+4Hz1\n9b0nJYu5edBJSL+30r+vdm0wWmY1nyXbk1xnQJqB/bpfifULxwBwFNxNKP3RzFKR\nAFXyfurfCtBWJHZpUbLUFipJKOLplJuSqSo5gjgzCn0lGu21Lbvs6t4lpY3LoIMX\nNxOuhQa262A/FpzofbVe9+YCH9v7Kss4blh6OOtk+rKNQuHdceFuQrR/X5YZTiZb\n36mAdfSWqQ01drkFcCQZATdoOE1ewL0wa2EYza3EuhiWtF3XiZcm/HA4idV4h8Wt\nDundR3h41xCGEIJTcsS9UAkBLQ2ZggvY23I+cHevpmU0mikeJ9hpOLws7PVWwYTL\nrQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-14 00:00:00.000Z","summary":"

PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs

","updated":"2025-07-20 22:23:19.139Z","user":"","username":"alecs"}],"page":1,"perPage":10,"totalItems":672,"totalPages":68}

🇨🇦 Joey Eremondi

Following