yccs27

19 ms·

211.
by yccs27 4y ago
Or maybe he's one tree short of a full forest.
212.
by yccs27 4y ago
The "power" of a good programming language is not about whether you can do something, but whether you can do it easily. It's also about abstraction of interfaces, reusability and similar qualities.
213.
by yccs27 4y ago
The science of their method to disprove dark matter is really pretty good. The problem is how they present other scientists as foolish for holding onto dark matter theory. More researchers should definitely take a look at the evidence. Ther
214.
by yccs27 4y ago
It is definitely a scientific model. It posits that (1) the observed differences in gravitational forces come from a gravitational field source, not modified equations themselves (2) The field sources are a form of matter, thus obeying some
215.
by yccs27 4y ago
> You can't "prove" that something doesn't exist You could definitely prove that something doesn't exist in any meaningful quantity. Happens all the time: The experiments searching for new particles end up provin
216.
by yccs27 4y ago
About the falsibility - we have a paper with a method to disprove dark matter right here. There are many different cosmological observations which demonstrate deviations between expected and measured gravity, and they are only getting more
217.
by yccs27 4y ago
It's only constant force for quarks in isolation. A good mental model is that between the oppositely charged particles, a string of gluons forms and pulls them together with constant force. The resulting composite particle no longer ha
218.
by yccs27 4y ago
The problem here is the wildly different expectations. It's an audio system, and normally audio systems are expected to work for >30 years. But it's a "smart" system controlled through an app, and apps need to be main
219.
by yccs27 4y ago
Does this play the AP2 audio directly? Or is it possible to redirect that to an HTTP stream?
220.
by yccs27 4y ago
Not sure if you mean that, but the Sonos S1 interface has been reverse-engineered, see here: https://github.com/SoCo/SoCo https://github.com/jishi/node-sonos-http-api This allows you to e.g. set t
221.
by yccs27 4y ago
The important point is that each monad (e.g. list) corresponds to an algebraic structure (like monoid). To study the set of algebraic structures, you can also study monads
222.
by yccs27 4y ago
The difference is that predatory pricing includes an expectation of future profits from that product. So it makes sense to exclude perpetual free licenses like open source from the definition.
223.
by yccs27 4y ago
To expand on the “classifying Lawvere theories“ part, the relevant concept here is algebras over a monad. An algebra a over m is determined by a function merge :: m a -> a which “plays nice“ with the monad structure [0]. For example, int
224.
by yccs27 4y ago
I‘m with you there, it‘s very unlikely. Still, it doesn’t feel comfortable when failing to successfully detonate might become the only thing preventing a nuclear disaster.
225.
by yccs27 4y ago
I believe the highest risk is that some unplanned external influence sets off the trigger mechanism. As you said, the nuclear core itself will not spontaneously explode from an impact, but there are surrounding explosives designed to mke th
226.
by yccs27 4y ago
The real challenge for newcomers, I think, is to reconciliate this almost magical "monads allow side effects in pure functions" with the very mundane "a monad is a type with a 'return' and a 'flatMap' aka
227.
by yccs27 4y ago
That's pretty typical for understanding mathematical concepts. You start knowing the definition (interface), but with absolutely no intuition for it, so it seems mysterious. Then you work though some examples, theorems, use-cases etc.
228.
by yccs27 4y ago
How is this even remotely a provocation justifying this kind of response? It‘s a diplomatic gesture confirming the US‘s support for the decades old de-facto status quo. China‘s insistence on their power fantasy is the permanent provocation
229.
by yccs27 4y ago
Or maybe they realize people are starting to leave for DuckDuckGo etc. because Google no longer has better results.
230.
by yccs27 4y ago
Some of the variations just had me in tears and I can‘t really explain why. Edit: I guess it‘s the same formula as most jokes: There is some logic in the setup, and the punchline replaces it with a different logic or pattern. Only in this c
231.
by yccs27 4y ago
The difficulty of this attack is definitely in producing so many test keys. I imagine that it might not be much easier than disassembling the lock.
232.
by yccs27 4y ago
Yeah, it seems like it would be possible for the DB engine to aggregate all these increments into one update. If you have two increments by one each in the queue, why not make it a single increment by two? I'm not sure though how much
233.
by yccs27 4y ago
Interesting. This basically implements a parallel algorithm for summation/counting, by calculating a partial sum in each slot, and then merging the results with every read. This approach could be applied more generally to values in a c
234.
by yccs27 4y ago
As someone who's used to functional programming but not familiar with any proof systems, I've sometimes applied Curry-Howard the other way and used Haskell as a primitive proof system by writing the corresponding function (being c
235.
by yccs27 4y ago
I find it pretty helpful to just accept the new meaning of "artificial intelligence": a program making a decision you didn't explicitly code it to make. Note that this includes even the most basic statistical decision methods
236.
by yccs27 4y ago
Papers get cited for very different reasons, from "historically significant paper cited in the introduction" over "related work we're building upon" to "this proves a statement/theorem we're using&quo
237.
by yccs27 4y ago
Unfortunately, even though a quantum computer "manipulates wavefunctions", you can still only measure the outcome once. The magic has to happen somewhere in between state preparation and measurement. It's more like a computer
238.
by yccs27 4y ago
They did? I'm not in the Apple ecosystem, but I thought privacy and control over your apps was Apple's thing?
239.
by yccs27 4y ago
It's the same mechanism as a short squeeze, just with the roles of stock and cash swapped. There is likely a specific word for that, but the comparison works. Squeezed short sellers have an obligation to get a specific stock, but only
240.
by yccs27 4y ago
Note that 'mean absolute jerk' can also be described as 'total variation of acceleration over time'. That implies it does not depend on how fast the acceleration changes, only about the difference between minimum and max

More ›