Início / coding / 问题

All perguntas(coding)

Martin Hope
Abdul Khadar
Asked: 2025-04-29 09:52:58 +0800 CST
  • 5

Eu habilitei a política do Azure [Exigir uma tag nos recursos]. Ela está validando tags na criação de recursos conforme o esperado, mas também está avaliando recursos existentes e mostrando Não compatível.

Definição

{
  "properties": {
    "displayName": "Require a tag on resources",
    "policyType": "BuiltIn",
    "mode": "Indexed",
    "description": "Enforces existence of a tag. Does not apply to resource groups.",
    "metadata": {
      "version": "1.0.1",
      "category": "Tags"
    },
    "version": "1.0.1",
    "parameters": {
      "tagName": {
        "type": "String",
        "metadata": {
          "displayName": "Tag Name",
          "description": "Name of the tag, such as 'environment'"
        }
      }
    },
    "policyRule": {
      "if": {
        "field": "[concat('tags[', parameters('tagName'), ']')]",
        "exists": "false"
      },
      "then": {
        "effect": "deny"
      }
    },
    "versions": [
      "1.0.1"
    ]
  },
  "id": "/providers/Microsoft.Authorization/policyDefinitions/871b6d14-10aa-478d-b590-94f262ecfa99",
  "type": "Microsoft.Authorization/policyDefinitions",
  "name": "871b6d14-10aa-478d-b590-94f262ecfa99"
}

Verifiquei se funciona tanto em recursos existentes quanto em novos. Existe alguma possibilidade de avaliar apenas em novos recursos?

Martin Hope
Dorkhan C.
Asked: 2025-04-29 08:15:33 +0800 CST
  • 8
Ano um b c
2017 0 1 3
2018 0 3 0
2019 0 0 0

Considerando a tabela acima, qual é uma fórmula do Excel que me ajude a contar quantas colunas têm pelo menos uma célula maior que 1? Gostaria de ter uma fórmula que funcionasse se eu tivesse 1.000 colunas.

Neste caso, a resposta deve ser 2 (colunas b e c).

Eu estava tentando usar diferentes combinações de COUNTIFS e SUM, mas não encontrei a correta. Até agora tentei

=SUM(--(MAX(B2:B4)>1), --(MAX(C2:C4)>1), --(MAX(D2:D4)>1))

Isso funciona, mas não é viável com 1000 colunas.

excel
Martin Hope
Olivia McGregor
Asked: 2025-04-29 07:55:05 +0800 CST
  • 4

Sou iniciante em programação e estou tentando testar a codificação no meu site antes de me lançar de cabeça na criação. O problema que me impede de continuar, no entanto, é o meu código de margem. Ele funciona, mas continua aparecendo no texto do meu site, bem como em qualquer outro código que eu teste. Existe alguma maneira de corrigir isso?

(código)

<!DOCTYPE html>
<html>
  <head>
<style>
body {
  background-image: url("starbackground.gif");
}
</style>
</head>

<body>
    <div id= "header">
    <meta charset="UTF-8">
    <title>Testing stuff</title>
   </div>
   
  <div id= tst>
    <p><h1 style="color:Tomato;">testing stuff rn</h1></p>
    </div>

   <div id = "textfortextbox"> 
   <p><h2 style="color:White;">text OooOooh</h2></p>
</div>

    <div id = "textbox">
     margin-left:100px;
<img src="https://starchips.neocities.org/text%20box.png" width="1200" height="1000" > 

</div>

</body>
</html>

html
Martin Hope
David
Asked: 2025-04-29 07:20:48 +0800 CST
  • 5

Criei um aplicativo de Função do Azure. Nele, tenho uma função HTTPTrigger "Sync" que funciona muito bem e pode ser chamada com sucesso localmente por (HTTP://localhost/api/sync) ou pelo Azure usando sua URL do Azure ( https://xxx.azurewebsites.net/api/sync ).

Eu queria poder continuar chamando essa função via http, mas também queria acioná-la para ser executada uma vez por hora, então criei uma função TimerTrigger "ScheduledSync" com o único propósito de chamar a função "Sync" via HTTPRequestMessage.

O ScheduledSync funciona muito bem chamando e executando localmente a função HTTP acionada com sucesso, mas depois que ela é publicada no Azure, a solicitação HTTP para https://xxx.azurewebsites.net/api/sync falha.

Nada do que tentei funcionou, recebendo um erro 403 não autorizado nos logs da função ScheduledSync. Eu estava passando a chave da função, mas depois removi a autenticação completamente, mas é como se o Azure não permitisse que uma função se chamasse usando a URL completa do Azure, e o localhost também não funciona no Azure. Consigo chamar remotamente a mesma URL de sincronização do Azure do PostMan que o ScheduledSync está chamando, sem autenticação ou chave, e ele funciona com sucesso.

Tentei refatorar com base nesta pergunta e resposta, mas não pareceu fazer diferença.

[Function("Sync")]
public async Task<HttpResponseData> Run(
    [HttpTrigger(AuthorizationLevel.Function, "post")] HttpRequestData req,
    FunctionContext _,
    CancellationToken cancellationToken)
{
... //sync code

[Function("ScheduledSync")]
public async Task RunAsync([TimerTrigger("0 0 * * * *")] TimerInfo timerInfo, CancellationToken cancellationToken)
{

...

try
{
    using var request = new HttpRequestMessage(HttpMethod.Post, uri);

    var response = await _httpClient.SendAsync(request, cancellationToken);

    ... // logging and error handling code

Log de funções:

2025-04-28T22:46:00Z   [Information]   Executing 'Functions.ScheduledSync' (Reason='Timer fired at 2025-04-28T22:46:00.0027402+00:00', Id=895d3ab8-b00e-40b0-837d-a77892b125c6)
2025-04-28T22:46:00Z   [Information]   Trigger Details: ScheduleStatus: {"Last":"2025-04-28T22:45:00+00:00","Next":"2025-04-28T22:46:00+00:00","LastUpdated":"2025-04-28T22:45:00+00:00"}
2025-04-28T22:46:00Z   [Information]   Start processing HTTP request POST https://xxx.azurewebsites.net/api/Sync
2025-04-28T22:46:00Z   [Information]   Sending HTTP request POST https://xxx.azurewebsites.net/api/Sync
2025-04-28T22:46:00Z   [Information]   Received HTTP response headers after 46.0215ms - 403
2025-04-28T22:46:00Z   [Information]   End processing HTTP request after 46.2548ms - 403
2025-04-28T22:46:00Z   [Error] Scheduled Sync call failed with status Forbidden: <!DOCTYPE HTML>
<HTML>
  ....
  <h1 id="unavailable">Error 403 - Forbidden</h1>
  <p id="tryAgain">The web app you have attempted to reach has blocked your access 
  </p>
  ...
</HTML>

Agradecemos antecipadamente por qualquer ajuda que você nos fornecer.

Martin Hope
Arthur Kexu-Wang
Asked: 2025-04-29 05:54:38 +0800 CST
  • 6

Quando provo com Coq (ou Rocq), descubro que, às vezes, se uma hipótese é "P" e outra é "P -> para todo x, Q x", não consigo fazer de "para todo x, Q x" uma nova premissa pelo modus ponens.

Aqui está um exemplo:

Theorem post_forall: forall (X: Type) (P: Prop) (Q: X -> Prop),
  (P -> forall x, Q x) -> forall x, P -> Q x.
Proof.

(* 
Here is a correct proof:

intros X P Q. 
intros H.
intros y.
intros H1.
generalize dependent y.
apply H.
apply H1. 
Qed.
*)


intros X P Q. 
intros H.
intros y.
intros H1.
generalize dependent y.
apply H in H1.
(** STUCK HERE, 

But Why cannot we do this???

They look the same.
*)
Admitted.

A prova ficará presa na linha "aplicar H em H1" e Coq retornará "Não foi possível encontrar uma instância para a variável x".

Mas "x" precisa ser instanciado? Parece desnecessário. Qual é a diferença entre as duas provas?

Perguntei ao DeepSeek e ao ChatGPT. Nenhum deles conseguiu fornecer uma resposta satisfatória.

Também imaginei que poderia ser o problema da ocorrência de variáveis ​​no antecedente. Mas, se fosse, a tática de "generalizar dependente" deveria ter falhado.

logic
Martin Hope
Skunka
Asked: 2025-04-29 05:50:12 +0800 CST
  • 6

Estou tentando definir uma variante de cor com hsl()uma função css dentro @themeda diretiva Tailwind 4, mas isso não se aplica:

@theme {
    /* Colors */
    --color-primary: #006fa0;

    /* Darken colors */
    --theme-color-primary-darken: hsl(from var(--color-primary) h s calc(l - 5));

    /* Lighten colors */
    --theme-color-primary-lighten: hsl(from var(--color-primary) h s calc(l - 5));
}

As variantes de cores mais escuras e mais claras são exatamente as mesmas que as originais.

Dei uma olhada em algumas respostas existentes, como como usar hsl-custom-color-in-tailwind-in-react, mas todas elas disseram para usar tailwind.config.js, mas o Tailwind 4 agora tem uma zero-configabordagem, então eu queria saber como posso obter minhas variações de cores diretamente no arquivo css?

css
Martin Hope
Tiago Peres
Asked: 2025-04-29 05:29:48 +0800 CST
  • 5

De acordo com o guia de configuração do Sentry para um projeto React FE

Guia de configuração do Sentry no React

import * as Sentry from "@sentry/react";

Sentry.init({
  dsn: "SOME_SENTRY_DNS",
  // Setting this option to true will send default PII data to Sentry.
  // For example, automatic IP address collection on events
  sendDefaultPii: true
});

const container = document.getElementById(“app”);
const root = createRoot(container);
root.render(<App />);

Eu ajustei isso para

const SENTRY_DSN = process.env.REACT_APP_SENTRY_DSN;
const SENTRY_ENV = process.env.REACT_APP_SENTRY_ENVIRONMENT || "development";

Sentry.init({
  dsn: SENTRY_DSN,
  environment: SENTRY_ENV,
  sendDefaultPii: true,
  debug: true,
  autoSessionTracking: false,
  beforeSend(event) {
    console.log("Sentry about to send event:", event);
    return event;
  },
});

mas ainda continuo recebendo

Sentry Logger [warn]: Discarded session because of missing or non-string release

insira a descrição da imagem aqui

javascript
Martin Hope
Eric Wang
Asked: 2025-04-29 04:52:15 +0800 CST
  • 5

:root {
    --success: #0c0;
}

button {
    border: 2px solid;
    border-radius: 10px;
    cursor: pointer;
    margin: 1em 0.5em;
    padding: 10px 15px;
    transition: transform 1s;
}

button:active {
    transform: scale(90%);
}

button.animated {
    background-color: transparent;
    overflow: hidden;
    position: relative;
    transition: color 1s, border-color 1s, transform 0.2s;
    z-index: 1;
}

button.animated:hover {
    border-color: transparent;
}

button.animated::after {
    border: 0;
    border-radius: 50%;
    content: "";
    height: 150%;
    left: -25%;
    opacity: 0;
    position: absolute;
    top: -25%;
    transform: scale(0.1);
    transform-origin: center;
    transition: all 1s;
    width: 150%;
    z-index: -1;
}

button.animated:hover::after {
    opacity: 1;
    transform: scale(1);
}

.text,
button.animated.background::after {
    background-color: white;
}

.background,
button.animated.text:hover{
    color: white;
}

button.animated.text {
    border-color: var(--muted);
}

.success.text,
button.animated.success.background:hover {
    color: var(--success);
}

.success.background,
button.animated.success.text::after {
    background-color: var(--success);
}

button.animated.success.text:hover,
button.animated.success.background {
    border-color: var(--success);
}
<button class="animated success background">Button</button>
<button class="animated success background">Longer button</button>

O botão no snippet acima tem um efeito de fundo em forma de elipse que aparece quando você passa o mouse sobre ele. Atualmente, as dimensões da elipse são proporcionais às dimensões do botão. Gostaria que a elipse fosse circular, com largura 141,4% maior que a dimensão maior do botão ou, se não for possível, a largura do botão. Como posso fazer isso?

html
Martin Hope
Nickknack
Asked: 2025-04-29 04:21:55 +0800 CST
  • 7

Quero criar vários appsettings.<environment>.jsonarquivos no meu microsserviço .NET e, quando executo meu aplicativo, quero especificar os perfis de ambiente a serem usados ​​e aplicá-los appsettingsna ordem especificada.

Por exemplo, eu gostaria de appsettings.Development.jsonter minhas propriedades de desenvolvimento local padrão para executar o aplicativo, mas também gostaria que appsettings.Hsqldb.jsonelas substituíssem as propriedades do banco de dados appsettings.Development.jsonpara ser um banco de dados hsql.

Tenho o seguinte launch.jsonarquivo no vs Code :

{
    "configurations": [
    {
        "name": "C#: App Debug",
        "type": "coreclr",
        "request": "launch",
        "program": "${workspaceFolder}/API/API.csproj",
        "env": {
        "ASPNETCORE_ENVIRONMENT": "Development"
      },
    }
    ]
}

E o que eu gostaria de fazer é "ASPNETCORE_ENVIRONMENT": "Development,Hsqldb"... Então, ele aplicaria as propriedades Developmentprimeiro e as Hsqldbpropriedades de sobreposição depois. Mas isso não parece possível.

É possível configurar dois ambientes ao mesmo tempo? Qual seria uma boa maneira de lidar com isso?

c#
Prev
Próximo