KSL is a sparse math library written in the C programming language that is targeted to real-time kinematics, dynamics, contact detection, robotics and 3D visualization applications. KSL contains a number of utility functions to transform vectors, screws, coscrews and spatial inertia matrices using the minimum number of operations as described in the KSL documentation at KSL contains routines for performing LU decomposition with complete row and column pivoting, an important component in the robust processing of kinematics and dynamics equations. If you find the code to be useful in your projects, we would love to hear from you. The below tables contain examples of the naming conventions used for KSL datastructures and functions. For a complete list of functions, refer to the KSL website and source code.

It’s a bit like DNS: you ask it for someone who’s providing X, and it gives you a list of candidates: hosts and port numbers, that sort of thing. The actual PBB node is the parent of the whole special set, and all of the others have names which continue on from it. Now, confident they had a good number thanks to their check, they proceeded to use it in a string comparison operation. There are a lot of things which could have gone better with this, and hopefully other people can look for similarities in their own software stacks and avoid the same kind of outage. Well, having the whole world die because that lookup service went down is certainly a bad thing.

Objective-Smalltalk is an evolution of Smalltalk based on the Objective-C runtime. Now have real class and method definition syntax. The Objective-Smalltalk REPL is now available as an embeddable NSTextView subclass, in addition to the Unix command line. More unicode support: in addition to symbols like π there is now also support for various operator-like constructs like ≠,≤ and ≥ extended (in-)equality tests, the arrows ⇦ and ← for assignment and ⇨, → for attaching connectors to ports. Objective-Smalltalk presented at the FOSDEM Smalltalk DevRoom, video available

DM is an integrated platform, supports migrating data from MySQL/MariaDB to TiDB. Contributions are welcomed and greatly appreciated. See CONTRIBUTING.md for details on submitting patches and the contribution workflow. DM is under the Apache 2.0 license. See the LICENSE file for details.

The Trump administration’s so-called “race” with China to build new fifth-generation (5G) wireless networks is speeding toward a network vulnerable to Chinese (and other) cyberattacks. Fifth-generation networks are designed to be 10 to 100 times faster than today’s typical wireless connection with much lower latency (response time). Some envision 5G as a kind of “wireless fiber” for the delivery of television and internet much like a cable system does today. Iranians hacking the delivery of “Game of Thrones” isn’t good, but the real transformational promise of 5G goes far beyond wireless cable and its security is much more critical. The autonomous car is something vastly different, in which the 5G network allows computers to orchestrate a flood of information from multitudes of input sensors for real time, on-the-fly decision-making.

Greenland’s enormous ice sheet is melting at such an accelerated rate that it may have reached a “tipping point,” and could become a major factor in sea-level rise around the world within two decades, scientists said in a study published on Monday. The Arctic is warming at twice the average rate of the rest of the planet, and the new research adds to the evidence that the ice loss in Greenland, which lies mainly above the Arctic Circle, is speeding up as the warming increases. The authors found that ice loss in 2012 was nearly four times the rate in 2003 , and after a lull in 2013-14, it has resumed. The study is the latest in a series of papers published this month suggesting that scientific estimates of the effects of a warming planet have been, if anything, too conservative. Just a week ago, a separate study of ice loss in Antarctica found that the continent is contributing more to rising sea levels than previously thought.

A few years ago, one of my daughters told me that she had done a Google search on my name and seen a little box with my picture, which said I was an “Israeli computer scientist”. More recently Google asked me to verify my identity with regard to this box and their “knowledge graph”, so I did this, and immediately requested that they no longer say I was Israeli; once again nothing happened. This whole thing brings home to me a lot of the discussion about ethics of Google and indeed unaccountable AI algorithms. Presumably Google’s algorithm picked up that I was born in Israel (which is true) and therefore decided I must be Israeli (which is false). The real world is full of special situations (“edge cases” to developers), and I’m not surprised that Google’s algorithm does not do the right thing in my particular edge case.

The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. Genode is based on a recursive system structure. The framework provides mechanisms to let programs communicate with each other and trade their resources, but only in strictly-defined manners. In line with Unix philosophy, Genode is a collection of small building blocks, out of which sophisticated systems can be composed. But unlike Unix, those building blocks include not only applications but also all classical OS functionalities including kernels, device drivers, file systems, and protocol stacks.

Advanced Mac Substitute is an API-level reimplementation of classic Mac OS. Unlike traditional emulators, Advanced Mac Substitute doesn’t emulate the hardware on which an operating system runs (except for the 680×0 processor), but actually replaces the OS — so it launches directly into an application, without a startup phase. Advanced Mac Substitute is a factored application. Advanced Mac Substitute is capable of running several applications written for the original Macintosh computer. If you’re feeling adventurous, you can try out Advanced Mac Substitute on Mac OS X (versions from 10.4 through 10.12, at least) or Linux framebuffer.

We (@djc and @Ralith) are happy to announce the release of 0.2.0 of Quinn, our pure-Rust implementation of the QUIC protocol, the next generation TCP replacement protocol currently being standardized at the IETF. First and foremost, Quinn 0.2.0 is among the most conformant implementations of the latest QUIC draft (draft 17), according to the interoperability testing data maintained by implementers participating in the QUIC working group. To support this release, we’ve contributed work to libc, tokio, rustls and ring. We’d also like to call out @est31’s new rcgen crate, which makes self-signed certificate support easier to use. Quinn would not be possible without the support of the Rust ecosystem.