{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-28 21:21:55.900Z","domain":"mastodon.social","followerCount":5048,"followers":"https://mastodon.social/users/regehr/followers","following":"https://mastodon.social/users/regehr/following","followingCount":983,"icon":"https://files.mastodon.social/accounts/avatars/000/147/970/original/8dd7e7e6a7ea9f95.png","id":"aoeqmpnxjja9uri","inbox":"https://mastodon.social/users/regehr/inbox","iri":"https://mastodon.social/users/regehr","isLocal":false,"last_fetched":"2026-06-02 10:21:42.733Z","outbox":"https://mastodon.social/users/regehr/outbox","preferred_username":"regehr","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqc9jRQbHfYqgDGWUXgk0\n2kPoy5LWnoA60e0nOFkK8YdlnO5XjkHPQENRBjeGg8MUjLsO+VpsyY7tFPYJ6Wp+\nqgIvawq6QZT5Aqk5Tj/DaeOe6xjF5vTcdptbgOiACekKA4jh3wq15CnoJrTRCWdh\n9R4y66RNF8fwcgYUBdqh3LxZfEeZEYd9zAGej5KdVnNOKt5dY/lN1OqSshnLfi9R\neHpHUwXC+N25TXUp8k+fzkwuHY2O0QUM+winQ8d43eOUNDmnTsIYCeH8LakaLozT\n+NgjJIjKkg6Mfk53qHQ/A53y1vJCbxbpjbJjKsQNep28fj5O/63op/hS5+yAXq4T\nEQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-05-24 00:00:00.000Z","summary":"

he/him

","updated":"2026-06-02 10:21:42.734Z","user":"","username":"John Regehr"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 18:56:02.703Z","domain":"hci.social","followerCount":2814,"followers":"https://hci.social/users/chrisamaphone/followers","following":"https://hci.social/users/chrisamaphone/following","followingCount":1011,"icon":"https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png","id":"5s29tc3c9ude7dv","inbox":"https://hci.social/users/chrisamaphone/inbox","iri":"https://hci.social/users/chrisamaphone","isLocal":false,"last_fetched":"2026-06-02 10:21:43.151Z","outbox":"https://hci.social/users/chrisamaphone/outbox","preferred_username":"chrisamaphone","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyp13rnOkuLdtoCTF4zmK\nqvr5McTnu5VSBpS438rK//bd1oxB5KGyZDDbLAe5OSO05JPz/6GLH7JIIxmCxsYv\nFt9QIW0DR/DlZTOsDT4vATI0xXFoFX1X5gmaK+CQGraORUQeZGtLh0vtKVStm7b1\nt6DjrR+9QUVZ/F7WxVDrV6jxebjTuwmlCcFVw8WzRiV/6ZTkG5lBjMGwEIxjTjAP\n53ZjK3i13L1jhwoEZyxA0RUILTpQH0ooYzRRj6o3SYVrWkc1nz0NHXJ41yh7Q10W\nxPu9o7zwST8VBQxsEmVfEs3BCQQ20sGqf/XjIbpmXv09hlMYMqkVw4U7prKhd425\nuwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

go slowly and quietly, and look deep

","updated":"2026-06-02 10:21:43.152Z","user":"","username":"chris martens"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 14:12:55.308Z","domain":"mastodon.social","followerCount":192,"followers":"https://mastodon.social/users/xanovsky/followers","following":"https://mastodon.social/users/xanovsky/following","followingCount":163,"icon":"https://files.mastodon.social/accounts/avatars/111/826/015/176/784/399/original/e916b068febfd91b.png","id":"blrrv59vlds8sht","inbox":"https://mastodon.social/users/xanovsky/inbox","iri":"https://mastodon.social/users/xanovsky","isLocal":false,"last_fetched":"2026-06-02 10:21:43.257Z","outbox":"https://mastodon.social/users/xanovsky/outbox","preferred_username":"xanovsky","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwWvDBLPpeG+i/YJ7Q3QJ\nZjAbVprpsiTX+K+DYK4amI1aZJUnt2BM+vX83N6gz2VQORX/l6F+I0ecGNk6miBn\nTJGTxf+4vGvVntME3J5ANGpd5X729/j/YJuhe7S7cIIC9oMcSQ+ppvYkDS+keHhK\nhzu/Oxc0ECpmt6oER29BcqPui+mBBSfyK8owCAOQbxYxlMhjVlhKwdeBqVRlcTxO\nDyAE7R0pK1NIuKIM+U1u0Qed7PTTM8Vs91MJ7nC/euoICsUtP0FS/kPVbY13ncI0\nUlLOlw66uoNjV6U3/Aeva8yFNgPFzwui8gfA6wbatMdXH+F8TYAueA5ntCZzyBCO\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-27 00:00:00.000Z","summary":"

Mom, foodie, traveller, computer scientist

","updated":"2026-06-02 10:21:43.257Z","user":"","username":"Alexandra Silva"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 06:10:03.257Z","domain":"mastodon.social","followerCount":3503,"followers":"https://mastodon.social/users/shriramk/followers","following":"https://mastodon.social/users/shriramk/following","followingCount":743,"icon":"https://files.mastodon.social/accounts/avatars/108/262/011/720/829/669/original/21d7b109c09f7c06.jpg","id":"19vnuxyd83rftdv","inbox":"https://mastodon.social/users/shriramk/inbox","iri":"https://mastodon.social/users/shriramk","isLocal":false,"last_fetched":"2026-06-02 10:21:43.344Z","outbox":"https://mastodon.social/users/shriramk/outbox","preferred_username":"shriramk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAu0RCMvnQyQz1MGEj+W44\nCpbS6TayqZm5gzPD7DBtvvkNp6AkQAjS1PrnfUgQqsvEQgZDWNp0cbp+72/x8i8A\nWRTd+++Zx+iVB2lLLFl6dUogpDVLvMaQ3hf40AcRQmbrqjEuamUBgs2mONY9lYkr\nrsykejMVewI0iI8Yn11z6id/5/UQaK1S95tNypzRZ4l1TlkR01t8i/hhJIrH86PY\nMUHtvePbqGDUIBCTPCF+D32pITYXqUF8a8n+mjrbNpH4oCEpfm3tCO4PJB7hpga5\noWY7mVGapoOuVM9y9f8TaN67kfF21VlHYDJMktLW96k++sSSYYdTypY2DziYEtsK\nGwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-05-07 00:00:00.000Z","summary":"

Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket

I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.

See https://mastodon.social/@shriramk/109302532598801863 for longer #intro.

I wish to be searchable by tootfinder

","updated":"2026-06-02 10:21:43.344Z","user":"","username":"Shriram Krishnamurthi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-03 10:22:41.988Z","domain":"functional.cafe","followerCount":522,"followers":"https://functional.cafe/users/kosmikus/followers","following":"https://functional.cafe/users/kosmikus/following","followingCount":199,"icon":"https://files.functional.cafe/accounts/avatars/109/530/269/230/340/074/original/67952e91f909d230.jpg","id":"1becvqb0l62jk4q","inbox":"https://functional.cafe/users/kosmikus/inbox","iri":"https://functional.cafe/users/kosmikus","isLocal":false,"last_fetched":"2026-06-02 10:21:43.417Z","outbox":"https://functional.cafe/users/kosmikus/outbox","preferred_username":"kosmikus","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA2Pdxyw8Vl0a7kGWPn0/L\n8E1BB8tIEFViXBV31v0/NHWlTEKairDK425CdNuU8mVM2vKsAU3DUwQRRbZkGNyW\nGkkztV345H83lmsZ3MMD1lvmhc9QPrqzdysL79F2pDgmEO6dKUysaNBV5tNE63pz\nZlT94R7EA4RANd+ZiKsxH97OOgAD9z7w+mS8SmY7gcb6H9aLuzoQ1tDRpw41Pa1+\nXN6xkj/PFnzY5z9/t+7K50aR7ISMkoAr+EZ9ditXISxYAoCZTrU4upLMrqmtqU5v\n0JlDgvmMAJNgvRqF6kvu3g07BnQabHF5lhsMsEGqRr7RLfl0q4m5GyXPxBYptBqJ\nhQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-17 00:00:00.000Z","summary":"

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

","updated":"2026-06-02 10:21:43.418Z","user":"","username":"Andres Löh"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-02 16:10:54.048Z","domain":"functional.cafe","followerCount":1010,"followers":"https://functional.cafe/users/leanprover/followers","following":"https://functional.cafe/users/leanprover/following","followingCount":17,"icon":"https://files.functional.cafe/accounts/avatars/110/770/760/472/012/827/original/7bc26594d48d1f1d.png","id":"ot196s1xhs3ux3g","inbox":"https://functional.cafe/users/leanprover/inbox","iri":"https://functional.cafe/users/leanprover","isLocal":false,"last_fetched":"2026-06-02 10:21:43.474Z","outbox":"https://functional.cafe/users/leanprover/outbox","preferred_username":"leanprover","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA7dKENMC1pnGzawmGGlmH\npdYCjEgLBRdPHH3oju/913xBfuqqAir06mUWfox4e1xPNPM0mFvziAxmlEnvrgVq\nmiZyL5x1SLdBKht47JLN91mowTP3FjnKkULBMu5108euUHweKBydC4ZAM1NLMfLV\nCqzx2Wj/EP3vEJVmAQCrHnao7GHcQqKGlJ6ANQ1TO34otabH5W5TJMb5Cvb1mChM\noW+X+pS83hw2yD7ay5f7AXpU1Kwyq2ON0NdlN/2fIuO6FFO0oSHbtKVkH8Zdp6XK\nV0/PiRvDuVZGIfECAT1U5TkUu7u/p5dcSVb4n301k0VM2/N11I8eOYAlY0bYgDrE\nxQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-24 00:00:00.000Z","summary":"

Official account of the Lean theorem prover and programming language

","updated":"2026-06-02 10:21:43.474Z","user":"","username":"Lean"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-05 16:55:52.309Z","domain":"functional.cafe","followerCount":1410,"followers":"https://functional.cafe/users/racketlang/followers","following":"https://functional.cafe/users/racketlang/following","followingCount":52,"icon":"https://files.functional.cafe/accounts/avatars/110/503/403/357/821/549/original/3b22221cb57a8588.png","id":"ubwo95csj9qrdvn","inbox":"https://functional.cafe/users/racketlang/inbox","iri":"https://functional.cafe/users/racketlang","isLocal":false,"last_fetched":"2026-06-02 10:21:43.538Z","outbox":"https://functional.cafe/users/racketlang/outbox","preferred_username":"racketlang","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAldeOVaej3UCqnOhwqcdr\n9mTebj2lOydRQDh64bC+VFMqFXnPkGDXgGutQw6TTxsP+GXWnGxifnGaF4YU4Xyr\njhXJ6U2Eara0lMQ9c1EHxMvyBKqXW0G1kp6T0MvylwcypeyEqosFLPEM9sHbkX9h\nl0Zk+YyV6Rakl507zyOdDDd8kn1mroEN9cbO+52rHQfFMemiXNNK30+eNg2MJ0Zb\nsalkpupVuzwvWn+/NYGrpo2ja4rxC5BBV7O6IBNOLRo6xUDleNy1/RbCgz0caElS\nCezBTbUZS74nO3J7jeRUezdbNTI1xr1IglcCYNCZsmg5dYkQXfqIexQBTJvpqStU\n9wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-06-07 00:00:00.000Z","summary":"

# Racket is...

* a general purpose programming language — a **modern** dialect of Lisp and a descendant of Scheme

* A project to explore the emerging idea of language-oriented programming

* a family of programming languages — variants of Racket; Rhombus, student languages, Typed Racket, Lazy Racket, and more!

* an implementation of the Racket Language(s) – with native code compiler,

* a set of tools—for using a family of programming languages,

* a diverse community using Racket in diverse ways.

Join us at https://racket.discourse.group/ or https://discord.gg/6Zq8sH5

See **https://racket-lang.org/** for more details.

","updated":"2026-06-02 10:21:43.539Z","user":"","username":"Racket"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-12-29 03:34:38.126Z","domain":"functional.cafe","followerCount":660,"followers":"https://functional.cafe/users/kha/followers","following":"https://functional.cafe/users/kha/following","followingCount":175,"icon":"https://files.functional.cafe/accounts/avatars/109/664/180/140/228/769/original/47bc0e69d6f0e5d6.png","id":"7rqv745jxji41aj","inbox":"https://functional.cafe/users/kha/inbox","iri":"https://functional.cafe/users/kha","isLocal":false,"last_fetched":"2026-06-02 10:21:43.584Z","outbox":"https://functional.cafe/users/kha/outbox","preferred_username":"kha","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv4JUUAZ0qgKQOXkSE4O0\nsV6QBaKlww6Sy/AotxRic5ys+s5dZ+k+1HJuKMHzhJcX0MgB2d9SvvTMyZU5kHjL\n728HFmx4JK/pK15epZrh0VC9nv/qHG+j5HZeeslBn9oQ5/6/I02RbaJVes9zLZ/v\nNhziBdCTqKGxOND15sCLOj1t4t5LB1yY7iylHcnWhkEB7Hwk9cLpr5vudaxVlgY0\n6Zp6nWMPJQpltl8gWRm/smt5O1Gi6cltwqU8Mvw2CWyzc42spbHc78cQvJX6AYjJ\nX4WIVzJbuOx/MvwX1LIFzmhfi402xaCOiicR4pDcoH72s19yewgdSzk+RPSaEEaX\njQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-01-10 00:00:00.000Z","summary":"

makes Lean at Lean FRO

Munich, Germany

","updated":"2026-06-02 10:21:43.586Z","user":"","username":"Sebastian Ullrich"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-06 10:26:48.275Z","domain":"functional.cafe","followerCount":881,"followers":"https://functional.cafe/users/jer_gib/followers","following":"https://functional.cafe/users/jer_gib/following","followingCount":135,"icon":"https://files.functional.cafe/accounts/avatars/110/853/908/057/317/071/original/d2d2d25541c45944.jpg","id":"70vlya5pi7pnwkc","inbox":"https://functional.cafe/users/jer_gib/inbox","iri":"https://functional.cafe/users/jer_gib","isLocal":false,"last_fetched":"2026-06-02 10:21:43.637Z","outbox":"https://functional.cafe/users/jer_gib/outbox","preferred_username":"jer_gib","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvevzTX5awHhGepuzfX/n\n6dUxD6mMQ9yFoXyF8LHa0iALWeBJ7eO3XIm7ozcW3zZp7CwvJTr/cOi9NoHMz5sl\nYWR/W+1ZAoQX4BP1u9Ll0q/teASGAcc45VR7rSCRsNhm1yibD7qEe/U+7brgGcIx\njmCRMtlsJIvD7kPFYmj4x0NxG+iji22QQYknhHCU6JQdDvwt0VR7sv/tqLzaX7Ca\nM0amVZ1TYwzYXOXdURtVEn2LpCekRxYV2rBDvkOalMOVBSobkNAPX6SLx82ErR5e\nRUqEBDY/5lN+aj63WO8DghRLSNyMctqmAp8RCarkbnX7RUCbO9J8U1kUEY7Pa6y2\nmwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-08 00:00:00.000Z","summary":"

Professor of Computing at University of Oxford: functional programming, types, program construction, verification. Formerly @jer_gib.

","updated":"2026-06-02 10:21:43.637Z","user":"","username":"Jeremy Gibbons"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-01 16:44:29.115Z","domain":"social.wub.site","followerCount":244,"followers":"https://social.wub.site/users/david/followers","following":"https://social.wub.site/users/david/following","followingCount":178,"icon":"https://files.socialwub.site/accounts/avatars/109/543/987/502/527/421/original/e74e14a4809540ab.png","id":"2q6qu252bczchf4","inbox":"https://social.wub.site/users/david/inbox","iri":"https://social.wub.site/users/david","isLocal":false,"last_fetched":"2026-06-02 10:21:44.048Z","outbox":"https://social.wub.site/users/david/outbox","preferred_username":"david","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAq3LgnQ8DtQRBBIBwP4xT\nhCcVQr5EVdOeRRdWsi8hNP1JZ0v2w20e3kIjcjMfokms98xXkXmp91OPc3BbIyYu\nK25ynJyWDJZfLykQP6FFTKOlAKvm6kDU8mP/ZUC+8HUdmAFL2ISndp6thZYNMr4A\nF7ruyxXsv57SuYuL/bN67JkDLnl/FgrIE2oyPZE2HPO/Fwt5Z3Q0VUJk4FSzEuq4\nO4HnLQY82EBbqx7z+TfzgeZ4bWjtM8cC2jsqNFny6TpaGRr/ZCQ3e8dFqiX82gVy\n40jxXZWF7ypQJvxTPAql8XX4gIb6H140nXQIMKsGYZxaEGIdm3c5G9iq354kw8Ku\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-20 00:00:00.000Z","summary":"

Pittsburgh, PA, USA

• Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/
• Defining every word as an acronym: https://acronymy.net/
• Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust

","updated":"2026-06-02 10:21:44.049Z","user":"","username":"David Renshaw"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-04 17:08:30.136Z","domain":"mastodon.online","followerCount":669,"followers":"https://mastodon.online/users/nomeata/followers","following":"https://mastodon.online/users/nomeata/following","followingCount":102,"icon":"https://files.mastodon.online/accounts/avatars/109/280/580/241/074/001/original/ad7d0dde3212b334.jpg","id":"l30qqvsl5n8lpks","inbox":"https://mastodon.online/users/nomeata/inbox","iri":"https://mastodon.online/users/nomeata","isLocal":false,"last_fetched":"2026-06-02 10:21:44.133Z","outbox":"https://mastodon.online/users/nomeata/outbox","preferred_username":"nomeata","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4RDqwi1dhYGjohNSWIN9\nlt8IqKFrgmZnJvJ31zXN5BTIJNnRtbJXuOW4nXwv4/+e87RTBYXSzt8VfhVj7qgT\ndYmIy/r33E0u6QdZbT5Cp1/5gSWXVbvDCrspdH9l0NJNkbmufxXbgC/WbiQf2m2h\nexGl/A1LJCb9PmDxW6NS2SXF7PcOEWr/OM9inBRsQu261MjgnQjzb/ul0mZq0OTM\n6K6YemkJSvnYfF+ffJghzBglwUqB3TQrCXqtauZhNNKJCNQm7H8Y6ckMRNZZUwSt\nYXx4r8/a5f2NuO19Jw7GZKQim5JPFTbvoZiOFwHJaQ3R5NXOd0ROhbC6l+nXbD/E\ncQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-03 00:00:00.000Z","summary":"

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

","updated":"2026-06-02 10:21:44.135Z","user":"","username":"Joachim Breitner"}],"page":1,"perPage":10,"totalItems":3,"totalPages":1}

Wojciech Różowski

Following