4 ms·

> To prove the André-Oort conjecture, Pila needed to show that a non-Shimura variety living inside a Shimura variety doesn’t have a lot of special points. Thi

by marto1 5y ago

> To prove the André-Oort conjecture, Pila needed to show that a non-Shimura variety living inside a Shimura variety doesn’t have a lot of special points. This looks just so advanced to me. Is that how people sound when they talk about programming ?

bluquark 5y ago
No, only functional programmers sound like this!
xigoi 5y ago
Yes. >Build, test, and deploy with CI/CD that works with any language, platform, and cloud. Connect to GitHub or any other Git provider and deploy continuously. (from https://azure.microsoft.com/en-us/services/devops/ https://azure.microsoft.com/en-us/services/devops/) >Kubernetes, also known as K8s, is an open-source system for automating deployment, scaling, and management of containerized applications. (from https://kubernetes.io/ https://kubernetes.io/)
- bluquark 5y ago
  The paragraphs you quoted are at least partially self-explanatory, mostly using common English words like "platform" in a metaphorical sense. Whereas the paragraph the grandparent quoted has several concepts that are opaquely named after mathematicians, providing not even a hint of what they might mean.
  - xigoi 5y ago
    “Git” is literally a random word. “Kubernetes” also doesn't tell you anything.
    - kungito 5y ago
      And Shimura does?
      - xigoi 5y ago
        No. That's why it's an answer to “Is that how people sound when they talk about programming?”
gavagai691 5y ago
Probably nothing is quite so abstruse as abstract mathematics, and few subjects in math are as abstruse as arithmetic geometry (the subject of this paper).
ljhsiung 5y ago
Just a lot of standardization and years of intuiting what these mean. In this case, you definitely need some intuition of elliptic curves and "special points" that is hard to explain, but Quanta does it decently. Here's an example from the ARM Architecture Reference Manual (B.2.3.6) that often throws people for a loop-- > For a read or a write RW1 from an Observer that is Ordered-before a read or a write RW2 from a different Observer, the External visibility requirement requires that RW2 is not Observed-by RW1. This means that an Architecturally well-formed execution must not exhibit a cycle in the Ordered-before relation.
- _0ffh 5y ago
  I'm not sure I understand the ARM manual example. It seems obvious that an operation should not be able to see what is supposed to happen "after" it executes, and that a time-like construct should not contain loops (outside of SF literature). I'm sure I'm missing a lot of detail here, but I really can't say that I feel confused by it. Ed. Oh wait, so maybe I'm just sufficiently similar to the intended audience. But wouldn't everyone who reads such a manual be?

by marto1 5y ago

bluquark 5y ago

No, only functional programmers sound like this!

xigoi 5y ago

Yes. >Build, test, and deploy with CI/CD that works with any language, platform, and cloud. Connect to GitHub or any other Git provider and deploy continuously. (from https://azure.microsoft.com/en-us/services/devops/ https://azure.microsoft.com/en-us/services/devops/) >Kubernetes, also known as K8s, is an open-source system for automating deployment, scaling, and management of containerized applications. (from https://kubernetes.io/ https://kubernetes.io/)

bluquark 5y ago
The paragraphs you quoted are at least partially self-explanatory, mostly using common English words like "platform" in a metaphorical sense. Whereas the paragraph the grandparent quoted has several concepts that are opaquely named after mathematicians, providing not even a hint of what they might mean.
- xigoi 5y ago
  “Git” is literally a random word. “Kubernetes” also doesn't tell you anything.
  - kungito 5y ago
    And Shimura does?
    - xigoi 5y ago
      No. That's why it's an answer to “Is that how people sound when they talk about programming?”

gavagai691 5y ago

Probably nothing is quite so abstruse as abstract mathematics, and few subjects in math are as abstruse as arithmetic geometry (the subject of this paper).

ljhsiung 5y ago

Just a lot of standardization and years of intuiting what these mean. In this case, you definitely need some intuition of elliptic curves and "special points" that is hard to explain, but Quanta does it decently. Here's an example from the ARM Architecture Reference Manual (B.2.3.6) that often throws people for a loop-- > For a read or a write RW1 from an Observer that is Ordered-before a read or a write RW2 from a different Observer, the External visibility requirement requires that RW2 is not Observed-by RW1. This means that an Architecturally well-formed execution must not exhibit a cycle in the Ordered-before relation.

_0ffh 5y ago
I'm not sure I understand the ARM manual example. It seems obvious that an operation should not be able to see what is supposed to happen "after" it executes, and that a time-like construct should not contain loops (outside of SF literature). I'm sure I'm missing a lot of detail here, but I really can't say that I feel confused by it. Ed. Oh wait, so maybe I'm just sufficiently similar to the intended audience. But wouldn't everyone who reads such a manual be?