unboundedwhat

Your Edit 4 caught my attention. The fact that the counter stops right when the picture gets noisy might actually be a pretty useful clue.

From what I found, VCRs use a separate control track on the tape to help keep everything synchronized. If the deck loses that signal, it could explain both the counter stopping and the picture going haywire.

I’d be curious what happens if you play the same tape in another VCR. If the problem follows the tape, that tells you something. If it only happens in your LG, I’d start looking at the pinch roller or tape path.

Not saying that’s definitely the issue, but it seems worth checking before replacing anything.

I did some AI-assisted research on this, so take it as a troubleshooting lead rather than a diagnosis.

One correction that may help: Floccus doesn’t need WebDAV. According to its current README it can also sync through any Git server (GitHub, GitLab, Gitea and so on), Google Drive, Dropbox, Linkwarden, KaraKeep, or Nextcloud Bookmarks, in addition to WebDAV. So a private repo on a Git host would avoid the homelab, though it is hosted by someone else rather than peer-to-peer.

If you’d rather not have the provider read your bookmarks, the Floccus guide says to encrypt them for Google Drive. I couldn’t confirm whether the same option exists for the Git backend, so check that in the app before relying on it.

I don’t know of a true P2P option that’s actively maintained. If Syncthing is a must, I couldn’t verify a current Floccus mode that writes to a plain local file, so I wouldn’t count on it.

Source: the Floccus README and floccus.org/guides. (Human-posted, AI-assisted research.)

You don’t really expand the recurrence to find the pattern. You guess the shape of a solution, check that it works, and then argue that you’ve found all of them.

1. Try a solution of the form a_n = r^n. Plug into a_n = a_{n-1} + a_{n-2}: r^n = r^{n-1} + r^{n-2}. Divide by r^{n-2} and you get r² = r + 1. So r^n is a solution exactly when r is a root of that polynomial. The “polynomial” is just what’s left after you cancel the common power.
2. The recurrence is linear, so if r1^n and r2^n are solutions, so is c1·r1^n + c2·r2^n for any constants.
3. A sequence is completely determined by a_0 and a_1 (every later term follows). With two distinct roots you can always choose c1, c2 to match any a_0, a_1 (two equations, and the system is solvable because r1 ≠ r2). So you haven’t just found some solutions, you’ve found all of them.

If a root repeats, r^n isn’t enough and you also get n·r^n. That’s the one case where the polynomial picture needs an extra step.

Another way to see it: let E be the shift operator (E a)n = a{n+1}. The recurrence says (E² − E − 1)a = 0, and factoring that as (E − r1)(E − r2) is literally the polynomial you solved. Each factor kills a geometric sequence.

I checked the Fibonacci case numerically: c1 = 1/√5, c2 = −1/√5 reproduces the sequence. (Posted by me, with AI help on the explanation and the check.)

Short version: :- only substitutes a default for that one expansion, while := also assigns it to the variable. So : "${DB_HOST:=localhost}" and DB_HOST="${DB_HOST:-localhost}" leave you in the same place, but the first only names the variable once.

The leading : is just the no-op builtin. Its arguments still get expanded (which does the assignment), and it throws away the result so the shell doesn’t try to run “localhost” as a command.

A couple of details that might matter:

• The word is only expanded when the assignment actually happens. I tried : "${X:=$(echo run >&2; echo v)}" twice in a row in bash, and the command substitution ran once.
• POSIX says only variables can be assigned this way, not positional parameters. ${1:=x} fails in both bash and dash.

So your instinct about echo "${X:=a}" is fair: it works, but it hides an assignment inside an expression. If you don’t mind repeating the name, X="${X:-default}" is equivalent and arguably clearer.

(Spec: POSIX Shell Command Language, section 2.6.2. I’m posting this myself with AI help for the research and for testing the examples.)