{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":618443002,"defaultBranch":"main","name":"neural-agda","ownerLogin":"konstantinosKokos","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-03-24T13:32:28.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17988222?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1716041364.0","currentOid":""},"activityList":{"items":[{"before":"570183980790b692433680dba23d1ca2a9300393","after":"f5eb4092582c9e573c48fa0b355f16ea8451d1c1","ref":"refs/heads/main","pushedAt":"2024-05-22T18:46:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"dont bother with unsolvable holes","shortMessageHtmlLink":"dont bother with unsolvable holes"}},{"before":null,"after":"391fe7d9cc4ddf3c582d6dffbd18d52452313921","ref":"refs/heads/transformer","pushedAt":"2024-05-18T14:09:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"less compute","shortMessageHtmlLink":"less compute"}},{"before":null,"after":"6c1b6a478c7a31f6cd0d4c6bb5ddcb3619c51304","ref":"refs/heads/string","pushedAt":"2024-05-18T13:01:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"flat tokenization","shortMessageHtmlLink":"flat tokenization"}},{"before":"2b3d5aa8a9732284a9686ed1d8de21b781cd3383","after":"570183980790b692433680dba23d1ca2a9300393","ref":"refs/heads/main","pushedAt":"2024-05-18T12:58:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"infer_epoch","shortMessageHtmlLink":"infer_epoch"}},{"before":"7023c0aa9b852dc2116be22f9cc4144b7d8ef8c0","after":"2b3d5aa8a9732284a9686ed1d8de21b781cd3383","ref":"refs/heads/main","pushedAt":"2024-05-16T09:10:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"fix indexing","shortMessageHtmlLink":"fix indexing"}},{"before":"b3830b81728ebf2973042e735cf619f18286574c","after":null,"ref":"refs/heads/ablation","pushedAt":"2024-03-28T07:02:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"}},{"before":"73a072e7159d06037e6df3508e54dd32c515df47","after":"b3830b81728ebf2973042e735cf619f18286574c","ref":"refs/heads/ablation","pushedAt":"2024-01-31T23:36:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"elu ablation","shortMessageHtmlLink":"elu ablation"}},{"before":"ee7870fa6d6d3abdd398e9074d0f2dbc9c2e890e","after":"73a072e7159d06037e6df3508e54dd32c515df47","ref":"refs/heads/ablation","pushedAt":"2024-01-31T21:46:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"elu ablation","shortMessageHtmlLink":"elu ablation"}},{"before":"b0b6f4abfd693655bdea0e7083c28ac86bb5c13c","after":"ee7870fa6d6d3abdd398e9074d0f2dbc9c2e890e","ref":"refs/heads/ablation","pushedAt":"2024-01-31T09:25:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"no-struct","shortMessageHtmlLink":"no-struct"}},{"before":null,"after":"b0b6f4abfd693655bdea0e7083c28ac86bb5c13c","ref":"refs/heads/ablation","pushedAt":"2024-01-30T12:31:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"no db embedding","shortMessageHtmlLink":"no db embedding"}},{"before":"5eeaf1709418f11dca8299202f602bc237a59234","after":"7023c0aa9b852dc2116be22f9cc4144b7d8ef8c0","ref":"refs/heads/main","pushedAt":"2024-01-30T12:23:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"make structural validation optional, mark lemmas as imported","shortMessageHtmlLink":"make structural validation optional, mark lemmas as imported"}},{"before":"13c9cfe0fc27366e28354d3ace7e07eaa2ae912f","after":"5eeaf1709418f11dca8299202f602bc237a59234","ref":"refs/heads/main","pushedAt":"2024-01-28T16:53:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"tidy","shortMessageHtmlLink":"tidy"}},{"before":"42ecaf76af3de493f95ff2b47f0a1a7aafc672bd","after":"13c9cfe0fc27366e28354d3ace7e07eaa2ae912f","ref":"refs/heads/main","pushedAt":"2024-01-27T08:22:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"move missed files to dev","shortMessageHtmlLink":"move missed files to dev"}},{"before":"688d556529f1723505dca51a816f991b411c14f6","after":"42ecaf76af3de493f95ff2b47f0a1a7aafc672bd","ref":"refs/heads/main","pushedAt":"2024-01-27T08:19:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"some typos on fns","shortMessageHtmlLink":"some typos on fns"}},{"before":"70a7a90cacb8002a37c211f06a7860a1766755cd","after":"688d556529f1723505dca51a816f991b411c14f6","ref":"refs/heads/main","pushedAt":"2024-01-26T09:26:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"0090ec6884c6a91a591debf7640966258afdb034","after":"70a7a90cacb8002a37c211f06a7860a1766755cd","ref":"refs/heads/main","pushedAt":"2024-01-26T08:53:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"less filtering","shortMessageHtmlLink":"less filtering"}},{"before":"0cef5f981b2807537eba189e23e272eeceb4735e","after":"0090ec6884c6a91a591debf7640966258afdb034","ref":"refs/heads/main","pushedAt":"2024-01-26T08:52:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"stop breaking the console","shortMessageHtmlLink":"stop breaking the console"}},{"before":"69caa3d1e41a401cb467551b6e4c3721a30142e8","after":"0cef5f981b2807537eba189e23e272eeceb4735e","ref":"refs/heads/main","pushedAt":"2024-01-26T08:48:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"switch to infoNCE","shortMessageHtmlLink":"switch to infoNCE"}},{"before":"3e91739dbd0c0b352de88a38f6dea0eef4d1fdbb","after":"69caa3d1e41a401cb467551b6e4c3721a30142e8","ref":"refs/heads/main","pushedAt":"2024-01-25T12:38:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"dropout scope entries","shortMessageHtmlLink":"dropout scope entries"}},{"before":"e568bf072b53b90702b7f66abcb84c848151b430","after":"3e91739dbd0c0b352de88a38f6dea0eef4d1fdbb","ref":"refs/heads/main","pushedAt":"2024-01-24T15:39:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"make db rel","shortMessageHtmlLink":"make db rel"}},{"before":"056c41e78856ff9394d2569962690960ba7215cf","after":"e568bf072b53b90702b7f66abcb84c848151b430","ref":"refs/heads/main","pushedAt":"2024-01-24T06:45:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"🥲","shortMessageHtmlLink":"🥲"}},{"before":"611ab9d2b4a5990c6449a9e6eb432af9e33c193f","after":"056c41e78856ff9394d2569962690960ba7215cf","ref":"refs/heads/main","pushedAt":"2024-01-24T06:43:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"b3d4188478628ade5d269e8b27a0dd4fef1738d5","after":"611ab9d2b4a5990c6449a9e6eb432af9e33c193f","ref":"refs/heads/main","pushedAt":"2024-01-24T06:42:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"🥲","shortMessageHtmlLink":"🥲"}},{"before":"bbd69bbdf007bfe56a5845e0da5d00f82e97c33a","after":"b3d4188478628ade5d269e8b27a0dd4fef1738d5","ref":"refs/heads/main","pushedAt":"2024-01-24T05:55:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"7030e0868da1994a84742e704301c05c505497ba","after":"bbd69bbdf007bfe56a5845e0da5d00f82e97c33a","ref":"refs/heads/main","pushedAt":"2024-01-24T05:54:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"increase margin, nonzero averaging only","shortMessageHtmlLink":"increase margin, nonzero averaging only"}},{"before":"617bcf27cc9e2820f286760f613fbe5c8927d7fc","after":"7030e0868da1994a84742e704301c05c505497ba","ref":"refs/heads/main","pushedAt":"2024-01-23T18:37:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"margin ranking defaults","shortMessageHtmlLink":"margin ranking defaults"}},{"before":"a6dd381477d0f6e700b607192ea10f426812bb33","after":"617bcf27cc9e2820f286760f613fbe5c8927d7fc","ref":"refs/heads/main","pushedAt":"2024-01-23T18:35:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"normalize matcher output","shortMessageHtmlLink":"normalize matcher output"}},{"before":"a433b3de6fb867c80bb50141d5b60c8fdcaf54bf","after":"a6dd381477d0f6e700b607192ea10f426812bb33","ref":"refs/heads/main","pushedAt":"2024-01-23T16:27:10.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main'\n\n# Conflicts:\n#\tsrc/Name/nn/embedding.py","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main'"}},{"before":"25d7bc735eb49f4217220e308e7f7aa144b4dec3","after":"a433b3de6fb867c80bb50141d5b60c8fdcaf54bf","ref":"refs/heads/main","pushedAt":"2024-01-23T16:25:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"return and reuse rotator per-head","shortMessageHtmlLink":"return and reuse rotator per-head"}},{"before":"f8ffff01f26b192cbcdd5260e1c4e6e032cbab60","after":"25d7bc735eb49f4217220e308e7f7aa144b4dec3","ref":"refs/heads/main","pushedAt":"2024-01-23T16:23:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"konstantinosKokos","name":"Konstantinos Kogkalidis","path":"/konstantinosKokos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/17988222?s=80&v=4"},"commit":{"message":"ignore tokens beyond rank's maxlen","shortMessageHtmlLink":"ignore tokens beyond rank's maxlen"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUUYU_QA","startCursor":null,"endCursor":null}},"title":"Activity · konstantinosKokos/neural-agda"}