{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":22285392,"defaultBranch":"master","name":"thinking-dumps","ownerLogin":"shouya","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-07-26T11:40:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/526598?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1654950237.929792","currentOid":""},"activityList":{"items":[{"before":"e04fdb86102c054e8d2f56cea236cc0ac1b510ea","after":"3bc8861968532b28c4b0fbedea0503b328e2d9ed","ref":"refs/heads/master","pushedAt":"2024-03-16T11:09:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"an ant model in netlogo","shortMessageHtmlLink":"an ant model in netlogo"}},{"before":"8fadcd43c56ff057ab05ecbc80cc55a6051c3b75","after":"e04fdb86102c054e8d2f56cea236cc0ac1b510ea","ref":"refs/heads/master","pushedAt":"2024-02-21T00:57:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"provide the slot information to on_hit callback directly","shortMessageHtmlLink":"provide the slot information to on_hit callback directly"}},{"before":"75ed895c7258fd019fd880fc2b101dc83bcb10a1","after":"8fadcd43c56ff057ab05ecbc80cc55a6051c3b75","ref":"refs/heads/master","pushedAt":"2024-02-21T00:56:06.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"provide the slot information to on_hit callback directly","shortMessageHtmlLink":"provide the slot information to on_hit callback directly"}},{"before":"8b61f1fe240e5a30ab0537aeade3706937a14623","after":"75ed895c7258fd019fd880fc2b101dc83bcb10a1","ref":"refs/heads/master","pushedAt":"2024-02-19T04:38:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"playground for cache replacement strategies","shortMessageHtmlLink":"playground for cache replacement strategies"}},{"before":"2e5d1bb92a1054a7868570d1e058923ccc1a736f","after":"8b61f1fe240e5a30ab0537aeade3706937a14623","ref":"refs/heads/master","pushedAt":"2024-02-14T08:56:37.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"program to measure syscall and context switch time","shortMessageHtmlLink":"program to measure syscall and context switch time"}},{"before":"723b05057e43af7bf80568e4aef6117fa1ec1956","after":"2e5d1bb92a1054a7868570d1e058923ccc1a736f","ref":"refs/heads/master","pushedAt":"2024-02-14T08:54:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"program to measure syscall and context switch time","shortMessageHtmlLink":"program to measure syscall and context switch time"}},{"before":"58cb0a1429bd4cb66f7e50e84a97230e9bec0f3c","after":"723b05057e43af7bf80568e4aef6117fa1ec1956","ref":"refs/heads/master","pushedAt":"2024-02-14T08:32:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"program to measure syscall and context switch time","shortMessageHtmlLink":"program to measure syscall and context switch time"}},{"before":"8f15178cd1aa01437e4ce63038e21362519651c4","after":"58cb0a1429bd4cb66f7e50e84a97230e9bec0f3c","ref":"refs/heads/master","pushedAt":"2024-02-13T09:06:42.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"chapter 20: approximate bayesian computation (last chapter)","shortMessageHtmlLink":"chapter 20: approximate bayesian computation (last chapter)"}},{"before":"747c7cfd156b76bd63e7bf805ce29a0e43a0d51a","after":"8f15178cd1aa01437e4ce63038e21362519651c4","ref":"refs/heads/master","pushedAt":"2024-01-30T08:14:00.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"proving Diaconescu's theorem","shortMessageHtmlLink":"proving Diaconescu's theorem"}},{"before":"13688716031955fa97267c4516ec991f4c474b42","after":"747c7cfd156b76bd63e7bf805ce29a0e43a0d51a","ref":"refs/heads/master","pushedAt":"2024-01-28T09:57:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"complete chapter 8: induction and recursion","shortMessageHtmlLink":"complete chapter 8: induction and recursion"}},{"before":"6e99f4a1f3e4ce1ae36d87fe3e69247c92fcf1d3","after":"13688716031955fa97267c4516ec991f4c474b42","ref":"refs/heads/master","pushedAt":"2024-01-28T08:43:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"Chapter 16: log odds","shortMessageHtmlLink":"Chapter 16: log odds"}},{"before":"ab2b379efbc0e9d1bb698b07d6ba0b0fac895d42","after":"6e99f4a1f3e4ce1ae36d87fe3e69247c92fcf1d3","ref":"refs/heads/master","pushedAt":"2024-01-27T08:36:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"more derivation on well-founded recursion","shortMessageHtmlLink":"more derivation on well-founded recursion"}},{"before":"32ba0175cd753d64622dcf736bdbf355b6033a43","after":"ab2b379efbc0e9d1bb698b07d6ba0b0fac895d42","ref":"refs/heads/master","pushedAt":"2024-01-26T09:05:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"chapter 8 (partial): well-founded recursion","shortMessageHtmlLink":"chapter 8 (partial): well-founded recursion"}},{"before":"1097c986fc86c344c2b84cd90c22230ad87181d2","after":"32ba0175cd753d64622dcf736bdbf355b6033a43","ref":"refs/heads/master","pushedAt":"2024-01-24T07:42:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish chapter 15: mark and recapture","shortMessageHtmlLink":"finish chapter 15: mark and recapture"}},{"before":"2e1446f23b748099b966a2bb8818ee64f0004307","after":"1097c986fc86c344c2b84cd90c22230ad87181d2","ref":"refs/heads/master","pushedAt":"2024-01-23T07:06:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish chapter 14: survival analysis","shortMessageHtmlLink":"finish chapter 14: survival analysis"}},{"before":"af5b4636049ffc4d777fb5ebc3eb2fa6f435bffb","after":"2e1446f23b748099b966a2bb8818ee64f0004307","ref":"refs/heads/master","pushedAt":"2024-01-23T05:48:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish chapter 7: inductive types","shortMessageHtmlLink":"finish chapter 7: inductive types"}},{"before":"25c169aac98899a6a27522f403aee447a0b6956e","after":"af5b4636049ffc4d777fb5ebc3eb2fa6f435bffb","ref":"refs/heads/master","pushedAt":"2024-01-18T01:38:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"proofs using tactics for chapter 4 exercises","shortMessageHtmlLink":"proofs using tactics for chapter 4 exercises"}},{"before":"25c1226ae834f13cc37b47ffc51540496f06f4d5","after":"25c169aac98899a6a27522f403aee447a0b6956e","ref":"refs/heads/master","pushedAt":"2024-01-17T09:25:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish chapter 13: inference","shortMessageHtmlLink":"finish chapter 13: inference"}},{"before":"5bf819331866c7eb17de8849d55d38ff58a9f2f9","after":"25c1226ae834f13cc37b47ffc51540496f06f4d5","ref":"refs/heads/master","pushedAt":"2024-01-17T09:23:57.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish chapter 13: inference","shortMessageHtmlLink":"finish chapter 13: inference"}},{"before":"26d2fa7bedd681ca4e659455724d846a8b7e54f7","after":"5bf819331866c7eb17de8849d55d38ff58a9f2f9","ref":"refs/heads/master","pushedAt":"2024-01-12T09:13:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"chapter on bayesian classification","shortMessageHtmlLink":"chapter on bayesian classification"}},{"before":"584d9352ded33ad7f3eaa9b18556215cd0b37911","after":"26d2fa7bedd681ca4e659455724d846a8b7e54f7","ref":"refs/heads/master","pushedAt":"2024-01-10T08:03:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"prove more theorems in quantifiers section","shortMessageHtmlLink":"prove more theorems in quantifiers section"}},{"before":"a9d08a0d98a0de98271fb9ed11eae2755d97303a","after":"584d9352ded33ad7f3eaa9b18556215cd0b37911","ref":"refs/heads/master","pushedAt":"2024-01-10T02:04:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish the chapter on joint distribution","shortMessageHtmlLink":"finish the chapter on joint distribution"}},{"before":"9077130c4330908bd50a3e557e49facb0a003247","after":"a9d08a0d98a0de98271fb9ed11eae2755d97303a","ref":"refs/heads/master","pushedAt":"2024-01-08T08:38:11.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"chapter 4 of theorem proving in lean 4","shortMessageHtmlLink":"chapter 4 of theorem proving in lean 4"}},{"before":"426e06db2ab28d3692edcace80603766f37fe6a4","after":"9077130c4330908bd50a3e557e49facb0a003247","ref":"refs/heads/master","pushedAt":"2024-01-07T12:52:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"finish those constructive logic proofs","shortMessageHtmlLink":"finish those constructive logic proofs"}},{"before":"bdc390b21fcc4bac18d7091912e76f0b36399e7c","after":"426e06db2ab28d3692edcace80603766f37fe6a4","ref":"refs/heads/master","pushedAt":"2024-01-06T07:08:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"testing hypothesis with bayesian method","shortMessageHtmlLink":"testing hypothesis with bayesian method"}},{"before":"3379835575ee9819c1eb55640e91c830a138bbee","after":"bdc390b21fcc4bac18d7091912e76f0b36399e7c","ref":"refs/heads/master","pushedAt":"2024-01-05T05:38:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"add theorem proving in lean 4","shortMessageHtmlLink":"add theorem proving in lean 4"}},{"before":"d2d616d71af75050fd8e34022f55db45f3ce159a","after":"3379835575ee9819c1eb55640e91c830a138bbee","ref":"refs/heads/master","pushedAt":"2024-01-05T02:58:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"bayesian hypothesis testing","shortMessageHtmlLink":"bayesian hypothesis testing"}},{"before":"6191a940f3fca4661a6f01663ef38b8ce57c9018","after":"d2d616d71af75050fd8e34022f55db45f3ce159a","ref":"refs/heads/master","pushedAt":"2023-12-29T15:06:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"add think-bayes","shortMessageHtmlLink":"add think-bayes"}},{"before":"aa14cd44a6e8c6c25b743b21c613d77ad5102320","after":"6191a940f3fca4661a6f01663ef38b8ce57c9018","ref":"refs/heads/master","pushedAt":"2023-06-04T15:41:30.531Z","pushType":"push","commitsCount":1,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"arrcomp: solve exercise 18 and 19","shortMessageHtmlLink":"arrcomp: solve exercise 18 and 19"}},{"before":"49d6840673db637e109fc462f09c4cd00643532a","after":"aa14cd44a6e8c6c25b743b21c613d77ad5102320","ref":"refs/heads/master","pushedAt":"2023-06-04T15:13:20.256Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"shouya","name":null,"path":"/shouya","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/526598?s=80&v=4"},"commit":{"message":"arrcomp homogeneous functions","shortMessageHtmlLink":"arrcomp homogeneous functions"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEF1RoqAA","startCursor":null,"endCursor":null}},"title":"Activity · shouya/thinking-dumps"}