{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":677632242,"defaultBranch":"main","name":"hashbrown4lean","ownerLogin":"SchrodingerZhu","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-12T05:36:59.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/20108837?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1692735743.0","currentOid":""},"activityList":{"items":[{"before":"0c08741c1426ee3d0d70ba33b0700801c3dba100","after":"3667007a6ffef1c72b7357b01789ff8c74da3f18","ref":"refs/heads/main","pushedAt":"2023-09-17T20:56:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"adjust type classes","shortMessageHtmlLink":"adjust type classes"}},{"before":"d6760fddd21d246d76805c0226284433597a7de2","after":"0c08741c1426ee3d0d70ba33b0700801c3dba100","ref":"refs/heads/main","pushedAt":"2023-09-17T15:52:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"Create LICENSE","shortMessageHtmlLink":"Create LICENSE"}},{"before":"8eecdc51a40735e9b5bf2dced7d3dbe0ae9b24e5","after":"d6760fddd21d246d76805c0226284433597a7de2","ref":"refs/heads/main","pushedAt":"2023-09-17T15:50:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix panic message","shortMessageHtmlLink":"fix panic message"}},{"before":"8e7fc802e51d83c77fa4592b702198e501da79c3","after":"8eecdc51a40735e9b5bf2dced7d3dbe0ae9b24e5","ref":"refs/heads/main","pushedAt":"2023-09-17T15:30:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"remove extra unsafe","shortMessageHtmlLink":"remove extra unsafe"}},{"before":"b23adfb74361170c94611a4974ffb973a9f9e16b","after":"8e7fc802e51d83c77fa4592b702198e501da79c3","ref":"refs/heads/main","pushedAt":"2023-09-17T15:27:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"introduce seeded variants","shortMessageHtmlLink":"introduce seeded variants"}},{"before":"dc4e6d3faa7c7d730789bdb0a48c4e1ab158310d","after":"b23adfb74361170c94611a4974ffb973a9f9e16b","ref":"refs/heads/main","pushedAt":"2023-09-17T14:18:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"refactor hashmap","shortMessageHtmlLink":"refactor hashmap"}},{"before":"40b93c6b2920f928f0debcbe66b8e0d32e3a54f4","after":"dc4e6d3faa7c7d730789bdb0a48c4e1ab158310d","ref":"refs/heads/main","pushedAt":"2023-09-17T05:25:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"introduce high-level wrappers","shortMessageHtmlLink":"introduce high-level wrappers"}},{"before":"f5d52e26cb594b95b5c65b0209923b967efbcef0","after":"40b93c6b2920f928f0debcbe66b8e0d32e3a54f4","ref":"refs/heads/main","pushedAt":"2023-09-17T05:24:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"introduce high-level wrappers","shortMessageHtmlLink":"introduce high-level wrappers"}},{"before":"a8f322720ea0f0779456dc9765eab54567a915b5","after":"f902862cdb3026c14e3feeb44bebd1946f92c0d6","ref":"refs/heads/new","pushedAt":"2023-08-22T20:25:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"add remove function","shortMessageHtmlLink":"add remove function"}},{"before":null,"after":"a8f322720ea0f0779456dc9765eab54567a915b5","ref":"refs/heads/new","pushedAt":"2023-08-22T20:22:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"reimplement w/ new API","shortMessageHtmlLink":"reimplement w/ new API"}},{"before":"fb774d44ecd922c3c1a88ac3bd4241ead6ab4e7c","after":"f5d52e26cb594b95b5c65b0209923b967efbcef0","ref":"refs/heads/main","pushedAt":"2023-08-14T20:55:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"support IDE","shortMessageHtmlLink":"support IDE"}},{"before":"a0632d2b8570a851cbfd95e489594d4fa05a6d25","after":"fb774d44ecd922c3c1a88ac3bd4241ead6ab4e7c","ref":"refs/heads/main","pushedAt":"2023-08-14T20:22:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"more examples","shortMessageHtmlLink":"more examples"}},{"before":"eb316902fee6ec16314e62035eef390c837d23a7","after":"a0632d2b8570a851cbfd95e489594d4fa05a6d25","ref":"refs/heads/main","pushedAt":"2023-08-14T18:30:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"remove extra features","shortMessageHtmlLink":"remove extra features"}},{"before":"b0cd9073bcafc5bd5c21937d5ba9031eeec9afe6","after":"eb316902fee6ec16314e62035eef390c837d23a7","ref":"refs/heads/main","pushedAt":"2023-08-14T17:57:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix fmt & lints","shortMessageHtmlLink":"fix fmt & lints"}},{"before":"1e65157cad8fdd9307c5d96fcbfc0f9171461446","after":"b0cd9073bcafc5bd5c21937d5ba9031eeec9afe6","ref":"refs/heads/main","pushedAt":"2023-08-14T17:50:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix fmt & lints","shortMessageHtmlLink":"fix fmt & lints"}},{"before":"157182dad477a7813b00c3512e1c3132a7c49573","after":"1e65157cad8fdd9307c5d96fcbfc0f9171461446","ref":"refs/heads/main","pushedAt":"2023-08-14T17:48:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"make rust lib smaller","shortMessageHtmlLink":"make rust lib smaller"}},{"before":"9bd1a4655e2d79390baa4a357b593c49ddf38cbd","after":"157182dad477a7813b00c3512e1c3132a7c49573","ref":"refs/heads/main","pushedAt":"2023-08-14T17:09:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"remove extra function","shortMessageHtmlLink":"remove extra function"}},{"before":"07c1adad9a644733e988094e84eacbeb31358054","after":"9bd1a4655e2d79390baa4a357b593c49ddf38cbd","ref":"refs/heads/main","pushedAt":"2023-08-14T15:41:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix bugs","shortMessageHtmlLink":"fix bugs"}},{"before":"844f555d283434a088c2aebd19ca23b6414d6b97","after":"07c1adad9a644733e988094e84eacbeb31358054","ref":"refs/heads/main","pushedAt":"2023-08-14T14:55:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"more debug info","shortMessageHtmlLink":"more debug info"}},{"before":"7a2eabfcf8cd07f214d1e07609427601f27c8e9b","after":"844f555d283434a088c2aebd19ca23b6414d6b97","ref":"refs/heads/main","pushedAt":"2023-08-13T02:25:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"add map; debug in progress","shortMessageHtmlLink":"add map; debug in progress"}},{"before":"18715b1536e790c26cb081648eafc5000a279fe2","after":"7a2eabfcf8cd07f214d1e07609427601f27c8e9b","ref":"refs/heads/main","pushedAt":"2023-08-12T17:10:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"convert lean symbol to caml cases","shortMessageHtmlLink":"convert lean symbol to caml cases"}},{"before":"107b3bea4339391445368ea744652c2429875404","after":"18715b1536e790c26cb081648eafc5000a279fe2","ref":"refs/heads/main","pushedAt":"2023-08-12T17:05:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"remove extra imports","shortMessageHtmlLink":"remove extra imports"}},{"before":"1c7a1434e480d50cd4c9119bb47668b54ce47fde","after":"107b3bea4339391445368ea744652c2429875404","ref":"refs/heads/main","pushedAt":"2023-08-12T17:04:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix typo","shortMessageHtmlLink":"fix typo"}},{"before":"b188a97aafbba697531757e58565f9b73d272b79","after":"1c7a1434e480d50cd4c9119bb47668b54ce47fde","ref":"refs/heads/main","pushedAt":"2023-08-12T16:44:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"mark private APIs","shortMessageHtmlLink":"mark private APIs"}},{"before":"8d2bbd052147cb6c44c3d18480050ba94efdcb8f","after":"b188a97aafbba697531757e58565f9b73d272b79","ref":"refs/heads/main","pushedAt":"2023-08-12T16:41:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"pass closures as reference","shortMessageHtmlLink":"pass closures as reference"}},{"before":"8ddf62d640a149512f973253904e726ca2f9780b","after":"8d2bbd052147cb6c44c3d18480050ba94efdcb8f","ref":"refs/heads/main","pushedAt":"2023-08-12T16:32:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"pass closures as reference","shortMessageHtmlLink":"pass closures as reference"}},{"before":"0ba3ed4eefafdceba7f2b5f6755506283cea257e","after":"8ddf62d640a149512f973253904e726ca2f9780b","ref":"refs/heads/main","pushedAt":"2023-08-12T16:26:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"apply cargo fmt","shortMessageHtmlLink":"apply cargo fmt"}},{"before":"e6eb2a50aebc137ddd903a9d1843920a002e3e49","after":"0ba3ed4eefafdceba7f2b5f6755506283cea257e","ref":"refs/heads/main","pushedAt":"2023-08-12T16:25:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix more refcount problem for uniform ABI","shortMessageHtmlLink":"fix more refcount problem for uniform ABI"}},{"before":"2b6c8b2f32f9e9b228c97fd2cb1ef4ecbca9ec3a","after":"e6eb2a50aebc137ddd903a9d1843920a002e3e49","ref":"refs/heads/main","pushedAt":"2023-08-12T16:17:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"fix refcount for closure","shortMessageHtmlLink":"fix refcount for closure"}},{"before":"79d51a895976c7653efd819d11f2ee506a74b048","after":"2b6c8b2f32f9e9b228c97fd2cb1ef4ecbca9ec3a","ref":"refs/heads/main","pushedAt":"2023-08-12T16:06:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"SchrodingerZhu","name":"Schrodinger ZHU Yifan","path":"/SchrodingerZhu","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/20108837?s=80&v=4"},"commit":{"message":"implement more methods","shortMessageHtmlLink":"implement more methods"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADgog5VQA","startCursor":null,"endCursor":null}},"title":"Activity · SchrodingerZhu/hashbrown4lean"}