QED Programming Language (@qedlang) profile picture

QED Programming Language

@qedlang
Joined August 2018
  • Tweets22
  • Following1
  • Followers5
Please check this for an exclusive preview: reddit.com/r/qedlang/comment…
From the qedlang community on Reddit

From the qedlang community on Reddit

Explore this post and more from the qedlang community

reddit.com
10
Update, after a 4-month hiatus! qed-lang.org/qed/update/upco…

The QED compiler coming soon!

Well, I thought I would have given an update sooner. I underestimated the amount of work required to generate a clear JS output from QED source code. After a five month, heart-surgery-level refacto...

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

Happy new year (+ new demo)

Happy new year everyone! I still work on QED optimizations, although they take time to implement and the refactoring scope has increased. Hopefully, I’ll get some results in the coming weeks.

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

The QED roadmap for 2025

QED as of now is a proof of concept. The core principles are solid and the current implementation works although it is not robust yet. I see many things to fix and improve and these are my focus now...

qed-lang.org
28
I've improved the Flappy bird QED code quite a bit! It has now less than 200 significant lines of code and looks even clearer than before. It shall be updated soon in the website.
1
31
The code is now 60% the size of the original js code.
30
I just coded a first game in QED, a port of a javascript Flappy Bird! Source: github.com/hocuscodus/qed-la… To play online: qed-lang.org/demos (the last demo, press Run). The peculiarity of this implementation is that there is no state (getReady-play-gameOver) nor state (1/4)
qed-lang/sandbox/demos/flappybird.qed at gh-pages · hocuscodus/qed-lang

qed-lang/sandbox/demos/flappybird.qed at gh-pages · hocuscodus/qed-lang

Contribute to hocuscodus/qed-lang development by creating an account on GitHub.

github.com
1
44
machine to handle the update-draw code. It is rather strictly procedural, which is uncommon in an event-based browser env. It is basically a while loop (line 268) on GetReady(), Play(), GameOver() calls (line 192). The various components are coroutines, so they execute in (2/4)
1
15
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 Programming Language

Web dev made simple

qed-lang.org
34
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/?categor…)
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/… #hrm #programming #magazine
1
1
My article for Human Readable Magazine Issue #2 was just released! Check it out here: humanreadablemag.com/issues/…. Big shout-out to pek and his team for such a nice editing job! All issues are now #free ! #stayhome #staysafe #hrm
1
1
1
QED has unveiled its new logo! qed-lang.org/logo/
The boat rental demo is back! qed-lang.org/demos/?category…

Demos

Web dev made simple

qed-lang.org
Concurrent programming without keywords: only a dream? link.medium.com/dv3xzPEq6X
Concurrent programming without keywords: only a dream?

Concurrent programming without keywords: only a dream?

The latest programming languages in town tout their 21st-century shining concurrency features as one of their main strengths. Even…

medium.com
Concurrency, made easy... an explanation: qed-lang.org/article/2019/06…
Paying homage to the languages that influenced QED development: qed-lang.org/qed/2018/09/07/…
Welcome to QED Twitter account!
Load more