🕒 AI World Clocks
A creative blend of AI and design, demonstrating how generative models can interpret a single concept — time — in endlessly unique yet functional ways.
AI World Clocks is an interactive art experiment by Brian Moore that creates a new clock design every minute using nine distinct AI models. Each system generates responsive HTML/CSS for an analog clock displaying the current time, complete with a moving second hand on a minimalist white background.
🔗 Read more 🔗
🧠 A new Google model is nearly perfect on automated handwriting recognition
🔗 Read more 🔗
⚙️ Moonpool and OCaml5 in Imandrax
A highly technical yet insightful deep dive into OCaml’s multicore evolution, illustrating how Imandrax harnesses modern concurrency to scale proof automation — a must-read for advanced OCaml practitioners.
Simon Cruanes explains how OCaml 5.0’s new concurrency and parallelism features shaped the Moonpool library and its integration into Imandrax, a proof assistant. The article traces OCaml’s move from Lwt and Async to effect-based concurrency with Eio and Domains, showing how Moonpool delivers composable thread pools for efficient parallel execution. It also outlines how Imandrax manages proof tasks and CPU-heavy workloads, reflecting on OCaml’s evolving multicore ecosystem and best practices.
🔗 Read more 🔗