naasking

45 ms·

901.
by naasking 1y ago
> How do you prove in ~O(1) time that someone did some operation with their GPU? You don't. The work in this case could be that the weights after the was done work have lower loss than the input weights. Applying the new weights to
902.
by naasking 1y ago
> several independent actions Trump has taken that are all inexplicably sympathetic to Russian interests Is it really inexplicable though? Or is it more plausible that you simply don't understand the motives, and probably haven&#x27
903.
by naasking 1y ago
You don't have to be murderous to be an enemy. They clearly want to throw him in prison, so isn't that enough for someone in that position to call them enemies?
904.
by naasking 1y ago
> I'm biased because I'm in the industry, but nothing has cropped up that I've seen that requires a miracle. Scaling is itself the open question. Gravitational effects start creeping in when you scale up sensitive entangle
905.
by naasking 1y ago
> Informing product roadmaps, balancing tradeoffs, understanding relationships between teams, prioritizing between separate tasks, pushing back on tech debt, responding to incidents, it’s a feature and not a bug, … Ask yourself how many
906.
by naasking 1y ago
There is nothing procedural about includes. In fact, it first appeared before HTML even became popular in Xanadu, called transclusion: https://en.wikipedia.org/wiki/Transclusion
907.
by naasking 1y ago
> from a language point of view, HTML is a markup language, it 'must' have no logic or processing. Client-side includes are not "processing". HTML already has frames and iframes which do this, just in a worse way, so
908.
by naasking 1y ago
> "Includes" functionality is considered to be server-side, i.e. handled outside of the web browser. HTML is client-side, and really just a markup syntax, not a programming language. That's not an argument that client-side
909.
by naasking 1y ago
> Most languages don't offer a tree or graph type, and as soon as you try to implement one you see why: there are multiple different kinds of trees and graphs, and multiple different representations that are appropriate for differen
910.
by naasking 1y ago
> But to model a general tree, you'd need a dynamically allocated list of children for each node, adding a layer of indirection that can noticeably worsen performance. I hate to be a broken record, but this again goes back to the as
911.
by naasking 1y ago
Not true due to parallelism. Also, SQL demonstrates that you can describe the desired result declaratively without being concerned about iteration order. I see SQL's CTEs as a good example of the kind of primitive the article is talkin
912.
by naasking 1y ago
Trees aren't really a "special case". Sequences, trees and graphs are core abstractions to most programming, why try to flatten all trees and graphs to sequences?
913.
by naasking 1y ago
> These are what I think the author is looking for. But it shouldn't be a "primitive" in terms of code automatically generated by the compiler I think people are often too enamored by general purpose languages that can exp
914.
by naasking 2y ago
I don't think the size was necessarily the main issue, but the precision of the construction...
915.
by naasking 2y ago
> I wish I knew how I did it, because I've been unable to regain that same "this is just what I do now and it's fine" level of acceptance that seemed to be the key. Sometimes it helps to frame as gaining something mor
916.
by naasking 2y ago
This question seems backwards. Any expression is free speech by default unless explicitly ruled otherwise. The burden is on people wanting this ruled out to argue it isn't free speech.
917.
by naasking 2y ago
> That should be 100% the job of a build system. What is the primary difference between build system and compiler in your mind? Why not have the compiler know how to build things, and so compile-time codegen you want to put in the build
918.
by naasking 2y ago
> It’s not an unnecessary complication. You fundamentally need to know what format you’re embedding something into, in order to encode it, and the server can’t know that. There are two cases here: 1. Backend endpoints are specifically ti
919.
by naasking 2y ago
> Picking some features while leaving others out is something that every language does; if doing that is enough to make a language "revolutionary", then every language is revolutionary. Picking a set of well motivated and ortho
920.
by naasking 2y ago
> Zig's use of comptime in a function argument makes it a template :-/ That you can draw an isomorphism between two things does not mean they are ergonomically identical.
921.
by naasking 2y ago
Using a different type vs. a different syntax can be an important usability consideration, particularly since D also has templates and other features, where Zig provides only the comptime type for all of them. Homogeneity can also be a nice
922.
by naasking 2y ago
I think that's just rephrasing the same argument. If social media weren't free, then you would be the customer and those VC-backed corps would be serving you. Social media being free means they're not serving you because you
923.
by naasking 2y ago
No detections for abundant stuff over long time frames is not a logical contradiction, but it certainly decreases the plausibility of such a theory relative to alternatives, particularly since we're not expecting any such particle
924.
by naasking 2y ago
> Why do you think that how hard it is to detect should have anything to do with how much of it there is? Basic statistics. If you have lots of stuff, the probability of detection should be higher, all else being equal.
925.
by naasking 2y ago
> Right now, this is the simplest solution we have that fits all observations well. It doesn't though. For instance, the latest in a litany of such failures is that rotation curves are flat past a million light years [1]. There is n
926.
by naasking 2y ago
> If your new hypothesis doesn't even mention the CMB power spectrum MOND successfully predicted the first peak of the power spectrum. I wonder why everyone focuses so much on LCDM predicting the second peak. > DM does that, ever
927.
by naasking 2y ago
How is the configuration hidden? Presumably you configured the DI container.
928.
by naasking 2y ago
You're unnecessarily complicating this. The server is aware of what fields are HTML so it just encodes the data that it returns like we've been doing for 30 years now. If your point is that this approach is only good with servers
929.
by naasking 2y ago
> 99% of the evidence points to dark matter being a real thing If you mean particle dark matter, that's an exaggeration: From Galactic Bars to the Hubble Tension: Weighing Up the Astrophysical Evidence for Milgromian Gravity, https
930.
by naasking 2y ago
Of course they can. The whole reason you think they can't is just more math.

More ›