jules

28 ms·

241.
by jules 7y ago
I don't understand the problem the author sees with the conventional explanation. Yes, test particles of different charges behave differently, but this in no way implies that the law should involve the third derivative of position! The
242.
by jules 7y ago
How does the performance compare to B-epsilon trees, which are B trees with a write buffer in each node to make writes more efficient.
243.
by jules 7y ago
It's not a binary question. Here are some alternative questions: 1. At what rate is global warming happening? 2. How do current temperature trends compare to historical data? 3. What is the list of causes that may contribute to current
244.
by jules 7y ago
> Admittedly there’s still a bit of mystery left. How does periodicity in space quantize momentum (I think if it as a sort of resonance phenomenon). But it’s hardly an impenetrable, soul searing mystery that makes you question reality it
245.
by jules 7y ago
Exponential population growth is hard to keep going indefinitely.
246.
by jules 7y ago
How good of an educator you are may not even be in the top 5 most important things to get tenure, unfortunately.
247.
by jules 7y ago
PewDiePie a white nationalist? Don't make me laugh. Another absurd slanderous article from a writer who is jealous of and tries to ride the coattails of the reach of a guy with a webcam in his basement.
248.
by jules 7y ago
You need synchronisation primitives with async/await too. If you make every function async then you basically have the same as 1:N green threads. If you have pre-emptive threads or true multithreading with a N:M model then you do need
249.
by jules 7y ago
Kotlin has an interesting midpoint between async/await and built-in lightweight threads. With async/await calls are async by default and if you await them they become synchronous. In Kotlin and with built-in lightweight threads th
250.
by jules 7y ago
The last protest didn't go very well for the protesters.
251.
by jules 7y ago
The essential feature of algebraic effects is that the restarts can be passed around as first class values resumed multiple times. Can CL do that?
252.
by jules 7y ago
Dutch cycling culture is pragmatic rather than macho. Of course many people can go faster, but you don't want to arrive sweaty at work. Commuters don't usually use racing bikes either, but bikes optimised for comfort and carrying
253.
by jules 7y ago
That's just a result of your loss function. If you consider going over the deadline by a lot equally bad as going over the deadline a little, then of course. This doesn't apply to people waiting.
254.
by jules 7y ago
What does it mean for the earth to orbit the sun or vice versa?
255.
by jules 7y ago
People use tabs as bookmarks and as history and back button. Users want bookmarks and history and the back button, but apparently the tab feature is better at this than the actual features. Maybe browsers should embrace this instead of figh
256.
by jules 7y ago
That's marginal tax rate. Many people pay an effective marginal tax rate of more than 100% if you include government programs like social housing. In fact, when you earn around €2200/month here, it is possible to end up with net l
257.
by jules 7y ago
Very nice! How about this, for more than 2 classes: Let p_k be the probability of being in class k. We assume log p_k = f_k(x) + C(x) where x is the feature vector and C(x) is normalisation to make the probabilities sum to 1. Equivalently,
258.
by jules 7y ago
Exponential is interesting for P=?NP because the naive method for NP problems runs in exponential time.
259.
by jules 7y ago
This $150 includes a power brick, which requires no cooling. Putting that brick inside the case wouldn't change the price much. I personally prefer the external power brick. I bought the Intel version of the DeskMini for $130 a while b
260.
by jules 7y ago
To prove that a problem is NP complete you have to reduce SAT to that problem, not that problem to SAT. You can solve combinatorial search problems with whatever method you want, but it can be very hard to beat a SAT solver, because you may
261.
by jules 7y ago
It's a little bit contradictory that you simultaneously believe that the people who worked on GC are much smarter than you, but at the same time they were wrong to choose to work on GC rather than your research program ;-) Not all prob
262.
by jules 7y ago
There are solutions for that, but it requires a more powerful type system / logic than Rusts: http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/permissions_p...
263.
by jules 7y ago
It isn't clear that what you're asking for is even theoretically possible, and it's far from obvious that the end result would be comparable to GC in terms of productivity.
264.
by jules 7y ago
Couldn't green threads in principle be implemented the same way as your async proposal? The compiler could infer which functions need to be marked async. To support separate compilation it might need to compile two versions of each fun
265.
by jules 7y ago
I see. Would that be such a disaster under your proposal? Original code is: async fn f<'a>(r: &'a i32) -> i32 { ... *r ... } Having some callers future{ f(&i) }.await(). Now the new caller comes in, so we
266.
by jules 7y ago
I still don't understand why #1 is a problem. > But as I described, this means callers have to add or remove an extra `.run()`/`.await()`/etc. if the API ever switches between the two. Switches between what though? When yo
267.
by jules 7y ago
I wonder about an altenate timeline where Rust kept its lightweight threads. Marking async calls explicitly instead of marking synchronous calls with await is a step in that direction, because that's also the syntax you have with light
268.
by jules 7y ago
The designers of Kotlin also had an interesting point: await (synchronous call) should be the default, non-awaited (asynchronous) code should have a keyword indicating that it is async.
269.
by jules 7y ago
I don't think I've seen this viewpoint anywhere else, but Langrange multipliers in the calculus of variations are a well known thing, and the connection between Lagrange multipliers and the Legendre transform is a well known thing
270.
by jules 7y ago
The description in this article is great, but the why is still rather mysterious. How would somebody come up with that? If you are familiar with the method of Lagrange multipliers, then what's happening can be explained as follows. Giv

More ›