{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-30 07:17:00.524Z","domain":"mastodon.social","followerCount":1229,"followers":"https://mastodon.social/users/alexelcu/followers","following":"https://mastodon.social/users/alexelcu/following","followingCount":361,"icon":"https://files.mastodon.social/accounts/avatars/000/028/473/original/502e4ff00971266d.png","id":"s3241g5z781x1k8","inbox":"https://mastodon.social/users/alexelcu/inbox","iri":"https://mastodon.social/users/alexelcu","isLocal":false,"last_fetched":"2025-11-23 09:11:01.234Z","outbox":"https://mastodon.social/users/alexelcu/outbox","preferred_username":"alexelcu","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAn99ZFHVRyvpBGAXlwXOr\ncp/Lb6gAljbh2ChP1ROG57Jeyjsl1Yyti3D9MDMQYK403QfwAgKBsW8lOv36tx9F\nXgLsuDcW2f/0EgM0Tb+5lsShrhRQ8btPoItweeWQ9uG+Oj0VSGayD26uAOogrN+n\nsDNVqXbto1xFldtHAjOVkLtqQX8dpkPMm4pz3xT1oeVLv3K5DXMWrpzrgT4pxdKs\noUqR3Qd9cSyqJm1UQJ9Z+qiAHjGOQqsjwWWAfGeDDU8wW2z1xUj+Vm4HCGheQz+l\nilx5rKm3GFA5OP5nHGmdbJFyxDDuhShRJPT06ESXDHRQ/aNbY/Eh0lsghebRq85j\nDwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-04-01 00:00:00.000Z","summary":"

Software developer, #FP, #Scala, #Kotlin, #JVM, #Haskell enthusiast; contributor to https://alexn.org, https://monix.io, https://typelevel.org.

🌍 #Bucharest, #Romania

","updated":"2025-11-23 09:11:01.235Z","user":"","username":"Alex Nedelcu"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-10 00:30:18.577Z","domain":"mastodon.social","followerCount":798,"followers":"https://mastodon.social/users/eed3si9n/followers","following":"https://mastodon.social/users/eed3si9n/following","followingCount":239,"icon":"https://files.mastodon.social/accounts/avatars/111/276/034/794/049/899/original/1628b62d3e833a37.png","id":"2erje1g6rd66fj9","inbox":"https://mastodon.social/users/eed3si9n/inbox","iri":"https://mastodon.social/users/eed3si9n","isLocal":false,"last_fetched":"2025-11-23 09:11:02.534Z","outbox":"https://mastodon.social/users/eed3si9n/outbox","preferred_username":"eed3si9n","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3/gaYhATtgN2lVZSasut\n5MXObNKCJdiFNZLE/qCd9GN2XGJWQ/oVm90tg9bvG9Zd8KfPuHK1z3JexUbH7Y+4\nbOjPPDu+8oA3vO0DJ8UeSe7f0Kr6nRE4eAoJhVh230mqPCtBtHejgH+ZwGcgDAIf\nTUF4HBZp/27Y/WupA2xDoWUs5uZFyrZSsolYNMzqwLmzBqvcDmP4r8RVfnKCxvLu\n7XBWuiwzoShGWdhkUwUolaL4JZTI2OpgMt6YaN3jxhxVcksCPlemRRxeR2nJFAND\n058oM0r7ZW3QvJG45fGqEkmjFD1TzwCi5jmMwfveljfgRYTJHHuVkDyOMXvSQg1k\nvwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-22 00:00:00.000Z","summary":"

enjoys music, good food, coding, and talking about them.

learning machines at employer. sbt core dev. he/him
#Scala #sbt #Bazel

","updated":"2025-11-23 09:11:02.534Z","user":"","username":"∃ugene -Yokota 🥙"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-20 09:36:00.908Z","domain":"discuss.systems","followerCount":0,"followers":"https://discuss.systems/users/burakemir/followers","following":"https://discuss.systems/users/burakemir/following","followingCount":0,"icon":"https://fd.discuss.systems/accounts/avatars/110/851/006/782/538/571/original/ecb98311e9188a3b.jpg","id":"49j9h9ts38ahese","inbox":"https://discuss.systems/users/burakemir/inbox","iri":"https://discuss.systems/users/burakemir","isLocal":false,"last_fetched":"2025-11-23 09:11:02.861Z","outbox":"https://discuss.systems/users/burakemir/outbox","preferred_username":"burakemir","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0TPDPF1RGNuF1MOONy7g\nqoAhbWjDqUWfedNJdTr1ohceCuEdydSIsnGYjOGl2WdRh2InIXxXFCCtGRWqna4a\nB0OQUQ6gR83Sh1KRkSr39r/lutQy8nk6NFvnYLt3CgYKLh7+Uu7EGpXd0usxnuZe\nc2vVLys7P0N1SIZsUvlgdYg2UAllwCSZZgdj5nw/zSUjKyPbXQD43B7BlXDTPnfi\nc8YH5CU+5wq4c2dZTYSu/HIKCZpyCAbuqdU/kXI1DB/yLXUKa2PNrO0UGYb/fVY/\nicE2bBpt4I4Xcrs7vWN/i3zOrsz9ZC64gC34ESaI3AMlDB3T8oV9cTwycpszTHdV\nbQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-08-07 00:00:00.000Z","summary":"

Interested in many things PL from theory to implementation, also logic, category theory, also distributed systems, more recently Rust.

Check out Mangle Datalog, a typed, datalog-based logic programming language and deductive database: https://github.com/google/mangle

#datalog #CategoryTheory #logic #types #systems #QueryLanguage #DistributedSystems

","updated":"2025-11-23 09:11:02.861Z","user":"","username":"burakemir"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-08 10:30:56.442Z","domain":"social.rossabaker.com","followerCount":1125,"followers":"https://social.rossabaker.com/users/ross/followers","following":"https://social.rossabaker.com/users/ross/following","followingCount":353,"icon":"https://social.rossabaker.com/system/accounts/avatars/109/595/217/325/047/560/original/aedeeaa95b32f980.jpg","id":"119hoo15m479a3x","inbox":"https://social.rossabaker.com/users/ross/inbox","iri":"https://social.rossabaker.com/users/ross","isLocal":false,"last_fetched":"2025-11-23 09:11:04.098Z","outbox":"https://social.rossabaker.com/users/ross/outbox","preferred_username":"ross","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA48WvwOaLDrpDsiVZ6LzB\nz4XP2hijhGR8ZkaTkSn3HmTrYdtXZn3xN3O/7FF9zqHvqmcItsI08VTvtEG05w6b\nnDzokY/J8gXL950mctrxsat+ux96UScF2fpVaNF7DyVej+yU0Kz1ZbHMuZo7JQzm\nCh7hF7yJcwNjojOhU1t2wlFfGkoadwGULBikFBiDmjsaY/mZO19wKJTLiWrwfgf0\nC9CQtmX61A7s9PII5raw+6c6WzQQ8GtrqHUmdYW0Kr5TW9kJ/Cq53+/wide5AyXW\nj6BCvo3+XYyGqGzfiq687fyG2aHVM2KZsfqMtolv5HznVKsYiq06HRqxIwRqFm4r\nSQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-29 00:00:00.000Z","summary":"

Never daunted.

#Rustlang #Python #Typelevel #Emacs #Nix #Indieweb

Languages: en,de,es

","updated":"2025-11-23 09:11:04.098Z","user":"","username":"Ross A. Baker"}],"page":1,"perPage":10,"totalItems":311,"totalPages":32}

Adriaan Moors

Following