« first day (2474 days earlier)      last day (935 days later) » 

12:05 AM
4
Q: Consistency proof in topos logic

Paul Blain LevyIs the consistency of classical third-order arithmetic (PA$_3$) provable in the logic of a topos with natural numbers? (My guess would be yes, but I haven't seen this anywhere.)

 
12:23 AM
4
Q: Which geometric variational problems admit an entropy identity?

Leo MoosQuestion. My question in broad terms: what are the uses of entropy in geometric analysis, particularly in variational contexts to study sequences of functionals such as the two results described below? [See at the bottom for a more precise version of the question.] Several branches of mathematics...

 
 
3 hours later…
3:39 AM
2
Q: Why is the distributive law an axiom?

SteevenI've always heard the distributive law of multiplication described as an axiom, an assumed property of a given set of numbers of any kind. In the same category as what I would call more fundamental axioms such as $a\cdot 1=a$. The distributive law of multiplication in a simple form states the rul...

 
4:18 AM
0
Q: Nested Class - How can I use outer class variables for inner class

tristan bottoneI created a super simple Character and Buildable class for a miniature game I am developing and I have created a nested class where Character is for the outer class and Buildable is the inner class. I am trying to loop through resources from Character inside my upgradeBuildable function within Bu...

 
 
4 hours later…
8:23 AM
4
Q: Are groups determined by their morphisms from solvable groups?

Chris H$\newcommand{\Grp}{\mathrm{Grp}}$Consider the category of groups $\Grp$, and within it we have the solvable groups $S$. Then any group $G$ determines the functor from solvable groups: $$h_G:=\text{hom}_{\Grp}(\_,G):S^{\mathrm{op}}\rightarrow \text{Set}$$ Does this functor determine the group $G$?...

 
 
3 hours later…
11:41 AM
0
Q: Is my RSA key correctly generated

Vladimir DespotovicI use python pycryptodome rto generate my private and public key. This is one example of a public key that I am generating: (n=0xf56efd1888065abb3ef6e6b1e6e0039ff1fa0b09e1f1ab9869ad933e1f48527c182957f9a767110524c362ac4c460f752d2011ef827ed9680fe58a078f3e8355d9bea6e1285a7a51b3f5022c66f72331a1053fb8...

 
12:35 PM
0
Q: Is it secure to pass data as plain text via watchConnectivity?

SVGI am developing a dependant watch app and need to pass some data from the phone to watch and vice versa to sync up (imagine login credentials). Is it secure to pass data as plain text from the mobile to the watch app and vice versa? Can hackers or middlemen gain access to the data within the comm...

 
 
1 hour later…
1:50 PM
2
Q: How to Assign the Numbers Automatically in This Enumerate Environment

Samuel BowditchConsider \documentclass{book} \usepackage{tcolorbox} \newtcbox{\blackbox}[1][]{nobeforeafter, notitle, %sharpcorners, colframe=black, colback=black, top=4pt, left=5pt, right=5pt, bottom=2pt, fontupper=\sffamily\bfseries, colupper=white, tcbox raise ba...

 
 
1 hour later…
2:53 PM
6
Q: How do I calculate a compounding return in a vector indexed to 100?

Bandit KingI have the following dataframe: dat <- tibble::tribble( ~date , ~pct_monthly_return, 2021-01-31, 0.0023, 2021-02-28, 0.01, 2021-03-31, 0.035) I would like to create a new column called index which st...

 
 
4 hours later…
6:35 PM
0
Q: i can't write file android

Strawberry_Ham99i'm trying to save a file with an object in it using serialisation but when i read it, it returns and object = -1 here's the code: readind/writing file : public abstract class Serializer { public static void serialize(String filename, Object object, Context context) { try{ FileOutput...

 
7:05 PM
0
Q: net user <name> <password> only works on first attempt

SYBI'm stumped to be honest and ran out of all ideas and experiments. I have a C#/WPF app that programmatically calls the following 2 command in a row to update Windows 10 LTSC system password: net user "Admin" {0} schtasks /change /tn RunHost /rp {0} In all cases no matter how many times I execute...

 
 
1 hour later…
8:17 PM
0
Q: Difference between N[CDF[NormalDistribution[m,s],x]] and CDF[NormalDistribution[m,s],x]?

T123Jim new to Mathematica and i am struggeling with the following problem: If i evaluate the expression N[CDF[NormalDistribution[m,s],x]] for m=12, s=25 and x=10, i get 0.468119 (=the value i would expect), however, if i evaluate the expression CDF[NormalDistribution[m,s],x] for the same x,m,s, i get...

 
 
2 hours later…
10:35 PM
8
Q: How can I trigger a :hover transition that includes three overlapping div elements (Venn diagram)

mseabraMy problem is that I have this Venn diagram consisting of three div elements and I want to scale them with :hover, so that when I hover over an intersection all the circles that meet in the intersection scale to my defined value. In the moment I only get one circle to scale at the time. .cir...

 

« first day (2474 days earlier)      last day (935 days later) »