I wrote about experiments in Ceu towards ADTs with Subtyping and Inheritance: fsantanna.github.io/adts.html

On rewriting Pingus from C++ to Ceu: fsantanna.github.io/pingus.html

A structured main menu in Ceu: fsantanna.github.io/Pingus/menu.ht… (Follow up from "On rewriting Pingus from C++ to Ceu")

Menu buttons as local tasks: fsantanna.github.io/Pingus/buttons… (Follow up from "On rewriting Pingus from C++ to Ceu")

A self-reacting button: fsantanna.github.io/Pingus/button.… (Follow up from "On rewriting Pingus from C++ to Ceu")

A structured main menu: full code fsantanna.github.io/Pingus/menu-fu… (Follow up from "On rewriting Pingus from C++ to Ceu") #ceu #structured_concurrency

Is it accurate to say that federated protocols can provide multi-user/single-node consensus (e.g., a local mailing list), while protocols like Scuttlebutt can provide single-user/multi-node consensus (e.g., a public timeline)?

I wrote about public Internet forums as Common-Pool Resources and how Freechains relates to Ostrom's CPR design principles: fsantanna.github.io/Freechains/cpr…

TML is a Time Machine Library for SDL. The library user can programmatically specify a point in time to travel, and then resume the simulation from there. github.com/fsantanna/tml

Ontem, dia 13 de setembro de 2022, os criadores da Linguagem Lua, Roberto Ierusalimschy (DI/PUC-Rio) Waldemar Celes Filho (DI/PUC-Rio) e Luiz Henrique de Figueiredo (IMPA), receberam a Medalha Pedro Ernesto, um reconhecimento pela importância da sua criação.

Ceu ressurrects after 5 years (!): - github.com/fsantanna/dceu

Scavard's Prediction about Roberto Ierusalimschy's career in academia: - | was too smart to endure working on the same subject for too long... - ... but not smart enough to produce significant contributions in those short spans #LuaLang

[ANN] Ceu v0.5 github.com/fsantanna/dceu Ceu is a synchronous programming language with three main functionalities: Structured Deterministic Concurrency, Event Signaling Mechanisms, and Lexical Memory Management. Ceu is inspired by Esterel and Lua.

[ANN] lua-atmos v0.1 lua-Atmos is a programming library for Lua that reconciles Structured Concurrency with Event-Driven Programming: github.com/lua-atmos/atmo… lua-Atmos is inspired by Céu.

[ANN] Atmos is a programming language that reconciles Structured Concurrency with Event-Driven Programming: github.com/atmos-lang/atm… Atmos is inspired by Céu: ceu-lang.org