WebAssembly

WebAssembly is a new programming platform which looks very promising; it originated from the need to replace JavaScript in html websites; but became more than that; it is a low-level programming platform, a hardware abstraction layer that is designed to work well through html websites but also for standalone desktop executables

all major web browsers already support it; major companies support it financially [Apple, Microsoft, Google, Mozilla, ... ];

in this early status it is designed for low level tasks; as such one can already compile c, c++, rust programs to it; but support for high level programming languages is coming too

an introductory blog post : Andreas Rossberg : Why WebAssembly?
a serious article about it : Bringing the Web up to Speed with WebAssembly

it has threads too already

Rust 2018 released

for the Rust programming language a major update is released after 3 years of development :

Microsoft WPF on Linux - correction

in a previous post i suggested that Microsoft WPF is to run on Linux as it gets part of .Net Core which runs on Linux; but a friend pointed out : WPF is Windows-only even as part of .Net Core

sorry for the misinformation

Idris 2 - first public demo

first public demo of Idris 2

the most exciting new feature is the quantitative type theory

the video also nicely demonstrates the type driven style of coding