{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":504597615,"defaultBranch":"main","name":"bruijn","ownerLogin":"marvinborner","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-17T16:10:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32108934?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1678487010.329665","currentOid":""},"activityList":{"items":[{"before":"0f8c73b9c36ecda45c02f26bbca0730da6fb9c0c","after":"6ad85ef29f7da7846ccc779c7c2a192b4db301b1","ref":"refs/heads/main","pushedAt":"2024-07-27T18:34:43.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Some accumulated math changes","shortMessageHtmlLink":"Some accumulated math changes"}},{"before":"dba4ea41ce332f6945e61f580aee675a50a9b237","after":"0f8c73b9c36ecda45c02f26bbca0730da6fb9c0c","ref":"refs/heads/main","pushedAt":"2024-06-09T21:34:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Fixed IO function names","shortMessageHtmlLink":"Fixed IO function names"}},{"before":"75f646e2f72bb5f4be6ef189df4d6bba9ce25584","after":"dba4ea41ce332f6945e61f580aee675a50a9b237","ref":"refs/heads/main","pushedAt":"2024-06-09T21:03:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Some more work on monads","shortMessageHtmlLink":"Some more work on monads"}},{"before":"001e80ae2571d15973a1e5b9b95975dcf9f005b6","after":"75f646e2f72bb5f4be6ef189df4d6bba9ce25584","ref":"refs/heads/main","pushedAt":"2024-05-21T23:13:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Fixed highlighting for complex numbers\n\nREMOVE THIS GARBAGE CODE IN THE FUTURE","shortMessageHtmlLink":"Fixed highlighting for complex numbers"}},{"before":"8044eb95639d96512c8891b0c4dca11a4e9e162a","after":"001e80ae2571d15973a1e5b9b95975dcf9f005b6","ref":"refs/heads/main","pushedAt":"2024-05-17T11:49:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Fixed tests","shortMessageHtmlLink":"Fixed tests"}},{"before":"a25ed8a75d036de252cfe74b5fa0788215194b41","after":"8044eb95639d96512c8891b0c4dca11a4e9e162a","ref":"refs/heads/main","pushedAt":"2024-05-17T11:34:03.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Minor additions :)","shortMessageHtmlLink":"Minor additions :)"}},{"before":"349e8574c67bf575ed39694c8085eab00473bfaa","after":"a25ed8a75d036de252cfe74b5fa0788215194b41","ref":"refs/heads/main","pushedAt":"2024-05-04T11:34:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"More math\n\nMAATHTHAHHAHA","shortMessageHtmlLink":"More math"}},{"before":"51716f37faff2bb8631e7e6e51bf7e00dbb40026","after":"349e8574c67bf575ed39694c8085eab00473bfaa","ref":"refs/heads/main","pushedAt":"2024-04-25T18:11:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Rosetta sync","shortMessageHtmlLink":"Rosetta sync"}},{"before":"05018679c5348f9a1dcacd1ce19ad38b17a61bc1","after":"51716f37faff2bb8631e7e6e51bf7e00dbb40026","ref":"refs/heads/main","pushedAt":"2024-04-25T16:00:14.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Working Taylor expansions\n\nfinally","shortMessageHtmlLink":"Working Taylor expansions"}},{"before":"bfdd0ef6897e42e03cefa4d43c8757ef09d96de2","after":"05018679c5348f9a1dcacd1ce19ad38b17a61bc1","ref":"refs/heads/main","pushedAt":"2024-04-25T15:56:02.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Working Taylor expansions\n\nfinally","shortMessageHtmlLink":"Working Taylor expansions"}},{"before":"32f0891053cb9efe7b2987638a96395d2b9f9722","after":"bfdd0ef6897e42e03cefa4d43c8757ef09d96de2","ref":"refs/heads/main","pushedAt":"2024-04-23T10:55:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added parsing and printing of complex numbers","shortMessageHtmlLink":"Added parsing and printing of complex numbers"}},{"before":"4a8db13503392c0198a0ac8444366b1429a40b01","after":"32f0891053cb9efe7b2987638a96395d2b9f9722","ref":"refs/heads/main","pushedAt":"2024-04-13T18:57:39.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Visual improvements","shortMessageHtmlLink":"Visual improvements"}},{"before":"11b942c9ad3142b9661f213588fdb03b0405f08b","after":"4a8db13503392c0198a0ac8444366b1429a40b01","ref":"refs/heads/main","pushedAt":"2024-04-09T18:06:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Only run sample tests on HigherOrder reducer\n\nOtherwise it takes ages. Also, correct behavior of the reducer is\nalready implied by passing the std tests.","shortMessageHtmlLink":"Only run sample tests on HigherOrder reducer"}},{"before":"fdc8eb5c33a0a1f4e05d551408123fa39ae2e6db","after":"11b942c9ad3142b9661f213588fdb03b0405f08b","ref":"refs/heads/main","pushedAt":"2024-04-09T17:38:32.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added test for AOC samples\n\n(although 2018 is actually broken)","shortMessageHtmlLink":"Added test for AOC samples"}},{"before":"5a2dd4a7e8a6857e8cf32b6fe1524f04962c54cb","after":"fdc8eb5c33a0a1f4e05d551408123fa39ae2e6db","ref":"refs/heads/main","pushedAt":"2024-04-09T17:37:46.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Adds test for AOC samples\n\n(although 2018 is actually broken)","shortMessageHtmlLink":"Adds test for AOC samples"}},{"before":"e4094fbc0c23e39d793d94197b6b4474ec26cccc","after":"5a2dd4a7e8a6857e8cf32b6fe1524f04962c54cb","ref":"refs/heads/main","pushedAt":"2024-03-25T22:55:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Add support for context-dependent imports / generics","shortMessageHtmlLink":"Add support for context-dependent imports / generics"}},{"before":"3845584dce6aafff6d1c89621bbf2925a4d1503a","after":"e4094fbc0c23e39d793d94197b6b4474ec26cccc","ref":"refs/heads/main","pushedAt":"2024-03-25T18:48:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"No, you were just stupid","shortMessageHtmlLink":"No, you were just stupid"}},{"before":"98210ebfe143d2c8a39e46daee63400241eb6044","after":"3845584dce6aafff6d1c89621bbf2925a4d1503a","ref":"refs/heads/main","pushedAt":"2024-03-25T18:46:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"No, you were just stupid","shortMessageHtmlLink":"No, you were just stupid"}},{"before":"14e38ce378236cf54924b58396168c1e94f8e6b2","after":"98210ebfe143d2c8a39e46daee63400241eb6044","ref":"refs/heads/main","pushedAt":"2024-03-25T18:32:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"No, you were just stupid","shortMessageHtmlLink":"No, you were just stupid"}},{"before":"f8398804d351667a7b887b89f6f70c7d5c407d22","after":"14e38ce378236cf54924b58396168c1e94f8e6b2","ref":"refs/heads/main","pushedAt":"2024-03-25T18:01:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Improved samples by adding links to problems","shortMessageHtmlLink":"Improved samples by adding links to problems"}},{"before":"7bfc78b122ad9cbb65eed16f7de4d4021547c2a8","after":"f8398804d351667a7b887b89f6f70c7d5c407d22","ref":"refs/heads/main","pushedAt":"2024-03-25T15:22:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"More samples and definitions","shortMessageHtmlLink":"More samples and definitions"}},{"before":"fc9980e5e19602748b8cc596cdd07c02ac2889f1","after":"7bfc78b122ad9cbb65eed16f7de4d4021547c2a8","ref":"refs/heads/main","pushedAt":"2024-03-23T18:18:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Some Project Euler solutions","shortMessageHtmlLink":"Some Project Euler solutions"}},{"before":"0a50948c4e75aa664be4deb9323fdc9bee3b3c5f","after":"fc9980e5e19602748b8cc596cdd07c02ac2889f1","ref":"refs/heads/main","pushedAt":"2024-03-23T13:04:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added very scientific std stats","shortMessageHtmlLink":"Added very scientific std stats"}},{"before":"fd75e9dd97c8fb8672ba609fe4003a3865391c09","after":"0a50948c4e75aa664be4deb9323fdc9bee3b3c5f","ref":"refs/heads/main","pushedAt":"2024-03-23T12:52:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added very scientific std stats","shortMessageHtmlLink":"Added very scientific std stats"}},{"before":"93b53a5354620d94b128008d0b17670cc87c92f5","after":"fd75e9dd97c8fb8672ba609fe4003a3865391c09","ref":"refs/heads/main","pushedAt":"2024-03-22T22:05:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"More AOC","shortMessageHtmlLink":"More AOC"}},{"before":"8b82e5d7f485fc76250b9ed2ad756b913e930df1","after":"93b53a5354620d94b128008d0b17670cc87c92f5","ref":"refs/heads/main","pushedAt":"2024-03-21T11:51:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added lcm","shortMessageHtmlLink":"Added lcm"}},{"before":"41ea5dc7651380b7f31955819b5dc0b8256f3ef4","after":"8b82e5d7f485fc76250b9ed2ad756b913e930df1","ref":"refs/heads/main","pushedAt":"2024-03-18T22:21:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added linear logic","shortMessageHtmlLink":"Added linear logic"}},{"before":"e8a440a0b717621cce239499be22ea038a0093f5","after":"41ea5dc7651380b7f31955819b5dc0b8256f3ef4","ref":"refs/heads/main","pushedAt":"2024-03-18T10:28:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Minor orthographic improvements","shortMessageHtmlLink":"Minor orthographic improvements"}},{"before":"65a094a4ee67f16ff5ed7663c2b3dd6d85c19c00","after":"e8a440a0b717621cce239499be22ea038a0093f5","ref":"refs/heads/main","pushedAt":"2024-03-16T13:20:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Added two fun animations","shortMessageHtmlLink":"Added two fun animations"}},{"before":"0b77800262b5c46d994e6cb6159f773de8a05c51","after":"65a094a4ee67f16ff5ed7663c2b3dd6d85c19c00","ref":"refs/heads/main","pushedAt":"2024-03-15T16:25:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"marvinborner","name":"Marvin","path":"/marvinborner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32108934?s=80&v=4"},"commit":{"message":"Initial working optimization stage","shortMessageHtmlLink":"Initial working optimization stage"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEitVfZAA","startCursor":null,"endCursor":null}},"title":"Activity · marvinborner/bruijn"}