{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":363339305,"defaultBranch":"main","name":"ck76.github.io","ownerLogin":"ck76","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-01T06:24:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33044864?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1619850293.831311","currentOid":""},"activityList":{"items":[{"before":"4b1296c6e2f3adb981137edc29483e1423aeaded","after":"05101dc426c3cedb66b54fc3f0b370911e071d25","ref":"refs/heads/main","pushedAt":"2024-09-20T14:47:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"pfpl","shortMessageHtmlLink":"pfpl"}},{"before":"e9661658627a0a5b5130b8fb254a112e773a1ef6","after":"4b1296c6e2f3adb981137edc29483e1423aeaded","ref":"refs/heads/main","pushedAt":"2024-09-18T15:07:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"pfpl","shortMessageHtmlLink":"pfpl"}},{"before":"d751225edf5cd8d1b4e6a09d6082520a840d9d4a","after":"e9661658627a0a5b5130b8fb254a112e773a1ef6","ref":"refs/heads/main","pushedAt":"2024-09-16T13:00:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"pfpl - 1","shortMessageHtmlLink":"pfpl - 1"}},{"before":"29a9909711f5ac3ab4dd47035d9784846d14713a","after":"d751225edf5cd8d1b4e6a09d6082520a840d9d4a","ref":"refs/heads/main","pushedAt":"2024-09-10T05:57:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"eopl 2-7","shortMessageHtmlLink":"eopl 2-7"}},{"before":"a20440ebc634eb26d318b0192af963630ddb65fa","after":"29a9909711f5ac3ab4dd47035d9784846d14713a","ref":"refs/heads/main","pushedAt":"2024-09-08T16:17:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"nlab","shortMessageHtmlLink":"nlab"}},{"before":"9e7214c7539477df08ebe5b8b30ac104ffcf6e61","after":"a20440ebc634eb26d318b0192af963630ddb65fa","ref":"refs/heads/main","pushedAt":"2024-09-08T15:14:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"dao of fp cat","shortMessageHtmlLink":"dao of fp cat"}},{"before":"d644c5ff6510c3d488a37d0266fc85974460fc9e","after":"9e7214c7539477df08ebe5b8b30ac104ffcf6e61","ref":"refs/heads/main","pushedAt":"2024-09-08T14:08:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"abs cat!!!!!!!:<","shortMessageHtmlLink":"abs cat!!!!!!!:&lt;"}},{"before":"515ad3b991743677ed963b047bddf15dcca23e2f","after":"d644c5ff6510c3d488a37d0266fc85974460fc9e","ref":"refs/heads/main","pushedAt":"2024-09-08T08:20:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"abs cat... :-<>!","shortMessageHtmlLink":"abs cat... :-&lt;&gt;!"}},{"before":"e13790ddac1c5b7088ec6128f764dbb71839bb5f","after":"515ad3b991743677ed963b047bddf15dcca23e2f","ref":"refs/heads/main","pushedAt":"2024-09-07T15:05:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"d2db8be2d3b33cb57128bae89d5e7791e075b5c7","after":"e13790ddac1c5b7088ec6128f764dbb71839bb5f","ref":"refs/heads/main","pushedAt":"2024-09-05T14:30:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"20240905","shortMessageHtmlLink":"20240905"}},{"before":"18c67214741256a3eeac0db083c9c022244ba54f","after":"d2db8be2d3b33cb57128bae89d5e7791e075b5c7","ref":"refs/heads/main","pushedAt":"2024-09-04T04:57:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"e4c68c1a57565df60d6ebc2549b1c99424e3e6e9","after":"18c67214741256a3eeac0db083c9c022244ba54f","ref":"refs/heads/main","pushedAt":"2024-09-01T14:33:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"ee9c2c367b90a988dc40fd193629e5b28c73671e","after":"e4c68c1a57565df60d6ebc2549b1c99424e3e6e9","ref":"refs/heads/main","pushedAt":"2024-08-29T04:51:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"hott zh v1","shortMessageHtmlLink":"hott zh v1"}},{"before":"d62974c357269b1b1af2cb7c96c58c43e0d741f0","after":"ee9c2c367b90a988dc40fd193629e5b28c73671e","ref":"refs/heads/main","pushedAt":"2024-08-25T12:43:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"b20f3e52602ecde0476f06e1f298ff5736083b1b","after":"d62974c357269b1b1af2cb7c96c58c43e0d741f0","ref":"refs/heads/main","pushedAt":"2024-08-24T08:31:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"b5afdbce967e2315a6e5594d47374d7db43e33a7","after":"b20f3e52602ecde0476f06e1f298ff5736083b1b","ref":"refs/heads/main","pushedAt":"2024-08-20T12:38:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"527ba885c3fb3dd70cb088f2a12c591e51479162","after":"b5afdbce967e2315a6e5594d47374d7db43e33a7","ref":"refs/heads/main","pushedAt":"2024-08-20T06:59:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"tapl and pfpl","shortMessageHtmlLink":"tapl and pfpl"}},{"before":"ba64026de875707ddc08c6c26332febce8d06c86","after":"527ba885c3fb3dd70cb088f2a12c591e51479162","ref":"refs/heads/main","pushedAt":"2024-08-19T13:44:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"plfa","shortMessageHtmlLink":"plfa"}},{"before":"2ea7718cfa52d7e2951d27422124cefa91c2ed61","after":"ba64026de875707ddc08c6c26332febce8d06c86","ref":"refs/heads/main","pushedAt":"2024-08-19T09:37:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"请记住：【 行内联公式用$这里是公式$（单美元符包裹），多行公式用$$这里是公式$$（双美元符包裹），开始的美元符与结束的美元符分别都不要与公式内的内容之间有空格，如果开始的美元符右边有空格或者结束的美元符左边有空格的话会造成公式显示异常】使用markdown的公式语法\n\n请记住：【 行内联公式用$这里是公式$（单美元符包裹），多行公式用$$这里是公式$$（双美元符包裹），开始的美元符与结束的美元符分别都不要与公式内的内容之间有空格，如果开始的美元符右边有空格或者结束的美元符左边有空格的话会造成公式显示异常】使用markdown的公式语法\n请记住：【 行内联公式用$这里是公式$（单美元符包裹），多行公式用$$这里是公式$$（双美元符包裹），开始的美元符与结束的美元符分别都不要与公式内的内容之间有空格，如果开始的美元符右边有空格或者结束的美元符左边有空格的话会造成公式显示异常】使用markdown的公式语法","shortMessageHtmlLink":"请记住：【 行内联公式用$这里是公式$（单美元符包裹），多行公式用$$这里是公式$$（双美元符包裹），开始的美元符与结束的美元符分别都不要…"}},{"before":"383131b0fc22e771540950b966c470155e60a902","after":"2ea7718cfa52d7e2951d27422124cefa91c2ed61","ref":"refs/heads/main","pushedAt":"2024-08-19T09:04:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"pfla vol1","shortMessageHtmlLink":"pfla vol1"}},{"before":"bdf08c85d20f560460cadd8d503797b53d2f8abe","after":"383131b0fc22e771540950b966c470155e60a902","ref":"refs/heads/main","pushedAt":"2024-08-19T06:43:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"PLFA & EoPL","shortMessageHtmlLink":"PLFA &amp; EoPL"}},{"before":"6b88506cb98793c6f781d1470174b08073994946","after":"bdf08c85d20f560460cadd8d503797b53d2f8abe","ref":"refs/heads/main","pushedAt":"2024-08-19T05:48:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"plai 2ed","shortMessageHtmlLink":"plai 2ed"}},{"before":"a332160145d4f6b1a74e13ea833efb4aea89ecb8","after":"6b88506cb98793c6f781d1470174b08073994946","ref":"refs/heads/main","pushedAt":"2024-08-16T15:10:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"005d7bf4546a6ca5b47e86804669c1b7ce4a40e5","after":"a332160145d4f6b1a74e13ea833efb4aea89ecb8","ref":"refs/heads/main","pushedAt":"2024-08-14T17:02:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"《类型论简史》.md\n\n《类型论简史》.md\nhttps://github.com/Trebor-Huang/history","shortMessageHtmlLink":"《类型论简史》.md"}},{"before":"dedd17d08508a61aabeeefbe396c0bd890338aa1","after":"005d7bf4546a6ca5b47e86804669c1b7ce4a40e5","ref":"refs/heads/main","pushedAt":"2024-08-12T08:31:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"eace12500ad09a649000e8760e73f7328cc7e47a","after":"dedd17d08508a61aabeeefbe396c0bd890338aa1","ref":"refs/heads/main","pushedAt":"2024-08-11T18:51:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"099ae88cf72154579940276e51e9ef9ba8751ae1","after":"eace12500ad09a649000e8760e73f7328cc7e47a","ref":"refs/heads/main","pushedAt":"2024-08-10T17:25:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"PLAI Programming Languages: Application and Interpretation\n\n[PLAI - **Programming Languages: Application and Interpretation**](https://lotuc.org/PLAI-cn/)\n\n- ①20240812-肥肠肥肠号，まぁ、我能看懂的书都是好书啊","shortMessageHtmlLink":"PLAI Programming Languages: Application and Interpretation"}},{"before":"e88c9bb9ac02c8c345290dddd1d970a82176ab4b","after":"099ae88cf72154579940276e51e9ef9ba8751ae1","ref":"refs/heads/main","pushedAt":"2024-08-05T16:11:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"📚","shortMessageHtmlLink":"📚"}},{"before":"7aee4d140dc120f35b6d49d4a871cfaf96eb49cf","after":"e88c9bb9ac02c8c345290dddd1d970a82176ab4b","ref":"refs/heads/main","pushedAt":"2024-08-05T04:50:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":".\n\n函数式程序设计入门邓玉欣函数式程序设计入门邓玉欣","shortMessageHtmlLink":"."}},{"before":"f52662125a9b1042a83e7cf53100f9655ba5c2f1","after":"7aee4d140dc120f35b6d49d4a871cfaf96eb49cf","ref":"refs/heads/main","pushedAt":"2024-07-30T11:54:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ck76","name":"CHENG KUN","path":"/ck76","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33044864?s=80&v=4"},"commit":{"message":"Update Mac装机配置.md","shortMessageHtmlLink":"Update Mac装机配置.md"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxNDo0Nzo1NC4wMDAwMDBazwAAAAS8E_iK","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxNDo0Nzo1NC4wMDAwMDBazwAAAAS8E_iK","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0zMFQxMTo1NDo1Ni4wMDAwMDBazwAAAASM7KWt"}},"title":"Activity · ck76/ck76.github.io"}