Despite there are so many, for the last few years I've been working on a new programming language blending seemingly opposite approaches. Terribly need your feedback, is it worth to continue? Take a look. Computer Science

Despite there are so many, for the last few years I've been working on a new programming language blending seemingly opposite approaches. Terribly need your feedback, is it worth to continue? Take a look.
An overview of techniques used in modern CDCL SAT solvers.
Boston Dynamics’ Spot Toughens Up, Hauls a Truck
Chirps: A Twitter Bot Framework Written in Python
Is there any software or website that generates visual representation of relations? (ex: Reflexive, Irreflexive, Symmetric, Anti-Symmetric, Transitive, Equivalence Relation)
Bengio and Marcus at World AI Summit in Montréal
The black hole

Despite there are so many, for the last few years I've been working on a new programming language blending seemingly opposite approaches. Terribly need your feedback, is it worth to continue? Take a look.

Posted: 16 Apr 2019 10:11 AM PDT

During my dev career I did find myself working in many different areas, from low-level, web, desktops, servers to scientific and AI related software. Each area has its own requirements, set of tools and, of course, preferred programming language. As a result I've tried out many different languages. That said, I had troubles with all of them. Some were easy but inefficient, others, on the contrary, were efficient, but hard to support with a produced software being fragile, and yet anothers are impractical in a way that they were intended to investigate some theoretic concepts without any practical software engineering considerations. Finally, several years ago I quit my job to work on a new programming language - Xreate. Since then I have realized several important things I'd like to mention.

First, I've realized that a programming language being an interface between humans and computers, has to be also twofold. On the one hand, be flexible, laconic (do not require too much details for simple tasks), foolproof (we deal with humans here) and regression resistant. On the other hand, memory and CPU efficient (well, users run our software on laptops, smart phones, or even on not so smart IoT / kitchenware).

Second, we really need both tangible, eager, imperative way to code algorithms, and also declarative features, not to execute, but to express something, think rules, configurations, designs, schemes, models. In Xreate it's done by introducing Brute, that is (mostly) imperative side, and Transcend, a declarative side to oversee and guide compilation of Brute as the result of an automatic reasoning based on rules provided by developer.

This sandwich type structure allows to be laconic and efficient at the same time, for example, by automatically choosing(via statical reasoning) the most efficient implementations for data structures that are used in a particular software, rather than providing default ones(see Containers chapter). Safety is another example. So called safe languages usually avoid mutable variables and the like. Since there is no point to invent yet another convenient, but impractical language, the efforts were made to allow safe usage of mutable(and global as well) variables (see Communication), plus to handle external resources, such as files, in predictable manner, by tracking resource's status in order to safely initialize and destruct it, and by controlled access (see chapters Exploitation, Virtualization).

Everything described here is not a part of the compiler proper, but rather is an extension, expressed as a set of the logic rules of Transcend, to serve as an example that developers able to make their own custom extensions developing particular software.

As of now, there is no ready to use compiler yet. The project is on an earliest possible point where it's just enough done to evaluate is it interesting and worth to continue with help from the community. You are smart people and I don't believe anyone else is in a better position to evaluate are there any merits in this project to deserve help and contributions. Please, let me know your thoughts. Thanks.

Xreate Introduction - http://xreate.org/d/

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

An overview of techniques used in modern CDCL SAT solvers.

Posted: 16 Apr 2019 02:42 PM PDT

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

Boston Dynamics’ Spot Toughens Up, Hauls a Truck

Posted: 16 Apr 2019 02:53 PM PDT

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

Chirps: A Twitter Bot Framework Written in Python

Posted: 16 Apr 2019 11:12 AM PDT

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

Is there any software or website that generates visual representation of relations? (ex: Reflexive, Irreflexive, Symmetric, Anti-Symmetric, Transitive, Equivalence Relation)