« first day (3387 days earlier)      last day (22 days later) » 
02:00 - 08:0010:00 - 21:00

10:00 AM
2
Q: K-theory of simplicial rings

JJJGiven a simplicial commutative ring $R$, you have the usual K-theory spectrum $K(R)$ defined as the group completion of the symmetric monoidal category of finitely-generated projective modules over $R$. A more naive construction would be to just define a simplicial spectrum $[n] \mapsto K(R_n)$ a...

 
 
5 hours later…
3:00 PM
1
Q: Prékopa-Leindler style inequality?

AnthonyDoes anyone know a simple proof of the following Prékopa-Leindler style inequality: If we have $f_1,f_2,g_1,g_2$ strictly positive functions on $\mathbb{R}$ such that, for any $x_1,x_2 \in \mathbb{R}$, one has $$f_1(x_1)^2 f_2(x_2)^3 \leq g_1(x_1)^2g_2(x_2)^3 $$ then $$ \left(\int_\mathbb{R} f_1...

 
 
3 hours later…
5:48 PM
0
Q: Python script in "Task Scheduler" runs forever

NaturalBornCamperI can't figure out why my Python script works perfectly in the console when I execute it like this (runs for 1-2 seconds): But if I run it in the task scheduler (either manually or at the scheduled time), it runs forever and eventually times out after the 2 hours time limit: Here's the script i...

 
6:42 PM
7
Q: c++20 vector comparison weird behaviour

c.bearOverloading the operator bool() for a custom class T breaks vector<T> comparison operators. The following code tried on the first online compiler google suggest me prints v1 > v2: 0 v1 < v2: 1 when operator bool() is commented and v1 > v2: 0 v1 < v2: 0 when it's uncommented. #include <iostream>...

 
 
2 hours later…
8:54 PM
0
Q: executing python script with cmd or batch file

Ecoツhello guys I'm having issues trying to execute a python script that requires input ex: > python example.py please enter key:"input here" please select amount: "input here" basically my end goal is to make the batch file automatically fill out the inputs so its fully automized and all I need to ...

 
02:00 - 08:0010:00 - 21:00

« first day (3387 days earlier)      last day (22 days later) »