Nostr notes by overdrv777

This is what I get: log2(e) = 1.4427 You might have to write ...

2026-07-22T16:42:39+02:00

In reply to nevent1q…krga
_________________________

This is what I get:

log2(e) = 1.4427

You might have to write "exp(1)" for e on a calculator.

Don't know why they write log 2 =1.4427, this is an error, but it can be used as a conversion factor between "natural" (nats) (e) units and binary units, (bits) (2) like this:

Entropy in bits = log2(e) * Entropy in nats

Also, e = 2.7128... hence nats units are a bit "heavier" than bits (2).

What defines the number e is that it is the only exponential function that equals its own derivative:

derivative of e^x = e^x
e^x is sometimes written on a calculator as exp(x).

There is a book that I viewed, when studying mathematical logic, ...

2026-07-22T16:23:46+02:00

There is a book that I viewed, when studying mathematical logic, as "that legendary brutal book (in three volumes) that nobody ever reads" - Principia Mathematica by Alfred North Whitehead and Bertrand Russell. I have now finally bought volume one of this book.

It was written between 1900 and 1910, and its goal is to create a foundation of mathematics based merely on logic, a project called logicism. Previous work by Gottlob Frege, who employed what could be called naive set theory, contained a contradiction, discovered by Russell, known as Russell's paradox:

M = {the set of all sets}

S = {all sets X such that X is not a member of itself}

then: if S is a member of itself => S is not a member of itself
and: if S is not a member of itself => S is a member of itself,

hence the contradiction.

Instead, Russell and Whiteheads project avoids this paradox by using the first type theory that only allows construction of certain sets (called classes). You are allowed to construct sets of individuals, sets of sets of individuals and so on, but you are not even allowed to construct the combined class:

{a, {a}}

hence a very restrictive type theory. But it is sufficient to construct elementary arithmetic, ordinals, cardinals and many other things.

Volume one is 666 pages long. On page 379 they finally prove that 1+1=2:

I have now reached page 29, getting through most of the notation stuff:

The notation can be a bit awkward, since they use dots instead of parentheses, and also at the same time use a dot for the "and" operator. However, you kind of get used to it, and it sometimes looks better that loads of parentheses that you have to count.

#books, #mathematics, #logic, #bertrandrussell, #typetheory, #settheory

I just noticed that #darkreader (https://darkreader.org/) for ...

2026-07-22T10:37:09+02:00

I just noticed that #darkreader (https://darkreader.org/) for #darkmode now requires a one-off payment to work, but it seems it still works on Linux. So they really went Dark Vader.

I started using this instead (https://chromewebstore.google.com/detail/dark-theme-dark-mode-for/gjjbmfigjpgnehjioicaalopaikcnheo):

However, not sure if its open source. Any other tips? Also, I've noticed that most of the internet is #darkmode by default anyway now.

Cool! Maybe a stupid question, but will it be made "from ...

2026-07-19T12:41:44+02:00

In reply to nevent1q…5aqc
_________________________

Cool! Maybe a stupid question, but will it be made "from scratch" or running on a Linux kernel?

A

2026-07-18T15:50:52+02:00

In reply to nevent1q…4nkh
_________________________

A

i'm overdrv777@mostr.pub

2026-07-18T08:51:23+02:00

In reply to nevent1q…4n69
_________________________

i'm overdrv777@mostr.pub

Nostr event nevent1qqsrdlm7p5060urfx5h0czhywx2x0dczj8l9nhvrtpl7wulp5j970eczyqed0ueahr9g0my7x2ncu4w5v5jhkrfvsqr4ufll0r7fsq640sx9yk8e8x9

2026-07-13T11:56:51+02:00

Hello world!