Editor-Box VS firefly-boot

I have an idea to replace posting on Facebook/Twitter where you sell your and your readers privacy with posting on your own blog.

To achieve this, blogging platforms (I am aiming to WordPress right now) must remove the obstacles in user experience: people stopped blogging and switched to Facebook because posting on FB has more profits: it is easier (just visit front page of FB instead of logging to wp-admin and doing next steps), you have all content in one place (FB wall shows your posts and your friends posts etc) and tickles your ego (you immediately get likes and shares while on your blog barely anyone comment your post)

I am working on plugins and tools to remove this distance: front-end editor box for your blog ( https://github.com/kkarpieszuk/Editor-Box ), plugin to subscribe to other blogs and see their content as part of your blog, plugin to give local likes for posts, broadcast your content to other blogs...

Everyone will have kind of their own Facebook on their own WordPress blog.

I am WP plugin developer as my main job but all above I am doing in my free time as a hobby.

If anyone is interested in collaborating to make the network a bit less occupied by big techs, please reach me here https://github.com/kkarpieszuk/Editor-Box (create an issue or pull request if you have an idea how to extend this plugin) or find my email address at https://muzungu.pl/o-mnie/ (in Polish but you will easily find the address)

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.