Fork me on GitHub
#announcements
<
2023-01-26
>
pfeodrippe05:01:59

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&amp;feature=youtu.be ▪︎ Also, check some https://github.com/pfeodrippe/recife/blob/master/test/example/knuth_yao_die.clj#L29 • Etc

🎉 2
robert-stuttaford06:01:17

small recommendation: add a one paragraph 'what is this?' intro at the top of the readme 🙂

👍 1
pfeodrippe06:01:19

Will do, thanks, Robert!!

🎉 4
borkdude07:01:25

And at the top of this post

4
pfeodrippe13:01:59

Added here, thanks!

borkdude10:01:35

https://github.com/borkdude/carve: remove unused Clojure vars clj-kondo babashka 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

🎉 16
ericdallo12:01:13

clojure-lsp 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! gratitude For more info, come to #CPABC1H61

clojure-lsp 42
clj-kondo 22
gratitude 24
🎉 20
pez13:01:34

So sweet. Thanks for providing! gratitude ❤️ 🙏 Navigate to quoted symbols, yummy!

🚀 2
borkdude13:01:59

Hey, I implemented that! 😃

🚀 8
borkdude 16
gratitude 4
hissyfit17:01:37

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

🎉 12
Sam Ritchie18:01:42

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:

🧮 20
〰️ 13
🎉 8
Sam Ritchie18:01:26

I went pretty wild with the number of components on http://mafs.mentat.org, so apologies for the slow loading time 🙂 I’ll pick that notebook apart and make the load more manageable in the coming days

eggsyntax18:01:43

Lots of goodies from you this week! 👏 😄

Noah Bogart18:01:49

A+ name haha

💯 6
Sam Ritchie18:01:09

@U077BEWNQ haha yes! next step is pushing some changes to my function compilation in the computer algebra system… then things will get really wild with live-updateable versions of simulations like this https://emmy-viewers.mentat.org/src/phase_portrait.html

😎 2
eggsyntax18:01:30

Ooooh, very cool :star-struck:

Bobbi Towers20:02:27

If this had existed, I wouldn't have had to make mine in hand-coded SVG https://github.com/BTowersCoding/trig

😍 2
Sam Ritchie20:02:56

Very artisanal!!

Sam Ritchie20:02:46

That’s awesome, clearly we’ve got the same ideas in mind… see http://mathlive.Mentat.org for another piece here

Bobbi Towers20:02:31

I've been meaning to check out your stuff for the longest time

❤️ 2
Sam Ritchie20:02:10

I’ll have a template out soon that will make it feasible to actually add “how to use with Clerk” guides to each project that should make it easier… but yeah anything along these lines that you’ve been wishing for or need for your own work, let me know @U8LB00QMD

Bobbi Towers20:02:41

I just started learning mathematics about 4 years ago, and at the time I had to use other languages for CASs (eg. Mathematica, SymPy, etc.) and attempting to port things to Clojure... basically what you're doing but way worse 😆

Sam Ritchie20:02:18

Amazing how much you learn trying to port stuff though right?

Sam Ritchie20:02:41

We’re the lucky ones, even if the tools turn out to be useful

Bobbi Towers20:02:21

that's what's kept me from trying emmy thus far, because I'm emotionally invested in my janky little toys

😆 2
2
Sam Ritchie20:02:07

Feel free to steal pieces too and rewrite them!

Sam Ritchie20:02:22

That’s the idea behind the overboard docs in many of the namespaces

Sam Ritchie20:02:34

The python stuff is the janky toy set ;)

Bobbi Towers20:02:43

eventually I want to use emmy to develop an extremely beginner-level maths curriculum, to serve as a gentle onramp for it

❤️ 3
Bobbi Towers20:02:23

> The python stuff is the janky toy set 😉 Yeah I ran into issues with SymPy fairly early on and got stuck. I think the simplify function was kind of broken

👍 2