12:11 AM
@alphabet No! There is only One True path here. All others are reprehensible travesties.
@jlliagre And they wonder why the kids are so confused about gender.
@Robusto Thank you very much for the help.
12:30 AM
Word of the day: Church encoding
> The idea of Church encoding, from logic, allows us to understand how meaning can arise in vector-based or symbolic systems. By combining these recent computational results with classic findings in psychology, vector-based models provide a compelling account of human conceptual representation.
1:06 AM
@CowperKettle what is a link to the source of that quote?
Church encoding... The one I know of at least is not really related to vector embeddings for English language words and their semantics (that's what the quote seems to be trying to say)
Also Church encoding is not recent at all (1930s)
Unless they are referring to word vectors which are relatively recent (~15 years)
'compelling'? Well sure, compelling to the author. That just sounds like they're selling some ideas.
Could be interesting, or could be superficial similarities.
Church encoding, the one I know of, is a way to encode counting numbers in lambda calculus (symbolic function calls).
Sounds complicated? Not really.
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The Church numerals are a representation of the natural numbers using lambda notation. The method is named for Alonzo Church, who first encoded data in the lambda calculus this way. Terms that are usually considered primitive in other notations (such as integers, Booleans, pairs, lists, and tagged unions) are mapped to higher-order functions under Church encoding. The Church–Turing thesis asserts that any computable operator (and its operands) can be represented under Church encoding. In the untyped...
The wiki page gives all the gory details, but it's really just saying that if all you have is the very small system of function application (and one function) you can implement counting numbers as:
1 = f(x)
2 = f(f(x))
3 = f(f(f(x)))
Etc
And a + b is (if a is f(f(...(x))) and b is f(...x) some different number of f's):
a(b(x))
(because now it is a sequence of all the f's from a followed by those of b.
Other arithmetic operations can be defined.
The primary meaning of all this is that arithmetic can be done in this very limited logic (called lambda calculus)
-that- was extremely compelling, but really back when Church did it almost a hundred years ago.
Assigning a vector to a word such that vector operations (adding and subtracting and distance) tend to respect semantic similarity, yes, that is very compelling... About 15 years ago.
1:30 AM
<checks to see if I'd joined a maths-chat by mistake>
On the surface, putting those two together, vector embeddings and Church encoding, seems pretty random.
@Criggie anything goes in ELU chat.
Butt why ?
taps on the note in the window
fair.
... the upper right room description
@Criggie nah just kidding, anything goes even hemorrhoid talk.
I mean it may turn out no one will respond.
1:33 AM
-mute-
I saw that
nods-sagely
That was a thymely response.
Gd autocorrect almost ruined a perfectly awful pun
We sometimes call it auto-carrot at work, after a particularly memorable slack post companywide
1:49 AM
A million years ago it was called a 'cupertino' because
The Cupertino effect occurs when a spell checker erroneously replaces correctly spelled words that are not in its dictionary. == Origin == This term refers to the unhyphenated English word "cooperation" often being changed to "Cupertino" by older spell checkers, with dictionaries containing only the hyphenated variant, "co-operation". Cupertino is a city in California, and its name is often used as a metonym for Apple Inc., as the firm's corporate headquarters are located in the city. "Cupertino" has been in the dictionaries used by Microsoft Word since at least 1989. Lack of vigilance in post...
Because apples autocorrect often gave Cupertino for slightly misspelled 'cooperation'
screw that - auto carrot is immediately obvious because the word looks similar to auto-correct.
Yes, carrot does 'work' better.
humour is valuable
keeps me somewhat sane at work
2:05 AM
I cooked egg fried rice without salt. It tastes so bland. Dang it.
what about some rice vinegar ?
Yeah, I forgot mayo too. Dang it, times two.
I don't think rice vinegar is a thing here.
2:23 AM
No
That would make a bibimbap, and that wasn't what I was gonna make.
But it would be good to eat wouldn't it? And if you forgot it, but then remembered once you tasted it, you can add it.
Fine; maybe I'll try that for the dinner today.
Gochujang was really unknown here in the US outside of Korean restaurants and grocery stores. But in the past couple years it's been very public.
Along with Korean fried chicken. Before two years ago I had never heard of it. But now it's mentioned everywhere
@Criggie You put mayo in fried rice?!
I've never needed to add salt, just a bit of non-low-salt soy sauce--which, granted, is basically flavored salt.
Fun fact of the day: drinking too much full-salt soy sauce can literally kill you from hypernatremia.
2:40 AM
"Hyper meaning high. Natr- meaning sodium. And -emia meaning presence in blood. High sodium presence in blood."
― Chubbyemu, probably at some time.
@Mitch Korean food does seem to be trendy now. I attribute it to teens fawning over BTS.
Are there any countries whose cuisines we haven't made a fake American version of yet?
3:34 AM
We made huge improvements in Italian cuisine. Where would they be without tomatoes?
4:35 AM
4:49 AM
Word of the morn: coppicing (a similar technique in Japanese: daisugi)
Daisugi (台杉) is a Japanese technique related to pollarding, used on Cryptomeria (sugi) trees. The term roughly translates to "platform cedar". When applied in a silviculture context, the daisugi method requires trunks to be pruned every 2–4 years in order to maintain the straight, clear grain that they are coveted for. == History == In the Muromachi period a form of very straight and stylized Sukiya-zukuri architecture was highly fashionable in Japan, resulting in a rise in demand for straight, uniform logs. As a response, the daisugi method was developed by foresters in the Kitayama area of Kyoto...
5:27 AM
Google Translate translates the Persian version of my Reelin article as Raylin
Though they updated it with some new association studies which I missed, such as association with ankylosing spondilytis
Probably because Iranian scientists discovered a mutation of RELN in a family with ankylosing spondylitis in 2020: pubmed.ncbi.nlm.nih.gov/32001840
It's amazing that a protein that started off as a molecule decreased in brains in schizophrenia now has encompassed a whole wide range of functions, conditions, tissues and systems
And we've barely moved into the genomic age; in a few years, full genome reading will get even more affordable.
Local news. A guy came from the frontlines on leave from SVO (Special Military Operation), killed his former wife, shot her new husband in the face, and then ran away and killed himself at a cemetery
War wreaks the psyche.

5 hours later…
10:15 AM
It seems South Korea is sustainable now. Nice!

3 hours later…
1:08 PM
Sometimes I really have a far superior answer that puts the matter of "opinion" to rest. So prematurely closing a question, really gripes my ass.
2
Or I could've just been possessed by any man from the '80s.
It's hard to tell.
1:41 PM
Wordle 1,147 3/6

🟩🟨⬛🟨⬛
⬛🟨⬛⬛⬛
🟩🟩🟩🟩🟩
1:56 PM
Wordle 1,147 4/6

⬛🟨⬛🟨⬛
⬛⬛🟨⬛⬛
⬛🟩🟨⬛⬛
🟩🟩🟩🟩🟩
#WhenTaken #164 (09.08.2024)

I scored 879/1000 🎉

1️⃣ 📍 901 km - 🗓️ 4 yrs - ⚡ 169 / 200
2️⃣ 📍 527 km - 🗓️ 15 yrs - ⚡ 154 / 200
3️⃣ 📍 39.8 metres - 🗓️ 5 yrs - ⚡ 195 / 200
4️⃣ 📍 561 km - 🗓️ 2 yrs - ⚡ 181 / 200
5️⃣ 📍 112 km - 🗓️ 10 yrs - ⚡ 180 / 200

https://whentaken.com
I only identified my backyard, so to speak.
2:17 PM
@Mitch Bertrand Russell took 60 pages to prove that 1+1=2, iirc.

1 hour later…
3:47 PM
#WhenTaken #164 (09.08.2024)

I scored 958/1000 🎉

1️⃣ 📍 462 km - 🗓️ 2 yrs - ⚡ 184 / 200
2️⃣ 📍 707.2 metres - 🗓️ 3 yrs - ⚡ 197 / 200
3️⃣ 📍 3 km - 🗓️ 3 yrs - ⚡ 197 / 200
4️⃣ 📍 201 km - 🗓️ 0 yrs - ⚡ 193 / 200
5️⃣ 📍 6 km - 🗓️ 9 yrs - ⚡ 187 / 200

https://whentaken.com
@jlliagre I was luckier than you.
4:15 PM
Daily Octordle #928
6️⃣9️⃣
4️⃣🔟
🕚7️⃣
5️⃣🕛
Score: 64
@jlliagre SPOILER
Daily Sequence Octordle #928
7️⃣8️⃣
9️⃣🔟
🕚🕛
🕐⓮
Score: 84
Not so good as yesterday.
4:31 PM
Hi. I'm Bob with IBM and I'm here to fix your office computers.

"with IBM" means "I am from IBM", right?
@MichaelRybkin Yes.
4:44 PM
Word of the Election Season: Cosplaytriot 1. Someone who pretends to be a patriot but doesn't do what it takes to actually be one 2. A MAGA puke supporter of a whining, self-absorbed, narcissistic threat to US democracy.

1 hour later…
6:04 PM
Wordle 1,147 4/6

⬜⬜⬜🟨🟨
⬜🟩⬜⬜🟩
🟨🟩⬜⬜🟩
🟩🟩🟩🟩🟩
6:47 PM
@alphabet Norwegian.
And avoiding it with good reason
@CowperKettle thanks ... It's behind a paywall but I'm trying to figure out a way to deal with that to see the actual full paper
But the link has the biography so I can sort of tell where he's coming from. Yes it's about vectors (a short sequence of real numbers) representing meaning of a word.
That's not a new concept at all.
Also there are only a couple of references out of a hundred about Church numbers so I suspect they're used as a simple motivating idea for symbols as a representation for meaning.
Which is kind of a super specific way to describe what math in its most general form, represents things in the real word but the interior representation is easier to implement and manipulate in the brain (either as chemical neuronal processes or as much higher level 'thoughts'.
@Robusto 60? Prove it!
@jlliagre wait...have you -seen- live any of the last week's Olympic events, are you staying away at all costs, or something between the two?
7:20 PM
@Mitch I haven't seen any even live. I had won tickets for swimming races but I declined as I was invited to a family reunion that was taking place at the same day. I could also have seen the road cyclists because they passed within a few kilometers of my house, but I didn't do it either. Anyway, I watched TV quite a lot more than usual in the last two weeks. Oh, I saw the Olympic cauldron from a distance. Nice! Many people want it to stay. I agree as Paris is definitely lacking monuments.
I liked the Opening ceremony too and died laughing when I saw Bacchus. The scene has been censored in several countries. WTF, in the original Olympics, the athletes were naked!
Philippe Blanchard (French pronunciation: [filip blɑ̃ʃaʁ]; born 8 December 1968), known professionally as Philippe Katerine, is a French singer-songwriter, actor, artist, director and writer who began his career in 1991. Some of his popular singles include "Mon cœur balance", "Je vous emmerde", and "Louxor j'adore". At the beginning of his career, his musical style was often described as easy-listening, with bossa nova accents and texts that were often morbid or anguished and tinged with humor, all sometimes interspersed with audio collages. He also incorporated elements of rock and electronic...
@jlliagre yeah Paris is very subdued and could up its image.
@jlliagre nice finally someone from France who doesn't fart for a living.
7:38 PM
Daily Octordle #928
🔟7️⃣
4️⃣🕚
🟥🕛
9️⃣🕐
Score: 80
Daily Sequence Octordle #928
4️⃣7️⃣
8️⃣9️⃣
🔟🕚
🕛🕐
Score: 74
8:00 PM
@jlliagre A song called "I Shit On You"? Really? Is it a love song?
@Robusto Je vous emmerde is more like a slightly softer 'Fuck you' so definitely a love song, yes.
@jlliagre Softer than Va t'en faire foutre?
@Robusto Va te faire foutre, yes.
@jlliagre That's what I get for trying to spell French by ear.
What is it that sounds like what I wrote? Abbreviated it sounds like va taw[n]
@Robusto Va t'en (get lost.)
> J'aurais pu être millionnaire.
Avec piscine et vue sur la mer.
Mais je suis dans la merde,
Et je vous emmerde!
Sentimentalement, démissionnaire.
Professionnellement, suicidaire.
Tu vois, moi je suis dans la merde,
Et je vous emmerde!
Non mais, ça va pas non?
Mais casse-toi là!
Tu vois pas qu'tu m'importunes?
Pauv'taré, va!
J'aurais pu être votre amant.
Ouais, c'est ça, ouais!
Et caresser vos seins blancs.
Mais je suis une merde,
Et je vous emmerde!
Ouais, ben moi aussi j't'emmerde!
@Robusto Va t'en is in the lyrics.
@Robusto Je vous emmerde can also be translated to 'I don't give a fuck about you.'
8:15 PM
So: "You see, I'm in the shit and I don't give a fuck about you"?
Yes, I'm in deep shit and [...]
A good way to socialize.
That smooth-tongued devil ...
The lyrics read poëte but that should be poète. You surely noticed the typo.
8:50 PM
@jlliagre Uhhh ...
@Mitch I still think our city's proudest moment was when we organized a mass movement to keep the 2024 Olympics away: en.wikipedia.org/wiki/Boston_bid_for_the_2024_Summer_Olympics
@alphabet totally. There's no way Boston could have competed with the Paris opening sequence.
A handful of Bruins fans from Southie swinging baseball bats.
That's it.
There is something very Bostonian about stubbornly refusing to let anyone use our city as a source of entertainment.
9:05 PM
Aside from that, it is totally not worth the expense for the city
@Mitch Yes. The Olympics doesn't have any of the three-or-so sports people here are permitted to care about.
> Although support for the Olympic bid in the Boston area was at 55% to 33% in early post-selection polling, it fell significantly in subsequent months as residents learned more about what hosting the Olympics would entail and grew increasingly skeptical of Boston 2024's promises that no public funding would be used
> In February, Boston area support had fallen to 44%, with 46% opposed. Starting in March until the bid's demise, opposition consistently polled over 50%.
I'm sure all the universities have rowing and gymnastics though
I could do the break dancing.
It looks pretty easy.
I'd practice a couple times of course.
I'd show you but if you don't get it you might be offended
That was rude
Meaning you got it.
Our city could win a competition of Olympic Jaywalking.
9:23 PM
Apparently our train system is somehow even more F'ed up than usual:
> Shuttle buses will be replacing Red Line service between Kendall/MIT and JFK/UMass from August 19-25 for track work and station maintenance. Buses are not directly servicing Park Street or Downtown Crossing. Please board at Haymarket or State.
Nothing better than a bus pretending to be a train.

1 hour later…
10:30 PM
Scott Adams, what happened to you?
@Mitch Those aren't allowed in the Garden anymore. They have to rip out seats to cause any real damage these days.
10:48 PM
@Robusto goddammit. I had my baseball all ready by the broken back screen door.
What does one call the Boston equivalent of white trash?
11:36 PM
@Robusto Thank you.