Icy0

6 ms·

1.
by Icy0 1y ago
I'm not getting any processing errors. Seems to render fine on both Chromium and Firefox.
2.
by Icy0 1y ago
Love how Notepad has syntax highlighting for many languages and even has linting for JSON, HTML, and JS :)
3.
by Icy0 1y ago
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 career growth over p
4.
by Icy0 2y ago
Grothendieck's disgust of the mathematics community also reached a breaking point in 1970!
5.
by Icy0 2y ago
> 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 often we try to
6.
by Icy0 2y ago
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 and pressures that l
7.
by Icy0 2y ago
I happened to notice the exact same thing when playing with this puzzle in Lean!
8.
by Icy0 2y ago
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 composition puzzle is c
9.
by Icy0 2y ago
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 this conclusion.
10.
by Icy0 2y ago
> 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 convi
11.
by Icy0 2y ago
> 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 the space of
12.
by Icy0 2y ago
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: - Lack of
13.
by Icy0 2y ago
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 math education. Desp
14.
by Icy0 2y ago
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 intervention and another
15.
by Icy0 2y ago
> 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 teaching
16.
by Icy0 2y ago
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 communication ability is stunted
17.
by Icy0 2y ago
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 there are 8 vert
18.
by Icy0 2y ago
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 circle 1, and send th
19.
by Icy0 2y ago
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 square and pu