Kenny Lau kckennylau
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| This assumes that you have: | |
| 1. msys2 | |
| 2. cmake | |
| 3. VSCode with Lean plugin | |
| 4. ninja | |
| Run the following commands in order in msys2: | |
| cd /c/ | |
| git clone https://github.com/leanprover/lean |
kckennylau
/ ppcg-q82815, oeis-a002805
Created
June 15, 2016 07:17
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 1 1 | |
| 2 2 | |
| 3 6 | |
| 4 12 | |
| 5 60 | |
| 6 20 | |
| 7 140 | |
| 8 280 | |
| 9 2520 | |
| 10 2520 |
kckennylau
/ Excludivisible Numbers (PPCG-Q82864)
Created
June 14, 2016 10:54
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 100001 121341142 | |
| 100002 121341346 | |
| 100003 121341442 | |
| 100004 121341646 | |
| 100005 121342246 | |
| 100006 121342444 | |
| 100007 121343146 | |
| 100008 121343242 | |
| 100009 121343248 | |
| 100010 121343446 |
kckennylau
/ Excludivisible Numbers (PPCG-Q82864)
Created
June 14, 2016 09:58
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 1 1 | |
| 2 2 | |
| 3 3 | |
| 4 4 | |
| 5 5 | |
| 6 6 | |
| 7 7 | |
| 8 8 | |
| 9 9 | |
| 10 11 |
kckennylau
/ gist:b0b67ee917f0c9b60e5787f06c1dda4b
Created
June 3, 2016 13:58
Shortest code in /// to generate <linenumber> many "x"s.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| x | |
| xx | |
| xxx | |
| xxxx | |
| xxxxx | |
| xxxxxx | |
| xxxxxxx | |
| xxxxxxxx | |
| xxxxxxxxx | |
| xxxxxxxxxx |
kckennylau
/ 65536 without numbers
Last active
May 28, 2016 04:59
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| CJam: YG# | |
| Actually: ╦K╙╙ | |
| Jelly: ØHŒPL | |
| J: *:#a. | |
| MATL: YPXkWW | |
| Pyth: hC"ÿÿ | |
| Pyth: *FCM" @ | |
| Golfscript: ,))..*.*? | |
| Minkolang: "@ "$*N. | |
| Pyth: hC"\uFFFF |
kckennylau
/ gist:1c5899ae06fbfa3401ddc1d90229ec2e
Last active
May 25, 2016 10:53
Actually integer golf
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| :0 | |
| 0 | |
| :1 | |
| 1 | |
| :2 | |
| 2 | |
| :3 | |
| 3 | |
| :4 | |
| 4 |
kckennylau
/ repeated factorial, leaderboard
Last active
May 22, 2016 06:23
repeated factorial, leaderboard
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Jelly: !¡ | |
| 05AB1E: F! (swaps order) | |
| J: !^: (swaps order) | |
| Actually: `!`n | |
| MATL: :":p | |
| CJam: q~{m!}* | |
| Pyth: u.!GEQ | |
| Pyth: Mem=.!GH | |
| Jolf: e+*j"!Y (swaps order) | |
| Mathematica: #!&~Nest~##& |