I'm not getting any processing errors. Seems to render fine on both Chromium and Firefox.
Love how Notepad has syntax highlighting for many languages and even has linting for JSON, HTML, and JS :)
My take is the fall of the current order of scientific institutions was already happening well before Trump's actions this year. Increased academic fraud, the reproducibility crisis, increase in people prioritizing…
Grothendieck's disgust of the mathematics community also reached a breaking point in 1970!
> Not sure what'll fix it though. Perhaps efforts to promote good science as opposed to a great one like accepting publications for failed attempts (michaelson morley style), replication results of earlier works Too…
I’ve come to simply realize the problem isn’t AIs, it’s humans. More specifically, humans who feel the need to make a quick buck. Actually, the problem isn’t those humans, it’s the societal structure creating incentives…
I happened to notice the exact same thing when playing with this puzzle in Lean!
You can solve this by working backwards from the outside in, replacing a (b x) with c a b x wherever you can (not inside out, or else you get into an infinite loop!) A cute alternative expression to solve the curried…
To be clear, I meant that the conversation (the argument) would be a better experience for everyone involved, not the argument itself being somehow strengthened by it. Nevertheless, I'll try to recall how I arrived at…
> when the opposite side cannot be convinced by rationality, which is most of the time Which possibility is the "failure" possibility here, that the opposite side gets convinced, or that the opposite side doesn't get…
> That's an interesting point. Ideally students would have both. My impression is that the latter is far less trainable, and the best you can do is go through enough worked examples, spread out so that every problem in…
I did! On MESE first, then on Hacker News. Usually when there's a replication crisis, people talk about perverse incentives and p-hacking. But there's 2 things I want to mention that people don't talk as much about: -…
Nice to see a response from you! I have read the rest of the argument. However, my take upon reading it is that this is just one more contribution in a back-and-forth argument about every aspect that has been studied in…
You seem to have linked a collection of general research on teaching and learning, which I am aware of exists. I'm talking about randomized controlled trials, where you assign a group of students to receive the…
> There is no body of research based on randomized, controlled experiments indicating that such teaching leads to better problem solving. I'm sorry but one don't exactly come across randomized controlled experiments in…
I tend to agree with this on discord, as I really dislike dms about not-directly-personal things when they can just share it in the server. In real life though, my severe congenital hearing impairment means…
I love this! And even more is true -- you can read off the Euler characteristic from adding up how many fractions of a circle are lost over all the points. For the cube, at each vertex you've lost a quarter circle, and…
That's a good response! I had to spend some time to work out what goes wrong here. But I figured it out. Parallel transport is broken in your model of the sphere. Take this example. Take a vector pointing north in…
You're right that there are no (smooth) flat embeddings of a torus into 3-space. To understand how a torus can be flat, it's best to replace the idea of folding with the idea of placing portals on edges. Start with a…
I'm not getting any processing errors. Seems to render fine on both Chromium and Firefox.
Love how Notepad has syntax highlighting for many languages and even has linting for JSON, HTML, and JS :)
My take is the fall of the current order of scientific institutions was already happening well before Trump's actions this year. Increased academic fraud, the reproducibility crisis, increase in people prioritizing…
Grothendieck's disgust of the mathematics community also reached a breaking point in 1970!
> Not sure what'll fix it though. Perhaps efforts to promote good science as opposed to a great one like accepting publications for failed attempts (michaelson morley style), replication results of earlier works Too…
I’ve come to simply realize the problem isn’t AIs, it’s humans. More specifically, humans who feel the need to make a quick buck. Actually, the problem isn’t those humans, it’s the societal structure creating incentives…
I happened to notice the exact same thing when playing with this puzzle in Lean!
You can solve this by working backwards from the outside in, replacing a (b x) with c a b x wherever you can (not inside out, or else you get into an infinite loop!) A cute alternative expression to solve the curried…
To be clear, I meant that the conversation (the argument) would be a better experience for everyone involved, not the argument itself being somehow strengthened by it. Nevertheless, I'll try to recall how I arrived at…
> when the opposite side cannot be convinced by rationality, which is most of the time Which possibility is the "failure" possibility here, that the opposite side gets convinced, or that the opposite side doesn't get…
> That's an interesting point. Ideally students would have both. My impression is that the latter is far less trainable, and the best you can do is go through enough worked examples, spread out so that every problem in…
I did! On MESE first, then on Hacker News. Usually when there's a replication crisis, people talk about perverse incentives and p-hacking. But there's 2 things I want to mention that people don't talk as much about: -…
Nice to see a response from you! I have read the rest of the argument. However, my take upon reading it is that this is just one more contribution in a back-and-forth argument about every aspect that has been studied in…
You seem to have linked a collection of general research on teaching and learning, which I am aware of exists. I'm talking about randomized controlled trials, where you assign a group of students to receive the…
> There is no body of research based on randomized, controlled experiments indicating that such teaching leads to better problem solving. I'm sorry but one don't exactly come across randomized controlled experiments in…
I tend to agree with this on discord, as I really dislike dms about not-directly-personal things when they can just share it in the server. In real life though, my severe congenital hearing impairment means…
I love this! And even more is true -- you can read off the Euler characteristic from adding up how many fractions of a circle are lost over all the points. For the cube, at each vertex you've lost a quarter circle, and…
That's a good response! I had to spend some time to work out what goes wrong here. But I figured it out. Parallel transport is broken in your model of the sphere. Take this example. Take a vector pointing north in…
You're right that there are no (smooth) flat embeddings of a torus into 3-space. To understand how a torus can be flat, it's best to replace the idea of folding with the idea of placing portals on edges. Start with a…