{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":289386044,"defaultBranch":"main","name":"magmide","ownerLogin":"magmide","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-08-21T23:47:21.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/95774363?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1698458103.0","currentOid":""},"activityList":{"items":[{"before":"70c48341e379f7c8e19a9c33da0ab1302669f99c","after":"a6ced658d6230647f7d4438d090aaba9f35ffc21","ref":"refs/heads/main","pushedAt":"2024-04-01T17:04:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"going back to bare bones","shortMessageHtmlLink":"going back to bare bones"}},{"before":"e7a93743b7589f55c88f5651a5e3b6b31c4981e0","after":"70c48341e379f7c8e19a9c33da0ab1302669f99c","ref":"refs/heads/main","pushedAt":"2024-03-09T04:40:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"readme","shortMessageHtmlLink":"readme"}},{"before":"d4d55d8cfd4d7c24ab58282aff7a6670627c16df","after":null,"ref":"refs/heads/new-plan","pushedAt":"2023-10-28T01:55:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"}},{"before":"6fada61e9b0b1016fb5342ee7333b782576ae6ea","after":"e7a93743b7589f55c88f5651a5e3b6b31c4981e0","ref":"refs/heads/main","pushedAt":"2023-10-28T01:54:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"Merge branch 'new-plan'","shortMessageHtmlLink":"Merge branch 'new-plan'"}},{"before":"5b45693c9603c8454964004e870eadb99450977e","after":"6fada61e9b0b1016fb5342ee7333b782576ae6ea","ref":"refs/heads/main","pushedAt":"2023-10-06T17:13:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"moving forward","shortMessageHtmlLink":"moving forward"}},{"before":"8d30de9d619dcec4305e898679b7440f5dcc239a","after":"5b45693c9603c8454964004e870eadb99450977e","ref":"refs/heads/main","pushedAt":"2023-10-06T01:12:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"more thrashing","shortMessageHtmlLink":"more thrashing"}},{"before":"47ec4b199ffd2dc09569d704bd5015b10add2cb7","after":"8d30de9d619dcec4305e898679b7440f5dcc239a","ref":"refs/heads/main","pushedAt":"2023-09-27T00:17:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"thrashing","shortMessageHtmlLink":"thrashing"}},{"before":null,"after":"d4d55d8cfd4d7c24ab58282aff7a6670627c16df","ref":"refs/heads/new-plan","pushedAt":"2023-09-25T20:34:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"working on new project description/plan","shortMessageHtmlLink":"working on new project description/plan"}},{"before":"9c8385542c66ba04bc26d54acc7287f7a96b3235","after":"47ec4b199ffd2dc09569d704bd5015b10add2cb7","ref":"refs/heads/main","pushedAt":"2023-09-24T00:03:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"fiddling","shortMessageHtmlLink":"fiddling"}},{"before":"bdefecb2b10c5c6f4fe2eefc772ddc8c8606d08d","after":"9c8385542c66ba04bc26d54acc7287f7a96b3235","ref":"refs/heads/main","pushedAt":"2023-09-23T23:35:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"fiddling","shortMessageHtmlLink":"fiddling"}},{"before":"2b4ef6a8240e63b5b04a575a4b2778e652342f43","after":"bdefecb2b10c5c6f4fe2eefc772ddc8c8606d08d","ref":"refs/heads/main","pushedAt":"2023-09-16T01:59:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"inching toward watching prover","shortMessageHtmlLink":"inching toward watching prover"}},{"before":"73063cb30bb5d6fc3b96ba800a076cdc30b9b6f1","after":"2b4ef6a8240e63b5b04a575a4b2778e652342f43","ref":"refs/heads/main","pushedAt":"2023-09-13T20:39:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"moving toward watching checker","shortMessageHtmlLink":"moving toward watching checker"}},{"before":"cb725b82345dd282cede89ca4956bd40e0bdf530","after":"73063cb30bb5d6fc3b96ba800a076cdc30b9b6f1","ref":"refs/heads/main","pushedAt":"2023-09-13T00:54:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"got basic block parsing figured out","shortMessageHtmlLink":"got basic block parsing figured out"}},{"before":"373aea7ff567236ed39db7ac479a82ccdbb5d356","after":"cb725b82345dd282cede89ca4956bd40e0bdf530","ref":"refs/heads/main","pushedAt":"2023-09-11T02:17:33.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"need to figure out how to structure things given salsa","shortMessageHtmlLink":"need to figure out how to structure things given salsa"}},{"before":"13d65a0b158ec6565e6eb13a8683064dbd3f0131","after":"373aea7ff567236ed39db7ac479a82ccdbb5d356","ref":"refs/heads/main","pushedAt":"2023-09-09T02:02:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"basic type checking for current functionality","shortMessageHtmlLink":"basic type checking for current functionality"}},{"before":"a844684011f5181ca40c91676ab5be4108be7886","after":"13d65a0b158ec6565e6eb13a8683064dbd3f0131","ref":"refs/heads/main","pushedAt":"2023-09-08T01:15:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"janky pattern matching, some thinking on prop syntax","shortMessageHtmlLink":"janky pattern matching, some thinking on prop syntax"}},{"before":"af033aba459e97505871a583efa8e1ff28c8250b","after":"a844684011f5181ca40c91676ab5be4108be7886","ref":"refs/heads/main","pushedAt":"2023-09-06T02:36:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"got a basic reduction working","shortMessageHtmlLink":"got a basic reduction working"}},{"before":"57bff5974e8ec526f16248e38701933120944279","after":"af033aba459e97505871a583efa8e1ff28c8250b","ref":"refs/heads/main","pushedAt":"2023-09-04T02:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"good enough parser to move on to checking and evaluation","shortMessageHtmlLink":"good enough parser to move on to checking and evaluation"}},{"before":"16d98335035f732267745bfd19c42522e5783d80","after":"57bff5974e8ec526f16248e38701933120944279","ref":"refs/heads/main","pushedAt":"2023-09-03T22:53:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"basic parsing infrastructure","shortMessageHtmlLink":"basic parsing infrastructure"}},{"before":"92f69346bf69d7ac0b4163de36b9a9b457ed3a6e","after":"16d98335035f732267745bfd19c42522e5783d80","ref":"refs/heads/main","pushedAt":"2023-08-13T17:20:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"notes","shortMessageHtmlLink":"notes"}},{"before":"5684a8bf972d4a29fc00833479eddc8175bb5928","after":"92f69346bf69d7ac0b4163de36b9a9b457ed3a6e","ref":"refs/heads/main","pushedAt":"2023-07-06T15:36:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"understanding girards paradox","shortMessageHtmlLink":"understanding girards paradox"}},{"before":"a2e7ad96eb8ea9d40fadcade087caf8844b60bbd","after":"5684a8bf972d4a29fc00833479eddc8175bb5928","ref":"refs/heads/main","pushedAt":"2023-06-27T00:23:05.897Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"realizing I should do evaluation first","shortMessageHtmlLink":"realizing I should do evaluation first"}},{"before":"74fb5cbdf93a1dd36e8cbaab5e254692e3f090da","after":"a2e7ad96eb8ea9d40fadcade087caf8844b60bbd","ref":"refs/heads/main","pushedAt":"2023-06-23T00:49:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"the real thing coming out of the fog","shortMessageHtmlLink":"the real thing coming out of the fog"}},{"before":"4df9744950975803d23a51ae2b08a8d68099c621","after":"74fb5cbdf93a1dd36e8cbaab5e254692e3f090da","ref":"refs/heads/main","pushedAt":"2023-06-22T01:01:23.902Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"more skeleton","shortMessageHtmlLink":"more skeleton"}},{"before":"0a7e34b8a8f1e22637ffa1b8541637d561e9786a","after":"4df9744950975803d23a51ae2b08a8d68099c621","ref":"refs/heads/main","pushedAt":"2023-06-21T01:05:55.603Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"rough skeleton of type checking","shortMessageHtmlLink":"rough skeleton of type checking"}},{"before":"a3a14119ae7e82cfce529958c7fb0ea80f470af8","after":"0a7e34b8a8f1e22637ffa1b8541637d561e9786a","ref":"refs/heads/main","pushedAt":"2023-06-14T00:08:32.413Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"notes about type checking","shortMessageHtmlLink":"notes about type checking"}},{"before":"6067b6d5a89c0a199543392a4b9d205689ec9e3f","after":"a3a14119ae7e82cfce529958c7fb0ea80f470af8","ref":"refs/heads/main","pushedAt":"2023-06-09T22:02:13.679Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"playing","shortMessageHtmlLink":"playing"}},{"before":"5f9e8a4661192d604ba5e2d5891e7c1517e280a7","after":"6067b6d5a89c0a199543392a4b9d205689ec9e3f","ref":"refs/heads/main","pushedAt":"2023-06-08T22:19:30.434Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"basic module use with path resolution","shortMessageHtmlLink":"basic module use with path resolution"}},{"before":"5d42ded83a8385643054f27968b1162adb8ad607","after":"5f9e8a4661192d604ba5e2d5891e7c1517e280a7","ref":"refs/heads/main","pushedAt":"2023-06-06T23:30:43.110Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"basic module path stuff","shortMessageHtmlLink":"basic module path stuff"}},{"before":"9c715501453669a0d7039d523fa5429f58107e8a","after":"5d42ded83a8385643054f27968b1162adb8ad607","ref":"refs/heads/main","pushedAt":"2023-06-01T16:08:48.320Z","pushType":"push","commitsCount":1,"pusher":{"login":"blainehansen","name":"Blaine Hansen","path":"/blainehansen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5805971?s=80&v=4"},"commit":{"message":"tinkering","shortMessageHtmlLink":"tinkering"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEJK0qCAA","startCursor":null,"endCursor":null}},"title":"Activity · magmide/magmide"}