naasking

24 ms·

451.
by naasking 10mo ago
No it's not, they very explicitly clarify in follow-up comments that unique identifiers should not be embedded any kind of meaningful content. See: https://news.ycombinator.com/item?id=46276995 https://news.
452.
by naasking 10mo ago
> Otherwise it would not be a viable alternative to ACLs. I just want to point out that this is vastly overblown IMO. Typical ACL systems are just organized differently than capability systems that follow POLA. In the former, permissions
453.
by naasking 10mo ago
I don't think the objection is that it exposes semantic meaning, but that any meaningful information is contained within the key at all, eg. even a UUID that includes timestamp information about when it was generated is "bad"
454.
by naasking 10mo ago
Exactly, be explicit, don't shoehorn multiple purposes into a single column that's supposed to be a largely meaningless unique identifier.
455.
by naasking 10mo ago
"Construct proxy" need not be a primitive in the core system though. If message passing is the only means of communication, then interposition to create facets or attenuate permissions naturally follows. This works with ACLs too.
456.
by naasking 10mo ago
Capability-based operating systems are sufficiently dissimilar to standard ACL operating systems that ordinary software cannot be directly ported without losing some or many of the capability advantages. Furthermore, they are typically very
457.
by naasking 10mo ago
> Traditional capabilities last forever, unless there is some sort of support for revoking already issued capabilities, and those mechanisms tend are far from straightforward. Revocation is very straightforward in EROS/CapROS and pr
458.
by naasking 10mo ago
> Capabilities can simply hold a provenance that can be used to verify the source of the access. If that access is then revoked from that source, the capability doesn't need to change at all This is basically using access control li
459.
by naasking 10mo ago
CapROS is a literal successor taking the EROS source code and continuing development. Coyotos is more of a spiritual successor, a redesign of the core OS but in the same spirit.
460.
by naasking 10mo ago
Cracking Enigma was a big deal in WW2. Germany got hurt real bad.
461.
by naasking 11mo ago
> I wouldn't so much as call what JS does "reflection" any more than "making objects out of poorly implemented hashmaps." I used "reflection" because that's how it's abstracted in popular stat
462.
by naasking 11mo ago
> Most if not every single thing I was taught in school that a lot members of this group did/invented turned out to be an exaggeration or outright lie, I came to find out later. I think this (unfortunately common) impression comes f
463.
by naasking 11mo ago
> Graduate students aren't cited for coming up with innovations Nonsense. > the controversy is valid, No. You can see both publications right here [1]. Watson and Crick explicitly say they are aware of the "general nature&qu
464.
by naasking 11mo ago
Yes and no. Some patterns exist because the language isn't expressive enough. This is one reason why the patterns made sense in the OP's .NET programs, but made less sense in JS. JS simply doesn't require as much ceremony for
465.
by naasking 11mo ago
That is correct, it was Gosling. This whole "controversy" is so stupid.
466.
by naasking 11mo ago
If you don't pass the size, the allocation subsystem has to track the size somehow, typically by either storing the size in a header or partitioning space into fixed-size buckets and doing address arithmetic. This makes the runtime mor
467.
by naasking 11mo ago
"Why" is about motivation, not mechanics.
468.
by naasking 11mo ago
I think there are other sorts of reasoning, like spatial reasoning. If you're trying to sort a set of physical items in front of you in order of size, are you thinking about the items linguistically, or is your mind working on some dif
469.
by naasking 11mo ago
MIT is throwing a free party where food and drinks are paid for, and copyleft is where food is paid for but you BYOB. Both are fine, so what's the problem?
470.
by naasking 11mo ago
Another possibility is to automatically annotate a software with assertions, preconditions, postconditions or other verification annotations based on the languages semantics and programmer intent, and then run a verifier on the result and e
471.
by naasking 11mo ago
> why is it so hard to have a deterministic program capable of checking a proof or anything math related, aren't maths super deterministic when natural language is not. Turing machines are also deterministic, but there is no algorit
472.
by naasking 11mo ago
Math is a tool for structured reasoning. We often want to reason about things that physically exist. Why should we use a tool that assumes the existence of something that literally cannot physically exist? That introduces the danger that of
473.
by naasking 11mo ago
I think your closing paragraph holds the key. 5 doesn't really exist, it's a constructor that parameterizes over something that does exist, eg. you never have "5", you have "5(something)". Saying 5 is prime is
474.
by naasking 11mo ago
> I’m convinced math would be better without infinity. It doesn’t exist. I agree finitism and ultrafinitism are worth more development. Infinity is a hack in the sense that it effectively represents a program that doesn't halt, and
475.
by naasking 11mo ago
All of the code seems to be MIT and AGPLv3. Where is this moat?
476.
by naasking 11mo ago
> That would imply that a person with a high IQ score is uniformly better at every task compared to a person of lower IQ. No it doesn't, that's why I said "tend to". > On the contrary, it just misleads the educator
477.
by naasking 11mo ago
> The area where I see IQ failing miserably is in accounting for different types of intelligences. We don't have any real evidence of "different types of intelligences". People with high IQ just tend to be better at all co
478.
by naasking 11mo ago
> Presumably one could do similar identical twin studies on half-marathon race times and SAT test scores. Yes, and some of those have been done: SAT scores correlate very strongly with IQ.
479.
by naasking 11mo ago
> IQ tests measures nothing more than the ability to pass an IQ test Incorrect, IQ is a composite measure correlated with fluid reasoning, crystallized knowledge, working memory, processing speed, and spatial ability. It's true that
480.
by naasking 11mo ago
> rather than creating an environment where everyone performs at their local optimum. There's likely no such thing, so your best bet is to conduct the tests under a variety of conditions and aggregate the results. This has been the

More ›