{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":483759948,"defaultBranch":"main","name":"cubical-experiments","ownerLogin":"ncfavier","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-04-20T17:57:44.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/4323933?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1650481423.680143","currentOid":""},"activityList":{"items":[{"before":"dabb59ceb72b18cac48055e92ea340fd3ee6b17d","after":"c52c36a4aa4bd85326162426ea564228e10ba47a","ref":"refs/heads/main","pushedAt":"2024-03-03T20:20:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"hats: clarify\n\nThis paragraph confused someone.","shortMessageHtmlLink":"hats: clarify"}},{"before":"d0c914594e2fdf9b62873e2a59b365f035046cb5","after":"dabb59ceb72b18cac48055e92ea340fd3ee6b17d","ref":"refs/heads/main","pushedAt":"2024-01-18T15:35:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"hats","shortMessageHtmlLink":"hats"}},{"before":"8bc5599241487e89faaa49bb1d8a16cfd5a82c6a","after":"d0c914594e2fdf9b62873e2a59b365f035046cb5","ref":"refs/heads/main","pushedAt":"2023-12-29T11:37:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"wording","shortMessageHtmlLink":"wording"}},{"before":"6422264640f974ab6b60e53fc568c258f8d5b83a","after":"8bc5599241487e89faaa49bb1d8a16cfd5a82c6a","ref":"refs/heads/main","pushedAt":"2023-12-28T19:38:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"finish hairy ball, assuming πₙ(Sⁿ) ≃ ℤ for now","shortMessageHtmlLink":"finish hairy ball, assuming πₙ(Sⁿ) ≃ ℤ for now"}},{"before":"f0186bafd27cfd47b81b16c1f07b4b5583a284ff","after":"6422264640f974ab6b60e53fc568c258f8d5b83a","ref":"refs/heads/main","pushedAt":"2023-12-23T10:02:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"add some descriptions","shortMessageHtmlLink":"add some descriptions"}},{"before":"e97df3441d21d40dc50d1afb8eb6558754abb382","after":"f0186bafd27cfd47b81b16c1f07b4b5583a284ff","ref":"refs/heads/main","pushedAt":"2023-12-21T22:29:42.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"tangent bundles of spheres\n\nFormalising the hairy ball theorem from https://www.youtube.com/watch?v=9T9B9XBjVpk","shortMessageHtmlLink":"tangent bundles of spheres"}},{"before":"09a7c70a21e9f61d73454d68040a7f0edf25fc89","after":"e97df3441d21d40dc50d1afb8eb6558754abb382","ref":"refs/heads/main","pushedAt":"2023-12-21T22:22:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"tangent bundles of spheres\n\nFormalising the hairy ball theorem from https://www.youtube.com/watch?v=9T9B9XBjVpk","shortMessageHtmlLink":"tangent bundles of spheres"}},{"before":"7f469464f8617fbc81857bb6342b5970408f510f","after":"09a7c70a21e9f61d73454d68040a7f0edf25fc89","ref":"refs/heads/main","pushedAt":"2023-12-21T21:26:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"tangent bundles of spheres\n\nFormalising the hairy ball theorem from https://www.youtube.com/watch?v=9T9B9XBjVpk","shortMessageHtmlLink":"tangent bundles of spheres"}},{"before":"29bab1834f83631dd7abaf3aec8cdb51740ea213","after":"7f469464f8617fbc81857bb6342b5970408f510f","ref":"refs/heads/main","pushedAt":"2023-12-21T01:16:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"GPL","shortMessageHtmlLink":"GPL"}},{"before":"be8d37d2017eec02170fc5c5d99d3f5fe794732e","after":"29bab1834f83631dd7abaf3aec8cdb51740ea213","ref":"refs/heads/main","pushedAt":"2023-12-21T01:11:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"bump 1lab; web improvements","shortMessageHtmlLink":"bump 1lab; web improvements"}},{"before":"0271e02e9aa31003c1ea6fb5d8dd4a3d601d1085","after":"be8d37d2017eec02170fc5c5d99d3f5fe794732e","ref":"refs/heads/main","pushedAt":"2023-12-11T16:38:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"cohomology nonsense","shortMessageHtmlLink":"cohomology nonsense"}},{"before":"2646faae752591d0154010d60e79aadf2671e488","after":"0271e02e9aa31003c1ea6fb5d8dd4a3d601d1085","ref":"refs/heads/main","pushedAt":"2023-11-18T09:36:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"coherently constant maps into groupoids","shortMessageHtmlLink":"coherently constant maps into groupoids"}},{"before":"293c06768d2b27d7117740d385a65898901a94db","after":"2646faae752591d0154010d60e79aadf2671e488","ref":"refs/heads/main","pushedAt":"2023-11-14T11:07:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"flake: follow nixpkgs-unstable","shortMessageHtmlLink":"flake: follow nixpkgs-unstable"}},{"before":"d3d768348606a40af2738b02b1649c7f86c1c7f9","after":"293c06768d2b27d7117740d385a65898901a94db","ref":"refs/heads/main","pushedAt":"2023-10-31T01:02:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"add github workflow","shortMessageHtmlLink":"add github workflow"}},{"before":"34bd337ab6a08a96a505158ccede3d8e25a80b0b","after":"d3d768348606a40af2738b02b1649c7f86c1c7f9","ref":"refs/heads/main","pushedAt":"2023-10-31T00:03:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"oops","shortMessageHtmlLink":"oops"}},{"before":"454b9286fd79a6cdedd45ae3f3902bac1446fdac","after":"34bd337ab6a08a96a505158ccede3d8e25a80b0b","ref":"refs/heads/main","pushedAt":"2023-10-30T22:13:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"minor improvements","shortMessageHtmlLink":"minor improvements"}},{"before":"833e0574057cafbc216aebba6a536f29984165e5","after":"454b9286fd79a6cdedd45ae3f3902bac1446fdac","ref":"refs/heads/main","pushedAt":"2023-10-30T17:57:27.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"add stuff, remove stuff","shortMessageHtmlLink":"add stuff, remove stuff"}},{"before":"b44c5b4bc2ca9461758e8abe39e3308d21ceecee","after":"833e0574057cafbc216aebba6a536f29984165e5","ref":"refs/heads/main","pushedAt":"2023-03-21T15:27:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ncfavier","name":"Naïm Favier","path":"/ncfavier","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4323933?s=80&v=4"},"commit":{"message":"DeMorKan experiments\n\nhttps://proofassistants.stackexchange.com/questions/2043/is-the-de-morgan-interval-kan","shortMessageHtmlLink":"DeMorKan experiments"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAECyaKZQA","startCursor":null,"endCursor":null}},"title":"Activity · ncfavier/cubical-experiments"}