Tootfinder

Não é todos os dias que se fala da OKC em português
Aqui vai o artigo do Público na forma de um PDF, sem paywall
https://drive.google.com/file/d/1Ega7ZKrVezn_6I4_UrdYBZezpouRJd5f/view?usp=drivesdk
Obrigado por partilharem.

The two PK saves (plus a PK miss) were loud & shiny, but Hampton was quietly heroic throughout the tournament. In the final, she prevented 1.35 goals, allowing 1 goal on 2.35 xG.
In the knockout rounds:
0.73 goals prevented against Italy
1.33 goals prevented against Sweden
You can make a case for Kelly or Agyemang as player of the tournament, but for me… Hampton.
And to be candid, I doubted throughout. I thought she spills too many rebounds. 🤷‍♂️

On $NP \cap coNP$ proof complexity generators
Jan Krajicek
https://arxiv.org/abs/2506.20221 https://arxiv.org/pdf/2506.20221

On $NP \cap coNP$ proof complexity generators
Motivated by the theory of proof complexity generators we consider the following $Σ^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $π$ of a disjunction $\bigvee_i α_i$, no two $α_i$ having an atom in common, find $i$ such that $α_i \in \mbox{TAUT}$. We formulate a hypothesis (ST) that for some strong proof system $P$ the problem $\mbox{DD}_P$ is not solvable in the student-teacher model with a p-time student and a constant number of ro…

Malheureusement, notre cagnotte juridique nécessite encore votre aide. Les victimes que notre association représente ont toujours besoin de vous. Nous avons déjŠ collecté plus de 5134 € grâce Š votre générosité 🙏💙
https://chardonsbleus.org/luttons-ense

Conceptual conflation, in a bunch of paragraphs.
This is not how it works.
https://thenewstack.io/bare-metal-kubernetes-the-performance-advantage-is-almost-gone/
Supposed "hard" limits can as well be enforced with

Bare-Metal Kubernetes: The Performance Advantage Is Almost Gone
CIOs, platform teams, and architects today must seriously consider whether bare metal is still the right approach.

I've seen a lot of randos trying to get folks on the local developer slack to do this. It's usually something like "we will pay you monthly to maintain a fleet of laptops at your house". There is always someone desperate enough or ignorant enough to say yes.
https://www.tiktok.com/t/ZT6rokcE6/

Agentic AI and Hallucinations
Engin Iyidogan, Ali I. Ozkes
https://arxiv.org/abs/2507.19183 https://arxiv.org/pdf/2507.19183…

Agentic AI and Hallucinations
We model a competitive market where AI agents buy answers from upstream generative models and resell them to users who differ in how much they value accuracy and in how much they fear hallucinations. Agents can privately exert effort for costly verification to lower hallucination risks. Since interactions halt in the event of a hallucination, the threat of losing future rents disciplines effort. A unique reputational equilibrium exists under nontrivial discounting. The equilibrium effort, and t…

2016 Video RTBF-TIPIK : Ils ont grandi dans la secte OKC https://chardonsbleus.org/rtbf-tipik-ils-ont-grandi-dans-la-secte-okc/

Não é todos os dias que se fala da OKC em português
Aqui vai o artigo do Público na forma de um PDF, sem paywall
https://drive.google.com/file/d/1Ega7ZKrVezn_6I4_UrdYBZezpouRJd5f/view?usp=drivesdk
Obrigado por partilharem.

2016 Video RTBF-TIPIK : Ils ont grandi dans la secte OKC https://chardonsbleus.org/rtbf-tipik-ils-ont-grandi-dans-la-secte-okc/