« first day (2208 days earlier)      last day (1186 days later) » 

4:07 AM
8
Q: recursive setTimeout with async await

André Alçada PadezI'm running a setTimeout, recursively, so i only want to call the API 1 time per minute. Here is my code: ;(async function ticker (minutes) { try { const res = await coingecko.global() const { market_cap_percentage } = res.data.data dominance = { btc: market_cap_percentage.btc, eth:...

 
 
2 hours later…
5:55 AM
5
Q: What is the Galois group of one ultrapower over another ultrapower?

Keshav SrinivasanLet $F$ be a field, let $E$ be a field extension of $F$, and let $U$ be an ultrafilter. Then my question is, what is the relationship between the Galois groups $Gal(\Pi_U E/\Pi_U F)$ and $Gal(E/F)$? Or if that's too general, is it at least possible to say something in the case when $E$ is a numb...

 
 
3 hours later…
8:40 AM
...
 
 
6 hours later…
2:47 PM
3
Q: Squares of irrational numbers

belwarDissengulpShow that if $x$ and $y$ are irrational numbers such that $x^2-y^2$ is a non-zero rational, then $x+y$ e $x-y$ are both irrational numbers. I know that $\mathbb{Q}$ is closed under addition and product, however I have no clue on how to solve this problem. I would really appreciate help. I tried a...

 
 
5 hours later…
7:41 PM
3
Q: Understanding of real numbers based on Dedekind cut?

koralgoollI can not understand the construction of real numbers by Dedekind cuts. Can somebody help me with understanding? The problem which I have is that the cardinality of rationals is $ \aleph_0 $. Base on that, my assumption is that I can cut this only in $ \aleph_0 $ places in such a way that $ \fora...

 
 
1 hour later…
9:07 PM
6
Q: How to advance block number when I’m developing on RSK Regtest?

OwansI have a smart contract that checks if the actual block number is higher than a fixed one to execute certain functionality and I need to write a unit test to validate that behavior. I’m using RSK in Regtest mode to execute tests and I would need to increment the block number without actually wait...

 

« first day (2208 days earlier)      last day (1186 days later) »