Paying homage to the languages that influenced QED development: qed-lang.org/qed/2018/09/07…

Concurrency, made easy... an explanation: qed-lang.org/article/2019/0…

Concurrent programming without keywords: only a dream? link.medium.com/dv3xzPEq6X

The boat rental demo is back! qed-lang.org/demos/?categor…

QED has unveiled its new logo! qed-lang.org/logo/

Human Readable Magazine Issue #2 is out! We are offering all of our issues for #free ! #stayhome #staysafe #covid19 #coronavirus humanreadablemag.com/issues/2

My article for Human Readable Magazine Issue #2 was just released! Check it out here: humanreadablemag.com/issues/2/artic…. Big shout-out to pek and his team for such a nice editing job! All issues are now #free ! #stayhome #staysafe #hrm

My article “A return() For All Seasons” was just published in the latest issue of Human Readable Magazine! Check it out here: humanreadablemag.com/issues/3/artic… #hrm #programming #magazine

Here is a sneak peek of a new demo made using the *revised* QED language: the Todo list benchmark! (Still under debugging though). Completely standalone. ~160 LOCs. No import/HTML/CSS/JS: qed-lang.org/demos2/?catego…)

It's been some time since I've written here! I just wanted to wait until something significant happens. With a redesigned QED language and a revamped website now including a complete tutorial, I feel this is the right moment! qed-lang.org

The QED roadmap for 2025: qed-lang.org/qed/update/202…

While optimizing the QED compiler JS output, here is another demo (and happy new year too!): qed-lang.org/qed/update/cur…

Update, after a 4-month hiatus! qed-lang.org/qed/update/upc…

Please check this for an exclusive preview: reddit.com/r/qedlang/comm…