Readit News logoReadit News
dawnofdusk commented on Functions Are Asymmetric   elbeno.com/blog/?p=1804... · Posted by u/ingve
ux266478 · 2 months ago
Math is great and should be well studied by programmers, but in general I oppose this idea. Mathematicians define things the way they do because they have neither flip-flops nor do they have a defined execution method as part of their foundational system. These two things radically change the interaction we have with any given formal system put on top of it.

> Functions map members of a set A to members of a set B.

> Something that has side effects all over the place should just not be called a function

Leibniz defines functions as a quantity that depends on some geometry like a curve. Bernoulli later defined it as a quantity that results from a variable. The latin word "functio" means process, not implying a mapping but an arbitrary sequential performance. Mathematicians are prone to taking words from elsewhere, either twisting their meaning or inventing wholly new meaning out of thin air, all according to their whimsy for their own particular needs. I do not think a reasonable case can be made to assert we have to respect ZFC's narrow conception of a function when we do not live in a ZFC world.

dawnofdusk · 2 months ago
>Mathematicians are prone to taking words from elsewhere, either twisting their meaning or inventing wholly new meaning out of thin air, all according to their whimsy for their own particular needs.

True but one benefit of those guys is that they actually define what they mean in a formal way. "Programmers" generally don't. There is in fact some benefit in having consistent names for things, or if not at least a culture in which concepts have unambiguous definitions which are mandated.

dawnofdusk commented on First device based on 'optical thermodynamics' can route light without switches   phys.org/news/2025-10-dev... · Posted by u/rbanffy
anigbrowl · 2 months ago
I found this article extremely hard to understand, and the linked abstract was not much more help. My impression is that the device can take light coming into one of several input ports and through some magic of nonlinear optics, ensure that it all ends up at a single output port, something like a funnel. I was unable to determine anything about what this routing mechanism is (heating a substrate, maybe?), if the routing is dynamically changeable, or it works in reverse, eg light coming in can be routed to one of several output ports. The latter would seem like a breakthrough, but my impression is that what's described here is more proof-of-concept than prototype.
dawnofdusk · 2 months ago
>what this routing mechanism is (heating a substrate, maybe?)

You can engineer a waveguide if you understand the nonlinear theory they propose. There's no heat exchange involved, which is easy to get confused on because the writing in the article does not really understand "optical thermodynamics".

>if the routing is dynamically changeable

At this point probably not, it requires a finely engineered waveguide which has a well-defined "ground state"

>it works in reverse, eg light coming in can be routed to one of several output ports

In theory it works in reverse, as everything in this system is time-reversible (i.e., the "optical thermodynamics" is just an analogy and not real thermodynamics, which would break time reversibility). This is demonstrated via a simulation in the SI, but experimentally they did not achieve this (it may be difficult, I am not an experimentalist so cannot comment).

dawnofdusk commented on An illustrated introduction to linear algebra   ducktyped.org/p/an-illust... · Posted by u/egonschiele
dawnofdusk · 2 months ago
I really like the second part of the blogpost but starting with Gaussian elimination is a little "mysterious" for lack of a better word. It seems more logical to start with a problem ("how to solve linear equations?" "how to find intersections of lines?"), show its solution graphically, and then present the computational method or algorithm that provides this solution. Doing it backwards is a little like teaching the chain rule in calculus before drawing the geometric pictures of how derivatives are like slopes.
dawnofdusk commented on An illustrated introduction to linear algebra   ducktyped.org/p/an-illust... · Posted by u/egonschiele
xwowsersx · 2 months ago
This is great. I really appreciate visual explanations and the way you build up the motivation. I'm using a few resources to learn linear algebra right now, including "The No Bullshit Guide to Linear Algebra", which has been pretty decent so far. Does anyone have other recommendations? I've found a lot of books to be too dense or academic for what I need. My goal is to develop a practical, working understanding I can apply directly.
dawnofdusk · 2 months ago
>My goal is to develop a practical, working understanding I can apply directly.

Apply directly... to what? IMO it is weird to learn theory (like linear algebra) expressly for practical reasons: surely one could just pick up a book on those practical applications and learn the theory along the way? And if in this process, you end up really needing the theory then certainly there is no substitute for learning the theory no matter how dense it is.

For example, linear algebra is very important to learning quantum mechanics. But if someone wanted to learn linear algebra for this reason they should read quantum mechanics textbooks, not linear algebra textbooks.

dawnofdusk commented on A Thermometer for Measuring Quantumness   quantamagazine.org/a-ther... · Posted by u/rbanffy
tsimionescu · 2 months ago
I'd be curious if someone who understands exactly what and how they are proposing this measurement works could speak on whether it would contradict the no-signalling theorem (and so, the effect can't be real).

That is, given that destroying the correlation between two entangled particles can't be used to send information between the particles' locations, how could a measurement of whether a system contains entangled particles work? Does it just require all entangled particles to be present for the extra heat transfer to work?

dawnofdusk · 2 months ago
Although I am not an expert in quantum information, I think the problem you pose is resolved by the fact that the no-signalling theorem is about measurements of a quantum state, which is a microscopic state, and heat transfer is a measurement of a thermodynamic quantity, which is macroscopic. In much the same way that measuring the temperature of a classical gas doesn't give information on the location or momenta of the constituent particles, a thermodynamic probe of entanglement doesn't necessarily furnish precise information on how a state is entangled (e.g., Eq. 2 in https://arxiv.org/pdf/quant-ph/0406040).
dawnofdusk commented on Important machine learning equations   chizkidd.github.io//2025/... · Posted by u/sebg
dawnofdusk · 4 months ago
I have some minor complaints but overall I think this is great! My background is in physics, and I remember finally understanding every equation on the formula sheet given to us for exams... that really felt like I finally understood a lot of physics. There's great value in being comprehensive so that a learner can choose themselves to dive deeper, and for those with more experience to check their own knowledge.

Having said that, let me raise some objections:

1. Omitting the multi-layer perceptron is a major oversight. We have backpropagation here, but not forward propagation, so to speak.

2. Omitting kernel machines is a moderate oversight. I know they're not "hot" anymore but they are very mathematically important to the field.

3. The equation for forward diffusion is really boring... it's not that important that you can take structured data and add noise incrementally until it's all noise. What's important is that in some sense you can (conditionally) reverse it. In other words, you should put the reverse diffusion equation which of course is considerably more sophisticated.

dawnofdusk commented on Why do people keep writing about the imaginary compound Cr2Gr2Te6?   righto.com/2025/08/Cr2Ge2... · Posted by u/freediver
jibal · 4 months ago
That's not only quite factually wrong, but has nothing to do with the point, which is about mindless copying.
dawnofdusk · 4 months ago
If it is factually wrong please tell me how.
dawnofdusk commented on Why do people keep writing about the imaginary compound Cr2Gr2Te6?   righto.com/2025/08/Cr2Ge2... · Posted by u/freediver
jessfyi · 4 months ago
Getting a compound incorrect is not an "unimportant" error (for example the difference between sodium nitrate & sodium nitrite is small but critical) and seeing "small but blatant" errors actively propagated is the entire reason why the record should be corrected. The only upside of these little artifacts like "vegetative electron microscopy" [0] is that it's a leading indicator that the entire paper and team deserve more scrutiny--as well as any of those whom cite it.

[0] https://www.sciencealert.com/a-strange-phrase-keeps-turning-...

dawnofdusk · 4 months ago
The error in the OP is a typo that could never seriously confuse anyone, as the element Gr does not exist.

An interesting perspective is Terry Tao's on local vs. global errors (https://terrytao.wordpress.com/advice-on-writing-papers/on-l...). A typo like this, even if propagated, is a local error which at worst makes it very annoying to Ctrl-F papers or do literature review. Local errors deserve to be corrected, but in practice their importance to science as a field is small.

dawnofdusk commented on Why do people keep writing about the imaginary compound Cr2Gr2Te6?   righto.com/2025/08/Cr2Ge2... · Posted by u/freediver
dawnofdusk · 4 months ago
As any practicing scientist knows even good research papers may be littered with blatant but unimportant errors. There is unfortunately no good reason or system to "correct the record", and it is not clear to me if such a thing is a good use of human resources. Nonetheless, I think correcting the record is always appreciated!
dawnofdusk commented on A visual introduction to big O notation   samwho.dev/big-o/... · Posted by u/samwho
jcalx · 4 months ago
This article and its associated HN comment section continue in the long tradition of Big O Notation explainers [0] and getting into a comment kerfuffle over the finer, technical points of such notation versus its practical usage [1]. The wheel turns...

[0] https://nedbatchelder.com/text/bigo.html

[1] https://nedbatchelder.com/blog/201711/toxic_experts.html

dawnofdusk · 4 months ago
From what I read in the comments of the first post, the Pyon guy seems very toxic and pedantic, but the rebuttal by Ned isn't great. For example, nowhere in the rebuttal is the pedantic technical detail ever actually described. In fact the prose reads very awkwardly in order to circumlocute around describing it, just repeatedly naming it "particular detail". In my view, the author overreaches: he dismisses Pyon not only for the delivery of his criticism (which was toxic) but also the content of his criticism (why?).

Ultimately Ned is in the right about empathy and communication online. But as an educator it would have been nice to hear, even briefly, why he thought Pyon's point was unnecessarily technical and pedantic? Instead he just says "I've worked for decades and didn't know it". No one is too experienced to learn.

EDIT: I just skimmed the original comment section between Pyon and Ned and it seems that Ned is rather diplomatic and intellectually engages with Pyon's critique. Why is this level of analysis completely missing from the follow-up blogpost? I admit to not grasping the technical details or importance, personally, it would be nice to hear a summarized analysis...

u/dawnofdusk

KarmaCake day353September 8, 2022View Original