{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":13697350,"defaultBranch":"master","name":"lob","ownerLogin":"JasonGross","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-10-19T07:30:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/396076?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1439330836.0","currentOid":""},"activityList":{"items":[{"before":"b4a9eb7633e898877e7209e2acece7e0b9da6cf6","after":"fe3113a89c155254a0525ea741aad7469361d161","ref":"refs/heads/master","pushedAt":"2023-06-30T01:22:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"93dfb021576920d2623b67f5dbae1f6601ea4f48","after":"b4a9eb7633e898877e7209e2acece7e0b9da6cf6","ref":"refs/heads/master","pushedAt":"2023-06-30T01:20:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"WIP blog","shortMessageHtmlLink":"WIP blog"}},{"before":"6d48d179e3a7b41a3ba6654c03d1157c50faa9e6","after":"93dfb021576920d2623b67f5dbae1f6601ea4f48","ref":"refs/heads/master","pushedAt":"2023-06-29T17:56:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"blob","shortMessageHtmlLink":"blob"}},{"before":"14135e13a7c28e2966114f455f71a99730e41bc7","after":"6d48d179e3a7b41a3ba6654c03d1157c50faa9e6","ref":"refs/heads/master","pushedAt":"2023-06-29T17:34:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"6feb042fb270b35e902d172a574c1887d202bf2c","after":"14135e13a7c28e2966114f455f71a99730e41bc7","ref":"refs/heads/master","pushedAt":"2023-06-29T17:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"7a99de6899c1bc53daa29561178d7481af64c3d0","after":"6feb042fb270b35e902d172a574c1887d202bf2c","ref":"refs/heads/master","pushedAt":"2023-06-17T19:37:11.697Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Add generalized version","shortMessageHtmlLink":"Add generalized version"}},{"before":"de4014ff8e77f0362bf585c356c0ba33350f3297","after":"7a99de6899c1bc53daa29561178d7481af64c3d0","ref":"refs/heads/master","pushedAt":"2023-06-10T00:18:52.382Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"More query stuff","shortMessageHtmlLink":"More query stuff"}},{"before":"ac7678fc837710ae6a1cd3453f3579b92c0593d9","after":"de4014ff8e77f0362bf585c356c0ba33350f3297","ref":"refs/heads/master","pushedAt":"2023-06-09T21:55:15.422Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Finish lawvere-query-with-properties-full","shortMessageHtmlLink":"Finish lawvere-query-with-properties-full"}},{"before":"cd6c9bf741797d27bb1c7b2b61b88e93beddb24d","after":"ac7678fc837710ae6a1cd3453f3579b92c0593d9","ref":"refs/heads/master","pushedAt":"2023-06-08T18:00:31.073Z","pushType":"push","commitsCount":2,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"482f25f36a93b38b5558b051b3ad6722569f6d04","after":"cd6c9bf741797d27bb1c7b2b61b88e93beddb24d","ref":"refs/heads/master","pushedAt":"2023-06-08T17:27:35.969Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"e71015fe851e6e6fd3adcd8cbaceee69590ca972","after":"482f25f36a93b38b5558b051b3ad6722569f6d04","ref":"refs/heads/master","pushedAt":"2023-06-05T16:58:02.282Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"lawvere-yoneda-boxless-from-query","shortMessageHtmlLink":"lawvere-yoneda-boxless-from-query"}},{"before":"9f6fffc5673f7b26de9c76c216999ad7413536a6","after":"e71015fe851e6e6fd3adcd8cbaceee69590ca972","ref":"refs/heads/master","pushedAt":"2023-06-05T16:30:26.187Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Add lawvere-query from Nate\n\n> mnemonics: A is a presheaf of \"answers\", R is a \"reflection\" of A into\n> the category C, S is some \"stuff\" (and also has the \"santa-clause\n> nature\" relative to A).\n\n> the sense in which S has the \"santa clause nature\" is that (a) any\n> \"real\" answer-over-S can be packed into an S; (b) we can query an S on\n> an S to get a \"reflection\" of an answer (that the former S gives about\n> the latter S); and (c) when we query an S made by packing a, we get the\n> same answer as we'd get by asking a and then reflecting down into R (by\n> encode).","shortMessageHtmlLink":"Add lawvere-query from Nate"}},{"before":"b2954f066d76c0267ad1e6cfd5eb6a8c57701d06","after":"9f6fffc5673f7b26de9c76c216999ad7413536a6","ref":"refs/heads/master","pushedAt":"2023-03-26T02:05:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Minor renaming","shortMessageHtmlLink":"Minor renaming"}},{"before":"305d62957263a333df82b2c40525afe245f20e87","after":"b2954f066d76c0267ad1e6cfd5eb6a8c57701d06","ref":"refs/heads/master","pushedAt":"2023-03-25T20:49:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Add boxless Yoneda","shortMessageHtmlLink":"Add boxless Yoneda"}},{"before":"ec8f1f02543ea0d09cc94384dace61ea72583b96","after":"305d62957263a333df82b2c40525afe245f20e87","ref":"refs/heads/master","pushedAt":"2023-03-18T22:15:02.370Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Rename some things","shortMessageHtmlLink":"Rename some things"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADS_D9VwA","startCursor":null,"endCursor":null}},"title":"Activity · JasonGross/lob"}