« first day (2772 days earlier)      last day (637 days later) » 

4:52 AM
2
Q: Solution to a Sylvester equation with positive definite coefficients

StatsyBanksyConsider the following Sylvester equation, where each of the known coefficient matrices ($A$, $B$, $C$) is symmetric positive definite and has dimensions $n \times n$ \begin{align*} C = A^TXA + B^TXB. \end{align*} In my case, the coefficient matrices are such that the equation has a unique real s...

 
5:06 AM
1
Q: Why are primes raised to the fourth power mod 10 equal to 1

Ank i zleI was just messing around with things, and found that a lot of prime numbers raised to the fourth power mod 10 are 1. This means that they end in the digit 1 (in base 10). I made a desmos graph demonstrating this, anybody have any idea why this is the case? I can't really understand why such a pa...

 
 
11 hours later…
3:52 PM
2
Q: Prop 5.3.6.2 in higher topos theory

XiaYuHere are the necessary notations and the statement of the proposition. I don't understand why the underlined sentence is true. Are the horizontal morphisms Cartesian fibration? I would appreciate it if someone could give me some hints.

 
4:16 PM
0
Q: Check for null values in API response

HinataI have an api, when it is the best rated movie returns values like [ { "movieId":"o1", "movie name":"Dory", "rating":"Best" } ] If not it returns [ { "movieId":null, "movie name":null, "rating":null } ] I used a rest template that calls the api using the execute method public Da...

 
 
2 hours later…
5:52 PM
2
Q: Consistency of a strange (choice-wise) set of reals

LorenzoConsider a set $X\subseteq \mathbb{R}$ such that $X$ is not separable wrt its subspace topology For all $r\in\mathbb{R}$ there exists a sequence $(x_n)_{n\in\omega} \subset X$ converging to $r$ In a model containing such a set $\text{AC}_\omega(X)$ (choice for countable families of non-empty su...

 
6:22 PM
7
Q: Django 4 Error: 'No time zone found with key ...'

Dimitar SodevAfter rebuild of my Django 4 Docker container the web service stopped working with error : zoneinfo._common.ZoneInfoNotFoundError: 'No time zone found with key Asia/Hanoi' My setup is: Python 3.10 Django 4.0.5 Error: > web_1 | Traceback (most recent call last): web_1 > | F...

 
 
4 hours later…
10:10 PM
8
Q: ref foreach with List

DanWhy can't ref var be used within a foreach loop that iterates a List<T>? Random rand = new(); // This is fine Span<int> numbers = new int[] { 3, 14, 15, 92, 6 }; foreach (ref var number in numbers) { number = rand.Next(); } // This is not fine List<int> nums = new() { 3, 14, 15, 92, 6 }; fo...

 
 
1 hour later…
11:22 PM
15
Q: What is the logical status of the sentence combining the ideas of Löb and Rosser, "this sentence is provable before any proof of its negation"?

Joel David HamkinsLogicians are familiar with the variety of self-referential sentences expressible in the language of arithmetic: The Gödel sentence, "this sentence is not provable", which indeed is not provable in whichever base theory that was used when formulating it and hence is true yet unprovable. The Ros...

 

« first day (2772 days earlier)      last day (637 days later) »