flexmeasures VS firefly-boot

Hi,

this is for everybody who is interested in clean tech, especially real-time automation within new energy systems.

We've been working on FlexMeasures for a while ― an energy management system (EMS) with a focus on using demand flexibility to its maximum potential.

We're running it in several pilots ourselves, but our aim is to speed up the energy transition across the world. Let's not re-invent the wheel (i.e. a software stack around time series and optimization) too many times. Wherever you are in the world, and whatever setting you might be looking at (energy-modern housing in the U.S., smart e-mobility in Africa, self-balancing microgrids in Indonesia, etc.), maybe some of you will like our approach.

We've decided that making it easy and clear for developers to build such energy solutions can bring the largest gains. The first step towards that goal was a permissive license (Apache 2.0). The latest step we took was a Docker image (we got a Docker-based tutorial here: https://flexmeasures.readthedocs.io/en/latest/tut/toy-exampl...).

You can see the code at https://github.com/FlexMeasures/flexmeasures

Since recently, FlexMeasures is a project within the Linux Energy Foundation (https://www.lfenergy.org/projects/flexmeasures/), which helps to establish a proper governance and quality standard.

Actually, upcoming Thursday is our next Technical Steering Committee meeting, and interested people are warmly invited:

Thursday, June 16 at 8:00 am US Pacific Time / 11:00 am US Eastern

I work on one building block of climate tech ― energy demand flexibility software. Useful in all kinds of settings, like industry or microgrids.

The collaborative aspect is that [our platform](https://github.com/FlexMeasures/flexmeasures) is open source, under a permissive license.

I'm trying to grow a startup on top of it, but the whole idea of doing impactful work is that it's being used to speed up the energy transition everywhere. Less re-inventing the wheel. If you are involved in any projects where energy demand flexibility should be unearthed, please consider using FlexMeasures ― with us or without us. Happy to chat.

Firefly, curly braces:

I'm still working on Firefly, a language with first class capabilities.

Since there's no other way for `deleteDirectory` to obtain capabilities than to recieve them as arguments, `deleteDirectory` only has access to the file system.

[1] https://github.com/Ahnfelt/firefly-boot/tree/master/compiler

> Do you have more to share, like resources about capability-safe languages, or your ongoing work?

I can share an example from the main function of the [self hosting Firefly compiler](https://github.com/Ahnfelt/firefly-boot/tree/master/compiler):

    main(system: System): Unit {

I'm working on Firefly, which will compile to JS once bootstrapping is complete (almost there).

Still working on typechecking Firefly with the help of a friend.

Working on the type inference for Firefly. I don't have a lot of free time at the moment, so it's coming along slowly.

Firefly uses object capabilities for enforcing purity:

In Firefly, this is done without macros:

Firefly - self hosting, working on the type inference.