Clojure programming language discussion

A Gentle Introduction to Formal Methods in Software Engineering

https://flexiana.com/2024/10/a-gentle-introduction-to-formal-methods-in-software-engineering

Formal methods in software engineering are mathematical techniques used to specify, develop, and verify software systems. They provide a rigorous framework for ensuring software correctness, reliability, and safety, which is especially crucial in...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Reconciliation, Risk, ML and Other Use Cases for Bitemporal Systems [video]

https://juxt.pro/blog/reconciliation-risk-ml-and-use-cases-for-bitemporal-systems

The bitemporal data model is known for solving key reporting and compliance requirements, but it is tricky to implement and maintain correctly. Watch this talk to discover the pitfalls of various approaches to implementing bitemporal systems.

#clojure #clj #cljs !clojure@lemmy.ml @clojure

UIx + ShadowCLJS: Revolutionizing Clojure SSR for Interactive Landing Pages

https://ovistoica.com/blog/20241022T064828--uix-shadowcljs-revolutionizing-clojure-ssr-for-interactive-landing-pages__clojure_clojurescript_react_shadowcljs_uix

Table of Contents Results on my project Requirements Server side rendering a landing page 1. Define your landing page in cljc 2. Render html on the backend: 3. Tell your router what to do 4. Write your frontend that hydrates the landing page 4....

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Why it's time to retire CRUD

https://xtdb.com/blog/2024-10-21-retire-crud

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Clojure Deref (Oct 18, 2024)

https://clojure.org/news/2024/10/18/deref

Welcome to the Clojure Deref! This is a weekly link/news roundup for the Clojure ecosystem (feed: RSS). Thanks to Anton Fonarev for link aggregation. Podcasts, videos, and media Clojure real-world-data #15 - Snippet 1 - Kyle Passarelli:...

#clojure #clj #cljs !clojure@lemmy.ml @clojure@lemmy.ml

Clojure Deref (Oct 18, 2024)

https://clojure.org/news/2024/10/18/deref

Welcome to the Clojure Deref! This is a weekly link/news roundup for the Clojure ecosystem (feed: RSS). Thanks to Anton Fonarev for link aggregation. Podcasts, videos, and media Clojure real-world-data #15 - Snippet 1 - Kyle Passarelli:...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

55: Instant: a modern Firebase in Clojure, with Stepan Parunashvili

https://www.therepl.net/episodes/55/

Stepan Parunashvili talks about Instant, datalog, building a database in Clojure, and the demands of building modern applications. Instant Datomic Database in the Browser, a spec A Graph-Based Firebase Tonsky (Nikita Prokopov) The Web after...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Fullstack Workflow with shadow-cljs

https://code.thheller.com/blog/shadow-cljs/2024/10/18/fullstack-cljs-workflow-with-shadow-cljs.html

A common question is how you’d use shadow-cljs in a fullstack setup with a CLJ backend. In this post I’ll describe the workflow I use for pretty much all my projects, which often have CLJ backends with CLJS frontends. I’ll keep it generic, since...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

3 coin flip Monte Carlo simulation in Clojure

https://clojure-diary.gitlab.io/2024/10/18/3-coin-flip-monte-carlo-simulation-in-clojure.html

Code ;; three_coin_toss_montecarlo.clj ;; Montecarlo simulation of 3 coin toss (defn toss-thrice [] (repeatedly 3 #(rand-nth ["H" "T"]))) (defn samples [num] (repeatedly num toss-thrice)) (defn nil-to-zero [x] (if (nil? x) 0 x)) (defn...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Problems with the JVM

https://ericnormand.me/article/problems-with-the-jvm

The JVM is great but far from perfect. Here are some problems with the JVM that Clojure has to work around.

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Half Dumb Datalog in 30 loc

https://buttondown.com/tensegritics-curiosities/archive/half-dumb-datalog-in-30-loc/

by cgrand (X 🦣) Today, a follow-up to Writing the Worst Datalog Ever in 26loc, maybe even the start of a series.🍿 Our 26-loc Datalog is naive. Nothing personal, it's a technical term: each iteration in saturate rederives all the facts derived...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Lazy Sequences and Java Streams

https://andreyor.st/posts/2024-10-16-lazy-sequences-and-java-streams/

When Clojure 1.12.0 was released in September, the release note had a lot of cool features, such as virtual threads, but one feature caught my eye in particular: support for Java Streams and functional interface support. That was just what I needed...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Datomic as a Higher-Level Database

https://gaiwan.co/blog/datomic-as-a-higher-level-database/

More than 20 years ago, when I first began learning programming languages, I read a line in a book:C is a high-level language.But it wasn&apost until years later, during a university class on assembly language, when I had to use jump commands just...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Beyond Traditional Testing: Addressing the Challenges of Non-Deterministic Software

https://dev.to/aws/beyond-traditional-testing-addressing-the-challenges-of-non-deterministic-software-583a

Software development of non-deterministic systems have become increasingly common. From distributed systems with untrusted inputs to AI-powered solutions, there is a growing challenge in ensuring reliability and consistency in environments that are...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

How Could Clojure Web Development Suck Less

https://tonitalksdev.com/how-could-clojure-web-development-suck-less

In this episode, we dive into the intricacies of web development with Clojure, exploring how it can be improved and made less cumbersome. We also touch on Rama, as Ben brings more expertise in that area. Additionally, we explore Ben career journey,...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Clojure Deref (Oct 11, 2024)

https://clojure.org/news/2024/10/11/deref

Welcome to the Clojure Deref! This is a weekly link/news roundup for the Clojure ecosystem (feed: RSS). Thanks to Anton Fonarev for link aggregation. Podcasts, videos, and media Apropos 2024-09-24 - Apropos Clojure Building Reddit’s...

#clojure #clj #cljs !clojure@lemmy.ml @clojure@lemmy.ml

jank development update - Moving to LLVM IR

https://jank-lang.org/blog/2024-10-14-llvm-ir

Hi everyone! It&aposs been a few months since the last update and I&aposm excited to outline what&aposs been going on and what&aposs upcoming for jank, the native Clojure dialect. Many thanks to Clojurists Together and my Github sponsors for the...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Clojure Deref (Oct 11, 2024)

https://clojure.org/news/2024/10/11/deref

Welcome to the Clojure Deref! This is a weekly link/news roundup for the Clojure ecosystem (feed: RSS). Thanks to Anton Fonarev for link aggregation. Podcasts, videos, and media Apropos 2024-09-24 - Apropos Clojure Building Reddit’s...

#clojure #clj #cljs !clojure@lemmy.ml @clojure

Eric Normand on Code with Jason

https://ericnormand.me/speaking/code-with-jason-2024

#clojure #clj #cljs !clojure@lemmy.ml @clojure

The Wonders of Abstraction

https://ericnormand.me/speaking/eric-normand-heart-of-clojure-2024

#clojure #clj #cljs !clojure@lemmy.ml @clojure