Show newer

Unlikely anyone would be interested, but I'm passionate enough to gladly explain the ideas in this paper and generally things about Löb's theorem personally. I'll probably write this down at some point, but for now anything up to a Jitsi meeting is on the table if you, dear reader, are interested.

Show thread

I don't think I have posted here about probably my favourite paper, and I have recently been reminded that it might be a good idea: intelligence.org/files/Paramet

It's about achieving cooperation in the open-source version of the Prisoner's Dilemma in practice. (It's predecessor paper about doing this with infinite resources is also pretty good.) It uses Löb's theorem in such a beautiful way and the end result is somewhat surprizing, especially to people not used to thinking about provability.

timorl boosted

Hey fediverse folk! Is there somewhere a map of federation/defederation of fediverse? I mean which instances see/listen to which other instances (since the relationship is asymmetrical). Does not have to be graphical, but ideally searchable (text files?).

Point is, I suspect my home instance might be blocked by some other instances I am interested in and I have no way to know whether people out there will even see my toots if I speak to them first.

Any explanations and pointers appreciated. Thanks.

timorl boosted
timorl boosted

Wpadł mi do głowy mem o kwantowym kotku, więc zrobiłem😅

timorl boosted
timorl boosted

RT @element_hq@twitter.com

Update: we just got a call from a Google VP who explained the suspension was triggered by a report of extremely abusive content accessible on the matrix.org server. Our trust & safety team had already acted on it, and the app should be reinstated shortly.

🐦🔗: twitter.com/element_hq/status/

timorl boosted

Google has suspended Element (@matrix) from the Play Store for "Sexual Content and Profanity". Basically same story as with Subway Tooter a while back. Element is to Matrix as Chrome is to the web. Curiously, Chrome is still on the Play Store.

timorl boosted

Jakby się ktoś zastanawiał czy likwidacja pieców w #Kraków ... mój prywatny czujnik... ostatnie 21 dni (linia zielona) i analogiczny czas poprzedniego roku (żółta).
Średnia też o 16 mniejsza.
Ilość dni zimniejszych w tym zakresie czasu była znacznie większa niż rok temu.
#Smog

Is there a way of checking whether a specific instance is blocking the instance I am on? I have a strong suspicion one person I was trying to communicate with does not see my toots, but I don't know of a way of checking this.

timorl boosted

Interesting project:
inclusivestem.org/

It looks pretty small-scale at this point, but they have some videos that get into sort-of the nuts and bolts of how, for instance, you can correctly input mathematical formulas (e.g., for homework or research papers) more efficiently without vision to help you. It's slow work, but it's the kind of thing that genuinely enables education and growth.

timorl boosted

Just saw some crypto chud posting about 'virtue signalling' so I thought I should remind you all.

Always signal your virtues, because if nobody signals their virtues it makes it seem a lot like nobody can be bothered to even pretend to be virtuous any more, and the world becomes a darker place as a result.

timorl boosted

# ACM Fellows 2020 announcements

[Press release](awards.acm.org/binaries/conten)

Very nice to see many outstanding scientists from broader community around intelligent agents and multi-agent systems (formal logics, knowledge representation & reasoning, planning and robotics) recognised this year.

anime, propaganda 

I discovered why it is not subsidized by the government – it actually criticizes the government at some point. Definitely did not expect that.

Show thread

It seems automatically transcribing chants is essentially impossible with standard speech-to-text models. Is this an issue for deaf people wanting to participate in protests? Or are there some chant-to-text models I'm not aware of?

uspol, doubting one's sanity, empiricism, wasting resources! 

To finish this up, the raw results I got:

* wuatek.tk/~timorl/dlaludzi/inn are the transcripts grouped by me as described in thee above toots.
* wuatek.tk/~timorl/dlaludzi/inn are in random order, went through shuf because I already modified the grouped file when I noticed this version would be useful <_<"

The links inside should be pointing to the files I used for the MTurk questions.

@freemo If you want to look through this yourself, you definitely want the **second** file. I know this is obvious, but stressing it to lower the chances of you accidentally biasing yourself more than needed by first looking at the first one.

Oh, and if you want to help me with all this investigation it might also be useful if you cut the chant into words the way you perceive them, preferably **before** listening to the cuts I made. I have a slight suspicion word boundaries might help me hear your version? I know this would take time though, so no pressure if you have better things to do.

Show thread

uspol, doubting one's sanity, empiricism, wasting resources! 

Anyway, it seems that mostly I should assign much more weight to 3, bloody meatmech really needs an upgrade. On the other hand when the phonetic evidence pointed in a direction it was more in agreement with my interpretation. This is some evidence against me being insane, but it might also be the result of how I cut the chant into pieces?

Show thread

uspol, doubting one's sanity, empiricism, wasting resources! 

The third word is the strangest. Three people guessed that it was the third word from the chant (I missed them in the original toot where I claimed there was only one, oops... >.<), but they are almost the only people who have noticed the "(t)s" sound at the end – only two more have that sound. There is one explicit unintelligible and two terrible guesses. The remaining 12 people all correctly identified the vowel in the word we expect, but 9 of them also heard some variant of "hey", which should influence the evaluation of the first word (at least the "hey"/"hello" variants might be almost pure bias; note that there were still many others which had different h-words).

Since the "standard" interpretations agreed as to what word this is, people not recognizing it is definitely evidence for 3. On the other hand, this is not really evidence for 3 as applied to the previous two words, they might have been perfectly legible and this word only guessed from context, so it's not very strong evidence for 3 as applied to the problem we are trying to solve... And correctly identifying the vowel seems to be a pattern too...

Show thread

uspol, doubting one's sanity, empiricism, wasting resources! 

The second word is apparently the least intelligible. Three people explicitly complained about unintelligibility, six made suggestions that made no sense. Four suggestions contained the "w" sound, but none of them in a way that would be compatible with one of the standard interpretations, and the only one beginning with "w" was someone incorrectly trying to guess which word from the full chant it was (lol). Three people heard the "n" sound – that's not "m", but phonetically very close, and it was always at the beginning of the word. Four people heard the "eye/I" sound as the vowel – interestingly this group is exclusive with the previous one.

This is mostly evidence for 3., but also against 1., since the phonetics align somewhat more with what I heard.

Show thread

uspol, doubting one's sanity, empiricism, wasting resources! 

So, first word. Here I must confess I did not manage to cut the word off properly, because I was trying very hard not to include the part I percieved as "m" in the clip, and I cut off also the part that I percieved as the "ng" sound (or maybe they were both just the same sound? considering 3. is a real option this might be the case). Anyway here we had more interesting results. Two people heard something beginning with "w", one of them even the "we" sound (although a different word). Nine people heard something starting with the "he" sound (ugh, not "he" as in "he", but "he" as in "hello", so what I meant by the "ha" sound in the original post; ugh, bloody english phonetics), three further people heard things that contained this sound. It's worth mentioning that one of the people claimed to hear the exact word I heard, but followed by another word, which seems like they were guessing, because I see no way in which they could have heard so much in this short clip. They were also one of the people who were aware of the chant (although strangely they claimed they heard the version I _did not_ hear in the full chant?!). And since I'm mentioning this, the person who claimed to have heard the "we" sound was also among the ones familiar with the chant. It is also worth pointing out that many (5/9 or 7/12) of the "he" guesses were variants of "hey" or "hello", towards which people might be biased.

The remaining six people heard mostly nonesense, although three of them also heard variants with some "h" sound.

The wide prevalence of the "h"/"he" sound is moderate evidence against 1, and about equally for 2 and 3.

Show thread
Show older
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.