{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":499525124,"defaultBranch":"main","name":"SensCheck","ownerLogin":"uvm-plaid","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-03T13:38:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/36086622?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1695264074.0","currentOid":""},"activityList":{"items":[{"before":"1fb575e0735e9c53e3a5dc48ccc2896b1d4c6b04","after":"090dab15977a95b810a37bb69f93e623e49cd160","ref":"refs/heads/main","pushedAt":"2024-09-20T13:26:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Almost have quickcheck calling smapProp however there's rigid type varaibles again","shortMessageHtmlLink":"Almost have quickcheck calling smapProp however there's rigid type va…"}},{"before":"0cc85e713055d4855908ff65b5408ce47ceebb00","after":"1fb575e0735e9c53e3a5dc48ccc2896b1d4c6b04","ref":"refs/heads/main","pushedAt":"2024-09-14T00:35:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Checking in issues with rank2 types for David","shortMessageHtmlLink":"Checking in issues with rank2 types for David"}},{"before":"ceef68668511a2ac997cfa0a9a4ae45a8daa5c38","after":"0cc85e713055d4855908ff65b5408ce47ceebb00","ref":"refs/heads/main","pushedAt":"2024-08-03T20:41:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"All done!","shortMessageHtmlLink":"All done!"}},{"before":"cb5b34ff838c06e154fe3f743cbfd1938cacd3e5","after":"ceef68668511a2ac997cfa0a9a4ae45a8daa5c38","ref":"refs/heads/main","pushedAt":"2024-08-03T19:52:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"suggestion from Tom","shortMessageHtmlLink":"suggestion from Tom"}},{"before":"7953e3029330d0304bcf57d75adbf678038ae52a","after":"cb5b34ff838c06e154fe3f743cbfd1938cacd3e5","ref":"refs/heads/main","pushedAt":"2024-07-29T00:48:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Attempt scalarMult","shortMessageHtmlLink":"Attempt scalarMult"}},{"before":"c5be7f4780334e20e6c762c1c05d476a4b31997a","after":"7953e3029330d0304bcf57d75adbf678038ae52a","ref":"refs/heads/main","pushedAt":"2024-07-27T19:00:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"more cleanup","shortMessageHtmlLink":"more cleanup"}},{"before":"7230a6ff226f34468a6e42101ba5ce71b7eaeaad","after":"c5be7f4780334e20e6c762c1c05d476a4b31997a","ref":"refs/heads/main","pushedAt":"2024-07-27T18:28:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Clean up","shortMessageHtmlLink":"Clean up"}},{"before":"07e8c3e4e323d77e5852dc5581d297fc857e2263","after":"7230a6ff226f34468a6e42101ba5ce71b7eaeaad","ref":"refs/heads/main","pushedAt":"2024-07-25T14:07:48.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Remove old existential stuff, debugging arith underflow","shortMessageHtmlLink":"Remove old existential stuff, debugging arith underflow"}},{"before":"f89c98c40c3d7851a04cf5f44a9abf3d256261e2","after":"07e8c3e4e323d77e5852dc5581d297fc857e2263","ref":"refs/heads/main","pushedAt":"2024-07-22T02:13:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Problem two","shortMessageHtmlLink":"Problem two"}},{"before":"98f85ddff3586ce1baebbf7ad7579fe2473f64f2","after":"f89c98c40c3d7851a04cf5f44a9abf3d256261e2","ref":"refs/heads/main","pushedAt":"2024-07-21T03:08:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"stuff","shortMessageHtmlLink":"stuff"}},{"before":"9276fbdffa9ea8eaa43eb0da3129a4a128d2b937","after":"98f85ddff3586ce1baebbf7ad7579fe2473f64f2","ref":"refs/heads/main","pushedAt":"2024-07-21T02:52:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Last try with existential trick no luck","shortMessageHtmlLink":"Last try with existential trick no luck"}},{"before":"f3131e23cb278c8c9d363f3ef1ec833bb6b9621c","after":"9276fbdffa9ea8eaa43eb0da3129a4a128d2b937","ref":"refs/heads/main","pushedAt":"2024-07-21T01:29:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Generator works!","shortMessageHtmlLink":"Generator works!"}},{"before":"c93b6b959265960b081f0acaa78a8ba286437e0a","after":"f3131e23cb278c8c9d363f3ef1ec833bb6b9621c","ref":"refs/heads/main","pushedAt":"2024-07-20T22:43:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Try reflection","shortMessageHtmlLink":"Try reflection"}},{"before":"4c2b4bbc04ed43d58f7ac9097245e95c340fb179","after":"c93b6b959265960b081f0acaa78a8ba286437e0a","ref":"refs/heads/main","pushedAt":"2024-06-23T02:06:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"More","shortMessageHtmlLink":"More"}},{"before":"0221ea01ddf1a1b3bbfdbea0154d3bf3e8c02426","after":"4c2b4bbc04ed43d58f7ac9097245e95c340fb179","ref":"refs/heads/main","pushedAt":"2024-06-23T02:05:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"commit .cabal","shortMessageHtmlLink":"commit .cabal"}},{"before":"5af5940cbbe797b0e6388f39d0b7d598efff13cd","after":"0221ea01ddf1a1b3bbfdbea0154d3bf3e8c02426","ref":"refs/heads/main","pushedAt":"2024-06-23T02:05:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Update project name to SensCheck","shortMessageHtmlLink":"Update project name to SensCheck"}},{"before":"7cd4dd8707518a0754d37a0e0a36925cb1189b5f","after":"5af5940cbbe797b0e6388f39d0b7d598efff13cd","ref":"refs/heads/main","pushedAt":"2024-03-19T00:25:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Remove _","shortMessageHtmlLink":"Remove _"}},{"before":"22103aaf037ff6fb0cde5406aa68335e78da3376","after":"7cd4dd8707518a0754d37a0e0a36925cb1189b5f","ref":"refs/heads/main","pushedAt":"2024-03-18T03:00:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"no luck either","shortMessageHtmlLink":"no luck either"}},{"before":"66aefc20cc87874097d7644be3be1ef529bfca61","after":"22103aaf037ff6fb0cde5406aa68335e78da3376","ref":"refs/heads/main","pushedAt":"2024-03-14T03:45:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Example of box propertyh","shortMessageHtmlLink":"Example of box propertyh"}},{"before":"249ecb9d9309ebbe5a5c44e806a32a11054aecd4","after":"66aefc20cc87874097d7644be3be1ef529bfca61","ref":"refs/heads/main","pushedAt":"2024-03-14T03:18:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Make matrix less polymorphic since we are just working with Doubles anyway","shortMessageHtmlLink":"Make matrix less polymorphic since we are just working with Doubles a…"}},{"before":"0a078b158f81a09517b722b5e7eb1c4f6ad3844f","after":"249ecb9d9309ebbe5a5c44e806a32a11054aecd4","ref":"refs/heads/main","pushedAt":"2024-03-10T01:50:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"b","shortMessageHtmlLink":"b"}},{"before":"0ba35c3927f149680805353c8a60677683985c24","after":"0a078b158f81a09517b722b5e7eb1c4f6ad3844f","ref":"refs/heads/main","pushedAt":"2024-03-10T00:43:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"format","shortMessageHtmlLink":"format"}},{"before":"8ea67343bbaa05037c292512ef7356ac37840c9a","after":"0ba35c3927f149680805353c8a60677683985c24","ref":"refs/heads/main","pushedAt":"2024-03-10T00:03:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"withSomeNat","shortMessageHtmlLink":"withSomeNat"}},{"before":"d23f80523653f74d6d8103de76a5baa0616ab8d7","after":"8ea67343bbaa05037c292512ef7356ac37840c9a","ref":"refs/heads/main","pushedAt":"2024-02-11T19:39:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Grenade WIP (#10)\n\n* feat: Add grenade as a dependency also bump up stack LTS:\r\n\r\n* feat: Add dependencies for DpMinst example\r\n\r\n* feat: Port DPMinst example with stub for trainDP\r\n\r\n* notes from the meeting\r\n\r\n* fix the definition of clippedGrad\r\n\r\n* Add SGradients and STrainRow newtypes. Some type aliases.\r\n\r\n* stuff:\r\n\r\n* Attempting a less polymorphic solution\r\n\r\n* temp\r\n\r\n* Use qualifiedDo\r\n\r\n* checkin\r\n\r\n* made monoid like thing for gradient\r\n\r\n* heads and tails on type-level gradients. monoid instance for ReShape\r\n\r\n* Made grad monoid more simplified, close to sum lists using Head and Tail from singlestons but not quite. Checkin with Joe\r\n\r\n* don't need to use Head and Tail from signleton you can constrcut with ':\r\n\r\n* Tried to have a contraint on all elements in a type level list but mgiht back out. Checking in here.\r\n\r\n* monoid for Concat and COnvolution stubs\r\n\r\n* Close but I can't get monoid instances happy using the Gradient thing. I think I'll drop using Gradient type function because that just seems harder even though I might make repetative code. e.g. many things that are effectively ()\r\n\r\n* sum list of grads works!!!\r\n\r\n* Check in with Joe and also Monoid for Colvultion!\r\n\r\n* Clean up code\r\n\r\n* Fix Monoid and Semigroups for nested gradients\r\n\r\n* Make stub for ClipGrad typeclass to clip the gradients\r\n\r\n* Finished clipping stuff for norms\r\n\r\n* Checkpoint: I think you said to do this but actualy we want sensititive inputs and sensitivie outputs\r\n\r\n* Revert \"Checkpoint: I think you said to do this but actualy we want sensititive inputs and sensitivie outputs\"\r\n\r\nThis reverts commit 33e7c4beb3e2316791694b490a8caab27cf6eeb9.\r\n\r\n* Arbitrary instance on STrainRow, fork grenade, working on distance\r\ninstance\r\n\r\n* Write Distance metric for STrainRow\r\n\r\n* Almost runs just need to remove undefineds\r\n\r\n* more distance stuff\r\n\r\n* Checkpoint: Going to do flattenGrad approach\r\n\r\n* working flatten grad typeclass thanks morrow\r\n\r\n* flatten matrix implementation\r\n\r\n* Remove stale comments\r\n\r\n* Flatten top level stuff done\r\n\r\n* More stuff\r\n\r\n* Think I got all the instances I need for flattenGrads\r\n\r\n* Running!!! But failing\r\n\r\n* Checkpoint: Seeing issue with zerod inputs and non-deterministic output somehow\r\n\r\n* Trying to reproduce hmatrix issue\r\n\r\n* Trying to reproduce hmatrix issue\r\n\r\n* It works\r\n\r\n* Add scripts.hs\r\n\r\n* Was trying to have appT return set of names, realized this was a mistake. Return a bool instead if it has an SEnv\r\n\r\n* Updated parsing logic to find sensitive type automatically by kind\r\ninstead of error prone old way\r\n\r\n* passing training row 2 to clippedGrad\r\n\r\n* Remove distance on gradients\r\n\r\n* Remove clippedGrad functions\r\n\r\n* Made training examples\r\n\r\n* Create a static version for intial network\r\n\r\n* Fix sensitivity of clippedGrad, Remove Debug.Trace statements\r\n\r\n* Remove stale comments\r\n\r\n* blah\r\n\r\n* Remove stale comments and code\r\n\r\n* Remove stale comments\r\n\r\n* Remove stale comments\r\n\r\n* More matrix stuff\r\n\r\n---------\r\n\r\nCo-authored-by: Joe Near <jnear@uvm.edu>","shortMessageHtmlLink":"Grenade WIP (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1821492521\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uvm-plaid/SensCheck/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uvm-plaid/SensCheck/pull/10/hovercard\" href=\"https://github.com/uvm-plaid/SensCheck/pull/10\">#10</a>)"}},{"before":"f984fe6d3e4e7013cf97a7fc4bf2b2148e7f97dd","after":"0aec832c821eb4501537a0aefda26de8aae8bb2a","ref":"refs/heads/grenade","pushedAt":"2024-02-11T19:33:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"More matrix stuff","shortMessageHtmlLink":"More matrix stuff"}},{"before":"4c26b9c31b1c664c3242cbec56de29432ef68711","after":"f984fe6d3e4e7013cf97a7fc4bf2b2148e7f97dd","ref":"refs/heads/grenade","pushedAt":"2024-01-09T03:16:52.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Merge branch 'main' into grenade","shortMessageHtmlLink":"Merge branch 'main' into grenade"}},{"before":"7cec33048dc90c29fc7bb2e5528c22fd1ef314c1","after":"4c26b9c31b1c664c3242cbec56de29432ef68711","ref":"refs/heads/grenade","pushedAt":"2024-01-09T03:03:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Remove stale comments","shortMessageHtmlLink":"Remove stale comments"}},{"before":"db372d7b473d7b38ae546db0e1b6ab19d4eabd8d","after":"7cec33048dc90c29fc7bb2e5528c22fd1ef314c1","ref":"refs/heads/grenade","pushedAt":"2024-01-08T05:11:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Remove stale comments","shortMessageHtmlLink":"Remove stale comments"}},{"before":"a7f55703202daddf920976d91ae25d9676c5ff0f","after":"db372d7b473d7b38ae546db0e1b6ab19d4eabd8d","ref":"refs/heads/grenade","pushedAt":"2024-01-08T05:10:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"Remove stale comments and code","shortMessageHtmlLink":"Remove stale comments and code"}},{"before":"ec56333194f00cc9b6c19a169dd42c6d86c11cab","after":"a7f55703202daddf920976d91ae25d9676c5ff0f","ref":"refs/heads/grenade","pushedAt":"2024-01-08T04:49:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"psilospore","name":"psilospore","path":"/psilospore","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5355976?s=80&v=4"},"commit":{"message":"blah","shortMessageHtmlLink":"blah"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMzoyNjo1Mi4wMDAwMDBazwAAAAS7_v_P","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0yMFQxMzoyNjo1Mi4wMDAwMDBazwAAAAS7_v_P","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0wOFQwNDo0OTo1NS4wMDAwMDBazwAAAAPZ-D9Y"}},"title":"Activity · uvm-plaid/SensCheck"}