Anyone knows more about this? [Clojure formal verification using Boogie] | redd.it/dijh5f

Numerical Linear Algebra for Programmers | New Release 0.4.0 + Orthogonalization and Least Squares | redd.it/di6p7z

Is there anybody are using weblocks for web development? | redd.it/di5pvb

Next Scicloj web meeting: Tommi Reiman about Malli -- plain data schemas in Clojure/Script | redd.it/dhwwfr

What would be the CL equivalent of "core link devices" described here? | redd.it/dhpc76

akamai/cl-http2-protocol: HTTP/2 interop library in Common Lisp | redd.it/dhehmz

brandonbloom/backtick: Clojure's syntax-quote reader macro as a normal macro | redd.it/dhdape

Recommendations for learning algorithms and data structures? | redd.it/dh5ief

Show more
mstdn.jp

Mastodon日本鯖です.