{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-01 00:05:24.070Z","domain":"mastodon.social","followerCount":5,"followers":"https://mastodon.social/ap/users/115365689216319831/followers","following":"https://mastodon.social/ap/users/115365689216319831/following","followingCount":5,"icon":"","id":"38u24s0y6310kd2","inbox":"https://mastodon.social/ap/users/115365689216319831/inbox","iri":"https://mastodon.social/ap/users/115365689216319831","isLocal":false,"last_fetched":"2026-02-02 08:33:00.938Z","outbox":"https://mastodon.social/ap/users/115365689216319831/outbox","preferred_username":"bbayazit16","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAw0MKYJyGIC6rzMwZ65W6\nsPF212oejY8LZSLdVA1qwPgj6KEGjvzvxpnSTDait2sn1NPQZMsB0aKkxpVUIyOM\n1JAn0d/mnW36dMluMxdXl5VK9kTcSLvZGfjU/YQaC7U0M+ytvDy46kMyILG2mLvO\nOrkddWW9BwcJBqxG3b947MY9DlrGfmktBSOgleFx34YPhDQQfB6zVdEP+VBMavWg\np5aPoa9W+rDjW9z7DTshDOYgyVxyFqhxCEGGVrX6RCKXF+vPKxnEP672a07ibSYP\nAT5OFW70BPzaNoNE8ugiB5n8kJ5inSTxDqf0dGLIynITuob4pF6GtK41PIvwRMAA\neQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-13 00:00:00.000Z","summary":"","updated":"2026-02-02 08:33:00.938Z","user":"","username":"Baris"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-02 08:33:01.073Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/amartyanil/followers","following":"https://mathstodon.xyz/users/amartyanil/following","followingCount":0,"icon":"","id":"pq0y964tkjzvlc7","inbox":"https://mathstodon.xyz/users/amartyanil/inbox","iri":"https://mathstodon.xyz/users/amartyanil","isLocal":false,"last_fetched":"2026-02-02 08:33:01.072Z","outbox":"https://mathstodon.xyz/users/amartyanil/outbox","preferred_username":"amartyanil","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEApGURQeWIqhrCrsdK9mcM\naS5F8n12dyXa529MblBt0FrQZIDDLfUaQVU82fBZA+IvZbhVpmUKDFJYsZFTQTVS\nEZJ1c5ldAaLQlBSZSgI7NGxCHEBH9M4xHgAsyX+tL+CGMArFoWx85lJ+Dv9VoSG0\n81hYFXt02TUPRLmKCbbUSr55dSE5EVeylQkXctXPpcSN/XyMw1zqtel3iICgUiKy\n4CDeMV3vOt8EO+h+4V7EOvv3XWE6cHm3FF+rci2TZEolQeyHJCxYoD99xx/t9qI8\n525r3C0WqPXTUc9bmjIH5f4iIk0cuYo81tpM9VLVea1Xe3fnESIoYnRc4lSmGi6r\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-09-08 00:00:00.000Z","summary":"

Interested in theoretical computer science

","updated":"2026-02-02 08:33:01.073Z","user":"","username":"Amartyanil"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 02:08:01.338Z","domain":"mathstodon.xyz","followerCount":306,"followers":"https://mathstodon.xyz/users/decompwlj/followers","following":"https://mathstodon.xyz/users/decompwlj/following","followingCount":834,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/314/312/736/223/178/original/b81422ae28459dc4.jpg","id":"3j4br14075e82n7","inbox":"https://mathstodon.xyz/users/decompwlj/inbox","iri":"https://mathstodon.xyz/users/decompwlj","isLocal":false,"last_fetched":"2026-02-02 08:33:01.118Z","outbox":"https://mathstodon.xyz/users/decompwlj/outbox","preferred_username":"decompwlj","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAquWADbxgWsoDZ35iUUM8\n1yQlW8iMfzfmViPsquUCkjoHdAmfkCFcycczfbpjsSXDUIm7ZARLCxMgYnDAXrnM\n4z8KJCYgKTTjuJ4xg+0Ifa/rn3Zrh+teIDb4OXr+x8BGoq/sPBZkWfS5GrVMM58V\n6DiDVXVoVwR4hW14JEFSzfrd71dtiUndJ8wTLQ0aY9N0hoHGqdyAnnxyFY37H9fJ\nxA9oSaKbH+9D+zUsaAPmhT/OyidWgMzu+oKkGZzrzhkX8OSkQH+eRVeZ9pI/6xtb\n5pe13PMICWfKw/ZQLa6bnWr9UhU7YbO67vYWOUTHONyLBRw8j7RjxkAlf2udnECc\nPwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"

I have invented the decomposition into weight × level + jump, an extension to the fundamental theorem of arithmetic and a new way to see the numbers. #decompwlj

","updated":"2026-02-02 08:33:01.118Z","user":"","username":"Rémi Eismann"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-29 22:19:21.512Z","domain":"mathstodon.xyz","followerCount":1509,"followers":"https://mathstodon.xyz/users/Jose_A_Alonso/followers","following":"https://mathstodon.xyz/users/Jose_A_Alonso/following","followingCount":1041,"icon":"https://media.mathstodon.xyz/accounts/avatars/000/130/356/original/29218903abe161c6.jpg","id":"35y0tb3tcxz2900","inbox":"https://mathstodon.xyz/users/Jose_A_Alonso/inbox","iri":"https://mathstodon.xyz/users/Jose_A_Alonso","isLocal":false,"last_fetched":"2026-02-02 08:33:01.162Z","outbox":"https://mathstodon.xyz/users/Jose_A_Alonso/outbox","preferred_username":"Jose_A_Alonso","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxeEFJL7MWF7Mf7IQrtSd\n77JRXb1bJxxNx4En7O/GpvlCzPUowQAV9NzmMlSoBE6uB20MyBqihiRaPUv/Jt0Z\ncsxQCczh0WiGI9de+Dh/Kh/yqtJNr6T9TgMnYTJLR0EdE+XwfXfh2f9eIfdTw9P7\nLlgYHMRjgt5Z1Jc2aKIrWnKJd+qqN72AT1SHDKOmmO5AtghBGfSDzu3CchXHomPh\nMwlg7PV9SPWhFjas2XM2G3TMfmm0yZHua7BFBkmTrVFbKXq2TQyoMvusSrNvNWSf\n6Vs/HzkL0reHKuq35aOFXgz2wI+zSDFWim1hra+ITcAo/cZVpGmJXg1uiWvi84UQ\nWQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2020-01-03 00:00:00.000Z","summary":"

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

","updated":"2026-02-02 08:33:01.163Z","user":"","username":"José A. Alonso"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-09-03 00:05:22.858Z","domain":"bertha.social","followerCount":541,"followers":"https://bertha.social/users/adolfoneto/followers","following":"https://bertha.social/users/adolfoneto/following","followingCount":337,"icon":"https://bertha.social/system/accounts/avatars/109/529/312/725/301/597/original/e66b7ecc1fc178c9.jpg","id":"76n094w2xxubxi3","inbox":"https://bertha.social/users/adolfoneto/inbox","iri":"https://bertha.social/users/adolfoneto","isLocal":false,"last_fetched":"2026-02-02 08:33:01.427Z","outbox":"https://bertha.social/users/adolfoneto/outbox","preferred_username":"adolfoneto","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyUkVn5JNFU8e+Yaj1TJA\nEVV5CzglO4FPmRJgrKIl4hqXXy/jBWQX5/o9IIoABEeneBFiq0cyQDOkrzXM+udh\nGJnnq/Dj++ne8S/rb6THAu6f7Du0rHBZnjaXyUMdL/d3BBBktJTqZxj00k7YbpxB\nwJH0+YXXFwmaa6Xyz9Notk92r9L66oZpq8xysDVHdrTQ/ukb9ZjXU6bHgrRcenU5\nracIcot/X1BQ0+FcoDqCmA6Zbt0xu/zMxMv6GgBbmGPTepryKgIJBZbKY9LMhZPE\nT/jDEg9xu8NuHQtAyWEqF/QzFuCp3Z5kBqQ0r3E92OMbKhF5QM61CpYd0RLmCETy\nzwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-17 00:00:00.000Z","summary":"

EN: Professor at UTFPR Curitiba. Podcaster on Fronteiras da Engenharia de Software, on Emílias Podcast (from Emílias Armação em Bits), and on Elixir in Focus.

PT: Professor da UTFPR Curitiba. Podcaster no Fronteiras da Engenharia de Software, no Emílias Podcast (do Emílias Armação em Bits) e no Elixir em Foco.

https://linktr.ee/adolfont

","updated":"2026-02-02 08:33:01.427Z","user":"","username":"Adolfo Neto"}],"page":1,"perPage":10,"totalItems":6,"totalPages":1}

jpyamamoto

Followers