ginnungagap

8 ms·

31.
by ginnungagap 3y ago
In set theory blackboard bold P, Q and C are very often used for arbitrary (forcing) posets
32.
by ginnungagap 3y ago
One can have a function in memory when the real number is nice in some sense, your example is algebraic. But what if I want to represent an uncomputable number? Or regardless of that, under any reasonable encoding of programs that can be he
33.
by ginnungagap 3y ago
This is irrelevant to your point, just change the numbers used as example, but we do not know whether pi+e is irrational! (Even though nobody believes it to be rational)
34.
by ginnungagap 3y ago
It's not clear to me what this approach offers over Dedekind cuts, you are specifying a real number by saying in which rational intervals it lies, a Dedekind cut specifies a real number by saying which rationals are below it and which
35.
by ginnungagap 3y ago
A guy on reddit made a website that does exactly that, but I cannot find anymore at the moment
36.
by ginnungagap 3y ago
As far as I know there is no relationship between BrewDog and Flying Dog despite the names
37.
by ginnungagap 3y ago
Why would they not be?
38.
by ginnungagap 3y ago
That's not a name I was expecting to see on HN! I haven't had the luck of taking one of his courses, but I discussed many interesting puzzles with him at a conference last year, great guy!
39.
by ginnungagap 3y ago
Microsoft seems unable to do language settings as well. I bought a laptop in Germany that came preinstalled with windows, so the first thing I did was switch the OS's language to English. At some point during setup it also asked for my
40.
by ginnungagap 3y ago
Ding was offered a translator but insisted on speaking English himself apparently! "He said he didn’t need a translator since, “I feel very comfortable now,” " from https://chess24.com/en/read/news/d
41.
by ginnungagap 4y ago
What are those trivially defined {r0,r1} for the "interleaving digits" map f:(0,1) -> (0,1)^2 defined by taking a real x in (0,1), writing its decimal expansion as x=0.a1a2a3a4a5a6... (always pick the nonrepeating decimal expan
42.
by ginnungagap 4y ago
He's associating to each x in [0,1) an infinite sequence of natural numbers (just like decimal representations do), and there's uncountably many such sequences
43.
by ginnungagap 4y ago
There is no need to exhibit bijections, if you have an injection X -> Y and an injection Y -> X, then X and Y have the same cardinality. This is the statement of the Cantor-Schroeder-Bernstein theorem. If you assume the axiom of choic
44.
by ginnungagap 4y ago
First of all the first link explicitely constructs (in a very strong sense) an explicit bijection R->R^2 so I don't know how why you seem to think otherwise. It is true that there is no continuous bijection R -> R^2. It is also t
45.
by ginnungagap 4y ago
Whether |R|=aleph_1 is independent of ZFC (but of course there are bijections both between R and R^2 and between aleph_1 and aleph_1^2, or between X and X^2 for any infinite set)
46.
by ginnungagap 4y ago
Oral exams are very common in Italian universities (many courses have both a written and an oral exam!), I was surprised when I moved to Germany for my masters and met students from various countries who had never taken one!
47.
Kwame Brathwaite, Photographer Who Proclaimed ‘Black Is Beautiful,’ Dies at 85(artnews.com)
1 points by ginnungagap 4y ago|0 comments
48.
by ginnungagap 4y ago
The concept looks extremely interesting, but (like the vast majority of language learning tools) Albanian is not supported. I might give it a try for German though
49.
by ginnungagap 4y ago
I think that the behaviour you're describing is due to the Leidenfrost effect! https://en.m.wikipedia.org/wiki/Leidenfrost_effect
50.
by ginnungagap 4y ago
I do research mostly in general topology and topological dynamics, but I don't really see how AI would help, producing homeomorphic (topologically equivalent) spaces is not really the point. In general even presenting a topological spa
51.
by ginnungagap 4y ago
This also requires universes/inaccessible cardinals to even be stated for categories that are not locally small. But as I mentioned in another comment assuming enough universes exist is not a big deal for set theorists
52.
by ginnungagap 4y ago
This is routinely dealt with through Grothendieck universes. Those are a fancy name for what is pretty much an inaccessible level of the cumulative hierarchy, indeed ZFC+"every set belongs to a Grothendieck universe" is equiconsis
53.
by ginnungagap 4y ago
Personally I don't mind seeing only the LaTeX code and looking at the pdf once in a while after compiling. But a second screen to keep open and accessible background papers or notes would be very convenient
54.
by ginnungagap 4y ago
This is very common behaviour (and known as the "park wherever the f you want" button among my friends) in Italy as well. But italians are not exactly the best example of drivers to imitate and learn from
55.
by ginnungagap 4y ago
head is used twice in the program
56.
by ginnungagap 4y ago
Thanks for the detailed answer! So if I understand correctly you're planning to use a small computer case instead of an eGPU specific one? This is probably a stupid question but I don't quite understand it connects to the laptop
57.
by ginnungagap 4y ago
My gaming laptop's mainboard recently got fried from overheating, could you tell me a bit more about this setup/where to look to find out more? I've never even considered this possibility, I was tempted to just give up on lap
58.
by ginnungagap 4y ago
If I remember correctly there are also tricks like lea rax, [eiz+rbx*4] instead of lea rax, [rbx*4] because the latter will produce an heavier binary by being interpreted as lea rax, [00000000h+rbx*4]
59.
by ginnungagap 4y ago
The periodic tiling conjecture is true in dimension 2: if you have a single tile that tiles Z^2 aperiodically by translations, then it also tiles Z^2 by translations periodically, this is a result of Bhattacharya (and the reason why the exp
60.
by ginnungagap 4y ago
That's amazing! Thanks for the link

More ›