{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 00:45:21.336Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/tsungju/followers","following":"https://mathstodon.xyz/users/tsungju/following","followingCount":204,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/619/422/707/798/916/original/079ff8c1c7146d8f.jpeg","id":"4w7ffd4ufte4b09","inbox":"https://mathstodon.xyz/users/tsungju/inbox","iri":"https://mathstodon.xyz/users/tsungju","isLocal":false,"last_fetched":"2025-11-10 00:31:47.792Z","outbox":"https://mathstodon.xyz/users/tsungju/outbox","preferred_username":"tsungju","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAzttbR1JznIUVEDSYLWSH\ntT+ytFocrHnZQ3Ih172UNDKwt4B8eFlTDmlMRPuJJDBnUqofNRM7cb/HtiG2WAa0\nTSxQ6GF61Kb7mir0pFje+wimIsuLkTRFQmFD8FxNkRIN6HN/SdGJbqZsmYUzP37C\n2djhxpMz39CC53F5M2kLyMouist3LPy4C3X92LWlqcLgzHQzmaR46PkEonwzMWfG\nse4uhdb6Q/vTYs3xYt1YxG+z01IqeyNZfpkRQWzvw3xU0JUCl+g6qF4Wbv9/imhW\nCe5cjDbCKeVCltMJ7YpTSz7xWQs+GSdwyTHnTezZah3WpFE6GuJ8kN/1FquT4a0a\nrwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-12-21 00:00:00.000Z","summary":"

Studying programming languages

","updated":"2025-11-10 00:31:47.792Z","user":"","username":"Tsung-Ju Chiang"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 09:08:04.880Z","domain":"mathstodon.xyz","followerCount":37,"followers":"https://mathstodon.xyz/users/ar/followers","following":"https://mathstodon.xyz/users/ar/following","followingCount":282,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/310/694/557/019/739/original/9d524e29c2cd4ab5.jpeg","id":"vge32juqx238pr7","inbox":"https://mathstodon.xyz/users/ar/inbox","iri":"https://mathstodon.xyz/users/ar","isLocal":false,"last_fetched":"2025-11-10 00:31:47.835Z","outbox":"https://mathstodon.xyz/users/ar/outbox","preferred_username":"ar","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtPaXIQDj5huKtLeIpIv0\n/sXNTzu6oljfaCPJ9scqFgK6rfIYYhrgBpcSNALze8B+SdOA/oE05mwUsC9K7FQF\nr2rjM3GrtAH9QG+nz6WtRZjuvMdobVjFbFMqVN2UKIn/li8WRvGkh5EuHML3qOR+\nocXJVE8bymNbbacVzjM+W9zouvMP0CXY+wjB44+oWwxKpWDcYiZPsTwn9nnusSn9\nINr8kUO8eM3349t6z1fMIg0ljp4MTtntgT+XKEKCZy6Ls5NvUw9G1wAkysVMhNFr\n1Z+lAXdLjvWICz2iwXurlmka98cZJFu3OB0oR25/TRBF/a3zBzoOqpy6ru3K9HuY\nRwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-10-28 00:00:00.000Z","summary":"

Applied mathematician in industry. Lover of probability, functional analysis, and numerical linear algebra. Secret APL/J/K/Q enthusiast. Learning about graphics, types, robotics and embedded systems in my free time! I also like to draw, make music, fashion and cats. 🏳️‍⚧️

","updated":"2025-11-10 00:31:47.835Z","user":"","username":"Lily"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-31 07:02:17.976Z","domain":"mathstodon.xyz","followerCount":72,"followers":"https://mathstodon.xyz/users/ToucanIan/followers","following":"https://mathstodon.xyz/users/ToucanIan/following","followingCount":71,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/313/803/364/116/583/original/5121d02fb18287b0.png","id":"9mulr880xgkvvdy","inbox":"https://mathstodon.xyz/users/ToucanIan/inbox","iri":"https://mathstodon.xyz/users/ToucanIan","isLocal":false,"last_fetched":"2025-11-10 00:31:47.879Z","outbox":"https://mathstodon.xyz/users/ToucanIan/outbox","preferred_username":"ToucanIan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA3geccA/r/xpd8stcExc7\nFASDdOXegGHCG8SWatzv0zl60Hi0T2zqVQc7KtL6t5W5q1v2LiAuKaaVZVKAME9n\nCG5f8NnYnDIAbs2l8qGuXxs5ZVBWqusQluyWnEKWBkFZlNVtdnlXuCRfICZ2pBd/\nZHlP2z+7aYKbVQ3IIJogZ7Cbuj0+aq4qI7Hi5qlRsPUfc4le38xIGmEw3yRpy70V\nonBf292/e16fORBuMyWO7zy40hoJZcL/8kHePlkJy09vxFA1iyG7y9AMsZbczB0O\nMGW3zSpxR/1SJbpXVukGYIQAdMu1qoeWRO/mvlIr5uEUtQ23O3TlpmdZsJDw58ds\nyQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-09 00:00:00.000Z","summary":"","updated":"2025-11-10 00:31:47.879Z","user":"","username":"ToucanIan"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 09:03:19.839Z","domain":"mathstodon.xyz","followerCount":700,"followers":"https://mathstodon.xyz/users/joey/followers","following":"https://mathstodon.xyz/users/joey/following","followingCount":769,"icon":"https://media.mathstodon.xyz/accounts/avatars/110/759/835/669/207/027/original/e4b3291650748746.jpg","id":"fe8719ckgikcnz3","inbox":"https://mathstodon.xyz/users/joey/inbox","iri":"https://mathstodon.xyz/users/joey","isLocal":false,"last_fetched":"2025-11-10 00:31:48.767Z","outbox":"https://mathstodon.xyz/users/joey/outbox","preferred_username":"joey","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuuyXP12Q1eND/tAmB3sh\nmUM/G/Wa6Gfm7F+0OZCgK7abAUpk/PiAw8dsj7wBJ5NoHYJsh5MCUEEu6OPeVj89\n5P9bldhXOojmU+oCzlA6i8aAgJF9f+LSCJHIwEJhJLL0Hi0bCfoZb+++zTj12Qbe\nipRiZXeFC+WcTHPx/3aET+octDlHTxerh6cPyrUnRbPG+DnqflivQcSHrVAHW3rC\nl09LDWvf9soeYPNZl3j1CeefYY+XIlPQD+6mzBmdexr71MmXMq6/5vFNLrAbJR58\nqO+/rt3kAqxpgz9hMTEiFB571qtp8tGlQ3XAa4rdsA7dCG1NYu/vmJsODA0FqWw0\nnQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-22 00:00:00.000Z","summary":"

PL Researcher. Assistant Professor at the University of Regina. 🇨🇦

Currently recruiting grad students - see https://eremondi.com/post/recruiting-grad-2024/

Formerly a Newton International Fellow at the University of Edinburgh with Ohad Kammar, and before that, PhD at UBC with Ron Garcia.

Broadly interested in making it easier to prove software correct with dependent types. Projects include dependent pattern matching, gradual dependent types, and error message generation.

","updated":"2025-11-10 00:31:48.767Z","user":"","username":"🇨🇦 Joey Eremondi"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-08-30 09:43:22.102Z","domain":"mathstodon.xyz","followerCount":18,"followers":"https://mathstodon.xyz/users/kevinlopaq/followers","following":"https://mathstodon.xyz/users/kevinlopaq/following","followingCount":89,"icon":"https://media.mathstodon.xyz/accounts/avatars/113/885/036/582/942/509/original/49d10478b6630ef8.jpg","id":"4g2a7n2v42762za","inbox":"https://mathstodon.xyz/users/kevinlopaq/inbox","iri":"https://mathstodon.xyz/users/kevinlopaq","isLocal":false,"last_fetched":"2025-11-10 00:31:48.807Z","outbox":"https://mathstodon.xyz/users/kevinlopaq/outbox","preferred_username":"kevinlopaq","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA28onTFkUP17d8XAM+Fcl\nvO+bcjgpE+D1O5EcoqrUVuPRfMqQHDMagohUx+Ht4nYq83oe7qJgkweW37Oajt0U\nfM8qcdmnbagcgJdDNfBcodmMck0UJIHBnT7P2NDeIuf8P/mSADYpb9L0m82MgM32\nCPgT/gi8q9FqwkY1fP+6775Ds/g84Tm5rQkblx81cgk5yejEZ0uvrwsnh2wRT6Qm\n4jdTlaKNDrgALzadyfMJSQHyYnf57F6SvylO53g/aIR3V9Gkmz3zEApFSE5pJiuk\nSWd0sYImlRZWpKJtFviJHI42Bcf1BWt7AmfCF4xcram6hE8oOyeT/K8P0+biti5J\npQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-01-24 00:00:00.000Z","summary":"

CS PhD Student @ IMDEA Software in Madrid. Interested in logic/type theory and the semantics of programming languages

","updated":"2025-11-10 00:31:48.807Z","user":"","username":"Kevin López-Aquino"}],"page":1,"perPage":10,"totalItems":28,"totalPages":3}

Kevin Graaf

Followers