Clojurians Log v2
Clojure programming
Channels
Apps
releases
cjohansen 2026-06-26T07:08:26.889079Z
https://github.com/cjohansen/nexus: Data-driven action dispatch, ideal for UI development https://clojars.org/no.cjohansen/nexus/versions/2026.06.3 • Add support for using with #C03U8L2NXNC @borkdude gratitude • Fix unreachable code warning @teodorlu gratitude
7
🎉 9
cjohansen 2026-06-26T07:14:02.604439Z
https://github.com/cjohansen/replicant: build data-driven UIs with hiccup https://clojars.org/no.cjohansen/replicant/versions/2026.06.2 • Add support for using with #C03U8L2NXNC @borkdude gratitude
7
🎉 12
lispyclouds 2026-06-26T07:29:18.503919Z
https://github.com/lispyclouds/contajners An idiomatic, data-driven, REPL friendly clojure client for OCI container engines. 1.0.9: Support Podman 6.0.0, Docker 1.55 and more versions, improved api sync process, bump deps. Happy contajning! 📦
🎉 2
whilo 2026-06-26T08:06:03.043369Z
🧵 ansatz 0.2 — "Verified Clojure via Lean 4" — the kernel + DSL underneath (and what the assistant uses to check the rules it writes), now much easier to pick up. If you already write malli-instrumented Clojure, it's the gradual next step — keep your schema, change defn → a/defn:
clojure
(require '[ansatz.core :as a] '[malli.core :as m])
(a/load-init!) ; bundled Lean Init, zero setup (straight from the jar)
(m/=> dbl [:=> [:cat :int] :int]) ; just a malli schema
(a/defn dbl [x] (+ x x)) ; defn → a/defn — now machine-checked, still plain Clojure
(dbl 21) ; => 42(a/load-init!) loads a bundled Lean Init environment from the jar, no store to build; full Init / Mathlib fetched on demand.
• malli support — m/=> schemas become kernel signatures; [:map …] → named-field records (keyword access verifies, runtime stays plain maps); [:int {:min 1}] → refinements you still use as plain numbers.
• Better tactics — faithful funext, simp only / simp_all only, a split cluster, omega improvements, ac_rfl.
• Bugfixes — omega hypothesis handling, codegen, several simp universe fixes.
Repos: https://github.com/replikativ/ansatz · https://github.com/replikativ/wandler