Hacker News
- Temporal – Good Things Happen https://recife.pfeodrippe.com/notebooks/recife/notebook/temporal.html 2 comments
Lobsters
- Temporal - Good things happen https://recife.pfeodrippe.com/notebooks/recife/notebook/temporal.html 0 comments formalmethods , lisp
- Webdriving with Recife and Wally https://recife.pfeodrippe.com/notebooks/recife/notebook/webdriver.html 2 comments clojure
- Recife Temporal Properties (second article in the model checker series) https://recife.pfeodrippe.com/notebooks/recife/notebook/temporal.html 17 comments clojure
- First article of a series about Recife (Clojure model checker on top of TLA+ tooling) https://recife.pfeodrippe.com/notebooks/recife/notebook/slow_start.html 11 comments clojure