• Breaking News

    Thursday, February 4, 2021

    Home Unlabelled I built a 4-bit multiplier in Minecraft! (I know it isn’t super complicated but I am proud of it) Computer Science

    I built a 4-bit multiplier in Minecraft! (I know it isn’t super complicated but I am proud of it) Computer Science

    February 04, 2021

    I built a 4-bit multiplier in Minecraft! (I know it isn’t super complicated but I am proud of it) Computer Science

    I built a 4-bit multiplier in Minecraft! (I know it isn’t super complicated but I am proud of it)

    Posted: 03 Feb 2021 10:38 PM PST

    How can I tell if a library's execution model is the same as or different from the execution model of its base language?

    Posted: 03 Feb 2021 09:17 AM PST

    https://en.wikipedia.org/wiki/Execution_model says

    A programming language consists of a grammar/syntax plus an execution model. The execution model specifies the behavior of elements of the language. By applying the execution model, one can derive the behavior of a program that was written in terms of that programming language. For example, when a programmer "reads" code, in their mind, they walk through what each line of code does. In effect they simulate the behavior inside their mind. What the programmer is doing is applying the execution model to the code, which results in the behavior of the code.

    Each and every programming language has an execution model, which determines the manner in which the units of work (that are indicated by program syntax) are scheduled for execution.

    Operational Semantics is one method of specifying a language's execution model. The observed behavior of a running program must match the behavior derived from the operational semantics (which define the execution model of the language).

    An execution model covers things such as what is an indivisible unit of work, and what are the constraints on the order in which those units of work may take place. For example, the addition operation is an indivisible unit of work in many languages, and in sequential languages such units of work are constrained to take place one after the other.

    Are the operational semantics of a programming language and the execution model of the language exactly the same thing? https://en.wikipedia.org/wiki/Operational_semantics seems to me yes:

    Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures

    What are other methods of specifying a language's execution model, besides operational semantics?

    https://en.wikipedia.org/wiki/Programming_model says

    A programming model refers to the style of programming where execution is invoked by making what appear to be library calls. Examples include the POSIX Threads library and Hadoop's MapReduce.[1] In both cases, the execution model is different from that of the base language in which the code is written. For example, the C programming language has no execution model for input/output or thread behavior. But such behavior can be invoked from C syntax, by making what appears to be a call to a normal C library.

    What distinguishes a programming model from a normal library is that the behavior of the call cannot be understood in terms of the language the program is written in. For example, the behavior of calls to the POSIX thread library cannot be understood in terms of the C language. The reason is that the call invokes an execution model that is different from the execution model of the language. This invocation of an outside execution model is the defining characteristic of a programming model, in contrast to a programming language.

    How can I tell if a library's execution model is the same as or different from the execution model of its base language? I.e. how can I tell if a library is a programming model or a normal library?

    Thanks.

    submitted by /u/timlee126
    [link] [comments]

    [N] New Transfer Learning Approach Summarizes Historical Texts in Modern Languages

    Posted: 03 Feb 2021 10:02 PM PST

    Many ML studies have introduced systems for deciphering and translating ancient texts into modern language, and these have proven useful to history, archaeology and digital humanities scholars. Now, researchers from the University of Sheffield, Beihang University, and Open University's Knowledge Media Institute have proposed a transfer learning approach that can automatically process historical texts at a semantic level to generate modern language summaries.

    Here is a quick read: New Transfer Learning Approach Summarizes Historical Texts in Modern Languages

    The paper Summarising Historical Text in Modern Languages is on arXiv, and the associated code and data are on the project GitHub.

    submitted by /u/Yuqing7
    [link] [comments]

    Latest from KDnuggets: Find code implementation for any AI/ML paper using this new chrome extension

    Posted: 03 Feb 2021 11:35 PM PST

    Latest from google researchers: state of the art in video stabilization!

    Posted: 03 Feb 2021 07:39 PM PST

    Deployment reliability at GitHub

    Posted: 03 Feb 2021 06:07 PM PST

    Why aren't people scared about the future? Why is no one concerned about how computers are going to replace many activities and tasks that a human can do?

    Posted: 03 Feb 2021 06:43 PM PST

    I'm watching a documental about it, I work at tech and I'm scared, even though I work in the field and I know how to code, but I even think that's not going to be enough. How can people be so calm knowing that this is the future? Very few people are immersed in the subject and I do not notice big changes in their way of thinking.

    submitted by /u/nachoaddict19
    [link] [comments]
    Read more
    at

    No comments:

    Post a Comment