Small languages designed by individuals often conflate language spec, and its implementation, and evolve those together. It's not just Lean/Coq/Agda crowd. Shen is like this too. You need either an institution behind the language (C), or the language must succeed, so the language gets multiple runtimes (Clojure; however different runtimes are not compatible by design, as it is Clojure core practice not to hide underlying platform, so Clojure on JVM, ClojureDart, ClojureScript... have a bit different functions). So the reason why Lean... does conflate lang spec & runtime, is because nobody started building Lean for... I don't know, .NET? v8? So the author has freedom to evolve the language spec however he wants as long as he implements those things in his runtime.

The Clojure/conj 2025 was nothing short of wonderful. I got to meet so many amazing people. Everywhere I turned there was someone there passionate about the same thing I am passionate about: ♥️ Clojure! ♥️ And, so much more than Clojure was on our minds. I got to hear about living very far away from your parents, the intricacies of composing music, mormonism, South African business opportunities, the mechanics of Go, pursuing fun as a junior dev, and what not! We really should meet like this more often. Talks then, wasn't there also talks? Of course there was! Every talk I attended was a joy to watch. Highlights: Timothy Pote on using Datomic to keep track of warehouse inventories. Baptiste DUPUCH and Christophe Grand on how ClojureDart has grown up, what’s new, and the fact that there’s now a REPL. Yay!!! Jeaye Wilkerson on how to maintain momentum and focus for the projects you want to prioritize, drawing heavily on his experience from working on #jank. Michiel Borkent on how he goes about building tools that developers actually use and love. A peek into the Borkiverse! Two guys from Netflix (sorry, forgetting their names here) on how a large system they call Dagobah has evolved over the last ten years (there was a talk about this system at Conj ten years ago). Erik Assum on keeping a large codebase in shape, where a big part of the trick is trusting your colleagues. David Nolen on using ClojureScript effectively. I was reminded of how insanely rich the Google Closure library is, and that I really should look into server-side rendering with DOM morphing. Eric Dallo on ECA, an open source Copilot-type thing, built in a crazily smart way! Eric is so visibly on fire for servicing his users. Totally lovely. Adrian Smith blow my mind completely, showing how to defeat Bowser using A* search. Using his own Clojure-powered development environoment, Easel, to develop and run the whole super-interactive demo. Dustin Getz demoed an absolutely ridiculously cool database browser built with just a few lines of Electric Clojure. I’m surely forgetting several other gems… I am looking forward to the talks being available on YouTube so I can share them with you. Thanks Alex Miller, Magdalena Useglio, Christoph Neumann, Jordan Miller, and everyone else working hard to make the Conj into this fantastic experience for me. Special mention: Burin Choomnuan. Haha, so much joy and cheerfulness in one body. I am still smiling. Pictured are some Clojure development tooling nerds: Christophe Grand, Michiel Borkent, yours truly, Brandon Ringe, and Baptiste DUPUCH.

Native: ClojureDart ;-)

All of these are non-whacky (disclosure: * = mine): - JVM Clojure - ClojureScript (or squint* if you want liter and closer to pure JS) - Babashka* (shell scripting) - ClojureDart (mobile) - Jank is an upcoming dialect for native (far from ready, but keep an eye)

Thanks to anyone attending our @ClojureDart talk at the #ClojureConj ! @cgrand and I will be around up until the end! Come talk to us!

Nice. I used ONNX through interop with Clojure and ClojureDart in the past so that embeddings computed at build time in one would work in the other. I should align on your bindings.

This made my day! You too can build awesome product & company using @ClojureDart !

Oh! I found a way to accelerate keyword lookups on maps without object shapes or PICs. Coming to a ClojureDart near you!

Having too much fun with ClojureDart and Flutter!

While working with @cgrand on our Conj CFP, I realized that despite what I thought, we’ve been *grinding* these last 2 years on @ClojureDart, this open-source, nights-and-weekends project (excluding all the bugfixes, support, and minor stuff). Highlights: – Dart 3 & Dart's Records support – refactored `cljd.reader ` – `:cljd/clj-host` conditional reader – source maps & better error reporting – FFI compatibility (C/C /Java/Obj-C) – Continuous improvements to compiler inference – new `^:override` metadata – UUID support – Added `f/get-of` & `f/peek-of` to `cljd.flutter` – New directives in `f/widget` macro: `:padding`, `:color`, `:width`, `:height`, `:keep-alive`, `:when`, `:animate` – `f/widget` is now extensible – New `cljd.dart.isolates` namespace – `doseq` now handles `await` – `:runner` option for `deftest` (custom runners, integration tests) – `cljd` CLI now works on Windows (PowerShell & CMD) – `join-with` faster `merge` ❤️ – Faster literals – `defmulti` / `defmethod` support

Nice @ClojureDart shout out in @jeayewilkerson new blog post about jank-lang jank-lang.org/blog/2025-07-1…

New article: accelerating maps with join-with buttondown.com/tensegritics-… #clojure #clojuredart

Looks like it’s here to stay and power @ClojureDart

Working on the ClojureDart long form documentation github.com/Tensegritics/Cloj…

After a few busy months with the arrival of my baby boy and moving (turns out Parisian buildings do collapse from time to time!), I’m back working full-time with @cgrand at Tensegritics, and we're ready to take on your development projects. With over 15 years of experience writing commercial and open-source softwares - mostly in Clojure(script/dart) - we’ve recently created/maintain @ClojureDart and shipped multiple iOS & Android apps (for clients and ourselves). Here’s how we can help: - macOS, iOS & Android GUI app development - Clojure(script/dart) development & consulting - Technical coaching Feel free to contact @cgrand / me, or email us at bonjour@tensegritics.com (or simply RT this :D)

【テックブログ】 新しい記事を公開🔐 スタディストでは一部開発でClojureを利用しているよ😎 普段Clojureを使って開発しているメンバーが、ClojureDartのメリット・デメリットをまとめています📝 なぜFlutterを書くならClojureDartをオススメしたいか studist.tech/why-choose-cloj…

If you doubt how much reach you can get with the Dart programming language (and @ClojureDart )

ClojureとClojureDart（Flutter）の勉強を始めました

ClojureDart stack traces are now sourcemapped and highlight the failing expression.

Attending @Flutter_Connect today representing @ClojureDart ! Come say hello 👋 - and big thanks to @mhadaily for the invite