Eigil Rischel - abstr/acc 💎 @ayegill@schelling.pt

I am going to become a pitch drop truther

(Picture from here: https://ncase.me/remember/)

There is still alpha in doing weird things and writing down what happens

Ebbinghaus is a real one for this

Inspired by this really interesting post

https://www.lesswrong.com/posts/FfPukic3Qskd9ZAkk/fiber-arts-mysterious-dodecahedrons-and-waiting-on-eureka

Getting into fights about libertarianism online when you should be focused on getting good sleep bro you're worried about the wrong nap.

So voice assistants are about to become really good, right?

We must imagine Sisyphus unbothered. Moisturized. In his lane. Focused. Flourishing.

I wonder if creating nanomachines on Earth is going to be made even more difficult because the environment is already absolutely lousy with hostile autonomous nanorobots (bacteria)

Happy new year everyone!

May you succeed in 2023 where you failed in 2022!

ACAB includes typecheckers.

Shannon basically solved the discrete problem, and proved that you don't need very large k to get very small probability of error - for discrete signals, error-correction is basically a solved problem!

I wonder if this is true for analog signals too?

For example you can duplicate the message and take the average - this halves the expected squared distance. But you can probably do better with a more clever encoding scheme.

I'm thinking something like: A message is a tuple of real numbers. Each numbers gets an independent noise term of variance σ added to it. Figure out encoding/decoding that minimizes the expected squared distance between intended message and decoded message.

Classical ("discrete") error correction is like: assume every bit you send has an independent probability p of being flipped. Figure out ways of encoding/decoding a message of n bits using n+k bits that minimizes the probability of an error. Where can I read about the ℝ-analog?

"Critical theory" is about points where the derivative of some function under consideration is zero, right?

It's the first time I've been skiing since I grew a beard - definitely an interesting experience 😂

It's snowing a bit today