{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":339560831,"defaultBranch":"master","name":"code-for-lectures","ownerLogin":"buzden","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-02-16T23:38:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2602116?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1613518712.8708968","currentOid":""},"activityList":{"items":[{"before":"cb19b3a43cd4e979b0e711c1ec70f617c9c237eb","after":"11d9fbe2a7ac2198d591ee37c6b0d8d8bfca0b7e","ref":"refs/heads/master","pushedAt":"2024-09-06T09:51:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ tyde ] Add the code from the TyDe presentation (literate Idris!)","shortMessageHtmlLink":"[ tyde ] Add the code from the TyDe presentation (literate Idris!)"}},{"before":"2eac326ae5cab20294601abd8428e6f9999cceed","after":"cb19b3a43cd4e979b0e711c1ec70f617c9c237eb","ref":"refs/heads/master","pushedAt":"2024-03-19T09:09:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ deptyp ] Literate Idris for \"DT+PBT=Love\" lecture","shortMessageHtmlLink":"[ deptyp ] Literate Idris for \"DT+PBT=Love\" lecture"}},{"before":"86585191039d8b45d300b5ea6e79a7581e3a3b19","after":"2eac326ae5cab20294601abd8428e6f9999cceed","ref":"refs/heads/master","pushedAt":"2024-03-19T07:10:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ doc ] Better readmes for 2023.11 presentations","shortMessageHtmlLink":"[ doc ] Better readmes for 2023.11 presentations"}},{"before":"4382010bcbc10a1bb150b7b4982b18633d0bcb60","after":"86585191039d8b45d300b5ea6e79a7581e3a3b19","ref":"refs/heads/master","pushedAt":"2024-03-19T07:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ doc ] Better readmes for 2023.11 presentations","shortMessageHtmlLink":"[ doc ] Better readmes for 2023.11 presentations"}},{"before":"5e0ccfddd93ee92f35e60ff89e3ee9dc44ca85cd","after":"4382010bcbc10a1bb150b7b4982b18633d0bcb60","ref":"refs/heads/master","pushedAt":"2024-03-19T06:52:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ build ] Make 2023.11 presentations to be runnable with `pack run`","shortMessageHtmlLink":"[ build ] Make 2023.11 presentations to be runnable with <code>pack run</code>"}},{"before":"8bbd91714cff586ceeb4e3bb88402691b107331a","after":"5e0ccfddd93ee92f35e60ff89e3ee9dc44ca85cd","ref":"refs/heads/master","pushedAt":"2023-11-30T14:19:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ deptyp ] Literate Idris for \"Dep. typ. for somewhat real\" talk","shortMessageHtmlLink":"[ deptyp ] Literate Idris for \"Dep. typ. for somewhat real\" talk"}},{"before":"dfe4a76a0419c46d3da9b591dde18f588dd2676a","after":"8bbd91714cff586ceeb4e3bb88402691b107331a","ref":"refs/heads/master","pushedAt":"2023-11-23T17:55:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ deptyp ] Add literate Idris code for the \"dep.typ. for scalists\" lect","shortMessageHtmlLink":"[ deptyp ] Add literate Idris code for the \"dep.typ. for scalists\" lect"}},{"before":"282eb243b1474a99a4d34c207bf40d4627fcc9d6","after":"dfe4a76a0419c46d3da9b591dde18f588dd2676a","ref":"refs/heads/master","pushedAt":"2023-11-23T14:09:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"buzden","name":"Denis Buzdalov","path":"/buzden","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2602116?s=80&v=4"},"commit":{"message":"[ deptyp ] Add literate Idris code for the \"dep.typ. for scalists\" lect","shortMessageHtmlLink":"[ deptyp ] Add literate Idris code for the \"dep.typ. for scalists\" lect"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wNlQwOTo1MToyOS4wMDAwMDBazwAAAASuxCsZ","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yM1QxNDowOToxOS4wMDAwMDBazwAAAAO2KYGc"}},"title":"Activity · buzden/code-for-lectures"}