Twisol

87 ms·

841.
by Twisol 7y ago
That's a reasonable question. I covered this and some similar questions in another subthread: https://news.ycombinator.com/item?id=20148165 Long story short: I adjust to the new timezone just fine, and (depending on th
842.
by Twisol 7y ago
> So all I’m saying is try it. If you have and it didn’t work, fine. But you’ll never know if you don’t try. This is good advice, especially when -- as others in this thread have mentioned -- blue light exposure may be making artificial
843.
by Twisol 7y ago
I'm truly happy for you, that you're one of the many people in the world whose sleep schedules are not more tightly coupled to the patterns of the Sun. Many of us are not like you, and we suffer for the lack of empathy expressed b
844.
by Twisol 7y ago
As someone with a deeply delayed sleep phase, this simply isn't accurate. It doesn't matter when you want me to wake up; I cannot even think of trying to sleep until midnight at the absolute earliest. My natural sleep time is cl
845.
by Twisol 7y ago
The Sun and planets basically do form a disk. The fact that the solar system as a whole is also moving through the galaxy is not relevant to its shape, basically because any external forces (like the tidal force, a difference in force betwe
846.
by Twisol 7y ago
> Should .then calls run on the calling thread if data was already available? This one hits close to home -- I remember being involved in a PR discussion for a JavaScript promises library where this was hotly (iirc?) debated. What conclu
847.
by Twisol 7y ago
The bit at the end about `goto` and Dijkstra is wonderfully written -- I almost wish it were a separate post so I could point people at it directly. An interesting note about that, by the way -- there is a notion of a "loop-nesting for
848.
by Twisol 7y ago
IMHO, the relational data model is the more fundamental part of ECS. Struct-of-arrays is a bit lower-level of a view on the same (with more emphasis on performance and less on architecture), and composition-over-inheritance shows up elsewhe
849.
by Twisol 7y ago
For what it's worth, it seems that Rust isn't alone here. C# 8.0 introduced postfix `switch` expressions ( https://devblogs.microsoft.com/dotnet/do-more-with-patterns-... ), which are along the same lines of wh
850.
by Twisol 8y ago
Ah, I understand. You're referring to how iterators in C++ are generalized indices into their collections. Certainly, Rust iterators have a more constrained purpose. I personally prefer having separate constructs for iteration and in
851.
by Twisol 8y ago
> C++ lets you have as many iterators as you like into the same container While it's true that Rust doesn't let you have multiple mutable iterators, it's worth pointing out that you can certainly have multiple immutable
852.
by Twisol 8y ago
Taking nothing away from the article itself, this bit rubbed me the wrong way: > A simple little mental test is just to quickly imagine a European scene from that era. Now: was the sun shining? Of course not. It strikes me like one of th
853.
by Twisol 8y ago
I've been taking a more domain-theoretic approach to understanding CRDTs(focusing more on the semantics than the syntax) but it appears that domain theory does have some connections to category theory: https://ncatlab.org&#x
854.
by Twisol 8y ago
There is a significant difference between "implementation-defined" and "undefined". An implementation should behave consistently with itself for implementation-defined behavior. There is no such complusion for undefined
855.
by Twisol 8y ago
If you have an account on N different sites, and you want to let people identify you between each of those, linking directly requires (N-1) links per profile, or N*(N-1) links total. When you create a new profile elsewhere, you need to upda
856.
by Twisol 8y ago
For the most part, that's true. But I am so excited that custom Cargo registries have finally landed!
857.
by Twisol 8y ago
At the very least, you don’t (and didn’t) need to take classes to learn to program. Cprogramming.com and the Java trails were what I started with. (And lots of books from Barnes & Noble.)
858.
by Twisol 8y ago
> It's not all that different from a database, though. Indeed! I'm tempted to coin a variant of Greenspun's Tenth Rule: any sufficiently complicated program contains an ad-hoc, informally specified, bug-ridden, incomplete
859.
by Twisol 8y ago
I am indeed alluding to the principles of ECS! I didn’t want to beat readers over the head with what might be perceived as “a whole new way to architect your software!!1!”, but this is the next step in that direction.
860.
by Twisol 8y ago
Graphs are harder if you try to use pointers to identify neighbors. In Rust, a pointer is not merely an index into memory; it is a statement and guarantee about how that memory will be accessed. These semantics are more than a graph structu
861.
by Twisol 8y ago
An n-partite graph has the problem that edges can still only connect two vertices at a time. I think you would also need to include hyper-edges (faces, solids, etc). The joint probabilities would be represented by these hyper-edges, and the
862.
by Twisol 8y ago
> [...] what do matrices corresponding to equivalence relations look like? Actually, the graphic under "Block matrices correspond to disconnected graphs" illustrates this for us already! (Just mentally replace all the non-zero
863.
by Twisol 8y ago
Yes, this is a fair point! Interestingly though, projective geometry already provides us with a space potentially suited to this question — I find https://en.m.wikipedia.org/wiki/Projectively_extended_real_l... to be a
864.
by Twisol 8y ago
Oh sure. Topology has a wonderful cavalcade of such objects. Wikipedia mentions a book that collects many ( https://en.wikipedia.org/wiki/Counterexamples_in_Topology ). A particularly nice example is the Alexander horned
865.
by Twisol 8y ago
The premiere dialectic in this area is Lakatos' "Proof and Refutations", which I highly recommend in general, and has plenty to say about the present topic. > Q: Wait, where did "x" come from? A proof from intuit
866.
by Twisol 8y ago
> Please provide an example of an s-expression that provides more information than can be encoded though a text string that is the same length, and in fact identical to said s-string. We're talking about a class of strings, not a si
867.
by Twisol 8y ago
Is it possible that taller men were selected for the first war? (I have no particular position on this, but if we're asking the question, let's think seriously about it.) World War I and II were about 20 years apart, so it seems j
868.
by Twisol 8y ago
No, you're right -- I had the same thought as 'Anon84 before I realized I was thinking of a different kind of language. The language 'Anon84 is thinking of is useful for thinking about concurrent systems, where each kind of b
869.
by Twisol 8y ago
I really like this solution, because it generalizes in (what might be) a surprising way. The basic approach works by associating '(' with the number 1, ')' with the number -1, and replacing string concatenation with addi
870.
by Twisol 8y ago
I really thought so too! But I can't find any reference for it.

More ›