{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-19 19:38:57.623Z","domain":"mathstodon.xyz","followerCount":347,"followers":"https://mathstodon.xyz/users/byorgey/followers","following":"https://mathstodon.xyz/users/byorgey/following","followingCount":134,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/003/032/original/1d4cbbda8969f7ab.jpg","id":"kx7ujd4dqjx7s80","inbox":"https://mathstodon.xyz/users/byorgey/inbox","iri":"https://mathstodon.xyz/users/byorgey","isLocal":false,"last_fetched":"2025-10-29 08:48:55.731Z","outbox":"https://mathstodon.xyz/users/byorgey/outbox","preferred_username":"byorgey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvkDEPt7uBVW+VYSLry+p\nmm0R8pxy3lFgdk+0HAeOSH+k+QX6+heh5Wj34bOiWoJizowfcx14MFEeMM+gwR3m\nylond9XmHF/L8QemgFyRqmO8Gnw8kXEcn3Kpw7h9HlFvA3+S57UdWvHwa/2N1hBO\nfnBR8F1qHR8FU/hj9lM6R4hRE1CPtBOcAGYlBXHzJxRLQh48Grb6U8BhXldqLxsM\nDmWq4n8qZta4iwm3pOs4+cqf4PtWt6sWyOL6mE+WhuxaV5GspFjyR9OMFXoZ3Ch7\n6v6YVUmMKtu+VUkdyG/v3r/0fwjGSnQTLmefVIo4vFBMPywWclDO/+Mre0m0JAyi\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-15 00:00:00.000Z","summary":"

Associate professor of CS at Hendrix College in Conway, AR. Open-source Haskell development, education, competitive programming, type theory, category theory, combinatorics, etc.

","updated":"2025-10-29 08:48:55.732Z","user":"","username":"Brent Yorgey"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 09:19:49.115Z","domain":"mathstodon.xyz","followerCount":2567,"followers":"https://mathstodon.xyz/users/dpiponi/followers","following":"https://mathstodon.xyz/users/dpiponi/following","followingCount":385,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/205/565/143/559/187/original/1adc4c3f46ce8dd7.png","id":"cb1cofp60e9gz9j","inbox":"https://mathstodon.xyz/users/dpiponi/inbox","iri":"https://mathstodon.xyz/users/dpiponi","isLocal":false,"last_fetched":"2025-10-29 08:48:55.772Z","outbox":"https://mathstodon.xyz/users/dpiponi/outbox","preferred_username":"dpiponi","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1I05hrEGWrHSluKiY7wo\nKcPgZVJ0UdGK1oyPjgB7zK2Z9DBffNf2yhTwAkiPtUt2OA4UPe+5C0XE4Srw7V1b\no83u5RnAvoFmfzOnKnj8IGDjxKHfcmy7qyY01osegahl/hOPbAid/ETbuJNYUizR\nmSPo4/xaIvH56VD7Y0UTn0rcp9Pxh9Y0vTVSWArJ94G2SFpYgrBWk/TDdY/bzdrb\niY5CJAicp3tVHIVJs5HNKfxhK6jMI0Gg3uDmNyuf7fHvck24GNzbO61G5ntozvCO\nHH3QgjgjBj03I62S5lfsUBlGnlvzCpnxyWi9wv8noBeMU13PVLYfz8sLg4L07tsF\nJQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-04-27 00:00:00.000Z","summary":"

Disclaimer:
👽 My opinions are not my own. They're beamed to me by aliens

Current life:
🎮 Epic Games

Previous lives:
🍩 PhD in Riemann theta functions
🧬 Glaxo Group Research
💥 Mass Illusion, Esc, ILM
🎈 Google X, Verily, Google

Likes:
🚴 I like to bike
🏃 I like to run
🎛️ my musical tastes lie towards the electronic end of the spectrum
🚀 I like Andor *and* The Mandalorian
📈 I have an OEIS entry https://oeis.org/A387361

","updated":"2025-10-29 08:48:55.772Z","user":"","username":"Dan Piponi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 12:18:34.707Z","domain":"mathstodon.xyz","followerCount":3545,"followers":"https://mathstodon.xyz/users/MartinEscardo/followers","following":"https://mathstodon.xyz/users/MartinEscardo/following","followingCount":115,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/248/389/055/834/156/original/34545437c59a4b2e.jpg","id":"498k60sidw36ohu","inbox":"https://mathstodon.xyz/users/MartinEscardo/inbox","iri":"https://mathstodon.xyz/users/MartinEscardo","isLocal":false,"last_fetched":"2025-10-29 07:50:27.121Z","outbox":"https://mathstodon.xyz/users/MartinEscardo/outbox","preferred_username":"MartinEscardo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAx2ac5rQZjJp6kxBwN3VY\nEWpZIkA7UCG9zUfkN0tW8eOLE3E2yy1p7eOkx7HhSMLc/RnERnimAS03ssGYh7oO\nwZtuajZ+Bwwt8ua538opKgfzsEgbco1G27LSdcSn/TeN6TvDpikLiP5zeQIOfqR1\n59m3ahULsm2ijD7g79uJwZb8x5PggqUc8BiGzBGk7SX75ISyngSG7vDwfKF/xF02\nIHnj4d+8hlJHTBpozcv/rHJdTnjr/NBauEjPwVM2KCtus5KJRCy686NO2RMvpxaT\nAYtLKSK/4/eqakkY3mkkUFl9DSErcgClfcC/a015pFQSs1uhY23mmA1bof2fU6gf\njwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-28 00:00:00.000Z","summary":"

Professor at the University of Birmingham, UK.
I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory and univalent foundations, connections of topology with computation, (infinity) topos theory, locale theory, domain theory, combinatorial game theory and much more.

","updated":"2025-10-29 07:50:27.122Z","user":"","username":"Martin Escardo"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 10:44:20.984Z","domain":"mathstodon.xyz","followerCount":1721,"followers":"https://mathstodon.xyz/users/stecks/followers","following":"https://mathstodon.xyz/users/stecks/following","followingCount":271,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/555/244/321/331/original/d8681d17b4b59bcc.jpeg","id":"9825w2s942y1how","inbox":"https://mathstodon.xyz/users/stecks/inbox","iri":"https://mathstodon.xyz/users/stecks","isLocal":false,"last_fetched":"2025-10-29 08:48:55.813Z","outbox":"https://mathstodon.xyz/users/stecks/outbox","preferred_username":"stecks","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyZo/sOm7xBg38aGL1T5m\nSn1elUZcXvy2Y7mIhzO+ayzXUUw3OrWnGSZZFEAgp4Zj+5vier6W/gNdtlEK4mIV\nyd/zlgHpUi/m9roUDPVdp0ExOnI5PLjjT1amFHAUus+8HRx0blkKasAUHUFxVUmA\n1uViZ/BCSpto484Rhf/NMYytK9GPl/4GR559dpNt8EftADG4UPQQlgGRTvmv2R+0\nMe/HyOoZO9OObA9Vmd2nDW+/WcFJ7qzAiK6mpWN4cBLcbu0CVvIs/xsuLn5iQb5C\nz4DJ8qgTRF3ZdiOGoQYwzuttUGY+Mtgl1B1OqPaZI5bdYikBevs1d9jFKxuVAu8a\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

Mathematician, robot fan, auntie and unstoppable thingdoer from Manchester. She/her

","updated":"2025-10-29 08:48:55.813Z","user":"","username":"Katie Steckles"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 09:27:13.336Z","domain":"mathstodon.xyz","followerCount":4149,"followers":"https://mathstodon.xyz/users/TaliaRinger/followers","following":"https://mathstodon.xyz/users/TaliaRinger/following","followingCount":202,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/848/974/971/762/278/original/ee60e50958c439f9.jpg","id":"3x4q79rbqg2qje9","inbox":"https://mathstodon.xyz/users/TaliaRinger/inbox","iri":"https://mathstodon.xyz/users/TaliaRinger","isLocal":false,"last_fetched":"2025-10-29 08:48:55.850Z","outbox":"https://mathstodon.xyz/users/TaliaRinger/outbox","preferred_username":"TaliaRinger","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtj6yFND0XEEC+RJLhRMK\nApROqVTcQD1upSPlu+rnfNriyKxsRCie7kOzy/tyoaAd1fVrzHzu2hOkvxhzSO0S\nRGg6EtA1h85S68RqLD03b0u/ZpLF5myhGrsVqvPiIVzL190wQQejbvkV2GR+YXyR\njgz1leYw/qq84ggemIO5TbTEB0/R+nvPfvrxooHK/gxbfzxkIGeu+dtmzsQivpl4\n8YMcNoe9pzeL4BRQX1+X2L5kiFoXDUjHwjl13I8qIIUOGnJzy3f3GYLa4xZYlU+t\nZtj+r0nbwzHFHbXu1/X3eADHf8j7GlsHwM65XOOOPN2uFEX6+Dd4js6elJ3zKFWv\naQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Professor, PL/FM/SE at UIUC. Proof automation. SIGPLAN-M Founder, CCF President. They/them, ND, bi.

","updated":"2025-10-29 08:48:55.851Z","user":"","username":"Talia Ringer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-16 06:34:59.822Z","domain":"mathstodon.xyz","followerCount":6483,"followers":"https://mathstodon.xyz/users/christianp/followers","following":"https://mathstodon.xyz/users/christianp/following","followingCount":3920,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/001/original/b81854b430500fd9.png","id":"9kuy920m9p6955j","inbox":"https://mathstodon.xyz/users/christianp/inbox","iri":"https://mathstodon.xyz/users/christianp","isLocal":false,"last_fetched":"2025-10-29 08:48:55.890Z","outbox":"https://mathstodon.xyz/users/christianp/outbox","preferred_username":"christianp","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7styOSrv0MtxMtLfyGqy\niUhAkywIDZKHIeXwBaQoIEM33miw5NJDZIpYazlvi5K1pUsTsFbOXhHFwG39i3yW\nbz7KJeAMp1gqHssmRnkABf1kbVOoY5g2xzMwuIx/yVqmzoYBlgpUDKjwWfHSCwjN\nqWLbsHYUSCoRWKoRzAHBfm5rhXE5BIbB2eaKCCjsIlXLOuRfRPF4x7s7+v+El9d8\nuMFnIivF6H4xQthp6cdfTSEKtNgcbzEYOFmBro12f1Svx98ncylPIxmyG2em6I3m\nVMnoIQf4t/z1dW/vQV1dh+f3QJlx8AMWX4pk2G1C6lT5ji+NST8RY+jFKTIxu4ke\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-12 00:00:00.000Z","summary":"

Mathematician, koala fan, mathstodon.xyz admin,
⅓ of https://aperiodical.com. He/him

","updated":"2025-10-29 08:48:55.890Z","user":"","username":"Christian Lawson-Perfect"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-14 15:06:25.589Z","domain":"mathstodon.xyz","followerCount":19982,"followers":"https://mathstodon.xyz/users/tao/followers","following":"https://mathstodon.xyz/users/tao/following","followingCount":113,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/378/244/433/513/115/original/e7134404c3103f9a.jpg","id":"8q42sc8meq51uak","inbox":"https://mathstodon.xyz/users/tao/inbox","iri":"https://mathstodon.xyz/users/tao","isLocal":false,"last_fetched":"2025-10-29 07:07:34.826Z","outbox":"https://mathstodon.xyz/users/tao/outbox","preferred_username":"tao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4Enfn4gs8ae2xG4OkK1P\nAzOXdgzLHvxoHLj1ZzIc+s6N+fYVAh1lO3oCyJ+v8ZOD5Di27yEpwEa3hU+j3ZEF\nIdfKwmfDwTA+tUHj2Dr5Hp8sDBI2Vsz9bKL4x6k1gPE785KIgQSCo6/Id31ZiwXC\n9ZEzKN0MRSKFGPVEuL4u0j85skMNC2DbDCXqvU2Zz88go2n204chp58pTI3xwGwX\nLtAF3grhLGdy9gdHEHpLpTHmUEzserpd4zLjqw5O6NydZTF5DFOazKn2QVx+X1Jz\njY2pvFWc4oXFLBv9IrvoYphTqxpMiOk/qnUxn2NconmcORihSGbObY033ZYy2dbK\noQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-20 00:00:00.000Z","summary":"

Professor of #Mathematics at the University of California, Los Angeles #UCLA (he/him).

","updated":"2025-10-29 07:07:34.827Z","user":"","username":"Terence Tao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 22:06:17.301Z","domain":"mathstodon.xyz","followerCount":132,"followers":"https://mathstodon.xyz/users/dw/followers","following":"https://mathstodon.xyz/users/dw/following","followingCount":79,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/393/318/274/683/457/original/7e3596161f710406.png","id":"m38gwc35w7rwqx3","inbox":"https://mathstodon.xyz/users/dw/inbox","iri":"https://mathstodon.xyz/users/dw","isLocal":false,"last_fetched":"2025-10-29 08:48:55.932Z","outbox":"https://mathstodon.xyz/users/dw/outbox","preferred_username":"dw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw2D3+yGkljVYuCWbxsOD\nf873rQD6/VsZ59H3GWNcNeUzJTTEfUz1g0drROZhtS652GuPIRxhIc7T7ADrQiWR\nX41BbBz0sjl0w+0lAXStc543QbMqQNZkNGYT4KOvnvrbwi1sFWMldciXBtkHCBAK\nFZbkPn4SqkLJgciz7hvNoPRgRaRS5RLt8SvBNIKZUhkrzYMvoEplfRNpr0C+0skM\nJpGLEOLb8IcjhYka8xX54ZuaDgZ3WpLynCqTAaJczr8WewdNgSI8ufI+d53ZuL0Y\nmmDjve8h5cgGdqyebXIDyPJq4T8paFIZPjSw/jzhH0FQNbSOd9/my7UYpWxa2m8z\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-23 00:00:00.000Z","summary":"

I am a PhD student at the Logic group of the University of Gothenburg.

Currently working on cyclic proof theory but also interested in wider proof theory. Also fond of constructive mathematics and metamathematics more generally.

","updated":"2025-10-29 08:48:55.932Z","user":"","username":"Dominik Wehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-17 14:55:04.428Z","domain":"mathstodon.xyz","followerCount":143,"followers":"https://mathstodon.xyz/users/ryk047/followers","following":"https://mathstodon.xyz/users/ryk047/following","followingCount":850,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/253/909/832/410/083/original/7075e8d922d93820.jpeg","id":"9z9lqg09099597p","inbox":"https://mathstodon.xyz/users/ryk047/inbox","iri":"https://mathstodon.xyz/users/ryk047","isLocal":false,"last_fetched":"2025-10-29 08:48:55.969Z","outbox":"https://mathstodon.xyz/users/ryk047/outbox","preferred_username":"ryk047","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn/PLFPZ5rWWQbkdRtAAr\nX6Q10fYOs68m73bi1eZ7PYhiFCZ0htaNYG4PKIogc+9FwwTzEA1M3DIV2X30AwMd\nM1/Nb98dC80ZQebyI3tuancIn8znrAf/Wtj0w/lNtBi9gGJ8rOGfsYgOpX8+VSh1\npzdMaYZHICvSxL6qCbD7+5dVk/i9AtgoJ7DQVTDiMd4Viev+boqS99IC4R9Ufqi/\nScV/E6fUxUXiUUwt1xcXTm/aH46etLAHQ/HIoF1a4kKSfilhaTzBV5MradF2QfeS\nBGXB4whDPw9wqR5B7ERwlJnmhU2XGjePxZlteXh3ycFQatVi9GC0LXZPiJvM4va2\n5wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"","updated":"2025-10-29 08:48:55.970Z","user":"","username":"ryk047"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 09:05:39.846Z","domain":"mathstodon.xyz","followerCount":184,"followers":"https://mathstodon.xyz/users/AdamCoffman/followers","following":"https://mathstodon.xyz/users/AdamCoffman/following","followingCount":200,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/292/804/265/200/186/original/13bf14d8ae27e828.jpg","id":"ji7ryygu87lmzjy","inbox":"https://mathstodon.xyz/users/AdamCoffman/inbox","iri":"https://mathstodon.xyz/users/AdamCoffman","isLocal":false,"last_fetched":"2025-10-29 08:48:56.011Z","outbox":"https://mathstodon.xyz/users/AdamCoffman/outbox","preferred_username":"AdamCoffman","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtZ9e4nWYSCSYeLjBn16B\nYUCZcpVfEXSNWwRmhvryT01vLZDOhSUpFpwkYb9xHLPhl+T68zCWTQeG71wSc7Zg\nPmiTp+2sEAIj8K7L8D1KdRDD8g6QQ7Fo98u/JHgUxW8LXk+u5uqFOFVp3RoCETJM\nQl5Lgzu6sVum8HcNZMq42npLsl+hwBuxQXzcVTnX2L2Lib+ENwoY2AeMGzDk3qNE\noxIFR8Qo0zzfple0GV04Ird1xkdDPQsKNTy2AboitCpEper2VkNYeU9yf7+PreGU\n3vO31MYDTKeusbwD5o4KDLS9K32WWGCDIkMuQo7EyuP38fvsJYpE/Wt6exf2+DL3\nXwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-05 00:00:00.000Z","summary":"

Mathematician (32V40)

some searchable posts are joint work with Pedro the #Math Cat (58K35)

personal account: views expressed or boosted here are not those of my department or employer or professional organization or funding agency.

","updated":"2025-10-29 08:48:56.012Z","user":"","username":"Adam Coffman"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-18 20:16:18.746Z","domain":"mathstodon.xyz","followerCount":556,"followers":"https://mathstodon.xyz/users/zbMATH/followers","following":"https://mathstodon.xyz/users/zbMATH/following","followingCount":16,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/439/350/975/052/553/original/3690146750ea2eb4.jpg","id":"518f8rn42we97q8","inbox":"https://mathstodon.xyz/users/zbMATH/inbox","iri":"https://mathstodon.xyz/users/zbMATH","isLocal":false,"last_fetched":"2025-10-29 08:48:56.052Z","outbox":"https://mathstodon.xyz/users/zbMATH/outbox","preferred_username":"zbMATH","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3pO+botWSoZMO9QBUN4J\n5a81N0td0sbnvakgp/UkHsT9HMblIbZ9ZGmyE+tThROJzzguseH+fvnqTGo8UrmX\n29Lp5WKjhrewt6Tu685QkdyYP23d0eiXY+jsjUI/z91o0rx89zq8UKlXTLu8mLvy\nGfZ6dV06gBzBpsTlBvsH7MM2ajTZ+mEhWCYX//SodamietaU18436r6wR0BQsKrF\nZW69sDjcCOiRhe4+KLHCQmXu1RHm14C1Dp3d2Rm86ZA2zu9stJ3y5I6dwuY0kS7R\nv6r48nD5km+wJRnBNqe/eorxcUEqdmvWVbrNM1J+qI0yBrQ0FPVmgsKJk+Cuy7H1\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-01 00:00:00.000Z","summary":"

zbMATH Open is the world’s most comprehensive and longest-running reviewing service in mathematics, edited by the European Mathematical Society @EuroMathSoc, the Heidelberg Academy of Sciences and Humanities, and FIZ Karlsruhe.

","updated":"2025-10-29 08:48:56.053Z","user":"","username":"zbMATH Open"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-15 23:56:17.083Z","domain":"mathstodon.xyz","followerCount":1860,"followers":"https://mathstodon.xyz/users/jonmsterling/followers","following":"https://mathstodon.xyz/users/jonmsterling/following","followingCount":504,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/252/829/448/079/076/original/85a5448a829d623b.jpg","id":"w3x6bl4u79u4110","inbox":"https://mathstodon.xyz/users/jonmsterling/inbox","iri":"https://mathstodon.xyz/users/jonmsterling","isLocal":false,"last_fetched":"2025-10-29 07:07:33.799Z","outbox":"https://mathstodon.xyz/users/jonmsterling/outbox","preferred_username":"jonmsterling","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm18NePJ6kVDLzMmmgKCY\nKQCt2aPrbB43Wg6PoLE8xrnY/fhK/9ENI38gyLkjZhpb4UqPpuKl8Kb+FkBqzDOu\nqjjpnNDJaBJolfewfmFnUXV7QvCQ0tmncw+vset106zNbZ5s9bOUQ41sUvJIs3Rg\nJrltGLHqw3RdgviVIE2quiIeevbAoB4Q/bEVUNP1pIrRFaE9q2/yvvtaHD/LFoTS\nU8S4nQFs9NAiZADZFsmuk8mxb2F7laUtUOO0D7qkpdME8E0qLI+VpJVK3iWSDI7C\nBSs5Pa+Bm7OTZl8+EqpRJnBreEGGBw4zHq7/bxwdBwuGrnpKuQRPn589fpwmEOYF\n0QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-10-29 00:00:00.000Z","summary":"

I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.

I like categories, domains, and vintage computing.

","updated":"2025-10-29 07:07:33.799Z","user":"","username":"Jon Sterling"}],"page":1,"perPage":10,"totalItems":9,"totalPages":1}

Carlos Tomas Grahm

Following