GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Richard Penner (arpie4math@mathstodon.xyz)

  1. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Monday, 31-Aug-2026 02:32:12 JST Richard Penner Richard Penner

    "Skinship" (スキンシップ) is a Japanese word coined to describe affectionate touching between family members and romantic partners.

    I propose that this term was invented because humans have a limbic system (or whatever neuroscientists call it today) that Japanese culture normally goes miles out of its way to ignore.

    #スキンシップ #Japan #Japanese #LimbicSystem

    In conversation about 2 days ago from mathstodon.xyz permalink
  2. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Monday, 03-Aug-2026 22:52:20 JST Richard Penner Richard Penner

    Serial mistranslation, is there anything it can't do?

    - In the #Odyssey, #Nausicaa is a Phaeacian princess who, prompted by Athena, acts with courage and hospitality to the shipwrecked and naked Odysseus.

    - In #Victorian England, Nausicaa is elevated to a chaste, compassionate, domestic, dutiful, modest, and nurturing paragon of virtues. Unlike the dangerous beauty of Helen of Troy, Nausicaa is seen as a reliable supporting character for some male protagonist.

    - Bernard #Evslin’s "Gods, Demigods and Demons" (1975) leans into this, but must have fallen asleep at some point. Nausicaa is portrayed as an eccentric, free-spirited Phaeacian princess who rejects traditional suitors to live a life devoted to nature, music, and imagination. Nausicaa gets 3 pages. Zeus only 1.

    - Hayao #Miyazaki's "Nausciäa of the Valley of the Wind" is a fearless, nature-communing warrior for peace and co-existence, in part because of Bernard Evslin work misleading Miyazaki into thinking Nausicaa was widely recognized and known for her love of nature.

    In conversation about a month ago from mathstodon.xyz permalink
  3. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Wednesday, 29-Jul-2026 06:35:25 JST Richard Penner Richard Penner

    Cantor's claim is that the infinity of the set real numbers, |ℝ|, is larger than the infinity of the set of counting numbers, |ℕ|. If Cantor is wrong, then there must be a function 𝑓:ℕ⟶ℝ such that the set of real numbers, ℝ, is exactly the same as the image of all natural numbers under function 𝑓, 𝑓(ℕ) = { 𝑓(1), 𝑓(2), 𝑓(3), ... }. If Cantor is right, then there is no such function, 𝑓 where 𝑓(ℕ) = ℝ.

    Cantor's diagonal argument is, at its heart, a proof that a set of size 2^n is strictly larger than n, is true for all n when n is the size of a set, and this works for infinite sets. If n is 3, we have A = {1, 2, 3}, B={000, 001, 010, 011, 100, 101, 110, 111}, and if 𝑓(1) = 𝑎𝑏𝑐, 𝑓(2) =𝑟𝑠𝑡, 𝑓(3) = 𝑥𝑦𝑧, the symbol D = 𝑎𝑠𝑧 might or might not be in 𝑓(A), but D̅ = 𝑎̅𝑠̅𝑧̅ cannot be. We know 𝑓(1) ≠ D̅ since 𝑎 ≠ 𝑎̅; we know 𝑓(2) ≠ D̅ since 𝑠 ≠ 𝑠̅; we know 𝑓(3) ≠ D̅ since 𝑧 ≠ 𝑧̅, so we know 𝑓(A) failed to include all the elements of B. The diagonal argument is not a procedure or task to be carried out, but logical reasoning about operating 𝑓 on the whole of A at once, even when A is an infinite set, like ℕ.

    ℕ and ℝ are already concrete. ℝ^ℕ, the set of all injective functions from ℕ into ℝ, is already concrete. So 𝑓 is an element of ℝ^ℕ and 𝑓(ℕ) ≠ ℝ, because none of the injective functions from ℕ into ℝ is also an surjective function from ℕ onto every element of ℝ. That's pretty much the definition of "larger."

    Since D̅ differs from 𝑓(𝑛) at the 𝑛th position, D̅ cannot be an element of 𝑓(ℕ) because there is no 𝑛 such that 𝑓(𝑛) = D̅.

    Effectively, Cantor's diagonal argument is the proposition that describes a concrete 𝑔:ℝ^ℕ⟶ℝ such that for all 𝑓 in ℝ^ℕ, 𝑔(𝑓) = D̅, is in ℝ but not in 𝑓(ℕ).

    #Cantor #DiagonalArgument

    In conversation about a month ago from mathstodon.xyz permalink
  4. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Tuesday, 21-Jul-2026 00:12:39 JST Richard Penner Richard Penner

    This was a rough one.

    🦗 Animal #1085 🐙
    I figured it out in 12 guesses!
    🟨🟨🟨🟨🟨🟨🟨🟩🟩🟩🟩🟩
    🔥 1 | Avg. Guesses: 6.3

    https://metazooa.com
    #metazooa

    In conversation about a month ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: metazooa.com
      Metazooa
      from @theAbeTrain
      Become an evolutionary detective to find the Mystery Animal!
  5. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Tuesday, 21-Jul-2026 00:12:22 JST Richard Penner Richard Penner

    Challenging logic puzzle that penalizes you when you guess with insufficient information:

    https://cluesbysam.com

    In conversation about a month ago from mathstodon.xyz permalink
  6. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Wednesday, 15-Jul-2026 13:46:11 JST Richard Penner Richard Penner

    Is the 1977 two-part episode of "The Six Million Dollar Man" called "Death Probe" based on the failed Soviet Venera mission in 1972? Then, in an example of life imitating art (or physics being physics) that failed probe also returned to Earth in May 2025, largely intact due to its engineering to survive descent to the surface of Venus.

    Many other details differ.

    #TheSixMillionDollarMan #Venus #Venera #DeathProbe

    In conversation about 2 months ago from mathstodon.xyz permalink
  7. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Thursday, 25-Jun-2026 06:47:11 JST Richard Penner Richard Penner

    > Chinese: wǒ bú huì shuō zhōnɡ wén.
    > Japanese: nihongo ga dekimasen.
    > German: Ich spreche nicht Deutsch.
    > Spanish: No hablo español.

    — A curated list of examples of the liar's paradox adjacent sentence "I do not speak [this language]" by mathematician Joel David Hamkins

    Chinese is SVO much like English, so wǒ, huì shuō, zhōnɡ wén are meant to stand for I, speak, Chinese with (不,bú) being the negation of “no/not.”

    Indeed, 「我不會說中文。」is the output of Google Translate when you ask for a translation of “I do not speak Chinese.” Personally, I find 中文 easier to write than to communicate orally in isolation. Because Chinese is properly written with a brush, it is not the shape of the letters but the high-dimensional space of brush movements that connects the printed, semi-cursive, and full-cursive forms, so stroke order is vitally important.

    Chinese is a pitched language which means the rising and falling of the tone of each syllable is vital to spoken communication. Mandarin here has four main syllabic pitches: high, falling, rising, and falling and then rising. Thus the markers on the vowels are pitch marks, not stress accents.

    But there are a lot of different characters. So there are same-tone homophones like 財 (fortune, wealth, assets) and 才 (talents). The right side of the first character resembles the second — not a coincidence, but also not a reliable predictor of pronunciation.

    Due to cultural norms, 我愛你。(wǒ ài nǐ, I love you), while a perfectly grammatical sentence is culturally unacceptable to speak aloud to someone in public. Thus in Chinese it is possible to speak something perfectly but also completely wrong. ⇒⇐

    Therefore, Chinese does not exist. □

    Q.E.D. #Math #Paradox #Chinese

    In conversation about 2 months ago from mathstodon.xyz permalink
  8. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Monday, 08-Jun-2026 15:39:49 JST Richard Penner Richard Penner

    Q: What's the difference between NUL and NULL?

    A: About 56 zero bits on many architectures. On a PDP-10, 27 zero bits.

    Q: 27!?

    In conversation about 3 months ago from mathstodon.xyz permalink
  9. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Thursday, 21-May-2026 01:29:37 JST Richard Penner Richard Penner
    in reply to
    • clacke

    @clacke So I have been informed.

    https://translate.google.com/?sl=de&tl=en&text=ein%20Penner&op=translate

    In conversation about 3 months ago from mathstodon.xyz permalink
  10. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Wednesday, 20-May-2026 02:48:28 JST Richard Penner Richard Penner
    in reply to
    • clacke

    @clacke The song was a banger but the singing was flat?

    In conversation about 4 months ago from mathstodon.xyz permalink
  11. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Wednesday, 20-May-2026 02:48:26 JST Richard Penner Richard Penner
    in reply to
    • clacke

    @clacke Thanks for not reacting to my actual name. :)

    In conversation about 4 months ago from mathstodon.xyz permalink
  12. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Saturday, 16-May-2026 13:10:45 JST Richard Penner Richard Penner

    Nothing is so twee as an American who has learned a new British word.

    In conversation about 4 months ago from mathstodon.xyz permalink
  13. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Tuesday, 21-Apr-2026 21:35:25 JST Richard Penner Richard Penner
    • Thomas 🔭🕹️

    @thomasfuchs The Austrian government seems to have dropped the ball when it comes to promoting their culinary richness. There is a paucity of Viennese style restaurants.

    In conversation about 4 months ago from mathstodon.xyz permalink
  14. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Tuesday, 21-Apr-2026 21:17:43 JST Richard Penner Richard Penner
    • Thomas 🔭🕹️

    @thomasfuchs Japanese Tonkatsu (豚カツ) has entered the chat.

    • https://en.wikipedia.org/wiki/Tonkatsu

    • https://en.wikipedia.org/wiki/Katsu-sando

    > Isen (a tonkatsu restaurant in Ueno, circa 1935) was famous for its tender cutlet made with carefully pounded meat which could be cut with chopsticks.

    With chopsticks!

    In conversation about 4 months ago from mathstodon.xyz permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: upload.wikimedia.org
      Tonkatsu
      Tonkatsu (豚カツ, とんかつ or トンカツ, pronounced [toŋkatsɯ]; "pork cutlet") is a Japanese dish that consists of a breaded, deep-fried pork cutlet. It involves coating slices of pork with panko (bread crumbs), and then frying them in oil. The two main types are fillet and loin. Tonkatsu is also the basis of other dishes such as katsukarē and katsudon. Etymology The word tonkatsu is a combination of the Sino-Japanese word ton (豚) meaning "pig", and katsu (カツ), which is a shortened form of katsuretsu (カツレツ), an old transliteration of the English word "cutlet", which was in turn adopted...
    2. Domain not in remote thumbnail source whitelist: upload.wikimedia.org
      Katsu-sando
      Katsu-sando (Japanese: カツサンド or かつサンド; lit. 'cutlet sandwich') is a Japanese sandwich which is made from Japanese-style cutlet (mainly tonkatsu) between slices of bread, and there are many variations. The price and quantity of it are reasonable, so it is also served as a hassle-free snack or bento (e.g.,Tokyo Station's ekiben, Haneda Airport's soraben). History Katsu-sando was invented in 1935 by Toki Ishizaka, the landlady of the tonkatsu restaurant "Isen" in Ueno, Tokyo. She was inspired by the ham sandwich, and officially called her creation "かつサンド" (not "カツサンド"). At the time of its invention, Isen was frequented...
  15. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Tuesday, 31-Mar-2026 16:17:37 JST Richard Penner Richard Penner
    in reply to
    • Tyrone Slothrop

    @slothrop @nightjar

    Ultraschall-Hautstraffungsgerät?

    Perhaps the chain of semantic missteps and mistranslations went as follows:

    私密紧致(机/器/刀) → (private regions (en_US)/privates (en_UK))+(tight/firm)+((ultrasound) scalpel/machine) → privacy (oops!) + (tissue/skin) firming machine → online privacy + firming machine → Datenschutzstraffungmaschine ?

    https://de.wikipedia.org/wiki/Hochintensiver_fokussierter_Ultraschall

    In conversation about 5 months ago from mathstodon.xyz permalink
  16. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Tuesday, 10-Mar-2026 01:53:16 JST Richard Penner Richard Penner
    • Cory Doctorow

    Congrats to @pluralistic for coining the word #enshitification (See footnotes 2 and 3) — as something that is named is more easily discussed, weighed, and planned about than a concept that exists only as vague concern. And the government of #Norway has thoughts and words on it and thinks they can help make it stop. 100 page PDF

    https://storage02.forbrukerradet.no/media/2026/02/breaking-free-pathways-to-a-fair-technological-future.pdf

    In conversation about 6 months ago from mathstodon.xyz permalink

    Attachments


  17. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Thursday, 04-Dec-2025 07:54:21 JST Richard Penner Richard Penner
    in reply to
    • nixCraft 🐧

    @nixCraft Bug: It still compiles if you change https to http despite the many risks of insecure web sites.

    In conversation about 9 months ago from mathstodon.xyz permalink
  18. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Wednesday, 15-Mar-2023 00:48:24 JST Richard Penner Richard Penner
    • Thomas 🔭🕹️

    @thomasfuchs

    Photorealistic is a moving target.

    https://computeranimationhistory-cgi.jimdofree.com/

    In conversation Wednesday, 15-Mar-2023 00:48:24 JST from mathstodon.xyz permalink
  19. Embed this notice
    Richard Penner (arpie4math@mathstodon.xyz)'s status on Sunday, 12-Mar-2023 15:05:57 JST Richard Penner Richard Penner
    in reply to
    • God :verified:

    @godpod I thought you were going to define "betas" as a pre-production trial release to shake out the bugs.

    In conversation Sunday, 12-Mar-2023 15:05:57 JST from mathstodon.xyz permalink

User actions

    Richard Penner

    Richard Penner

    SW Engineer, Amateur mathematician (contributed to metamath.org, oeis.org, ...), Legal Tourist (went to Honolulu in 2010 to watch the end of Sancho v. DOE).

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          106287
          Member since
          12 Mar 2023
          Notices
          19
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.