{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":442562864,"defaultBranch":"main","name":"wvhulle.github.io","ownerLogin":"wvhulle","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-12-28T19:23:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7688680?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1640719655.401162","currentOid":""},"activityList":{"items":[{"before":"9bb13fa49119f4a4132abe1ba6fec8dc9f705472","after":"ee02a8bbab87c3935674aa4908c1d74f22e88dd2","ref":"refs/heads/main","pushedAt":"2024-07-13T16:04:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve sections on deep learning and proof assistants","shortMessageHtmlLink":"improve sections on deep learning and proof assistants"}},{"before":"8c8f25315b5c68a876293c974313e966d7eb8223","after":"9bb13fa49119f4a4132abe1ba6fec8dc9f705472","ref":"refs/heads/main","pushedAt":"2024-07-11T19:39:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"simplify","shortMessageHtmlLink":"simplify"}},{"before":"2c22fa479edbdfe94d0692ab74599b17832ee420","after":"8c8f25315b5c68a876293c974313e966d7eb8223","ref":"refs/heads/main","pushedAt":"2024-07-08T20:24:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"otiv-willem-vanhulle","name":null,"path":"/otiv-willem-vanhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/168444164?s=80&v=4"},"commit":{"message":"Fix small typos","shortMessageHtmlLink":"Fix small typos"}},{"before":"b40c45e3bf205cc543bcf716f31203793aee6da9","after":"2c22fa479edbdfe94d0692ab74599b17832ee420","ref":"refs/heads/main","pushedAt":"2024-07-08T19:29:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"otiv-willem-vanhulle","name":null,"path":"/otiv-willem-vanhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/168444164?s=80&v=4"},"commit":{"message":"improve start and about","shortMessageHtmlLink":"improve start and about"}},{"before":"9eac3b8ab9c20afb92288f4fce12357e44a04d54","after":"b40c45e3bf205cc543bcf716f31203793aee6da9","ref":"refs/heads/main","pushedAt":"2024-06-29T15:36:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"Improve projects section","shortMessageHtmlLink":"Improve projects section"}},{"before":"6b49ad0f17613b968012cf15735d63a6d2ec2021","after":"9eac3b8ab9c20afb92288f4fce12357e44a04d54","ref":"refs/heads/main","pushedAt":"2024-06-08T19:46:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"turn historical overview into a table","shortMessageHtmlLink":"turn historical overview into a table"}},{"before":"a432a2d38b9bb022dbaa94f9a50361bfd8135f00","after":"6b49ad0f17613b968012cf15735d63a6d2ec2021","ref":"refs/heads/main","pushedAt":"2024-05-01T19:33:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"history of reactive programming","shortMessageHtmlLink":"history of reactive programming"}},{"before":"7cf2f308580380976636bdf06a15379cbbead85e","after":"a432a2d38b9bb022dbaa94f9a50361bfd8135f00","ref":"refs/heads/main","pushedAt":"2024-04-23T20:43:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve reactivity","shortMessageHtmlLink":"improve reactivity"}},{"before":"e8049d0f33a489d0067bcf471026b7777ad0b476","after":"7cf2f308580380976636bdf06a15379cbbead85e","ref":"refs/heads/main","pushedAt":"2024-04-23T19:30:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"fix link","shortMessageHtmlLink":"fix link"}},{"before":"732091c4f969baf4c5e4670c52ce266a8c77a4a7","after":"e8049d0f33a489d0067bcf471026b7777ad0b476","ref":"refs/heads/main","pushedAt":"2024-04-23T19:22:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"upgrade node version","shortMessageHtmlLink":"upgrade node version"}},{"before":"c11df40b735fdf1510151e5094e22da96eef6881","after":"732091c4f969baf4c5e4670c52ce266a8c77a4a7","ref":"refs/heads/main","pushedAt":"2024-04-21T19:32:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve monads and observables","shortMessageHtmlLink":"improve monads and observables"}},{"before":"49ef0e728679ada70beff1ec9a0adeadb806fa01","after":"c11df40b735fdf1510151e5094e22da96eef6881","ref":"refs/heads/main","pushedAt":"2024-04-04T08:07:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"fix spelling mistake","shortMessageHtmlLink":"fix spelling mistake"}},{"before":"2aee7e8ea367ee40bf8e790b9d92011b936dc248","after":"49ef0e728679ada70beff1ec9a0adeadb806fa01","ref":"refs/heads/main","pushedAt":"2024-01-29T12:31:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"remove base","shortMessageHtmlLink":"remove base"}},{"before":"753790841795d5882c4256c094373b6b24b4c003","after":"2aee7e8ea367ee40bf8e790b9d92011b936dc248","ref":"refs/heads/main","pushedAt":"2024-01-29T12:29:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"remove wvhulle prefix","shortMessageHtmlLink":"remove wvhulle prefix"}},{"before":"70630490904d2c0af40f293ff335fe1fcb6c68c4","after":"753790841795d5882c4256c094373b6b24b4c003","ref":"refs/heads/main","pushedAt":"2024-01-29T12:18:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"add lock file","shortMessageHtmlLink":"add lock file"}},{"before":"fb6477abd0e673cf6ead9323143f6f0556321a24","after":"70630490904d2c0af40f293ff335fe1fcb6c68c4","ref":"refs/heads/main","pushedAt":"2024-01-29T12:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"fix absolute urls","shortMessageHtmlLink":"fix absolute urls"}},{"before":"b179655b2a32e8bad76307e8ea3857ea13118523","after":"fb6477abd0e673cf6ead9323143f6f0556321a24","ref":"refs/heads/main","pushedAt":"2024-01-19T20:23:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"upgrade and improve functional programming","shortMessageHtmlLink":"upgrade and improve functional programming"}},{"before":"c164216ab76a989e20e2953987d32de84d3c88b7","after":"b179655b2a32e8bad76307e8ea3857ea13118523","ref":"refs/heads/main","pushedAt":"2024-01-15T17:51:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"change font","shortMessageHtmlLink":"change font"}},{"before":"130e2a7398a6960c4cc90790da471f5da39aaec4","after":"c164216ab76a989e20e2953987d32de84d3c88b7","ref":"refs/heads/main","pushedAt":"2024-01-14T14:21:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"concurrency","shortMessageHtmlLink":"concurrency"}},{"before":"308f221dcb3b154c86d5ef2e2d501dabbb27c659","after":"130e2a7398a6960c4cc90790da471f5da39aaec4","ref":"refs/heads/main","pushedAt":"2024-01-13T12:41:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"add work in progress","shortMessageHtmlLink":"add work in progress"}},{"before":"3a5373a8c5c23138a25dde86bf273131a5c17ccd","after":"308f221dcb3b154c86d5ef2e2d501dabbb27c659","ref":"refs/heads/main","pushedAt":"2024-01-13T12:28:52.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"changes","shortMessageHtmlLink":"changes"}},{"before":"f2988d1a8062cc520dfa92821034d61b51857ad5","after":"3a5373a8c5c23138a25dde86bf273131a5c17ccd","ref":"refs/heads/main","pushedAt":"2024-01-09T19:19:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"clear up distinction pointers and references","shortMessageHtmlLink":"clear up distinction pointers and references"}},{"before":"0251c7ba567ad34bf6ffe62397cbf0a656d26f47","after":"f2988d1a8062cc520dfa92821034d61b51857ad5","ref":"refs/heads/main","pushedAt":"2023-12-28T14:48:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"add cpp examples","shortMessageHtmlLink":"add cpp examples"}},{"before":"86d65e7cfca25288af2f7def7833f78401210303","after":"0251c7ba567ad34bf6ffe62397cbf0a656d26f47","ref":"refs/heads/main","pushedAt":"2023-12-23T12:35:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve examples and add part dependent types","shortMessageHtmlLink":"improve examples and add part dependent types"}},{"before":"3fe4367fa63b1d64d65a700342d367891d5ad59e","after":"86d65e7cfca25288af2f7def7833f78401210303","ref":"refs/heads/main","pushedAt":"2023-12-22T17:38:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"add examples mathematics","shortMessageHtmlLink":"add examples mathematics"}},{"before":"ab972e734624763bb74487586b48e59b1b9ae71a","after":"3fe4367fa63b1d64d65a700342d367891d5ad59e","ref":"refs/heads/main","pushedAt":"2023-12-22T13:54:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"add advanced programming","shortMessageHtmlLink":"add advanced programming"}},{"before":"44eb50a151533f5eba45d757f08ecedfa8ef2f41","after":"ab972e734624763bb74487586b48e59b1b9ae71a","ref":"refs/heads/main","pushedAt":"2023-12-20T17:16:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"remove gpt content","shortMessageHtmlLink":"remove gpt content"}},{"before":"689f6c815163bcc9006a0e37ff7751453d403c15","after":"44eb50a151533f5eba45d757f08ecedfa8ef2f41","ref":"refs/heads/main","pushedAt":"2023-12-16T21:05:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve basics text","shortMessageHtmlLink":"improve basics text"}},{"before":"0f3bf5ba54e8d99093f6ebdc926b2817446d47bc","after":"689f6c815163bcc9006a0e37ff7751453d403c15","ref":"refs/heads/main","pushedAt":"2023-12-16T19:04:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve info on futures","shortMessageHtmlLink":"improve info on futures"}},{"before":"a3e999e12c54a12983e7ab52073fa89eb964db3b","after":"0f3bf5ba54e8d99093f6ebdc926b2817446d47bc","ref":"refs/heads/main","pushedAt":"2023-12-16T12:54:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wvhulle","name":"Willem Vanhulle","path":"/wvhulle","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7688680?s=80&v=4"},"commit":{"message":"improve pointer","shortMessageHtmlLink":"improve pointer"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xM1QxNjowNDoxOS4wMDAwMDBazwAAAAR-nRbc","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xM1QxNjowNDoxOS4wMDAwMDBazwAAAAR-nRbc","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0xNlQxMjo1NDoyNy4wMDAwMDBazwAAAAPL2jPo"}},"title":"Activity · wvhulle/wvhulle.github.io"}