🦞🌯 Lobster Roll

I am considering migrating some of my home devices to MQTT and Node-Red. Curious to know fellow lobsters experiences with this. I am not a big fan of visual programming (specifically LabView, which I hate). But looks like you can write your functions and connect them inside javascript directly.

General overview with code samples of the Pony programming language

More information about this language out of Africa is available [here](http://www.nairaland.com/3557200/astro-programming-language-0.2-indefinite), including a list of languages which inspired it: > Astro is like a nephew to Julia. Astro borrows a good deal of Julia and Python syntax but it also ...

Abstract highlight: "In this thesis we show techniques for compiler-enforced isolation of active objects, while allowing sharing and zero-copy communication of mutable data in the cases where it is safe to do so. We also show how the same techniques that enforce isolation can be utilized internal t...

Abstract: "Hardware-based mechanisms for software isolation are becoming increasingly popular, but implementing these mechanisms correctly has proved difficult, undermining the root of security. This work introduces an effective way to formally verify important properties of such hardware security m...

Addresses need to combine data-flow, programming model with a control-flow method that has benefits of both.

"Avail is a multi-paradigmatic general purpose programming language whose feature set emphasizes support for articulate programming."

Abstract: "We survey the use of Abstract State Machines in the area of programming languages, namely to define behavioral properties of programs at source, intermediate and machine levels in a way that is amenable to mathematical and experimental analysis by practitioners, like correctness and compl...