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

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.

@niplav Yeah if we end up with something like diamondoid, probably they won't be very vulnerable to biological attackers

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.

@jonmsterling I see - thanks!

@jonmsterling This looks incredibly cool! Is this tool available for other people to use?

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?

@davidmanheim There's "CLIP interrogator", closest thing I know of to this.

https://huggingface.co/spaces/pharma/CLIP-Interrogator

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

It's snowing a bit today

Glædelig jul! 🎄

H/t @orphiccapital on Twitter:

https://mobile.twitter.com/OrphicCapital/status/1606363532563357696

Me and who?