jules

28 ms·

151.
by jules 5y ago
Probably the last word on this problem hasn't been said, because all approaches seem to have some downsides. Could you give an example where Haskell's approach makes it easier?
152.
by jules 5y ago
If you compare it with how you'd implement such a data structure using ML modules, it becomes very clear that the bug here is the definition of Data.Heap.Union, not the non-canonicity of type classes. With ML modules you'd define
153.
by jules 5y ago
I like having the table of contents on the left. I often have to scroll back to the top to look at the table of contents again. The font size is rather large though: for many pages you have to scroll to see the full table of contents. Seein
154.
by jules 5y ago
I don't think they are. If you see a picture of a wrong bike you can immediately see that it is wrong. So it is probably not the case that people are vividly visualising a picture of a wrong bike and then drawing that.
155.
by jules 5y ago
Batteries are so expensive that it is unclear whether they will ever solve the large scale storage problem: yes they're getting cheaper, but they have to continue to get cheaper for a long time before they're suitable, and it&#x27
156.
by jules 5y ago
Why? The authors write the papers for free, the peer review is done by other scientists for free. Why should this "netflix for science" get to reap the profits by locking it behind a paywall? The reason why predatory publishers st
157.
by jules 5y ago
By law, the water from the tap may only contain 1 microgram pollutants per liter, and the water companies usually set themselves stricter standards (and stricter than the standards for bottled water, IIRC). Assuming you drink 2 liters per d
158.
by jules 5y ago
This was tested and they found that this made the water quality worse, because the Dutch tap water is already of high quality and the water filter makes it dirtier because bacteria start to grow on it after a while. In fact, the water compa
159.
by jules 5y ago
How would you notice that without proof? Seeing that two squares sum to the same area as a third isn't easy.
160.
by jules 5y ago
How would one discover the Pythagorean theorem without having a proof?
161.
by jules 5y ago
Twitter has a few subgroups. They discuss and some tweet with the dominant opinion on that issue will get 1100 likes and a tweet from the minority opinion will get 400 likes. After this change you might get 800 net votes for the dominant o
162.
by jules 5y ago
A big reason why people buy iPhones is the Apple ecosystem and status signalling. A $300 Xiaomi phone also isn't as good as a flagship iPhone, but it's ~90% as good for 1/3 the price. For people who spend several hours per da
163.
by jules 5y ago
The real question is energy storage.
164.
by jules 5y ago
What is the cost of storage you used in that comparison? I remember calculating at some point that having enough battery storage to support my electricity needs for 1 day, costs about the same as the total of electricity I will use in 10 ye
165.
by jules 5y ago
It's easy to motivate using a picture. If you draw the parabola x^2 + bx + c then the minimum is at x = -b/2 and you can visually see that the average of the x-values of the roots is that minimum x = -b/2. So then u is simply
166.
by jules 5y ago
Sounds nice. I'll try it out!
167.
by jules 5y ago
I'm familiar with VS code and have a set up that I'm familiar with (shortcuts & settings) and I've only briefly looked at IntelliJ, so I'm not qualified to answer this question. What is the reason you're using I
168.
by jules 5y ago
It does work quite well with Scala 3.
169.
by jules 5y ago
Worksheets are a simple concept: you write lines of code in them, and the IDE runs the code automatically as you type, and displays the return value of each line. If you're familiar with the concept of Jupyter notebooks, it's a bi
170.
by jules 5y ago
Scala 3 + VS code + worksheets is my favourite exploratory programming environment. Its has: * Powerful functional features * Powerful OO features * Imperative features * Powerful type system * Great stdlib * Great syntax * Very fast write&
171.
by jules 6y ago
For a laptop it is important to be able to close the lid, go to zero power state after X minutes, then resume where you left off.
172.
by jules 6y ago
Yep thanks! I cannot edit any more..
173.
by jules 6y ago
Do people do it this way? Isn't using index notation + Einstein summation convention way easier and more powerful? You only need to remember two rules: 1. dx_i/dx_k = [i==j] where [i==j] is 0 if i != j and 1 if i == j 2. (AB)_ij =
174.
by jules 6y ago
> Once you measure it, the wave function collapses, and you no longer have the same system. Comes down to definitions of words: same "system" (by which you mean wave function) vs same particle. See bubble chamber: particle inte
175.
by jules 6y ago
That's playing word games. Let's remove the word "measure" and insert the word "bloop". If you bloop something twice, you get the same result twice. Even in QM. And bubble chambers bloop a trajectory. > If y
176.
by jules 6y ago
It lets me move all of the 4 center pawns two squares forward :) Nonetheless, it's very impressive how well it plays with such a small amount of code!
177.
by jules 6y ago
> it is actually not possible to measure the same particle in the same basis twice in a row If the robot's protocol is to measure the particle twice, it will measure the same outcome twice. > that the particle "actually&quot
178.
by jules 6y ago
I don't understand what's so surprising about only ever seeing one particular outcome. Suppose you have a robot that can observe some spin. We put the robot in a box together with a spin and make it measure the spin. Now the robot
179.
by jules 6y ago
If you put the grass where nothing grew before, like a desert. The situation in reality is the opposite: people make forests into grassland.
180.
by jules 6y ago
Interesting! Thanks for the explanation.

More ›