« first day (3394 days earlier)      last day (9 days later) » 

12:15 AM
5
Q: Conservative cocompletion of categories of geometric shapes for homotopy theory

EmilyThe recent paper Calin Tataru, Partial orders are the free conservative cocompletion of total orders. arXiv:2404.12924 has shown that the conservative cocompletion of the simplex category $\Delta$ is the category $\mathsf{Pos}$ of posets. There are a number of other important "categories of geo...

 
1:15 AM
2
Q: Balancing act for infinite walks

Pace NielsenThink of a one-dimensional infinite walk as a map $$w\colon \mathbb{N}\to \{-1,1\}.$$ (If it is more convenient, you can think of a walk as a subset of $\mathbb{N}$, or as a binary word, or as any other convenient model.) Similarly, a finite walk, say of $n$-steps (for some integer $n\geq 1$), ...

 
 
2 hours later…
3:03 AM
6
Q: Why do GCC and Clang pop on both branches instead of only once? (Factoring parts of the epilogue out of tail-duplication)

Bernardo SulzbachGCC and Clang both compile bool pred(); void f(); void g(); void h() { if (pred()) { f(); } else { g(); } } to some variation of # Clang -Os output. -O3 is the same h(): push rax call pred()@PLT test al, al je .LBB0_2 pop rax ...

 
 
3 hours later…
6:00 AM
0
Q: In Python, can you store an integer into RAM in a certain address and access it from another Python script?

Oğuz GüvenIn Python, can I store an integer into RAM in a certain address and access it from another Python script?  It doesn't necessarily have to be an integer, just any kind of data I can interpret from another Python script. Also, the script that does the storing doesn't have to be closed after writing...

 
2
Q: Must there be a proper class of Reinhardt cardinals if there is a Reinhardt cardinal?

C7XA cardinal is Reinhardt if $\kappa$ is the critical point of a nontrivial elementary embedding of $V$ to itself, where $V$ is the class of all sets. As Reinhardt cardinals are inconsistent with $\mathrm{ZFC}$, work in $\mathrm{ZF}j$, which is $\mathrm{ZF}$ with replacement and separation for form...

 
 
4 hours later…
10:15 AM
3
Q: 4,4,2,6,2,10,4,_ sequence from 4th grade packet

jmcarsonThe sequence (from my child's "for fun" challenge packet, not for credit or graded) is: 4,4,2,6,2,10,4,_ The possible answers are: A) 15 B) 20 C) 25 D) 28

 
 
4 hours later…
1:48 PM
0
Q: In a ggplot, I want to connect points within my x grouping variables with a line

Mátyás BukvaI have a grouping variable called Pathway2 and a further grouping Treatment variable. I want the two levels of the Treatment variable to be connected by a line according to my grouping variables. My code currently is this, which produces the following figure. ggplot(df, aes(x = Pathway2, y = Dete...

 
 
2 hours later…
3:24 PM
0
Q: Iterate Through a Range in Google Sheets to Generate a Sum Based on Conditions

BenApologies in advance if this has been asked already. With Mint shuttering and forcing us to Credit Karma, I'm hoping to build a semi-automated budget and spending tracker in Google Sheets, and would love if someone could help me figure out how to formulate a forEach loop script. I have four colum...

 
 
5 hours later…
8:52 PM
@gen ping
 
9:12 PM
Math.abs(0)
 
6
Q: Is std::atomic<bool> trivially copyable?

wohlstadThe following code prints whether std::atomic<bool> is trivially copyable: #include <atomic> #include <iostream> #include <type_traits> int main(){ std::cout << std::is_trivially_copyable_v<std::atomic<bool>> << "\n"; } It gives the following result on gcc and clang: 1 demo (gcc+clang) But...

 

« first day (3394 days earlier)      last day (9 days later) »