overdrv777 / overdrv777 is on Nostr

nostr fan

Last Notes

2026-07-22 16:42:39 CEST

- reply

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).

2026-07-22 16:23:46 CEST

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.
https://blossom.ditto.pub/cd83ae4be7fa61c587eba5e0aa83c964283caee0021afdc9998392f06bdef88f.jpeg
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:
https://blossom.ditto.pub/5523a07eba9bd5deb4dc317212edb50d36b484f52db42d939ce7b9f5ef553557.jpeg
I have now reached page 29, getting through most of the notation stuff:
https://blossom.ditto.pub/631091cde7fb0b2e1c94d46bbe5ad8980fa275a004a748f5883b091d5dec9028.jpeg
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

2026-07-22 10:37:09 CEST

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.
https://blossom.primal.net/75aba8ccac83599b64ae0361fac0e755e7a45f10fa422deff1b5b9bd8152025a.jpg
I started using this instead (https://chromewebstore.google.com/detail/dark-theme-dark-mode-for/gjjbmfigjpgnehjioicaalopaikcnheo):
https://blossom.ditto.pub/d1d92552803296a021ded778f7335d8bbdd3d267f7859b498bfa2f020cc034a2.png
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.

2026-07-19 12:41:44 CEST

- reply

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

2026-07-18 15:50:52 CEST

- reply

2026-07-18 08:51:23 CEST

- reply

i'm [email protected]

2026-07-13 11:56:51 CEST

Hello world!