Viewing profile — Icy0

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 crisi…

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), repli…

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…

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 alterna…

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…

> 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, o…

> 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 example…

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 th…

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 abou…

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 gr…

> 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 acros…

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 congenita…

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 ve…

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…

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 pl…