A tricky problem in Type Theory has a short satisfactory solution. To check if two potentially recursive expressions are equal, first we take the weak head normal form of both sides, without unrolling fixed points. Then, we do:
(F . G) == (G . F)
------------------- Fix=Fix case: apply T6's Theorem
μk(F k) == μk(G k)
(F Y) == Y
------------- Fix=Val case: apply T6's Theorem
μk(F k) == Y
| KEYMAPOPTS="us us" | |
| HOSTNAMEOPTS="-n alpine" | |
| INTERFACESOPTS="auto lo | |
| iface lo inet loopback | |
| auto eth0 | |
| iface eth0 inet dhcp | |
| hostname alpine | |
| " | |
| TIMEZONEOPTS="-z UTC" |
| /* | |
| -Visit https://old.reddit.com/subreddits/ using your old account | |
| -Copy link address of "multireddit of your subscriptions" | |
| It will give you a link address like this: https://old.reddit.com/r/[subreddit1+subreddit2...+subredditN] | |
| Please note that if you have a lot of subreddits the link won't work because there's a limit to the link's length, you can simply split it to two or three links | |
| -Visit that link (or links) using your new account. | |
| -Open the console by pressing F12 and then clicking the console tab | |
| -Past the code bellow and press enter. You're welcome :) | |
| */ | |
| const sub = () => { |
See also:
| Service | Type | Storage | Limitations |
|---|---|---|---|
| Amazon DynamoDB | 25 GB | ||
| Amazon RDS | |||
| Azure SQL Database | MS SQL Server | ||
| 👉 Clever Cloud | PostgreSQL, MySQL, MongoDB, Redis | 256 MB (PostgreSQL) | Max 5 connections (PostgreSQL) |
If a project has to have multiple git repos (e.g. Bitbucket and Github) then it's better that they remain in sync.
Usually this would involve pushing each branch to each repo in turn, but actually Git allows pushing to multiple repos in one go.
If in doubt about what git is doing when you run these commands, just