« first day (2576 days earlier)      last day (811 days later) » 

12:39 AM
9
Q: Make 1 == 2 true?

Kelly BundyPython ints are objects that encapsulate the actual number value. Out of curiosity / for fun I wondered: Can we mess with that value, for example setting the value of the object 1 to 2? So that 1 == 2 becomes True?

 
 
3 hours later…
4:08 AM
7
Q: Classification of homogeneous Einstein manifolds

AliceIn Besse's "Einstein manifolds", p. 177, he states that, until that moment, no general classification of homogeneous Einstein manifolds was know, even in the compact case. More specifically, he poses a problem: classify the compact simply connected homogeneous manifolds $M=G/K$ which admit a $G$-...

 
 
5 hours later…
9:26 AM
6
Q: Why second spin in Spinlock gives performance boost?

Eduard RostomyanHere is a basic Spinlock implemented with std::atomic_flag. The author of the book claims that second while in the lock() boosts performance. class Spinlock { std::atomic_flag flag{}; public: void lock() { while (flag.test_and_set(std::memory_order_acquire)) { while (f...

 
 
3 hours later…
12:32 PM
0
Q: How can I use "glob", a "for" loop in python3 and "with open" to record results into a text file?

80432232I have written a small python3 program which finds files using glob. I also want to create a file with a listing of the found files and directories. However, for some reason, the with open only records the very first result. Code: for z in glob.glob("/home/example*", recursive=True): if o...

 
 
5 hours later…
5:14 PM
2
Q: Completing partial matrix to a positive definite matrix

Lior GishbolinerIs the following problem known? Suppose one is given some of the entries of an $n \times n$ matrix $A$ over $\mathbb{R}$, so that the given entries are symmetric. Can one assign values to the remaining entries so that the resulting matrix is positive definite? Has this problem been studied from a...

 
 
1 hour later…
6:44 PM
4
Q: Group of isometries of Banach spaces a topological group?

Matthias LudewigLet $X$ be a Banach space and let $\mathrm{Iso}(X)$ be its group of isometries, i.e., the set of surjective linear maps $T: X \to X$ with $\|Tx\| = \|x\|$. Q: Is $\mathrm{Iso}(X)$ a topological group under the strong topology? While it is easy to show that multiplication is continuous, it is not ...

 
7:26 PM
8
Q: Why does not GHC recognize the function as linear?

RandomBI have a very simple snippet: {-# LANGUAGE LinearTypes #-} module Lib where data Peer st = Peer { data :: String } deriving Show data Idle data Busy sendToPeer :: Peer Idle %1-> Int -> IO (Peer Busy) sendToPeer c n = case c of Peer d -> pure $ Peer d I am on a resolver: ghc-9.0.1. From the d...

 
8:14 PM
6
Q: Sorting vectors into matrices(9 x 3)

HulkDThe aim is to create a array/matrix that sorts 3 rows of numbers (vectors) counting the numbers into the array. vectors (x, y, z) x <- 1 4 5 6 y <- 2 3 3 4 4 5 5 6 6 7 7 7 9 z <- 2 2 2 3 3 3 3 4 4 4 4 4 5 5 5 5 5 6 7 8 9 9 Matrices/array (ideal output) [,1] [,2] [,3] [1,] 1 0 0 ...

 
 
2 hours later…
9:44 PM
14
Q: Trying to understand C# syntax

Aleksander StukovI'm reading Avalonia source code and I came across this sentence: return new MenuFlyoutPresenter { [!ItemsControl.ItemsProperty] = this[!ItemsProperty], [!ItemsControl.ItemTemplateProperty] = this[!ItemTemplateProperty] }; I've never seen a syntax ...

 
10:28 PM
3
Q: Linear minimization over two integers

EnricoGiven $x\in]0,1[$, let the function $f:\mathbb{N}^+\times\mathbb{N}\to\mathbb{R}$ be defined by $$ f(p,q) := x p - q $$ Is there an analytic formula for the minimum of $f$ under the constraint $$ f(p,q) > 0 $$ (together with $p$ being a positive integer and $q$ a nonnegative integer)?

 
10:56 PM
5
Q: Irreducible 3-manifold with boundary of genus greater than 1

GSMLet $M$ be an irreducible 3-manifold with incompressible boundary of genus > 1. When is $M$ homotopy equivalent to an Eilenberg-MacLane space? Or it is never true?

 

« first day (2576 days earlier)      last day (811 days later) »