movpasd

8 ms·

61.
by movpasd 1y ago
I'm not sure I fully understand the issue as I don't know Go, but is this something that a language-level delegation feature could help with?
62.
by movpasd 1y ago
Sometimes the fun is in creating something useful, as a human, for humans. We want to feel useful to our tribe.
63.
by movpasd 1y ago
Sorry if my comment wasn't clear: I'm saying that I think in both the module and trait object case, Rust has done a good job of cleanly separating features, unlike in classic (Java or C++) style OOP. I'm surprised the module
64.
by movpasd 1y ago
It's a surprising choice that Rust made to have the unit of compilation and unit of distribution coincide. I say surprising, because one of the tacit design principles I've seen and really appreciated in Rust is the disaggregation
65.
by movpasd 2y ago
A lot of discussion here about where boundaries would be with free speech, how this would be implemented, specific details. But, as with any policy, this is not a binary "do it or don't". This is a dial that can be turned in
66.
by movpasd 2y ago
It reminds me of this rather classic post: http://johnsalvatier.org/blog/2017/reality-has-a-surprising-... Science is not ideas: new conceptual schemes must be invented, confounding variables must be controlled, d
67.
by movpasd 2y ago
I can think of an argument for justifying the status quo. The folder structure reflects the subdivision of code into modules. Each module may have submodules, and each module decides the visibility of its children to other modules at the sa
68.
by movpasd 2y ago
My point is that it isn't possible to determine the emergent behaviour of a complex system from first principles. So arguments of the type "these physics don't result in atoms being produced, so life can't emerge" d
69.
by movpasd 2y ago
There may be no conclusive proof, but it's a philosophically tough pill to swallow. Non-locality means things synchronise instantly across the universe, can go back in time in some reference frames, and yet reality _just so happens_ to
70.
by movpasd 2y ago
This is called the anthropic principle. I personally have objections to it, specifically that due to emergence it is hard to make definitive statements about what complex phenomena may emerge in alternate universes. However, it's taken
71.
by movpasd 2y ago
I think what they must be referring to is the fact that particles are only rigorously defined in the free theory. When coupling is introduced, how the free theory relates to the coupled theory depends on heuristic/formal assumptions. W
72.
by movpasd 2y ago
The compiler inserts a goto to the statement following the comefrom statement into the line specified. :^) If multiple comefroms to the same line are specified, the comefrom to jump to is selected randomly.
73.
by movpasd 2y ago
I'm working on valuation models for wholesale electricity trading of flexibility assets (batteries, basically). Currently I'm restructuring a big chunk of the code for readability, trying to apply good refactoring practices (work
74.
by movpasd 2y ago
I hadn't heard of the term "Fermi velocity", but if it is the classical velocity derived from the Fermi energy, that should only be a lower bound on the average speed of the electrons in the metal. That said, I don't rem
75.
by movpasd 2y ago
Electrons are actually delocalised in a metal: rather than point particles bouncing around the nuclei like a pinball, they're more like waves that ripple and diffract around them. This means that to good approximation, the electrons pa
76.
by movpasd 2y ago
A point not mentioned by the article: the electrons in a metal at room temperature are already moving very quickly due to their thermal energy (at the order of 100km/s) — much faster than the speeds quoted in the article, which is what
77.
by movpasd 2y ago
What I find especially interesting is that if you go back to the description of the work that was expected, it is a correct high-level description of what ended up needing to be done: "hauling the washing machine into position and conn
78.
by movpasd 2y ago
My comment was really about language semantics. Compilers should respect the semantics and, for instance, only re-order a(); and b(); if there is no data dependency between them and therefore no consequence to exchanging them. But that&#x27
79.
by movpasd 2y ago
I think the coloured function problem boils down to the fact that async functions are not naturally a specific kind of sync function, but the other way around. Functions are so ubiquitous we forget what they really are: a type of guarantee
80.
by movpasd 2y ago
I feel that one big way in which engineers talk past each other is in assuming that code quality is an inherent property of the code itself. The code is meaningless without human (and computer) interpretation. Therefore, the quality of code
81.
by movpasd 2y ago
The important thing about matrices is their linear properties. Most proofs in linear algebra over real vector spaces don't rely on the particularities of the real number system, just the fact that it is a field [0]. To make an analogy
82.
by movpasd 2y ago
Here's a geometric way of looking at it. I'll start with a summary, and then give a formal-ish description if that's more your jam. --- The fundamental issue is physicists use the same symbol for the physical, measurable quan
83.
by movpasd 2y ago
I think the point about it being unscientific is completely fair, as far as a press release aiming to appear scientific is concerned. However, I also think there is a tendency among well-educated people in physics to dismiss philosophical q
84.
by movpasd 2y ago
I'd say there are two things that make me prefer rye/uv. The speed is one — sometimes I'm in the middle of a project and realise I need to pull in another dependency. Keeping the disruption to flow at a minimum is helpful in
85.
by movpasd 2y ago
There are compelling arguments to believe in the many-worlds interpretation. No sign of a Heisenberg cut has been observed so far, even as experiments involving entanglement of larger and larger molecules are performed, which makes objectiv
86.
by movpasd 2y ago
My first thought was to use linear transformations over Z_2 as a field, as that would create a natural interpretation of fixing certain bits as taking a linear subspace. Interestingly this leads to the property that XOR is preserved. I impl
87.
by movpasd 2y ago
I believe the comment was satirical.
88.
by movpasd 2y ago
This is all well and fine, but feels like a lot of words to say "it's a matter of definition". The question is what definitions will be useful and what properties you gain or give up. Being a partial function is a perfectly a
89.
by movpasd 2y ago
It seems to me that it's a fundamental failure of software engineering culture. The number one rule for engineering domain applications is to understand the domain. I would blame the perennial neophilia and lack of (or inadequate adopt
90.
by movpasd 2y ago
It really isn't that simple. Every decision is a trade-off. The trade-off here is between on the one hand the savings from additional network reinforcement, the savings from reduction in aggregate Dx/Tx costs, and increasing the o

More ›