{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-01 20:34:53.317Z","domain":"mastodon.social","followerCount":7,"followers":"https://mastodon.social/users/jlcaldwell2/followers","following":"https://mastodon.social/users/jlcaldwell2/following","followingCount":16,"icon":"https://files.mastodon.social/accounts/avatars/110/039/553/732/257/828/original/028edb6c790f4150.jpeg","id":"4kz911l8nz80b70","inbox":"https://mastodon.social/users/jlcaldwell2/inbox","iri":"https://mastodon.social/users/jlcaldwell2","isLocal":false,"last_fetched":"2025-12-27 19:09:01.128Z","outbox":"https://mastodon.social/users/jlcaldwell2/outbox","preferred_username":"jlcaldwell2","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsgPwnsowyMbGpKf7AouC\n0TfBSLr4z2OkxquZGRrDgDY1hDTIfr634mzN0oVUG3T7IswpalO/S/4ndAnZOKnM\n8XFoZ4OEfbaHAa2Y7tALgMpGJrZP8iPK+Zt+tvYhcvn6P9pEtzfQd1O4YnPjej6P\nlaqu9uD5l9e+xx0y6ZGAHLitR5prMnh+0OX1/SlwIsLJqGyuXu7D42YS8pZKC1q0\ntxuudAzf4b3a28HhiFg/3RchW2DZ+gGekUENeW7qeSznnFke3KLO49aX8rOU4qoO\ncRjkCh5P0Kc8sTGFzhLkICLn8mz0P08DJo6jGZZW88n7JkGLDn4YdEQJsDwh97QI\nIQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-03-17 00:00:00.000Z","summary":"

Professor Emeritus. Curry-Howard, Propositions as types, Proofs as Programs. Taking baby steps in sheaves and topos theory.

","updated":"2025-12-27 19:09:01.129Z","user":"","username":"ProofsRPrograms"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-26 06:45:49.070Z","domain":"mathstodon.xyz","followerCount":543,"followers":"https://mathstodon.xyz/users/dougmerritt/followers","following":"https://mathstodon.xyz/users/dougmerritt/following","followingCount":652,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/284/007/220/531/105/original/f1ef314de5160ef6.jpg","id":"gqnsv1u097060si","inbox":"https://mathstodon.xyz/users/dougmerritt/inbox","iri":"https://mathstodon.xyz/users/dougmerritt","isLocal":false,"last_fetched":"2025-12-27 17:56:29.393Z","outbox":"https://mathstodon.xyz/users/dougmerritt/outbox","preferred_username":"dougmerritt","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxuYwLPaLJJRzrCNVwp2e\n/kyAzIfKYMfZ1tZNNuGv79D/hxY3Jtmga709l5vDXYuZO4Htg510TMOs7VVtUcsc\n5g1Cx5TgLJ0cT1I7W+20JStk0z/uaB0RzBbEqF/kJYsGxodh3F12NAT5T1JZb6Tq\nRdxazi8aMI2BDo9tr+oGu7zEn5o7QKFD4IDS1FaRaoYd6YYCPFwXNdpHhrgkj1D9\nvsZQxsI2s5LqVt9O89YnZBQ0KwrkNYGjbr4En4wxbBX0XaYWlxZF2/nXQgyIt2fR\ngaTW1FXzzIXbHdL4KKWp8TtJKeldWGMSKGJJM8a1BsTTxhJBfxW7RVym0+IQCw/0\nbwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-11 00:00:00.000Z","summary":"

I'm a philomath (many interests; call it polymath-wanna-be) professional computer programmer in Silicon Valley, specializing in operating systems, languages/compilers, sometimes AI, usually non-traditional parallel software and hardware architectures.
Also:
#computer_science #unicode #unix #linux #bsd
#compilers
#operating_systems
#GOF_AI
#cognitive_science
#linguistics
#physics
#mathematics

Ex-springboard diver; scuba diver; free diver

Ars longa, vita brevis.

","updated":"2025-12-27 17:56:29.393Z","user":"","username":"DougMerritt (log😅 = 💧log😄)"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-19 16:16:59.729Z","domain":"mathstodon.xyz","followerCount":1220,"followers":"https://mathstodon.xyz/users/pretentious7/followers","following":"https://mathstodon.xyz/users/pretentious7/following","followingCount":7498,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/203/368/original/56e36a0c07ff46e8.jpg","id":"10iwxs1b71vnzpf","inbox":"https://mathstodon.xyz/users/pretentious7/inbox","iri":"https://mathstodon.xyz/users/pretentious7","isLocal":false,"last_fetched":"2025-12-27 19:09:01.167Z","outbox":"https://mathstodon.xyz/users/pretentious7/outbox","preferred_username":"pretentious7","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu1CUqOQl8ObHaOui+omC\n/U+jdJFjTEo/tvAKXUibxP/yAc9CgAx1wJOsI1l1IcCJg2W8O7JOjDHvcxMqglNM\nV/woyXwLkK3ZcQMhNsa7CPVEMO8ZB7SkvXbl6J+GPIdi0e1QKL3KMPWzEglDslp/\nGDNtNxtsTjdXNsjQqYMnShWNTfEoXEVhOdLQDaa7EmUeU9xNbmytgxSBUkANwj5F\n/tM9CtXOg2hvn98HUURHvUmXv8n1nFUB5a+cXNsyiWm3HwDNFd+I5Bxw8UgS/n+W\n2hJ9T9aYdI5YdL7DZfCbpKwGNVR9pe+QnnquGE+0DoSRK8KLBhslvd+YS52wOoqR\neQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-09-27 00:00:00.000Z","summary":"

I like computers and physics.

Currently an MSI student at Stony Brook.

I'm a hindu.

Call sign - KE2DBM

(PS. follow reqs are mostly automatic, just have a profile pic and some posts)

","updated":"2025-12-27 19:09:01.167Z","user":"","username":"pretentious7"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-07-27 20:45:50.756Z","domain":"mathstodon.xyz","followerCount":5538,"followers":"https://mathstodon.xyz/users/ColinTheMathmo/followers","following":"https://mathstodon.xyz/users/ColinTheMathmo/following","followingCount":7430,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/000/013/original/d3bb832f7c670bec.png","id":"v1ln0g93y6rj1j5","inbox":"https://mathstodon.xyz/users/ColinTheMathmo/inbox","iri":"https://mathstodon.xyz/users/ColinTheMathmo","isLocal":false,"last_fetched":"2025-12-27 19:09:01.241Z","outbox":"https://mathstodon.xyz/users/ColinTheMathmo/outbox","preferred_username":"ColinTheMathmo","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA6OrmrQbTJl3U0FDjFjLq\nLyCZ8+V+XYSclQqm3PMrjmphEbhprMWUJlmHzpV1gGY9WS4JjS3IuM1sPopTNsCL\n9lerUbxE4NvHee/8S8zRQSVkZkEGU6ppB/i7dzScraZp7L2+R/fZGkYxjWB+zxn/\nWDW9pX/i4MofAecP3BeRRuglXW5aj04yWCZr23EiZ8uib4bGQboI0VH5dJ1eH1zR\ntdzOmS105RTGg4CiMuDht4V0gJuGiaR0d8CghGfBntfoC0sDmnCE/UdRj7aPgtqY\ng4+S9j37RYCoSzNfbsF9y5Za1Xl71TxkfmPefBFDh0peefOUTfbyHq2cWhTZ5xzQ\nqwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-14 00:00:00.000Z","summary":"

Fulltime freelance provider of outreach and enhancement in maths ... I talk a lot. About maths.

I talk about other stuff too, like ballroom dancing, juggling, unicycling, education, engineering, software, and "other things".

But mostly about maths.

I tend to follow back, but only if you have something in your profile.

","updated":"2025-12-27 19:09:01.242Z","user":"","username":"Colin the Mathmo"}],"page":1,"perPage":10,"totalItems":5,"totalPages":1}

sliverdaemon

Followers