« first day (1247 days earlier)      last day (1115 days later) » 

00:10
cgccuser closed issue #710 (`ȯ` doesn't work with negatives, Vyxal/Vyxal)
cgccuser merged PR #716 (Vyxal/Vyxal) (Vyxal:slice-from → Vyxal:main): Fix slice from `ȯ` with negative numbers
cgccuser deleted branch Vyxal/slice-from
 
1 hour later…
01:29
0
Q: sorry using math exchange to show someone an equation. will delete

seok$$-(-3*(2*p**3*x_a*cos(beta) - 2*p**3*x_d*cos(beta) - 2*p**3*y_a*sin(beta) + 2*p**3*y_d*sin(beta) - 3*p**2*x_a*cos(beta) + 3*p**2*x_d*cos(beta) + 3*p**2*y_a*sin(beta) - 3*p**2*y_d*sin(beta) + x_a*cos(beta) - x_m*cos(beta) - y_a*sin(beta) + y_m*sin(beta))/(p**2*x_a*cos(beta) - p**2*x_d*cos(beta) -...

01:42
1 message moved from Mathematics
02:37
225 messages moved from Vyxal
 
2 hours later…
04:21
wld u like to review my challenge in sandbox, its been there for awhile, no comments whatsoever
1 message moved from Vyxal
 
17 hours later…
20:55
@causative: You are completely wrong. Let C be an interpreter for L written in M. Let P be an M-program that on input (Q,x) runs Q via C on x. Then for every string x we have K[L](x) = |(Q,x)| for some L-program Q and also K[M](x) ≤ |(P,(Q,x))| ≤ |P|+O(log(|P|))+|(Q,x)| (using the obvious pair-coding). — user21820 1 min ago

« first day (1247 days earlier)      last day (1115 days later) »