Recife (It’s a model checker on Top of TLC (you can basically write formal specifications and run them)) (https://github.com/pfeodrippe/recife) has a new version (`0.9.0`), there are tons of new features and perf improvements. • https://clojars.org/pfeodrippe/recife • Examples at https://github.com/pfeodrippe/recife/tree/master/test I will document things in a new guide (generated with Clerk BTW), check out https://recife.pfeodrippe.com (lots of TODO). • Perf improvements (5x), still there is still a long way (10x) to achieve TLC performance, but small steps) • New helpers namespace, convenient macros for usage at your own peril (recommended) (see a recent https://github.com/pfeodrippe/recife/blob/master/test/recife/example/readers_writers.clj#L50) ◦ https://www.hillelwayne.com/post/action-properties/ ◦ More powerful https://www.hillelwayne.com/post/fairness/ • Added new docs (using #clerk) that I will hopefully have more time to work with • Added support for TLC simulate and generate commands ◦ Generate was introduced recently by the TLC folks to support statistics, and, ofc, we can use Clerk to generate them in real-time, see https://www.youtube.com/watch?v=2LsZ2f3WZF4&feature=youtu.be ▪︎ Also, check some https://github.com/pfeodrippe/recife/blob/master/test/example/knuth_yao_die.clj#L29 • Etc

https://github.com/borkdude/carve: remove unused Clojure vars ✨ 0.3.5 • Upgrade clj-kondo version • Make babashka compatible by using the https://github.com/clj-kondo/clj-kondo-bb library • Discontinue the carve binary in favor of invocation with babashka. Instead you can now install carve with https://github.com/babashka/bbin: bbin install io.github.borkdude/carve • Implement https://github.com/babashka/cli integration • Implement --help

https://clojure-lsp.io/: IDE and CLI development tool Released https://github.com/clojure-lsp/clojure-lsp/releases/tag/2023.01.26-11.08.16 with lots of improvements and new features! 🚀 Main highlights: • clojure-lsp now understand edn files, making most features work out of the box, like navigate to/from keywords and symbols ✨ (gif) • Navigation of quoted symbols (e.g. 'clojure.core/inc) now works • Lint now consider edn files, not only clj* ones. • Tweaks across multiple features, renaming, completion, semantic tokens, code actions. Thank you for all contributors and sponsors! For more info, come to #CPABC1H61

Announcing https://gitlab.com/hissyfit/lein-gitlab-cart, a Leiningen plugin that enables projects to access and deploy to GitLab package registries. • Clojars: https://clojars.org/net.clojars.hissyfit/lein-gitlab-cart • GitLab: https://gitlab.com/hissyfit/lein-gitlab-cart

Announcing v0.1.0 of Mafs.cljs ! This library provides a #reagent interface to the https://mafs.dev 2d interactive mathematical visualization library, all backed by SVG. Please give the library a try via the https://mafs.mentat.org written with #clerk. • Clojars: https://clojars.org/org.mentat/mafs.cljs • Github: https://github.com/mentat-collective/mafs.cljs • cljdoc: https://cljdoc.org/d/org.mentat/mafs.cljs/0.1.0 • Interactive docs: https://mafs.mentat.org • Questions / discussion in #mentat-collective Finally, here’s an example of an interactive function graph built with Mafs.cljs: