hither_shores

14 ms·

31.
by hither_shores 4y ago
In a strict language or with poorly optimized lazy code, yes. If you can get good stream fusion, not really. If your code fuses really well (common for lists, harder elsewhere) the whole thing will happen on the stack.
32.
by hither_shores 4y ago
In most situations, you use persistent data structures where you only have to copy the modified leaves. If you really need your type to be backed by a contiguous block of memory, you batch updates (stencils, SIMD, etc.)
33.
by hither_shores 4y ago
> in pure FP either lookup or insert can be no better than O(log(n)) For single operations, yes. But what we really care about is usually the amortized performance over many operations, which can still be constant time.
34.
by hither_shores 4y ago
You shouldn't need to install any dependencies beyond `base` for hello world in Haskell: ``` module Main where main :: IO () main = putStrLn "Hello, world!" ``` If you mean installing Dhall's dependencies ( https:/&
35.
by hither_shores 4y ago
It's not up to him. "Preventive detention" is still potentially a life sentence, it just has to be renewed by the court every five years after the initial 21 year sentence is up.
36.
by hither_shores 4y ago
Officially, it's all of them. From title 18 section 3553 of the US code: > The court, in determining the particular sentence to be imposed, shall consider ... > (2) the need for the sentence imposed— > (A) to reflect the se
37.
by hither_shores 4y ago
With special-relativistic classical mechanics? Of course. With special-relativistic quantum mechanics? No.
38.
by hither_shores 4y ago
Antiparticles are the conjugates of the negative energy solutions for normal matter. The negative energy solutions themselves are still not physical.
39.
by hither_shores 4y ago
The mass of what? There aren't literally three quarks inside a proton.
40.
by hither_shores 4y ago
For a free field, yes. But the entities we actually interact with are ... interacting. Mode expansion doesn't work here. Electrons, photons, etc. aren't really "particles" in the sense of ordinary quantum mechanics at al
41.
by hither_shores 4y ago
> So an energetic system where the masses don't add up doesn't seem like an epoch defining mystery to me. Bound states aren't really made of their constituents in a classical sense. A proton is a particular configuration
42.
by hither_shores 4y ago
> Are we still wrongly talking about billiard balls? No. Particles are (approximately-)localized excitations in the corresponding field. Think waves, not water balloons.
43.
by hither_shores 4y ago
Lattice methods are probably the most common nonperturbative approach to QCD.
44.
by hither_shores 4y ago
Virtual particles are part of an indexing scheme for perturbation series - saying that you leave the perturbative regime when you have "too many" of them is like saying that crystalline solids melt when they have too many normal m
45.
by hither_shores 4y ago
> Exactly my point except their interests tend to be aligned with the other stockholders of the company since they all make money from the stock. ...because of how executive compensation is typically structured. Non-executive employees c
46.
by hither_shores 4y ago
> but the result will have a lot of functions that are not differentiable and, thus, not quantum mechanics wave functions. So, I would be reluctant to take the resulting actual Hilbert space as what physics was talking about. Wavefunctio
47.
by hither_shores 4y ago
> The set of real numbers is commonly defined and their properties established in a first course in abstract algebra. A set modelling the real numbers is defined in introductory math courses. The process of quotienting out all the set-
48.
by hither_shores 4y ago
I think you're looking for "combinatorial species". This paper gives a decent introduction in a programming context: https://www.cas.mcmaster.ca/~carette/publications/labelled-s...
49.
by hither_shores 4y ago
The particular example is not the point. The question you should be asking is > would I ever have a need to understand what happens when you perform algebraic manipulations on data structures and the answer is as usual that it depends on
50.
by hither_shores 4y ago
> really stupid mistakes such as this one by Feynman It's not a mistake, it's a "lie-to-children" fundamentally no different from an intro analysis class talking about "the" real numbers. Freshmen aren'
51.
by hither_shores 4y ago
> realism (i.e. admitting that there is no objective way to measure goodness or other moral qualities) Moral realism is the position that mind-independent moral facts exist; it doesn't entail any particular belief about how or wheth
52.
by hither_shores 4y ago
It's from Weber. Here's the relevant paragraph of Politics as a Vocation: > 'Every state is founded on force,' said Trotsky at Brest-Litovsk. That is indeed right. If no social institutions existed which knew the use
53.
by hither_shores 4y ago
> You can reconcile both if the employees have a controlling stake in the corporation, either because they collectively have most shares, or because their shares have more voting weight. This is more or less the European social-liberal
54.
by hither_shores 4y ago
> I can't help but feel like the two are connected. I _do_ have some beefs with the language itself, though. The export syntax concept is awful, the overly flexible type system to which I still haven't seen the point with and o
55.
by hither_shores 4y ago
> Putin cannot afford to lose a war or to lose Russian territory. Putin is only president for life. No Russian leader has personally survived such an event, all the way back to the tsars. Alexander I survived losing the wars of the third
56.
by hither_shores 4y ago
> the Linux kernel core is very high quality C The Linux kernel core is the product of decades of effort by thousands of people, many of them world-class experts in the relevant domains. Very, very few software projects receive anything
57.
by hither_shores 4y ago
> I don't think it's really possible to seriously consider Haskell as somehow less "dizzyingly complex" than rust unless you're already a math postgrad. This seems clearly false to me. Haskell has a higher abstra
58.
by hither_shores 4y ago
> I think it's like that because they had to hack it on top of Javascript This is the source of most of typescript's flaws, but the mediocre type syntax was a deliberate choice: it's all erased at compile time, so javascr
59.
by hither_shores 4y ago
The linked c code sample sorts the array, then accumulates the unique elements in a single pass. The python code sample makes a separate pass over `unique` for every element of `items`.
60.
by hither_shores 4y ago
> philosophers take it to mean that one believes in Plato's Theory of Ideas. This is not accurate. Platonism, in a contemporary context, is the view that abstract objects exist. And so in particular to be platonist about mathematics

More ›