vertx VS lispy

There haven't really been a lot of efforts to get a high-speed web frameworks done in just Clojure as that's not normally how professional Clojure developers work and deploy code. Not a lot of Clojure developers use frameworks in the first place, so the HTTP server ends up being something that gets pulled in as a library, and since it's running on the JVM, you use JVM servers, which are fast. vertx seems to be something that scores high, but unfortunately only the Scala binding seems to be in the benchmark you mentioned. Here's a Clojure alternative: https://github.com/vertx-clojure/vertx

CLI apps are easily solved with Babashka now.

Some killer features in Emacs, which I would recommend checking out, is imenu and movement by s-expression (functions like forward-sexp). These are built into Emacs and make navigating across or inside blocks of code very easy. I have also seen that lispy, which is usually used for Lisp code also supports Python. Again I can't speak to any specifics about how well these things work for Python devs.

While writing other programming languages with LSP, it formats the buffer once I hit save. Is there any way to make https://github.com/abo-abo/lispy do some equivalent behaviour?

Without any order magit, lispy and minions.

I don't know cider, but...I found lispy mode a revelation in making the easy, easier.

The level of interactivity in your emacs determines how easy trying emacs-lisp becomes. I suggest checking out https://github.com/abo-abo/lispy, it makes it easy to look up documentation (C-c 1 I believe) and evaluate S-expressions on the fly (keybinding is e). Also C-h f, C-h k, C-h v are always very helpful. Also check out helpful (the package), selectrum, marginalia, prescient, etc.

Emacs seems to attract quite a lot of people who want structural code editing. We now have * paredit * smartparens * evil-cleverparens * lispy * symex * combobulate (more?)

Obviously, we have packages like Paredit and Lispy, recently we got SymEx, but these are all for the Lisp family of languages, where syntactic redundancy is very high because of the homoiconicity.