{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":60778492,"defaultBranch":"main","name":"disco","ownerLogin":"disco-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-06-09T13:51:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/23236411?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1717445358.0","currentOid":""},"activityList":{"items":[{"before":"26f484da303750ffaa8e673b6f2b7e4dcf94bf69","after":null,"ref":"refs/heads/randomness","pushedAt":"2024-06-03T20:09:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"}},{"before":"647e5cf669a45f3af8f43268900e9065039e3ffb","after":"b57e45b99fabc16e54017ee52aeace40a6926756","ref":"refs/heads/main","pushedAt":"2024-06-03T20:07:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Implements barebones randomness (#390)\n\n* Added primitive types\r\n\r\n* Added core constructors\r\n\r\n* Seed and random functional\r\n\r\n* Cleaning up\r\n\r\n* Renamed files for Windows\r\n\r\n* Finalized random prims and added tests\r\n\r\n* Cleaned up random definition in interpreter\r\n\r\n* Restyled by fourmolu (#391)\r\n\r\nCo-authored-by: Restyled.io <commits@restyled.io>\r\n\r\n* Instructions for rsa\r\n\r\n---------\r\n\r\nCo-authored-by: restyled-io[bot] <32688539+restyled-io[bot]@users.noreply.github.com>\r\nCo-authored-by: Restyled.io <commits@restyled.io>","shortMessageHtmlLink":"Implements barebones randomness (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2331767270\" data-permission-text=\"Title is private\" data-url=\"https://github.com/disco-lang/disco/issues/390\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/disco-lang/disco/pull/390/hovercard\" href=\"https://github.com/disco-lang/disco/pull/390\">#390</a>)"}},{"before":"34c5c17d1b523dacc7bc679f0a87cdf921104205","after":"26f484da303750ffaa8e673b6f2b7e4dcf94bf69","ref":"refs/heads/randomness","pushedAt":"2024-06-03T19:55:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Instructions for rsa","shortMessageHtmlLink":"Instructions for rsa"}},{"before":"993e9f043fb43a829e949853857d8824c78ed737","after":null,"ref":"refs/heads/restyled/randomness","pushedAt":"2024-06-03T18:48:26.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"}},{"before":"d29afc9116896cbbf51022168316a7ceef5a9c11","after":"34c5c17d1b523dacc7bc679f0a87cdf921104205","ref":"refs/heads/randomness","pushedAt":"2024-06-03T18:47:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Restyled by fourmolu (#391)\n\nCo-authored-by: Restyled.io <commits@restyled.io>","shortMessageHtmlLink":"Restyled by fourmolu (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2331768020\" data-permission-text=\"Title is private\" data-url=\"https://github.com/disco-lang/disco/issues/391\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/disco-lang/disco/pull/391/hovercard\" href=\"https://github.com/disco-lang/disco/pull/391\">#391</a>)"}},{"before":"076f5feb42f416a40848af05f1ab953d836a2dcc","after":"993e9f043fb43a829e949853857d8824c78ed737","ref":"refs/heads/restyled/randomness","pushedAt":"2024-06-03T18:32:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"restyled-io[bot]","name":null,"path":"/apps/restyled-io","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/5851?s=80&v=4"},"commit":{"message":"Restyled by fourmolu","shortMessageHtmlLink":"Restyled by fourmolu"}},{"before":"511174316336bb34f56e342dcf48a32082164bc1","after":"d29afc9116896cbbf51022168316a7ceef5a9c11","ref":"refs/heads/randomness","pushedAt":"2024-06-03T18:30:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Merge branch 'main' into randomness","shortMessageHtmlLink":"Merge branch 'main' into randomness"}},{"before":null,"after":"076f5feb42f416a40848af05f1ab953d836a2dcc","ref":"refs/heads/restyled/randomness","pushedAt":"2024-06-03T18:16:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"restyled-io[bot]","name":null,"path":"/apps/restyled-io","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/5851?s=80&v=4"},"commit":{"message":"Restyled by fourmolu","shortMessageHtmlLink":"Restyled by fourmolu"}},{"before":"b92d50171a4ca9eae73e20a1ab1fafbc13cc70ad","after":"511174316336bb34f56e342dcf48a32082164bc1","ref":"refs/heads/randomness","pushedAt":"2024-06-03T17:44:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Cleaned up random definition in interpreter","shortMessageHtmlLink":"Cleaned up random definition in interpreter"}},{"before":"32b2a30f9248dfecc72c82df5fdfde6280279bc7","after":"b92d50171a4ca9eae73e20a1ab1fafbc13cc70ad","ref":"refs/heads/randomness","pushedAt":"2024-06-03T17:24:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Finalized random prims and added tests","shortMessageHtmlLink":"Finalized random prims and added tests"}},{"before":"f247eaa4ed0728f4ef566aaaed8ce8463f75eef9","after":"03f05743e546276b233f35d40ac39714fb2ae9e7","ref":"refs/heads/explore-lyg","pushedAt":"2024-05-31T22:06:18.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"LeitMoth","name":"LeitMoth","path":"/LeitMoth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14116072?s=80&v=4"},"commit":{"message":"cleanup comments in inhab hs","shortMessageHtmlLink":"cleanup comments in inhab hs"}},{"before":"553aec87050be393ec46844959b9f60166a8cde8","after":"f247eaa4ed0728f4ef566aaaed8ce8463f75eef9","ref":"refs/heads/explore-lyg","pushedAt":"2024-05-30T20:26:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeitMoth","name":"LeitMoth","path":"/LeitMoth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14116072?s=80&v=4"},"commit":{"message":"positive info and integer negative info work!","shortMessageHtmlLink":"positive info and integer negative info work!"}},{"before":"da0487ec37f04aa13e06f13249b6670dc3a1e278","after":"32b2a30f9248dfecc72c82df5fdfde6280279bc7","ref":"refs/heads/randomness","pushedAt":"2024-05-29T22:37:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Renamed files for Windows","shortMessageHtmlLink":"Renamed files for Windows"}},{"before":"d8ce891b543ed2c6f2c0b986ce011bdedbe7bfad","after":"da0487ec37f04aa13e06f13249b6670dc3a1e278","ref":"refs/heads/randomness","pushedAt":"2024-05-29T22:27:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Cleaning up","shortMessageHtmlLink":"Cleaning up"}},{"before":"88901b39d2c976093a4fc8e37196f2551f49c4df","after":"553aec87050be393ec46844959b9f60166a8cde8","ref":"refs/heads/explore-lyg","pushedAt":"2024-05-28T22:31:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"LeitMoth","name":"LeitMoth","path":"/LeitMoth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14116072?s=80&v=4"},"commit":{"message":"positive info works","shortMessageHtmlLink":"positive info works"}},{"before":"28447b936d1015cb370c358466d0a2375cb1f3fe","after":"d8ce891b543ed2c6f2c0b986ce011bdedbe7bfad","ref":"refs/heads/randomness","pushedAt":"2024-05-27T04:07:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Seed and random functional","shortMessageHtmlLink":"Seed and random functional"}},{"before":"5e01c1d62da6a48202cf85173eb72b74f7e9235b","after":"ae0be3441039616b8dbb87dec50c5276eb01fdfa","ref":"refs/heads/docs/introduction","pushedAt":"2024-05-25T23:49:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"more writing","shortMessageHtmlLink":"more writing"}},{"before":"6ec229bd844200cb5aed043dcffd947d65d1eb6b","after":"a7b6f74ec36984a1a1a6e4fc019c48a3aeba3f77","ref":"refs/heads/multitype2","pushedAt":"2024-05-25T20:16:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"remove unused definition","shortMessageHtmlLink":"remove unused definition"}},{"before":"ed04a6a29d20e36e8a77c5e7a336896982276ae6","after":"6ec229bd844200cb5aed043dcffd947d65d1eb6b","ref":"refs/heads/multitype2","pushedAt":"2024-05-25T20:11:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"rename `inferTop'` to more descriptive `inferTop1`","shortMessageHtmlLink":"rename <code>inferTop'</code> to more descriptive <code>inferTop1</code>"}},{"before":"91f84bcc29c45fe4306967ff754f6de4d37e5f60","after":"ed04a6a29d20e36e8a77c5e7a336896982276ae6","ref":"refs/heads/multitype2","pushedAt":"2024-05-25T19:53:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"notes on remaining exponential blowup in solver","shortMessageHtmlLink":"notes on remaining exponential blowup in solver"}},{"before":"baaf47eb6ba990480cd963e5c6bf729678729fa6","after":"91f84bcc29c45fe4306967ff754f6de4d37e5f60","ref":"refs/heads/multitype2","pushedAt":"2024-05-25T19:38:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"Fix test suite for new multitype feature","shortMessageHtmlLink":"Fix test suite for new multitype feature"}},{"before":null,"after":"baaf47eb6ba990480cd963e5c6bf729678729fa6","ref":"refs/heads/multitype2","pushedAt":"2024-05-25T15:09:18.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"limit the number of intermediate solutions generated in the constraint solver to avoid exponential blowup","shortMessageHtmlLink":"limit the number of intermediate solutions generated in the constrain…"}},{"before":"2a4700ad1c47a902791a3c74aa34005237aac1aa","after":"88901b39d2c976093a4fc8e37196f2551f49c4df","ref":"refs/heads/explore-lyg","pushedAt":"2024-05-24T23:02:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"LeitMoth","name":"LeitMoth","path":"/LeitMoth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14116072?s=80&v=4"},"commit":{"message":"nested patterns work! Still must tune up Int literal stuff, also see type equal TODO","shortMessageHtmlLink":"nested patterns work! Still must tune up Int literal stuff, also see …"}},{"before":"bf626c559421549011d9673b9bfbd51b0184ce31","after":"28447b936d1015cb370c358466d0a2375cb1f3fe","ref":"refs/heads/randomness","pushedAt":"2024-05-24T19:18:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Added core constructors","shortMessageHtmlLink":"Added core constructors"}},{"before":null,"after":"bf626c559421549011d9673b9bfbd51b0184ce31","ref":"refs/heads/randomness","pushedAt":"2024-05-24T19:15:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"justingrubbs","name":"Justin Grubbs","path":"/justingrubbs","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119343860?s=80&v=4"},"commit":{"message":"Added primitive types","shortMessageHtmlLink":"Added primitive types"}},{"before":"f5ac329dface26ca45ad3aa2b4805aad8b08f900","after":"5e01c1d62da6a48202cf85173eb72b74f7e9235b","ref":"refs/heads/docs/introduction","pushedAt":"2024-05-24T13:40:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"precedence","shortMessageHtmlLink":"precedence"}},{"before":"d369819ab9090e32c12afa4629aa6e6c1dabe7d0","after":"2a4700ad1c47a902791a3c74aa34005237aac1aa","ref":"refs/heads/explore-lyg","pushedAt":"2024-05-23T22:01:53.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"LeitMoth","name":"LeitMoth","path":"/LeitMoth","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14116072?s=80&v=4"},"commit":{"message":"done for day. Strange behavoir, check complex2/3","shortMessageHtmlLink":"done for day. Strange behavoir, check complex2/3"}},{"before":"7c6e1e3a9a08afb852ca6608bef72ea9d48b172c","after":"f5ac329dface26ca45ad3aa2b4805aad8b08f900","ref":"refs/heads/docs/introduction","pushedAt":"2024-05-23T18:48:12.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"order of operations","shortMessageHtmlLink":"order of operations"}},{"before":"0a60ae26219b2ce3e3d3e76fb5a30fb4012cf63a","after":null,"ref":"refs/heads/prefix-min-max","pushedAt":"2024-05-23T18:35:46.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"}},{"before":"eae13264e3a39654863c435ac2410c34057f6022","after":"647e5cf669a45f3af8f43268900e9065039e3ffb","ref":"refs/heads/main","pushedAt":"2024-05-23T18:35:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"byorgey","name":"Brent Yorgey","path":"/byorgey","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/533859?s=80&v=4"},"commit":{"message":"Make `min` and `max` prefix functions instead of infix operators (#383)\n\nMin and max are now primitive, built-in prefix functions.\r\n\r\nEventually we should move them into the standard library, once we implement #179 .","shortMessageHtmlLink":"Make <code>min</code> and <code>max</code> prefix functions instead of infix operators (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2312896953\" data-permission-text=\"Title is private\" data-url=\"https://github.com/disco-lang/disco/issues/383\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/disco-lang/disco/pull/383/hovercard\" href=\"https://github.com/disco-lang/disco/pull/383\">#383</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEW1WrsAA","startCursor":null,"endCursor":null}},"title":"Activity · disco-lang/disco"}