Categories

## Why has Notepad++ stopped actually going to the specified line, only marking it?

If I have Notepad++ running with no files opened, or if Notepad++ isn’t running, and I run the command: “path to notepad++.exe” “path to whatever.php” -n123 … it opens the whatever.php file in Notepad++ and marks line #123, but it doesn’t scroll to it. I have to manually scroll down to it, and then I […]

Categories

## What *really* is the difference between relational and non-relational data?

Here is where I am at right now: I know that relational data, like that found in relational databases like MySQL or Postgres, is relational because there are relations between the tables. That is the reason why RDBMS have rigid schemas. On the other hand, NoSQL databases offer a looser schema but lose those relations. […]

Categories

## Is there a natural intermediate version of PA?

Below, “logic” means “regular logic containing first-order logic” in the sense of Ebbinghaus/Flum/Thomas. Setup For a logic $\mathcal{L}$, let $\mathcal{PA}(\mathcal{L})$ be the set of $\mathcal{L}$-sentences in the language of arithmetic consisting of: the ordered semiring axioms, and for each $\mathcal{L}$-formula $\varphi(x,y_1,…,y_n)$ the induction instance $$\forall y_1,…,y_n[[\varphi(0,y_1,…,y_n)\wedge\forall x(\varphi(x,y_1,…,y_n)\rightarrow\varphi(x+1,y_1,…,y_n))]\rightarrow\forall x\varphi(x,y_1,…,y_n)].$$ (Note that even if the new logic […]

Categories

## why the author says the information was “correct” but after that he says “the information was wrong”?

why the author says the information was “correct” but after that he says “the information was wrong”? does it means that the information of the letter were wrong but she spelled them out? What is a good deal more to the purpose is that Mr. Funk sat with Margaret, that he heard the raps “all […]

Categories

## In the absence of mutable types, is there a case for invariant type parameters?

So, by now it is pretty obvious what horrible mistake it was that arrays in Java are covariant. Maybe this design flaw is even the reason why many developers still struggle with the fact that, against common intuition, List<Thread> is not a subtype of List<Runnable>. A lot of this has to do with Lists (and […]

Categories

## How to forward path along with port

I’m willing to bet I have a fundamental misunderstanding here, but I am trying to do something akin to port-forwarding AND url-forwarding without using something like nginx. I have a remote linux instance (EC2) that can connect to a database (Neptune) on port 8182. Only the instance can connect to Neptune, I cannot connect directly […]

Categories

## What does it mean here that Indian character has tended to fatalism and quietism?

I am reading ‘The Wonder That Was India’ by A.L.Basham. In chapter 1, Introduction the author has this to say, Many other ancient civilizations, such as those of the Greeks, Romans and Chinese, had to contend with hard winters, which encouraged sturdiness and resource. India, on the other hand, was blessed by a bounteous Nature, […]

Categories

Categories

## Set up Raspberry Pi Bluetooth from command line in 19.04

This seems like it should be obvious, but I cannot find an answer on Google. I can install and set up Linux but I’m not a kernel recompiling car or anything. Put simply: I need to get my Bluetooth keyboard paired to my Raspberry Pi 4 with 64-bit Ubuntu 19.10 from the command line or, […]