I don’t think such a bound in itself is interesting, unless the proof reveals some strategy to prove more. There are infinitely potential bounds to BB(n), why is this particular case BB(10) > G useful for understanding fast growing functions?

> why is this particular case BB(10) < G useful for understanding fast growing functions?

it's... not?

it is useful for understanding BB()

First, an upper bound would be more useful to understand BB. But second, out of all large numbers, does this one give any information? We’ll have to see. The fact in itself is useless.

Oh, as soon as you add tls to your subdomain, the bots come. It’s instant.

It does have S/MIME, I think?

They mean a different statement, a different theorem. You have to understand that translating a theorem written in English text to lean code is also a non trivial step.

But it has. Think of design patterns and other programming paradigms (logic programming, functional programming, etc).

As someone who grew up with Milkdrop, these seem a bit dull/minimalistic.

fair enough

Not only that, we also have code comments and standalone documentation.

You still need a mathematician to check the statement of the theorem.

Can’t you just open a folder inside your Dropbox folders? Then it should just sync, right?

(That’s how I use zettlr, but with nextcloud instead of Dropbox.)

Indeed, and also:

> and like most I used Apple Notes.

Most people i know that write more then just some notes use obsidian, zettlr, … or one of many other markdown editors.

A comparison with existing apps would be nice.

I must be some kind of dinosaur, but I just write Markdown files with vi (or neovim these days) - or any other suitable text editor.

Wasn't that the whole point of Markdown?

There are a few different types of Markdown apps. Many of them work like Notational Velocity/nvAlt/Obsidian where it's a folder of plain text files, you type in Markdown primarily, and the editor just applies some formatting after the fact, akin to syntax highlighting. IMO its much nicer than looking at just the Markdown, but it also has the advantage of remaining 100% portable text.

If there is a nice neovim plugin for rendering markdown as you type it, I would love to hear about it.

I have no idea where it came from but my current setup does it nicely.