« first day (2814 days earlier)      last day (589 days later) » 

1:56 AM
3
Q: Is there a proof of independence of AC from Z that is done in Z?

Zuhair Al-JoharThe proof that $AC$ is independent of $\sf ZF$ axioms is done by forcing and constructibility, and these don't beg any consistency strength more than that of $\sf ZF$. Is there a known similar proof of independence of $AC$ from $\sf Z$ that is done at the consistency level of $\sf Z$ itself? M...

 
2:44 AM
1
Q: Stabilization of taking presheaf categories

Alec Rhea Does the process of 'constructing the category of presheaves' always/never stabilize? Does it stabilize for some special class of categories? That is, work in a foundation that allows for multiple levels of 'categorical largeness' and let $\mathcal{C}$ be a category. Recursively define $\mathc...

 
 
4 hours later…
6:36 AM
0
Q: How do I open the Task List in Android Studio?

xarzuHow do I open the Task List in Android Studio? Is it the same thing as the Gradle Window? I am trying to run an APP in debug mode and direct the UI to my physical device which is an Android Cell phone.

 
 
9 hours later…
3:14 PM
3
Q: Center of a monoid ring

Eddie JonesAccording to the Wikipedia page the center of a group ring $R[G]$ is the set: $$ \{ p | \forall g,\, h \in G.\, p(g) = p(hgh^{-1}) \} $$ i.e. class functions which do not distinguish elements of the same conjugacy class. Is there an analogous result for monoid rings?

 
3:34 PM
2
Q: NOT a maximal ideal of the ring of Gaussian integers

Sharmi CI have to show that $I= \{ a+bi : a,b \in \mathbb{Z} , a=5m , b=5n\}$ is NOT a maximal ideal of $\mathbb Z[i]$. For this if I take $J= \{ a+bi : 5\ $divides $ a^2+b^2 \}$ then , I can have that $4+3i \in J$ but NOT in $I$, and $1+5i \in \mathbb Z[i]$ but NOT in $J$. Then $ I \subset J\subset ...

 
3:54 PM
-2
Q: ffmpeg for .NET MAUI application

AsifIs there a way to use ffmpeg in .NET MAUI application?

 
4:44 PM
2
Q: Uniform continuity of Hamiltonian flow

LauritzLet $h \in C^2_{\mathrm{ub}}(\mathbb{R}^{2n})$, where $C_{\mathrm{ub}}^k$ consists of $C^k$-functions that are bounded and uniformly continuous along with their derivatives up to $k$th-order. It is clear that the Hamiltonian vector field $X$ is $C^1$ and globally Lipschitz, hence the Hamiltonian ...

 
5:04 PM
1
Q: Bactracking resistance PRNG - real world usage

TomI read about bactracking resistance: http://cs.yale.edu/publications/techreports/tr1466.pdf https://arxiv.org/pdf/1810.02227.pdf https://www.schneier.com/wp-content/uploads/2017/10/paper-prngs.pdf Story (Motivational Story) in first paper is interesting. But seems to be theoretical. Backtracking...

 
 
2 hours later…
7:30 PM
0
Q: how to use an input that calls functions?

MahdiwebI want to create my first google chrome extension based on the following code: <input name="inpt" id="inpt" /> <button id="btn" onClick="onClickHandler( document.getElementById('inpt').value )">Enter</button> <script> functions = { 1 : function(){alert(1);}, 2 : function(){alert(2);}, 3 : ...

 

« first day (2814 days earlier)      last day (589 days later) »