https://www.theverge.com/2024/10/29/24282544/github-copilot-multi-model-anthropic-google-open-ai-github-spark-announcement 

 Exciting times are ahead for the OCaml ecosystem 
 #ocaml #programming #programminglanguages #formalverification #dune 
https://ocaml.org/tools/platform-roadmap 

  https://nostrcheck.me/media/765da6098493d1280257efc9472d0cad847b75c1e0545cd888b5b4de0993d7a6/e9810bb18e9e0606374d00d80f56ad4c157e4008675594f245990ca972641095.webp