{"items":[{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 09:09:41.812Z","domain":"mastodon.world","followerCount":0,"followers":"https://mastodon.world/users/swap/followers","following":"https://mastodon.world/users/swap/following","followingCount":0,"icon":"","id":"v5ugkf8odtg5la2","inbox":"https://mastodon.world/users/swap/inbox","iri":"https://mastodon.world/users/swap","isLocal":false,"last_fetched":"2025-11-19 09:09:41.812Z","outbox":"https://mastodon.world/users/swap/outbox","preferred_username":"swap","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxz7YYpsQ6nPotZ16kXdN\nDXcubv3B6DDXjFsUH8kRp/kmBGusWWfEzkBJbZqxM/JV6hXvUYGcDMVUxteOd8MP\nVdcTW6JrJ6dRG61XAkjd1EmAHp19r/tUjFzq8bDPLQunb7Y0sVbkRQcvz8Oo/wTI\nT0KNZbbAp14lmFpLUT3GH++dFtSbO9NvM4TKQFc32oCdhzQB0YYYY05XM8GGcsm9\ngltkV+/Sa35VoIkERAXYsAyNldsK8Xu7U3KD1X+cCPZal5iBV3wE+4HJoWiIqABB\nWbgAjiXoaEG5qJVNZLQIaEeFhXz7lkXUK+tT7nRRuFpzb4kZGh336Syzw+d3Vkd5\n8QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-07 00:00:00.000Z","summary":"

Interested in programming languages and operating systems, especially older ones.

","updated":"2025-11-19 09:09:41.812Z","user":"","username":"Another Michael"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 09:09:41.940Z","domain":"sigmoid.social","followerCount":0,"followers":"https://sigmoid.social/users/ryanjoneil/followers","following":"https://sigmoid.social/users/ryanjoneil/following","followingCount":0,"icon":"https://cdn.masto.host/sigmoidsocial/accounts/avatars/110/707/332/546/248/297/original/c30abbc96cb05501.jpg","id":"rpmv6kfem0blgl4","inbox":"https://sigmoid.social/users/ryanjoneil/inbox","iri":"https://sigmoid.social/users/ryanjoneil","isLocal":false,"last_fetched":"2025-11-19 09:09:41.940Z","outbox":"https://sigmoid.social/users/ryanjoneil/outbox","preferred_username":"ryanjoneil","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtxgJU6D8+5FlW0p1Tta2\nFDwBCk4+IB+uzdM4ufXn8Q9C1e00xmMRGAjKveQ2Yas3TtOyAqX4ysZbRZl+yBiz\nGiNvJyfXM/n6LQVA+axdvN0psECRDElq7hH/vtbsPXUpN7QAtisplQwiU2aw7Dt/\nFKiFeA/QpciKgbTcU/lA5ymPE7XFNCwFG89ubL5I9uuUeGrYTHYmGu6jk2RLT9ZM\nKz92UqYhJgZmKh0eZPejMFw96I+Xu179v2mdq++m9qTFSF1vL64NYhBwCUyUzlmv\nSkMoDbBowMt65WUOAD/8V9kH9PvPOSy7bGlx0gxvEkKdUCUG/J5u6LoZEMli56KW\nJwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2023-07-13 00:00:00.000Z","summary":"

Optimization AI — Integer and Constraint Programming. Decision Diagrams. Cat and early music enthusiast. Founding nextmv.io. Prefers Go, Python, and Julia.

","updated":"2025-11-19 09:09:41.940Z","user":"","username":"Ryan O'Neil"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 09:09:41.994Z","domain":"mas.to","followerCount":0,"followers":"https://mas.to/users/gdelazeri/followers","following":"https://mas.to/users/gdelazeri/following","followingCount":0,"icon":"","id":"r2qpog8ixo0aebg","inbox":"https://mas.to/users/gdelazeri/inbox","iri":"https://mas.to/users/gdelazeri","isLocal":false,"last_fetched":"2025-11-19 09:09:41.994Z","outbox":"https://mas.to/users/gdelazeri/outbox","preferred_username":"gdelazeri","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArUu9SRnq7ms1PrXCne4a\nTTrVG93Kz5B276ORlX4+tsB1ItrAl4UFU3QjQ6qZaTkzNLtuaQ6noEVZfNQMmpdl\ngedjloZHo6JrbYy9zmrLWg1e1lyJz2jtY+dh7LbhtANmUJECATTsnXujp4be4On6\n0npzf6xu4gWe03fikp/KcIRZCd+rIyvLQ1cFcBCBV5/WusHO0QNeZNbGuiXfjMEk\nJiohkmAMZX7b0ZPcVJU4OE3qFPSVxtih4GpHBryc2l1JD8rsBL87HhabzMaI2XPj\nPrx2oTBmjbuPEhaG8a2G6dIwWih3cQXPLY0DneSmAxile6ljjdr+NsdTntfUGV7K\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-06-05 00:00:00.000Z","summary":"","updated":"2025-11-19 09:09:41.994Z","user":"","username":"gdelazeri"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-25 05:28:56.233Z","domain":"mastodon.social","followerCount":318,"followers":"https://mastodon.social/users/firusvg/followers","following":"https://mastodon.social/users/firusvg/following","followingCount":591,"icon":"https://files.mastodon.social/accounts/avatars/000/198/291/original/77abcb8dc1e52dfd.png","id":"udta52udyya6pru","inbox":"https://mastodon.social/users/firusvg/inbox","iri":"https://mastodon.social/users/firusvg","isLocal":false,"last_fetched":"2025-11-19 09:09:42.245Z","outbox":"https://mastodon.social/users/firusvg/outbox","preferred_username":"firusvg","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA50UHBmTjgCAPaZfuvUyH\naEkJrmtkC1fnFFMgG+LFNs2f6vC8F3QhHbyiICvKF6ty6l9F2VJiHrPCAkHHwhe2\nvrDQD0G6EBeEKG1DNHwQj/qUpAbFo6zEIPUe+4pDmb4uARetgL6xJC7rB/agUJ9e\naJdXPkdRXa9tJoAfPQp/aUiEFyCgw67Km/nEcwbLaAszxhUPUfN6rBtxVPsqTIns\nvZBcHEEa+tCXUGkFMUJWqv65Q99QkAvzEYnV6Sr5gn7huLbKDX+SWXGxxMFOnxOJ\nUTuaSndfO0bJKU+1TaDuEcjqbkBZNTU6726rF+dDAEe0MDXpjUioI5l/Rf3XbhI0\nDQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2017-09-10 00:00:00.000Z","summary":"

Ako treba, nema potrebe ...

","updated":"2025-11-19 09:09:42.245Z","user":"","username":"Vladimir Savić"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-01 03:53:46.765Z","domain":"mastodon.social","followerCount":1261,"followers":"https://mastodon.social/users/rperezrosario/followers","following":"https://mastodon.social/users/rperezrosario/following","followingCount":1700,"icon":"https://files.mastodon.social/accounts/avatars/114/294/472/025/485/211/original/61ae2334187a5d5f.jpg","id":"cjst70497lkmhqb","inbox":"https://mastodon.social/users/rperezrosario/inbox","iri":"https://mastodon.social/users/rperezrosario","isLocal":false,"last_fetched":"2025-11-19 09:09:42.606Z","outbox":"https://mastodon.social/users/rperezrosario/outbox","preferred_username":"rperezrosario","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtdoJOxfiK6Gw2TTUS1w7\nRng3O0XSFneDsgdFonTyJdyg5qg17OcCsGV68N1D1mt7H0EiYDX8JUKrvUXSvvR7\n1rVAcqONYnrJ41v8crrQjzMihWwcRGu7aNZ9mfYxwTuRj1/05I9XmDGQFocX5diR\n68hOhleBfgCb6XfzLGLKuf+lxD+1CVndaOucZ6ayH+7Iy454YTd9LFIWcrDP6p/4\nURRIvLUQ/gFYFyT7wE/0kfjEo3+NnXZTbpKt4OU5xmXqhNwvK0kpPsb1839ZaSVv\n7MV0w4UtZEguyNy8fX45X/CBgvIuHE5ck0ZKQAivJxu95FQ4GoBuwt06Qe2gUpZG\n9QIDAQAB\n-----END PUBLIC KEY-----\n","published":"2025-04-07 00:00:00.000Z","summary":"

I'm a software developer based in NYC.

I post mostly about software development in general, web app development in particular, web apis, and relational databases.

I am also interested in data visualization, AI, and CS related topics.

My posts are searchable using TootFinder:
https://tootfinder.ch/search/@rperezrosario@mastodon.social

#developer #dotnet #webapi #sqlserver #postgresql #csharp #angular #typescript #javascript #html #css #webdev #softwaredevelopment #programming #ai #compsci

","updated":"2025-11-19 09:09:42.606Z","user":"","username":"Rafael Pérez"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-26 18:31:29.341Z","domain":"mastodon.acm.org","followerCount":0,"followers":"https://mastodon.acm.org/users/ACM_Ethics/followers","following":"https://mastodon.acm.org/users/ACM_Ethics/following","followingCount":0,"icon":"https://mastodon.acm.org/system/accounts/avatars/109/538/113/072/993/735/original/b414ecd6ddd6c6d1.jpg","id":"hysw62axqtockw5","inbox":"https://mastodon.acm.org/users/ACM_Ethics/inbox","iri":"https://mastodon.acm.org/users/ACM_Ethics","isLocal":false,"last_fetched":"2025-11-19 09:09:42.814Z","outbox":"https://mastodon.acm.org/users/ACM_Ethics/outbox","preferred_username":"ACM_Ethics","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4ZQ9eiHFc0M3ceUmEUb7\nIJYVjSjlAC0adgityTeyEwM0r+y4lfYUoF0ANfuTQa4G/T5uj87ACK7d/jbdLfxH\nH2RA8SXpbuL6Zy+q6zredMeTzEK3b4zH8xDlKc/XdNgeR2JqwTlUCx5qvXwsS+fR\nrqLf2+BikxsmxhmrtbLoqze4OJylEh55qKfycLtR0ou7JQ6lBOqusaEpxR8Y75rw\neU2nFhsUMXF0OknWxwMg7NFsu8GtMkTBmDbTPBMGOc72Tf50LP5IoTpn8/xZ6Hb1\nnCgh9ST4fs9MrmOzboCOvb4xdIieJA3oSQhZkq90JkHqMCcdeBT3hLpigtGVqLal\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-12-19 00:00:00.000Z","summary":"

Helping promote ethics in computing & related professions. Re/toots do not equal endorsement - intended to inspire discussion #IReadTheCode #ACMCodeofEthics

Comments/questions about US gov't policy & the ACM should be directed to https://www.acm.org/public-policy/ustpc Our account does not address any of these issues.

Report violations of the ACM Code of Ethics here https://ethics.acm.org/enforcement/report-a-violation/ We do not address Code violations on social media.

","updated":"2025-11-19 09:09:42.814Z","user":"","username":"ACM Ethics"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 09:09:42.958Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/skelk/followers","following":"https://mathstodon.xyz/users/skelk/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/111/764/278/809/078/300/original/15d3ddc69c99bced.jpg","id":"648bvv75pakibsm","inbox":"https://mathstodon.xyz/users/skelk/inbox","iri":"https://mathstodon.xyz/users/skelk","isLocal":false,"last_fetched":"2025-11-19 09:09:42.958Z","outbox":"https://mathstodon.xyz/users/skelk/outbox","preferred_username":"skelk","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAskFcI1OAfZ1finOj0GPl\no9kjcXRwmVz3rEYTcNLznv62q/i2iLPgiy8YohkjCOhB8C+6LxPZ3ePxRKK4I7Nz\nUit3RqN0gJwNGdtyFhz65wkTGwIZ25fa/PXAl5W+Mbn/rLdLU5HDQtss2wn836EP\n7El2PtA8/mMMVR/1VOuYiBzbN6XYI3qAU3XeX8dXsmyxCd8Gm9KqfbMxY63ERte4\nruO66SQlzScaKdjmT5cnM0kkKldfatw0lw6i2QMrjjEatOaGZliaAewXj61mijY6\nuKkKSJMfEpn+G0+QmTGyTORz01pN3Upm/X9RdPfzjN9PrTuInxxoKcs5fIx9jUij\n8wIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-01-16 00:00:00.000Z","summary":"

Associate professor at the Department of Computing Sciences (DACS), Maastricht University. Interested in algorithmic graph theory, phylogenetics, fixed parameter tractability, combinatorics, algorithm engineering and proof assistants / computational proof.

","updated":"2025-11-19 09:09:42.958Z","user":"","username":"Steven Kelk"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-28 10:33:13.437Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/OscarCunningham/followers","following":"https://mathstodon.xyz/users/OscarCunningham/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/108/883/431/982/211/762/original/ba139ab6efaf4f0c.png","id":"c7zhfosfntx9r45","inbox":"https://mathstodon.xyz/users/OscarCunningham/inbox","iri":"https://mathstodon.xyz/users/OscarCunningham","isLocal":false,"last_fetched":"2025-11-19 09:09:42.997Z","outbox":"https://mathstodon.xyz/users/OscarCunningham/outbox","preferred_username":"OscarCunningham","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA4/OVtbyVckhZiUkmpEB9\n+bSxpY6lruMsONAwcECnmhTZToOUmfGOyHYzX80wZ20jrFlw7fvrbIjBMt7PIfpK\nel0qTUfTfomtCn2VvRbSKf2HNYSgnCA4eB1qehowRWmv1LevrLJH5hVk6hKZa829\n/4YAIKO9sjTI3NQZI7aRAUq4Z4MT5mKxRiqzlK5qeaN71As5P2oG+wVxBPbq+ReH\nSIaepFHxy2mouVxm7h75Tf5dyFcbUtmWJnq06WcPT36cjgnJsGOXC95gkWiUYhMa\nuDcYtNBnkqMxjOD31Ui4M6/arm/0OmpOyt9peqHx7JML4inHCc5nGc3Go/XddF84\nkQIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-08-25 00:00:00.000Z","summary":"","updated":"2025-11-19 09:09:42.997Z","user":"","username":"Oscar Cunningham"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-10 07:03:30.875Z","domain":"mathstodon.xyz","followerCount":0,"followers":"https://mathstodon.xyz/users/mikolas/followers","following":"https://mathstodon.xyz/users/mikolas/following","followingCount":0,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/297/746/628/065/826/original/d25b1dd82faa2c65.jpg","id":"9jlnun2hlz5stdi","inbox":"https://mathstodon.xyz/users/mikolas/inbox","iri":"https://mathstodon.xyz/users/mikolas","isLocal":false,"last_fetched":"2025-11-19 09:09:43.039Z","outbox":"https://mathstodon.xyz/users/mikolas/outbox","preferred_username":"mikolas","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAsuip64jkrxpExHCn0dDV\nYu717PCwZYTs1pNAovslOiLCVqsoTdcl3HDsEGcU7CEJQoVFXty01W7m629wVw0c\nR7m1lSn1vPz0yoqN/HwHZclwmp25Y9vQTS9OtdEIxjkqa70PMQ0N6iTMwWU7hNu9\n5FZedqjOUGWrB/E8fWOKxG93o0t71gtKinNVxeNRlbq4DTnwsDfOZstpGG1+nbgo\ni0EVW1jL/bfu+ZQs/gdlUhAw5uMKOmNlGKCQah5zJvtPRqK0Q9A8aHMNUwlww/+G\nTSjUHTX/kWFif2dxGpCM73VvqvBu+Q4VLu1JgTuZC2bTJZeAJ66xdPlTHKCqMyNu\nowIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods.

","updated":"2025-11-19 09:09:43.039Z","user":"","username":"Mikolas Janota"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-19 09:09:43.540Z","domain":"mastodon.sdf.org","followerCount":0,"followers":"https://mastodon.sdf.org/users/hakan/followers","following":"https://mastodon.sdf.org/users/hakan/following","followingCount":0,"icon":"https://mastodon.sdf.org/system/accounts/avatars/109/295/509/627/893/591/original/04bbc14cbbf2bf9b.jpg","id":"jg53lu8drsquet3","inbox":"https://mastodon.sdf.org/users/hakan/inbox","iri":"https://mastodon.sdf.org/users/hakan","isLocal":false,"last_fetched":"2025-11-19 09:09:43.539Z","outbox":"https://mastodon.sdf.org/users/hakan/outbox","preferred_username":"hakan","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA1NV/TUZWx2Gd4idADFYR\n7mXoG5xojp2CtDvIUfY3EBC+0+lIWpGGoGc9iYHAgK03l+fUhm4miXVzFD3oCpes\nrw0W7uXzlf8Tj7Uhq51FJPc6jjNSMPHKlRDDepbmseVDFYwZibprVrrIYxF23X/p\n6FcukKdlBaID0JsCJn+uhDXTePw04UCJvOyJgeloFgfLBaqFS+9w1e4Pla8J+zoR\nQmHFG7iFWtdCHDLB0/SRDsO02VFEfdkhk0VdlpVTk18f40yRwe9z2XdfrSBO4g8s\nEps8JKbptYNeQ0yhE2cwMAhL8I0uNwZhX1OJrue5esxZtW/TUjUXnC4DhNeyZVd/\ndwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-06 00:00:00.000Z","summary":"

http://hakank.org/

Swedish Software Developer / Independent Researcher. Interested in many things, e.g. Constraint Programming/Modeling (especially Picat, MiniZinc, OR-tools, CPMpy)., Operations Research, AI/GOFAI, Machine Learning/Data Mining, Logic Programming (especially Picat and Prolog), Probabilistic (logic) programming (especially WebPPL, BLOG, Turing.jl, CPLINT, ProbLog), nductive Logic, Programming (especially Popper), Mathematics (especially Combinatorial and Recreational).

","updated":"2025-11-19 09:09:43.540Z","user":"","username":"Hakan Kjellerstrand"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-10-06 09:24:19.647Z","domain":"flipboard.social","followerCount":0,"followers":"https://flipboard.social/users/GaryOwl/followers","following":"https://flipboard.social/users/GaryOwl/following","followingCount":0,"icon":"https://m-cdn.flipboard.social/accounts/avatars/112/348/808/865/879/505/original/3321fa3a82d5055c.jpeg","id":"xd9sy7xv8nhlk0k","inbox":"https://flipboard.social/users/GaryOwl/inbox","iri":"https://flipboard.social/users/GaryOwl","isLocal":false,"last_fetched":"2025-11-19 09:09:43.746Z","outbox":"https://flipboard.social/users/GaryOwl/outbox","preferred_username":"GaryOwl","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtaWlSzaY4OevwfVvjbcA\nUk/GFC86PTnOXmsNcUHwlqS3mG1Dww1gPXBSIuBlmVjmUqr4i/bSefct8IRJZYXn\nCGGNDxSCU3jgPDyaINGaJQLxKYPuFP3vBZHuBKxNK9C4PQeHOBZ1RodW0+RBU9P+\n7R6vUy3ZgaNw7DvjSTb4HlJOnZo6VwV3F3UGA7QkTFjhsg0cgMIalz21nWi/XT54\noZ1u0YLgY5BjPFxeMIBgosutPUH7jysRnUHAa0EiJIHf1kNJmZFQwRGKp/pUCv2+\nEv1edCLnlGhzblAwjidnlzRXZty5njO0gsSBMoRjzw6ptpw6WjdX+ixcFsUJAOzN\nYwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2024-04-28 00:00:00.000Z","summary":"

Bemüht nett zu sein.

More #geny than #genx, I guess..

#genx #adhd #diversity #ai #devops #machinelearning #programming #coding #automation #llm #security #cybersecurity #linux #raspberrypi #opensource #api #opendata #python #sql #rstats #flipboard #surf #mastodon #fediverse #tidal #tumblr #digitalmarketing #digitalinnovation #data #datascience #dataengineering #datajournalism #researchdata #zurich #lugano #ticino #switzerland #italia #croatia

","updated":"2025-11-19 09:09:43.747Z","user":"","username":"Gary Owl ⁂"},{"collectionId":"pbc_1295301207","collectionName":"activitypub_actors","created":"2025-11-05 23:37:29.370Z","domain":"mathstodon.xyz","followerCount":199,"followers":"https://mathstodon.xyz/users/vishallama/followers","following":"https://mathstodon.xyz/users/vishallama/following","followingCount":1357,"icon":"https://media.mathstodon.xyz/accounts/avatars/109/284/060/878/154/141/original/60c59f3de5b8b31a.png","id":"pegocszpxio5whb","inbox":"https://mathstodon.xyz/users/vishallama/inbox","iri":"https://mathstodon.xyz/users/vishallama","isLocal":false,"last_fetched":"2025-11-19 09:09:43.788Z","outbox":"https://mathstodon.xyz/users/vishallama/outbox","preferred_username":"vishallama","public_key":"-----BEGIN PUBLIC KEY-----\nMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAtO/UFTOeAt4CKjwdiNUE\n3nrNJPUDT2Ov8bWfIzgt1PLfA0HB6FhwX7I6xUDpA/jwRmq52c4MfRR0VpE2Czl4\nLB2fakN8a0oHTxOeDZ6KPAmhJDaRXvn61l4kx3PmZ8MnfXN1Hh2TycW58KknOOk3\n4JJZ0zJdKNrTbRkEganxVnzQK2/j1qLGRhm51TzjMfRhVX0gyV0D1V5w5fPOOGSB\nPScVIjS7CA5o5sIRM99LOvtMERxXT59Ro80dLvPJabDL7GuuRsibILW+xkDM9b4s\ncVDOX2yqpv7mAX2ikd1s3NHlztq4h36FYoLd7uX3BdzsCHuLzv3AQ1nXGFO+Ta5p\nMwIDAQAB\n-----END PUBLIC KEY-----\n","published":"2022-11-04 00:00:00.000Z","summary":"

Software developer with an interest in using formal verification methods for solving business problems. I've also had a lifelong interest in mathematics.

","updated":"2025-11-19 09:09:43.788Z","user":"","username":"Vishal Lama"}],"page":1,"perPage":10,"totalItems":22,"totalPages":3}

Constraints Journal

Followers