{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-25 05:44:33.868Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/ap/users/115831735184365733/followers","following":"https://mathstodon.xyz/ap/users/115831735184365733/following","followingCount":0,"icon":"","id":"irlnjhs6yllrlc5","inbox":"https://mathstodon.xyz/ap/users/115831735184365733/inbox","iri":"https://mathstodon.xyz/ap/users/115831735184365733","isLocal":false,"last_fetched":"2026-02-06 12:50:52.729Z","outbox":"https://mathstodon.xyz/ap/users/115831735184365733/outbox","preferred_username":"mdmisch","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAptqkjAm7s3QywYpXIJoH\nmAT8FFAijyfui3+kMZOI/2oniBfQ86MY4yE2rgar5JU2Kt75ZfSCAgOcinc1wrSa\nF3QBtRIrHBW0kOiyfkrCLJtXmtfmrknpNoYC+ElZGy1WtKGRPeaTarYygGw13aIf\nA0s85ATmqH5Bj++dbkBJQpiORGqtVcw45mcmXVPUJm8MBgYcqNuq+NU0onCQRQKN\nPtWqNqrxhMa0BZ1qhrYDIH6fF8+kriiqOHatqxLwrewxAp5/DseSzID0UJNELl3W\nQkT5n2aRrK8FxF8vWTfvNsXYbiQPiskhTip7FNRot8IxjUqgoujCccEzceDny6dg\nRQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2026-01-03 00:00:00.000Z","summary":"

My passion is logical approaches to AI: automated theorem provers, knowledge databases, all that stuff. Not that I am an expert in it, but I am self-stydying in that direction.

I am currently self-studying category theory because I really want to understand a particular paper on hypergraph databases.

PhD degree in System Analysis.

I have collected skills & experience in a wide range of disconnected fields, e. g. developed a LaTeX document class for a local journal.

","updated":"2026-02-06 12:50:52.730Z","user":"","username":"mdmisch"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-26 13:27:50.947Z","domain":"mathstodon.xyz","followerCount":84,"followers":"https://mathstodon.xyz/users/Theoremoftheday/followers","following":"https://mathstodon.xyz/users/Theoremoftheday/following","followingCount":76,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/381/384/986/208/113/original/6b6ca910a74bc616.jpg","id":"visap9vi655gtc7","inbox":"https://mathstodon.xyz/users/Theoremoftheday/inbox","iri":"https://mathstodon.xyz/users/Theoremoftheday","isLocal":false,"last_fetched":"2026-02-06 12:50:53.180Z","outbox":"https://mathstodon.xyz/users/Theoremoftheday/outbox","preferred_username":"Theoremoftheday","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvrMCnnL5H9qnAXJVM2a4\nzpHEDErV8QYTCmr+0bf+qNsKCQy+GfrTX5MYEmloedluVKf1V8QctrCM2aeDl9Tb\n9hXWAs0vnbDSZK9vTRCZ+XFVNUOzjJ9g0VVNmcEvtu23n4MMwPSpyJT5g3h5Ifya\n3a7xaPkUbrygvAmrUOyGqCkRR0Ss6AG2SRKvS6V+y68Gl0oY584svIzuorjaupS+\nLwCp8B2r8G3PeFp1XAuJ5gG4bBDVYJl8OtDXEB1T0O7NgmKkTjNLkYrqgqVFKU21\n9irJaCTqjg/lXGgNgIzwW/MfCjjh3/KNzr5aMizRnDkK1e9PKUzC9RbTNMwgaMWk\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-21 00:00:00.000Z","summary":"

Welcome to a gallery whose exhibits are the crowning achievements of mathematics: her theorems

","updated":"2026-02-06 12:50:53.181Z","user":"","username":"Theorem of the Day"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-06 12:50:53.316Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/carlostomas49/followers","following":"https://mathstodon.xyz/users/carlostomas49/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/115/378/798/573/688/303/original/fb161dbc52c09526.jpg","id":"dvy3c1dmffu98l0","inbox":"https://mathstodon.xyz/users/carlostomas49/inbox","iri":"https://mathstodon.xyz/users/carlostomas49","isLocal":false,"last_fetched":"2026-02-06 12:50:53.315Z","outbox":"https://mathstodon.xyz/users/carlostomas49/outbox","preferred_username":"carlostomas49","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAoI8OoixjPIFvYFwcONsY\nXf5LYY6ElOoe8MrXxjItYcjDdgTAtk7hP230Cm7t3E1RfCsf/SIP9piZj1eUV7UC\nNl+UUwl4a4xsGCCQkV3NPvn9MvvdjJs0PCblZv782RYZ8SptrjHAjP7L7PV6A1qG\nkAcMHt0zpIx6JYkulbSVvB2uPf1D8W1NkH06aaH2DFm6QAvWiuuYzamq+cmMzZU+\nraahvVZYOtSyzs/GPREbPVICLwh9KHzhy/fW63n8ULaQfyxQQN+03AjtK8+pM5DM\nUkt5zO0g1GP8v2Z9rezHaJ4RlE7tekAXRSONakpUVUrnuWGBwtWFMRByIBrVFMt5\n7wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-15 00:00:00.000Z","summary":"

Independent mathematician & modeler.
NSF-backed continuum mechanics → mathematical logic & complexity theory.
Focused on rigor, structure, and the bridge between proof & computation.

#Mathematics #Logic #Complexity #Modeling #NumberTheory

","updated":"2026-02-06 12:50:53.316Z","user":"","username":"Carlos Tomas Grahm"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 08:15:32.880Z","domain":"mathstodon.xyz","followerCount":529,"followers":"https://mathstodon.xyz/users/PetraSchwer/followers","following":"https://mathstodon.xyz/users/PetraSchwer/following","followingCount":391,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/268/244/768/575/469/original/7a618fe1033d221c.jpg","id":"3tzj1qyi1u3gz14","inbox":"https://mathstodon.xyz/users/PetraSchwer/inbox","iri":"https://mathstodon.xyz/users/PetraSchwer","isLocal":false,"last_fetched":"2026-02-06 12:50:53.456Z","outbox":"https://mathstodon.xyz/users/PetraSchwer/outbox","preferred_username":"PetraSchwer","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1RWElb/dC7dV9OaZ4Qyi\nAebvALouSJVnc61+peolKWB+n5VPrcUUJRG0VKS6sHzdIj4PS1R2Hwwr/m+5ooY6\n7ZhH5cssb/6ZwMJ7RBWSMIuxlFbJA8ZvXHQB51ixSdzKBALSZTG0zsUEFqFHCqSg\nMp7yh0vTeLr5v8Mb7cbYuvj9SLD+fCmj2ySfOZJo8SaTu/NH3H+8VtiwBtu1o0Ei\neYLSFLhzTx5IKgh4NSRTQCIIBJsiikikhwDbmI/L0Pq7phKy/31jtghRxPPvipdh\nCTYFvwpVdH6CAD9QiuOOWch1tWuMMiDCrj/ijUeiu2/96zhnG664NTA6qohasqJy\ncwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-01 00:00:00.000Z","summary":"

Math professor in Heidelberg, Germany.
I like groups and geometric spaces, all things symmetry, coffee, art and chocolate.
(she/her)

","updated":"2026-02-06 12:50:53.456Z","user":"","username":"Petra Schwer"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-24 13:42:38.763Z","domain":"mas.to","followerCount":0,"followers":"https://mas.to/users/jcberentsen/followers","following":"https://mas.to/users/jcberentsen/following","followingCount":0,"icon":"","id":"rqeubqbbehq95gf","inbox":"https://mas.to/users/jcberentsen/inbox","iri":"https://mas.to/users/jcberentsen","isLocal":false,"last_fetched":"2026-02-06 12:50:54.114Z","outbox":"https://mas.to/users/jcberentsen/outbox","preferred_username":"jcberentsen","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3pniP8yhIpTtxnq3ZIpA\nGWEXoqxSkzm+WfGzmH0NkqC6SiKyg7WP1xGSnYUHBchVtBrjIRdyMkW0i2bSp3AW\nlhGsqL2/ORUhSjURrKDvOx+dyOfLoXjaIQs2CQW6e8s1kOTxKIyDFNyTt161Z0Nn\n4QRv9YaYaWAW1zlsLknd5syJ+dUa7HPklVCiN5X3Owt+kiiZ850ySPP0/es53mue\n5d85zmMGk/9RZzvbAzMHA+Gowk6mrftDWUxR/O8lJK6DXswx17x1ltX/DbqHfGE2\n0XViWFh2Ib9y5Bcu80wWWwfNXstUnROnVZudLBGepzTatarP6IRdqttRR8ArvFil\nWwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-10-11 00:00:00.000Z","summary":"

software evolver

","updated":"2026-02-06 12:50:54.114Z","user":"","username":"Christian Berentsen"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-23 15:49:43.749Z","domain":"mastodon.social","followerCount":178,"followers":"https://mastodon.social/users/jao/followers","following":"https://mastodon.social/users/jao/following","followingCount":55,"icon":"https://files.mastodon.social/accounts/avatars/000/325/967/original/975354856bb3a6dc.jpg","id":"m33y0hmatghgvow","inbox":"https://mastodon.social/users/jao/inbox","iri":"https://mastodon.social/users/jao","isLocal":false,"last_fetched":"2026-02-06 12:50:54.318Z","outbox":"https://mastodon.social/users/jao/outbox","preferred_username":"jao","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4y9K1ygPV3oWC9Ayl5if\nfls7YbZ6wwjVVg3SbeD/AeAeEVtQV+aeWW1uxdBBoPf4jiRN3UFL9eEnigHN2sgl\nkcl0aP56bnQ6xKlIlSgFJF7ceKGOFDqkn92xLzTBt6YrvTSzddrjzpRggAx+GgR3\nmZQ0GqKX4rjCAhT0KRj1rjUI9uh7Vhd1OwEstMwLWOX8u/oNbSQqSdlK0JQ3C/x+\nrQ6S0Pq46rjS7NBRcfNwK7RBfFgwktxnNhYYsXIXjt9gbjl58CQTcUIaksltLNJH\n+tfxL+VtDdYJgMrCqR01l6mYA0e/gP6aBsi5xT/VOtnFsUwxnOmt3aoaUenEx2Ki\n1QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2018-04-12 00:00:00.000Z","summary":"

https://jao.io

","updated":"2026-02-06 12:50:54.318Z","user":"","username":"jao"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-02-03 14:10:56.342Z","domain":"functional.cafe","followerCount":0,"followers":"https://functional.cafe/users/filip/followers","following":"https://functional.cafe/users/filip/following","followingCount":0,"icon":"https://files.functional.cafe/accounts/avatars/000/091/538/original/3becfbee987e9a99.png","id":"jdp0ue0qvlds7tl","inbox":"https://functional.cafe/users/filip/inbox","iri":"https://functional.cafe/users/filip","isLocal":false,"last_fetched":"2026-02-06 12:50:55.698Z","outbox":"https://functional.cafe/users/filip/outbox","preferred_username":"filip","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAvpG9qCZt4bwfUxHUOB/B\nvV8tnwK8W2Xeh7T8Ww5wICjx4U4K0A4Sr2pyfY2fC5s1hdpSx6SYJCLjgeFq5vwN\npY7uyf0lkXjeJR0Q0WfKwYAuwpU6o0lisPNSf1bAWTGue1ESySt7qgMat9F7X7FB\npF9Va3o6lDz012EhwKKNqUHBD0reamcCNSLWkIQf5Bid1uGOv7Rqmr74kH80cZjL\nvtSuw1gCLsqhIUdwwvB2b6JTypxx0X0DMLUsk8nMsi0rp02Ftxq8Fyjr4sDtoipo\n+Bc4BbD7gvZopoWrFQM3Vrw+reRsooE6fHNdGdJYAfQnBB73kT/W3cu/ARngFhkD\npwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2019-05-14 00:00:00.000Z","summary":"

Some opinions, held with varying degrees of certainty.

","updated":"2026-02-06 12:50:55.698Z","user":"","username":"filip"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2026-01-21 01:07:48.037Z","domain":"mastodon.social","followerCount":193,"followers":"https://mastodon.social/users/foxmean/followers","following":"https://mastodon.social/users/foxmean/following","followingCount":1189,"icon":"https://files.mastodon.social/accounts/avatars/000/203/834/original/b64fcc50830394fc.png","id":"qd8o4qaqxlcbomv","inbox":"https://mastodon.social/users/foxmean/inbox","iri":"https://mastodon.social/users/foxmean","isLocal":false,"last_fetched":"2026-02-06 12:50:55.887Z","outbox":"https://mastodon.social/users/foxmean/outbox","preferred_username":"foxmean","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA8WV/CCffcVEkYtCwR1Zw\nBbMzdPD6XyP3RgfI+wlmUBh53Te0O/fiTwxWVVaEEpAL/g7ce7+7HNE+J0f3e4hq\n2ahxjA9mK6QyJ2mspfCQsAMxtT/idLM/N6Ox2iAx9dFhPMIQUKhbe6lcit8qQhYS\nThZHNr5M3ESiGL/GP5iSrlCjfneIip1vNdunlpGEBEaaBnYceTWAvOFI1AOkXqLD\nllSmRKDI45bwnirNjTvruzx0fgL6PNafYBWb7D33vH+izwRn3dX2+Sus3i/PomWV\nj+7EmqDzV+MRcpWPQucw5AlrBnsm2m3HsdTc2wUvljsHvJaVXmqTy0o+a7Oo6m0L\nwQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-09-17 00:00:00.000Z","summary":"

Degrowth communist, Haskell, Lix, Rust Thai native with ability to read English and a little bit Mandarin/Japanese

","updated":"2026-02-06 12:50:55.888Z","user":"","username":"foxmean"}],"page":1,"perPage":10,"totalItems":1509,"totalPages":151}

José A. Alonso

Following