{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 16:05:48.706Z","domain":"mathstodon.xyz","followerCount":221,"followers":"https://mathstodon.xyz/users/mortberg/followers","following":"https://mathstodon.xyz/users/mortberg/following","followingCount":93,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/243/289/583/681/637/original/9a704c7061812fb0.jpg","id":"0sw212990844z37","inbox":"https://mathstodon.xyz/users/mortberg/inbox","iri":"https://mathstodon.xyz/users/mortberg","isLocal":false,"last_fetched":"2025-11-18 07:28:08.480Z","outbox":"https://mathstodon.xyz/users/mortberg/outbox","preferred_username":"mortberg","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAp3fBKDd/Y+/viDMsTZ+k\nkM8DRWkohyTUlgznclEW+xzL7UcNMt4TtRpJUb/G0yLAS6Cy+v4rA9RiK4oF13Z5\n9qrjij4+rumfwRg5ybZfY5nTHHhEDd+TzMrUmzS6blKyo1bv8HTNxBJwRpCvpxP5\ncaCCnfo1ZwR2maG5k2KiAihteLdnsfdYC4Defod+F6BYHGHYg70VbUjJVjos5t/q\ndW3gQRQEH1ftHlVkY97RBwLLr8XGuOBOHuJEXG6lT6z0BvBtGInJrhodkn6xzkWd\n56FFnIgwE2me65gCV7/KkxWaWJnIQSsTL4GeoX2F4sf1tLlTL6phBllncO/iU+mi\nOQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-16 00:00:00.000Z","summary":"

Associate professor (docent) in computational mathematics at Stockholm University.

I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.

Webpage: https://staff.math.su.se/anders.mortberg/

","updated":"2025-11-18 07:28:08.480Z","user":"","username":"Anders Mörtberg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 20:13:00.972Z","domain":"chaos.social","followerCount":5907,"followers":"https://chaos.social/users/nixos_org/followers","following":"https://chaos.social/users/nixos_org/following","followingCount":31,"icon":"https://assets.chaos.social/accounts/avatars/107/829/824/358/955/190/original/ee8d0308cb97acd3.png","id":"37q3jt1q4553x13","inbox":"https://chaos.social/users/nixos_org/inbox","iri":"https://chaos.social/users/nixos_org","isLocal":false,"last_fetched":"2025-11-18 07:28:08.510Z","outbox":"https://chaos.social/users/nixos_org/outbox","preferred_username":"nixos_org","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtmDZ4ZW/F+VxF24ZRT1B\nz6E/G9TEqYTrve44vX2wbvXrTehgjJCxi+nOcVP4qhKtRPfnD+vej1+tWqnWNZyq\nEq2IK7cYfWNF1e7hl9NHMouQLMCNFTyvtPRJjyg6tyDB16vEYlEOETa7xtL2tD8J\npvHdhvCjERDPvi3eh0IySNAtxW6EuVbpPGtQ12nCHoDbrG+1t64s4CVdGcAnbTiN\nr4HTE1OTGbsz/pq6PuPjgciPmi9sG3D3wRrlFuUGnIxW9LyxbBzT7DwlFkx3euN1\nbGUfaU1ZaY21f74UJdMJJq//ZLZCTCToE9ARtmldZJCGQOwCy8mC/R1dPunzlh79\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-02-20 00:00:00.000Z","summary":"

Nix is a tool that takes a unique approach to package management and system configuration. Use it to build reproducible, declarative and reliable systems.

Posts mostly in English.

Announcements created by the NixOS Marketing Team, account monitored by @raboof

","updated":"2025-11-18 07:28:08.511Z","user":"","username":"NixOS"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 13:22:33.453Z","domain":"fosstodon.org","followerCount":1286,"followers":"https://fosstodon.org/users/abcdw/followers","following":"https://fosstodon.org/users/abcdw/following","followingCount":10,"icon":"https://cdn.fosstodon.org/accounts/avatars/000/110/000/original/c6a8ed24127361a4.jpg","id":"j24352390j99lt2","inbox":"https://fosstodon.org/users/abcdw/inbox","iri":"https://fosstodon.org/users/abcdw","isLocal":false,"last_fetched":"2025-11-18 06:51:09.416Z","outbox":"https://fosstodon.org/users/abcdw/outbox","preferred_username":"abcdw","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyHI0P05rAvz/a0Z2twZF\nm8pWybhUwE2UU79kroUrdFKbAsYXfmWWiSrcl5JTcq9SobCXRZtJZoTSWB4r186Z\njhZG9hLIgYWjdLatyivUI2DAYqLPYi5i2200g9BomVObnGJG/rVHqNH868kDOMVG\nBcWRJUKAPNl80Bb+uXJ2sQxH7mBSlOgJ/X83Yyi3x3BcQMglwEkGXnwam/dr74Al\nsRZwQ9Jq5kvFQiuG2FvlDtK9pYxhkzpx8RiXOmM3fwJRscBGdQL1C9QyV3pba9HV\nzgy0V6m5oNmVTBedYiPXyY+0DX0j/6JXDNzdXrIe3TFFxU7iuei9ym0s9igMedmH\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-03-26 00:00:00.000Z","summary":"

Hack on operating systems and programming languages. He/Him.

Improve tooling for Guile and Guix.

Author of Guix Home, RDE, Arei/Ares Guile IDE.

74830A276C328EC2 at keyserver.ubuntu.com and keys.openpgp.org.

#plt #os #fp #lisp #scheme #clojure #guile #guix #nix #rde #emacs

","updated":"2025-11-18 06:51:09.416Z","user":"","username":"Andrew Tropin"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 18:09:52.562Z","domain":"fosstodon.org","followerCount":3042,"followers":"https://fosstodon.org/users/daviwil/followers","following":"https://fosstodon.org/users/daviwil/following","followingCount":566,"icon":"https://cdn.fosstodon.org/accounts/avatars/106/375/447/329/248/583/original/5b2624b3e73a5041.jpg","id":"ej35b997ef42y5b","inbox":"https://fosstodon.org/users/daviwil/inbox","iri":"https://fosstodon.org/users/daviwil","isLocal":false,"last_fetched":"2025-11-18 07:28:08.633Z","outbox":"https://fosstodon.org/users/daviwil/outbox","preferred_username":"daviwil","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAqovGfn/AKdELBaFVAHVx\nG2WUNBHgaM8uv/0EkYYjCM6dNG/qplXC6s+HEVYdnAI5mqIHFIjlHXpUtoa6WVXl\nbUZoHghYinWjhdXYTarTsIG2Ikc096U609AbcXupHRycy6HAlvPATJyWIZ9ciF1Q\ngI5tycprs1g0YSDEJiWrUz+Hg/JmVCiIJYTh1kQrK7WefjkZ1TtD/5KG1h4rv709\nSHmTMchUYH5AwgQRcMjeCalOvWFKUrsF5f+HGZ+zzLVCOWOKYbCuAvKmxcwhVuhK\nVb9c0bvoIvJj0mtVfFULrexRNpq9xa7TGn15c2zEVQ939cipKbTvBRr4HFlnoeD4\niQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2021-06-08 00:00:00.000Z","summary":"

Scheme hacker, writer, game developer, and Emacs inhabitor living in Athens, Greece.

I make videos about GNU Emacs, GNU Guix, Guile Scheme, and related topics on the System Crafters channel on YouTube.

✅ emacs mention in the profile

#gnu #emacs #guix #lisp #scheme #gamedev

","updated":"2025-11-18 07:28:08.634Z","user":"","username":"David Wilson"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 00:01:45.213Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/akhirsch/followers","following":"https://discuss.systems/users/akhirsch/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/110/850/369/077/375/789/original/f0c646f03cde8cd6.jpg","id":"041fy0696j5x05n","inbox":"https://discuss.systems/users/akhirsch/inbox","iri":"https://discuss.systems/users/akhirsch","isLocal":false,"last_fetched":"2025-11-18 07:28:08.956Z","outbox":"https://discuss.systems/users/akhirsch/outbox","preferred_username":"akhirsch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwl9cMDECfWKBqKJa+f7X\nifYyYc8xk4ASU+cptc+HDp5kHkq7+iPxIov8J18hTBpSQ3iHKR/jVXtVH+T499/v\nXf592vvTw0WlPvXJ5B+timpQzNLXKDvZd49/F/PgmrRM+/hN+BOj7RjDugEzKfSy\nslXJjbyDP2XG6RuqmBL2hyvC61AbENkxXZlEFcHw50bIrT4eAWzOZBfSH3cknoYS\nsM0ZFRYGcQ0y/E9UXFtVH1oXqCUYeXekBgopoiUyjUVmNPQ2QTa+etMoBnVg31MQ\nvM8PUaZRbBhcjC0PbABC82w70Y9IdsSaSqRp+XunLQ99nN56uX0E4KTrNVNyoTGY\ntQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Assistant professor at the University at Buffalo, SUNY. Types, choreographies, security, and categories.

","updated":"2025-11-18 07:28:08.957Z","user":"","username":"Andrew K. Hirsch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-02 06:27:02.813Z","domain":"friend.camp","followerCount":14389,"followers":"https://friend.camp/users/darius/followers","following":"https://friend.camp/users/darius/following","followingCount":2290,"icon":"https://friend.camp/system/accounts/avatars/000/000/001/original/06c909fc67d6e9ba.jpeg","id":"4p5k0593wr4hz1h","inbox":"https://friend.camp/users/darius/inbox","iri":"https://friend.camp/users/darius","isLocal":false,"last_fetched":"2025-11-18 07:28:09.478Z","outbox":"https://friend.camp/users/darius/outbox","preferred_username":"darius","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzD3cUSEBFaxxn/0vVhbm\nQ7wT9Sm+4UNOJQRA1VEnpA49NBzAP5vsaYIzvgSWFagQny7wZIpwYCnJTAMrFa2L\n1JUq0LrDW7tPitdnfiqEQ4Do7+2+RsV4RU87799x8mIrUYgvYECY2bnXdj65Ra4x\nO35oXvIhzM1ZTTuS19YjgBfRtZW8Irxub3DGxuD8yKOVeBOI5KBPYzUHJuhj0wQ3\nqxV7U/OkoDQNUqe95+RLZHfSSmTsxMjwtj3J847w50oynCH2gOoCokuEX3E66i6E\npC0EtwPheCR/oGv4MgCP8g7NUrN/mOIflvO5Ny/R1ut9crs7XyE4FWtjKFdET/EK\nxwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-08-12 00:00:00.000Z","summary":"

I'm the administrator of this server. https://tinysubversions.com is where most of my stuff lives. I make Hometown along with a bunch of other fediverse software (see pinned posts). I'm trying to fix the internet, and some people say I'm at least kind of succeeding. Based in Portland, Oregon, USA. he/him

","updated":"2025-11-18 07:28:09.479Z","user":"","username":"Darius Kazemi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 12:55:21.532Z","domain":"mastodon.social","followerCount":5141,"followers":"https://mastodon.social/users/andrewrk/followers","following":"https://mastodon.social/users/andrewrk/following","followingCount":94,"icon":"https://files.mastodon.social/accounts/avatars/000/870/638/original/c041ddd6f808dd08.jpg","id":"57y49up7ed64178","inbox":"https://mastodon.social/users/andrewrk/inbox","iri":"https://mastodon.social/users/andrewrk","isLocal":false,"last_fetched":"2025-11-18 07:01:48.352Z","outbox":"https://mastodon.social/users/andrewrk/outbox","preferred_username":"andrewrk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAm7huD0/9C329vJVW8Tq3\n6ru6gnb62ioWPcEzZIDW/Z+4E4vfshj2gglX2yLuwMNAryUtvPUk3vKChtthk27p\n0L8oi4AiKetHGzmpu3jU2V5Uk77/pQF57z7tlGRI2IeywMwx6loBkC2frLvaLB5Z\nuLfv+RgiaXWQG1otDZGZfWZPSV8ZtfOXPVUUyTvcyCN4ZUkxgd8uptOAFlAcBqRr\ni7j57lFkL/0d1+yQ5CO0RiJYvcS+5iSFgFVt6Us5HKt8BBjkhiSwFuBaofMwWH3M\nm8w8zl64v0VB7CgVY6V2FtUc4kgwc4SB1iSNVIMryWqYL55SUFKZ8kO+J6Rx4+KV\n/QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-07-30 00:00:00.000Z","summary":"

Lead developer & president of Zig Software Foundation.

","updated":"2025-11-18 07:01:48.352Z","user":"","username":"Andrew Kelley"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-18 07:28:10.111Z","domain":"bsky.brid.gy","followerCount":0,"followers":"https://bsky.brid.gy/ap/did:plc:je72mxvqvgnqymaa2lf63kse/followers","following":"https://bsky.brid.gy/ap/did:plc:je72mxvqvgnqymaa2lf63kse/following","followingCount":0,"icon":"https://conocybe.us-west.host.bsky.network/xrpc/com.atproto.sync.getBlob?did=did:plc:je72mxvqvgnqymaa2lf63kse&cid=bafkreidrvlycs2usdymsbwe54wuou57kkq6qraixbxouupfcbpfkttpgz4","id":"hgc6d1fs00hshzn","inbox":"https://bsky.brid.gy/ap/did:plc:je72mxvqvgnqymaa2lf63kse/inbox","iri":"https://bsky.brid.gy/ap/did:plc:je72mxvqvgnqymaa2lf63kse","isLocal":false,"last_fetched":"2025-11-18 07:28:10.109Z","outbox":"https://bsky.brid.gy/ap/did:plc:je72mxvqvgnqymaa2lf63kse/outbox","preferred_username":"tsoding.bsky.social","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA85dEPW9EbpGJs0rbT8n0\nDAix9FRfSoeGZuC0NqoYHAU6cG8NUKr5obRD4GvsifwAozBg3ZumSYm4pbdHfUZK\n27er5qVws9hBaxzrB+CT+D0i2qUHthtNRp7lMdKEbe3stUddHWDhPNt/XCeWfyPP\nXQcXUHSJmcdnnnLDi8UfxCdXtqe22XGH+r1GaSrn2g2SNnLhs41QBkOcD+lMGYzh\nBhS6c/NoZWabdNOGTYsVPwJG9EB22UbshEylS8AyVUt8ctg9nk+DM4JUVOyOYe+O\nKrHS0OZXT0G36KtfKdkc9mR+Tm4Zqqk4aYkM2SZuQ7gGs+t5npwn+8EEWqhLgbGz\nXwIDAQAB\n-----END PUBLIC KEY-----","published":"2024-02-21 02:32:58.777Z","summary":"Recreational Programming: \n- twitch.tv/tsoding\n- youtube.com/@Tsoding\n- youtube.com/@TsodingDaily\n⠀⢀⣰⣾⡿⣶⣿⠿⣶\n⢠⣼⣿⣿⣷⣿⣿⣶⠉\n⢸⣿⣿⣿⣿⣿⣿⠀⠀

🌉 bridged from 🦋 tsoding.bsky.social, follow @bsky.brid.gy to interact","updated":"2025-11-18 07:28:10.111Z","user":"","username":"Тsфdiиg"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-11 04:16:11.363Z","domain":"functional.cafe","followerCount":191,"followers":"https://functional.cafe/users/mangoiv/followers","following":"https://functional.cafe/users/mangoiv/following","followingCount":220,"icon":"https://files.functional.cafe/accounts/avatars/109/880/082/551/452/302/original/5ba059dd1a1de72c.png","id":"pxsfqfuyuc4i3a3","inbox":"https://functional.cafe/users/mangoiv/inbox","iri":"https://functional.cafe/users/mangoiv","isLocal":false,"last_fetched":"2025-11-18 07:28:10.207Z","outbox":"https://functional.cafe/users/mangoiv/outbox","preferred_username":"mangoiv","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAy3kiynPULjMVpcrNYZq1\nDUq7xlktxmDOepHdgMGoDSpX0nO8EGa7V5N7mGR5qmfgHPcBgvLlNoOL47IUHPwK\nBnjTiIXR+LolnaAKxyoI2Q0bkhjfbZ7Fo2MTIwWKGjIEDC4O9C2w1j/5xKX4lZzI\nuDW7BJjQ3ggeZ8/h1JCUPFDt+DsVmEvVThjRGLW/t5fbdhfTst5OdQBEyhYxC+Qa\nCJUsGmT4ygDu83F71y8Ef6vXs3D6jSLcU2ywM5ToR3D6mgJYUPv4hRVW/z6aslRu\nGmAQ70WcxdnsgjiiLjFXofOPpymd+o7hsQRewWBsxqdUtCsHQJYQhM1iskc36hYF\neQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-02-17 00:00:00.000Z","summary":"

Your average Haskell + Nix person; I am interested in modern functional programming languages like lean4 and koka, recently also elixir.

Sometimes I build mechanical keyboards.

I am interested in discussions if the goal is to learn something, if you're just trying to persuade me, please leave me alone.

I will post in English and will occasionally boost German (network-)politics related things.

he/him is fine

","updated":"2025-11-18 07:28:10.208Z","user":"","username":"MangoIV"}],"page":1,"perPage":10,"totalItems":0,"totalPages":0}

Naufal Alauddin Hilmi

Following